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

Packages that use LTL.Until

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

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

Modifier and Type	Method	Description
static <State> LTL.Until<State>	LTL.eventually(LTL<State> phi)	evenatually(phi) constructs the LTL formula "F phi" (also written "diamond phi").
static <State> LTL.Until<State>	LTL.eventually(Predicate<State> phi)	if p is a state-predicate, evenatually(p) constructs the LTL formula "F noq(p)" (also written "diamond now(p)").
static <State> LTL.Until<State>	LTL2Buchi.isNotUntil(LTL<State> psi)	Recognize "not(p U q)" .
LTL.Until<State>	LTL.Until.treeClone()
LTL.Until<State>	LTL.until(LTL<State> psi)	phi.Until(psi) constructs the LTL formula "phi U psi".