Uses of Interface
eu.iv4xr.framework.extensions.ltl.ITransition

Packages that use ITransition

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.
eu.iv4xr.framework.extensions.ltl.gameworldmodel	Provide a class, GameWorldModel, that can be used as a model of a "computer game".

Uses of ITransition in eu.iv4xr.framework.extensions.ltl

Classes in eu.iv4xr.framework.extensions.ltl that implement ITransition

Modifier and Type	Class	Description
static class	Buchi.BuchiTransition	Representing a transition in a Buchi automaton.

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

Modifier and Type	Field	Description
List<Pair<ITransition,State>>	BasicModelChecker.Path.path

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

Modifier and Type	Method	Description
List<ITransition>	ITargetModel.availableTransitions()

Methods in eu.iv4xr.framework.extensions.ltl with parameters of type ITransition

Modifier and Type	Method	Description
(package private) void	BasicModelChecker.Path.addTransition(ITransition tr, State state)
void	ITargetModel.execute(ITransition tr)
void	BoundedLTL.WitnessTrace.register(ITransition transitionLabel, IState resultingState)

Method parameters in eu.iv4xr.framework.extensions.ltl with type arguments of type ITransition

Modifier and Type	Method	Description
void	BoundedLTL.checkNext(Pair<ITransition,IState> step)	Use this to check this BLTL predicate on a sequence of pairs transition-state by feeding it one item at a time.
SATVerdict	BoundedLTL.sat(List<Pair<ITransition,IState>> sequence)	This checks this BLTL formula on the given execution (list of pairs transition-state).

Uses of ITransition in eu.iv4xr.framework.extensions.ltl.gameworldmodel

Classes in eu.iv4xr.framework.extensions.ltl.gameworldmodel that implement ITransition

Modifier and Type	Class	Description
class	GWTransition	Representing a transition in GameWorldModel.

Methods in eu.iv4xr.framework.extensions.ltl.gameworldmodel that return types with arguments of type ITransition

Modifier and Type	Method	Description
List<ITransition>	GameWorldModel.availableTransitions()

Methods in eu.iv4xr.framework.extensions.ltl.gameworldmodel with parameters of type ITransition

Modifier and Type	Method	Description
void	GameWorldModel.execute(ITransition tr)