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

Packages that use LTL.And

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.And in eu.iv4xr.framework.extensions.ltl

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

Modifier and Type	Method	Description
static <State> LTL.And<State>	LTL2Buchi.isNotAnd(LTL<State> psi)	Recognize "not(p ∧ ...
static <State> LTL.And<State>	LTL.ltlAnd(LTL<State>... phis)	ltlAnd(phi1, ..., phin ) constructs the LTL formula "phi1 ∧ phi2 ...
LTL.And<State>	LTL.And.treeClone()

Methods in eu.iv4xr.framework.extensions.ltl with parameters of type LTL.And

Modifier and Type	Method	Description
static <State> boolean	LTL2Buchi.isIrreducibleConj(LTL.And<State> phi)	Check if the cunjunction is irreducible.