Uses of Class
eu.iv4xr.framework.extensions.ltl.BoundedLTL.WitnessTrace

Packages that use BoundedLTL.WitnessTrace

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

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

Modifier and Type	Field	Description
(package private) BoundedLTL.WitnessTrace	BoundedLTL.trace

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

Modifier and Type	Method	Description
BoundedLTL.WitnessTrace	BoundedLTL.getWitness()	Return the witnessing trace, if the last sat-checking results in a SAT.