Uses of Enum
eu.iv4xr.framework.extensions.ltl.BoundedLTL.BLTLstate

Packages that use BoundedLTL.BLTLstate

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

Fields in eu.iv4xr.framework.extensions.ltl declared as BoundedLTL.BLTLstate

Modifier and Type	Field	Description
(package private) BoundedLTL.BLTLstate	BoundedLTL.bltlState

Methods in eu.iv4xr.framework.extensions.ltl that return BoundedLTL.BLTLstate

Modifier and Type	Method	Description
static BoundedLTL.BLTLstate	BoundedLTL.BLTLstate.valueOf(String name)	Returns the enum constant of this type with the specified name.
static BoundedLTL.BLTLstate[]	BoundedLTL.BLTLstate.values()	Returns an array containing the constants of this enum type, in the order they are declared.