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

Packages that use LTL.WeakUntil

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

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

Modifier and Type	Method	Description
static <State> LTL.WeakUntil<State>	LTL2Buchi.isNotWeakUntil(LTL<State> psi)	Recognize "not(p W q)" .
LTL.WeakUntil<State>	LTL.WeakUntil.treeClone()
LTL.WeakUntil<State>	LTL.weakUntil(LTL<State> psi)	phi.weakUntil(psi) constructs the LTL formula "phi W psi".
LTL.WeakUntil<State>	LTL.weakUntil(Predicate<State> psi)