org.ginsim.service.tool.avatar.simulation

Class Reachable

java.lang.Object

org.ginsim.service.tool.avatar.simulation.Reachable

public final class Reachable
extends Object

Facilities to compute the set of reachable states from a portion of the state space of a given discrete system

Version:

1.0

Author:

Rui Henriques

Constructor Summary

Constructors

Constructor and Description
Reachable()

Method Summary

Modifier and Type	Method and Description
static StateSet	computeReachableStates(StatefulLogicalModel model) Method to find all the reachable states from a given portion of the state space

Methods inherited from class java.lang.Object

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

Constructor Detail

Reachable

public Reachable()

Method Detail

computeReachableStates

public static StateSet computeReachableStates(StatefulLogicalModel model)

Method to find all the reachable states from a given portion of the state space

Parameters:

model - a stateful logical model possibly defining a set of initial states

Returns:

the set of reachable states