MealyStateMachine

Class StateSpaceContext

java.lang.Object

MealyStateMachine.StateSpaceContext

public class StateSpaceContext
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StateSpaceContext() Constructor of the context {< var = value>}

Method Summary

Methods

Modifier and Type	Method and Description
void	addSubstitution(VarIdentifier vv, java.lang.Integer ii) add a substitution in the current context
int	evalActions(java.util.LinkedList<mAction> acts) Evaluator of actions (var = val) in the the context {< var = value>}
boolean	evalCond(mCondition cond) Evaluator of a condition in the the context {< var = value>}
java.util.HashMap<VarIdentifier,java.lang.Integer>	getContext() get the current context
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

StateSpaceContext

public StateSpaceContext()

Constructor of the context {< var = value>}

Method Detail

getContext

public java.util.HashMap<VarIdentifier,java.lang.Integer> getContext()

get the current context

addSubstitution

public void addSubstitution(VarIdentifier vv,
                   java.lang.Integer ii)

add a substitution in the current context

evalCond

public boolean evalCond(mCondition cond)

Evaluator of a condition in the the context {< var = value>}

evalActions

public int evalActions(java.util.LinkedList<mAction> acts)

Evaluator of actions (var = val) in the the context {< var = value>}

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object