org.ginsim.service.tool.avatar.simulation

Class MDDUtils

java.lang.Object

org.ginsim.service.tool.avatar.simulation.MDDUtils

public final class MDDUtils
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
MDDUtils()

Method Summary

Modifier and Type	Method and Description
static boolean	contained(NamedStateList oracles, List<byte[]> oracle)
static List<byte[]>	getStatePatterns(List<org.colomoto.biolqm.NodeInfo> vars, AbstractStateSet stateset) Infers a set of state patterns from a given set of states
static List<byte[]>	getStates(NamedStatesHandler states, List<org.colomoto.biolqm.NodeInfo> nodes) Returns a list of states given a handler for NamedStates and the ordered set of components
static StateSet	toStateSet(List<byte[]> oracle, List<org.colomoto.biolqm.NodeInfo> nodes) Maps an oracle (set of state patterns) into a set of specific states

Methods inherited from class java.lang.Object

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

Constructor Detail

MDDUtils

public MDDUtils()

Method Detail

toStateSet

public static StateSet toStateSet(List<byte[]> oracle,
                                  List<org.colomoto.biolqm.NodeInfo> nodes)

Maps an oracle (set of state patterns) into a set of specific states

Parameters:

oracle - the oracle (set of state patterns) to be unfolded

nodes - knowledge of the states of the components within a state pattern

Returns:

the set of specific states associated with the given state patterns

getStates

public static List<byte[]> getStates(NamedStatesHandler states,
                                     List<org.colomoto.biolqm.NodeInfo> nodes)

Returns a list of states given a handler for NamedStates and the ordered set of components

Parameters:

states - states handler containing a named list of normal and input states

nodes - list of components

Returns:

the list of states represented as byte arrays from the inputted handler

getStatePatterns

public static List<byte[]> getStatePatterns(List<org.colomoto.biolqm.NodeInfo> vars,
                                            AbstractStateSet stateset)

Infers a set of state patterns from a given set of states

Parameters:

model - the logical model to facilitate the generation of the MDD for the extraction of pattern

stateset - the set of states to be compacted

Returns:

the set of state patterns associated with the given states

contained

public static boolean contained(NamedStateList oracles,
                                List<byte[]> oracle)