org.ginsim.service.tool.avatar.simulation

Class SimulationUtils

java.lang.Object

org.ginsim.service.tool.avatar.simulation.SimulationUtils

public final class SimulationUtils
extends Object

Facilities associated with simulation services. Including:
1) Random generation of an initial state from a given pattern or state-set.
2) Inference of state patterns from a given set of states.
3) Generating a drawable graph from a complex attractor.

Version:

1.0

Author:

Rui Henriques

Constructor Summary

Constructors

Constructor and Description
SimulationUtils()

Method Summary

Modifier and Type	Method and Description
static DynamicGraph	getGraphFromAttractor(DynamicGraph graph, AbstractStateSet attractor, org.colomoto.biolqm.LogicalModel model) Generates a drawable dynamic graph from a complex attractor
static ReducedGraph	getGraphFromAttractor(ReducedGraph graph, StateSet attractor, org.colomoto.biolqm.LogicalModel model) Generates a drawable reduced graph from a complex attractor
static State	getRandomState(org.colomoto.biolqm.LogicalModel model, List<byte[]> states, boolean hasSuccessors) Selects an initial state from a given pattern or state-set
static boolean	isSingleState(byte[] vec)

Methods inherited from class java.lang.Object

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

Constructor Detail

SimulationUtils

public SimulationUtils()

Method Detail

getRandomState

public static State getRandomState(org.colomoto.biolqm.LogicalModel model,
                                   List<byte[]> states,
                                   boolean hasSuccessors)

Selects an initial state from a given pattern or state-set

Parameters:

model - the logical model to possibly check whether the selected state has successors

states - the set of possible states

hasSuccessors - true to impose that the selected initial state has successors

Returns:

getGraphFromAttractor

public static DynamicGraph getGraphFromAttractor(DynamicGraph graph,
                                                 AbstractStateSet attractor,
                                                 org.colomoto.biolqm.LogicalModel model)

Generates a drawable dynamic graph from a complex attractor

Parameters:

graph - the type of graph to be generated

attractor - the complex attractor

model - the logical model to provide contextual information

Returns:

the dynamic graph mapped from the given complex attractor

getGraphFromAttractor

public static ReducedGraph getGraphFromAttractor(ReducedGraph graph,
                                                 StateSet attractor,
                                                 org.colomoto.biolqm.LogicalModel model)

Generates a drawable reduced graph from a complex attractor

Parameters:

graph - the type of graph to be generated

attractor - the complex attractor

model - the logical model to provide contextual information

Returns:

the reduced graph mapped from the given complex attractor

isSingleState

public static boolean isSingleState(byte[] vec)