Uses of Class
org.ginsim.service.tool.avatar.domain.StateSet

Packages that use StateSet

Package	Description
org.ginsim.service.tool.avatar.domain
org.ginsim.service.tool.avatar.simulation
org.ginsim.service.tool.avatar.utils

Uses of StateSet in org.ginsim.service.tool.avatar.domain

Methods in org.ginsim.service.tool.avatar.domain that return StateSet

Modifier and Type	Method and Description
StateSet	StateSet.getExitStateSet() Returns the states accessible from the state-set

Methods in org.ginsim.service.tool.avatar.domain with parameters of type StateSet

Modifier and Type	Method and Description
void	StateSet.addAll(StateSet set) Adds a set of states to the state-set
boolean	StateSet.hasOverlapping(StateSet set) Checks whether two state-sets share states
void	Result.increment(StateSet s) Increments the number of occurrences for a complex attractor (assumes the results contain the attractor)
void	StateSet.setExitStates(StateSet exit) Stores the set of reachable states from the current state-set

Constructors in org.ginsim.service.tool.avatar.domain with parameters of type StateSet

Constructor and Description
StateSet(StateSet _states) Clones a given state-set

Uses of StateSet in org.ginsim.service.tool.avatar.simulation

Methods in org.ginsim.service.tool.avatar.simulation that return StateSet

Modifier and Type	Method and Description
StateSet	AvatarSimulation.calculateComplexAttractor(StateSet Ct, List<StateSet> temporaryTransients, PriorityQueue<StateSet> savedTransients) Calculates a complex attractor based on the knowledge of previous incarnations
static StateSet	Reachable.computeReachableStates(StatefulLogicalModel model) Method to find all the reachable states from a given portion of the state space
static StateSet	MDDUtils.toStateSet(List<byte[]> oracle, List<org.colomoto.biolqm.NodeInfo> nodes) Maps an oracle (set of state patterns) into a set of specific states

Methods in org.ginsim.service.tool.avatar.simulation with parameters of type StateSet

Modifier and Type	Method and Description
StateSet	AvatarSimulation.calculateComplexAttractor(StateSet Ct, List<StateSet> temporaryTransients, PriorityQueue<StateSet> savedTransients) Calculates a complex attractor based on the knowledge of previous incarnations
void	AvatarSimulation.extendCycle(State v, StateSet cycle, StateSet exits, StateSet newstates, int i, int tau, Map<String,Integer> time, int originalTime) Method for extending cycles before rewiring
static ReducedGraph	SimulationUtils.getGraphFromAttractor(ReducedGraph graph, StateSet attractor, org.colomoto.biolqm.LogicalModel model) Generates a drawable reduced graph from a complex attractor
void	AvatarSimulation.rewriteGraph(StateSet cycle, StateSet out, FinalPaths pi) Method for rewiring a cycle

Method parameters in org.ginsim.service.tool.avatar.simulation with type arguments of type StateSet

Modifier and Type	Method and Description
StateSet	AvatarSimulation.calculateComplexAttractor(StateSet Ct, List<StateSet> temporaryTransients, PriorityQueue<StateSet> savedTransients) Calculates a complex attractor based on the knowledge of previous incarnations
StateSet	AvatarSimulation.calculateComplexAttractor(StateSet Ct, List<StateSet> temporaryTransients, PriorityQueue<StateSet> savedTransients) Calculates a complex attractor based on the knowledge of previous incarnations

Uses of StateSet in org.ginsim.service.tool.avatar.utils

Methods in org.ginsim.service.tool.avatar.utils with parameters of type StateSet

Modifier and Type	Method and Description
int	StateSetComparator.compare(StateSet x, StateSet y)