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

Packages that use LTL.Not

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

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

Modifier and Type	Method	Description
static <State> LTL.Not<State>	LTL2Buchi.isNotNot(LTL<State> psi)	Recognize "not(not(phi))".
static <State> LTL.Not<State>	LTL.ltlNot(LTL<State> phi)	ltlNot(phi) constructs the LTL formula "not phi".
LTL.Not<State>	LTL.Not.treeClone()