Uses of Class
eu.iv4xr.framework.extensions.ltl.Buchi.BuchiTransition

Packages that use Buchi.BuchiTransition

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

Fields in eu.iv4xr.framework.extensions.ltl with type parameters of type Buchi.BuchiTransition

Modifier and Type	Field	Description
Map<Integer,List<Pair<Buchi.BuchiTransition,Integer>>>	Buchi.transitions

Methods in eu.iv4xr.framework.extensions.ltl that return types with arguments of type Buchi.BuchiTransition

Modifier and Type	Method	Description
List<Pair<Buchi.BuchiTransition,Integer>>	Buchi.getEnabledTransitions(IExplorableState state)	Check which of transitions of this Buchi, that go from from it current state, would be semantically possible/enabled given the concrete state of the environment with which this Buchi is executed.