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

Packages that use ITargetModel

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

Fields in eu.iv4xr.framework.extensions.ltl declared as ITargetModel

Modifier and Type	Field	Description
ITargetModel	BasicModelChecker.model	The 'program' or 'model of a program' that we want to target in model-checking.
ITargetModel	BuchiModelChecker.model	The 'program' or 'model of a program' that we want to target in model-checking.

Constructors in eu.iv4xr.framework.extensions.ltl with parameters of type ITargetModel

Modifier	Constructor	Description
	BasicModelChecker(ITargetModel model)	Create an instance of a model checker.
	BuchiModelChecker(ITargetModel model)

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

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

Modifier and Type	Class	Description
class	GameWorldModel	An EFSM-like model of a game-world.