org.ginsim.service.tool.reg2dyn.limitedsimulation

Class SimulationConstraint

java.lang.Object

org.ginsim.service.tool.reg2dyn.limitedsimulation.SimulationConstraint

public class SimulationConstraint
extends Object

Indicates from a set of states and a strategy if a given sate should be added to the simulation.

Author:

Duncan Berenguier

Constructor Summary

Constructors

Constructor and Description
SimulationConstraint(StatesSet space, OutgoingNodesHandlingStrategy strategy) Create a new simulation constraint

Method Summary

Modifier and Type	Method and Description
Iterator<byte[]>	getNewIterator() Return a new iterator for the given state space.
boolean	isValid() Indicates if the space is valid for computation (not null & non empty)
int	shouldAdd(byte[] state, byte[] parentState) Return a positive value if the state should be added to the graph.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimulationConstraint

public SimulationConstraint(StatesSet space,
                            OutgoingNodesHandlingStrategy strategy)

Create a new simulation constraint

Parameters:

space - the set of states used as an initial state.

strategy - the OutgoingNodesHandlingStrategy

Method Detail

shouldAdd

public int shouldAdd(byte[] state,
                     byte[] parentState)

Return a positive value if the state should be added to the graph. Return 1 if it is in the space Return 2 if it is a direct successor of the space

Parameters:

state -

parentState -

Returns:

a positive value if the state should be added to the graph.

getNewIterator

public Iterator<byte[]> getNewIterator()

Return a new iterator for the given state space.

Returns:

a new iterator for the given state space

isValid

public boolean isValid()

Indicates if the space is valid for computation (not null & non empty)

Returns:

true if the space is valid for computation (not null & non empty)