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

Packages that use LTL.LTLVerdictInfo

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

Fields in eu.iv4xr.framework.extensions.ltl with type parameters of type LTL.LTLVerdictInfo

Modifier and Type	Field	Description
(package private) LinkedList<LTL.LTLVerdictInfo>	LTL.evals	If sigma is the sequence of states that is under evaluation.