Package eu.iv4xr.framework.extensions.ltl

Class BasicModelChecker.Path<State>

java.lang.Object

eu.iv4xr.framework.extensions.ltl.BasicModelChecker.Path<State>

Enclosing class:

BasicModelChecker

public static class BasicModelChecker.Path<State>
extends Object

Representing a witness execution. It is represented as a sequence of pairs (tr,s) where s is a state passed by the execution, and tr is a representation of the transition that results in that state s. This tr might be null if s is the starting state.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
Path()

Method Summary

Modifier and Type	Method	Description
(package private) void	addInitialState(State state)
(package private) void	addTransition(ITransition tr, State state)
(package private) BasicModelChecker.Path<State>	copy()
State	getLastState()
List<State>	getStateSequence()
(package private) void	removeLastTransition()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

path

public List<Pair<ITransition,State>> path

Constructor Details

Path

public Path()

Method Details

addInitialState

void addInitialState(State state)

addTransition

void addTransition(ITransition tr,
 State state)

removeLastTransition

void removeLastTransition()

copy

BasicModelChecker.Path<State> copy()

getStateSequence

public List<State> getStateSequence()

getLastState

public State getLastState()

toString

public String toString()

Overrides:

toString in class Object