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

Packages that use IState

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

Subinterfaces of IState in eu.iv4xr.framework.extensions.ltl

Modifier and Type	Interface	Description
interface	IExplorableState	Should be hashable and implements equals as well!

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

Modifier and Type	Field	Description
(package private) Predicate<IState>	BoundedLTL.endf
(package private) LTL<IState>	BoundedLTL.ltl
(package private) Predicate<IState>	BoundedLTL.startf

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

Modifier and Type	Method	Description
void	BoundedLTL.WitnessTrace.register(ITransition transitionLabel, IState resultingState)

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

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).
BoundedLTL	BoundedLTL.thereIs(LTL<IState> F)
BoundedLTL	BoundedLTL.until(Predicate<IState> q)
BoundedLTL	BoundedLTL.when(Predicate<IState> p)

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

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

Modifier and Type	Class	Description
class	GWState	Representing the state of the game-world; or more precisely a state in GameWorldModel.