Uses of Class
eu.iv4xr.framework.extensions.ltl.LTL.Now

Packages that use LTL.Now

Package	Description
eu.iv4xr.framework.extensions.ltl	This package provides the following features: The classes LTL and BoundedLTL implementing Linear Temporal Logic formulas, and the bounded variation of them.

Uses of LTL.Now in eu.iv4xr.framework.extensions.ltl

Methods in eu.iv4xr.framework.extensions.ltl that return LTL.Now

Modifier and Type	Method	Description
static <State> LTL.Now<State>	LTL2Buchi.isNotNow(LTL<State> phi)	To recognize and destruct "not(now p)".
static <State> LTL.Now<State>	LTL.now(String name, Predicate<State> p)
static <State> LTL.Now<State>	LTL.now(Predicate<State> p)	If p is a state-predicate, this construct the LTL formula "now(p)".
LTL.Now<State>	LTL.Now.treeClone()