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

Packages that use MDDStateSet

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

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

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

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

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

Modifier and Type	Method and Description
void	MDDStateSet.addAll(MDDStateSet set) Adds a set of states to the state-set
void	MDDStateSet.setExitStates(MDDStateSet exit) Stores the set of reachable states from the current state-set

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

Constructor and Description
MDDStateSet(List<org.colomoto.biolqm.NodeInfo> vars, MDDStateSet _states) Clones a given state-set

Uses of MDDStateSet in org.ginsim.service.tool.avatar.simulation.others

Methods in org.ginsim.service.tool.avatar.simulation.others that return MDDStateSet

Modifier and Type	Method and Description
MDDStateSet	AvatarMDDSimulation.calculateComplexAttractor(List<MDDStateSet> C, int t) Calculates a complex attractor based on the knowledge of previous incarnations

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

Modifier and Type	Method and Description
void	AvatarMDDSimulation.extendCycle(State v, MDDStateSet cycle, MDDStateSet result, int i, int tau, Map<String,Integer> time, int originalTime) Method for extending cycles before rewiring
void	AvatarMDDSimulation.rewriteGraph(MDDStateSet cycle, MDDStateSet out, FinalPaths pi) Method for rewiring a cycle

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

Modifier and Type	Method and Description
MDDStateSet	AvatarMDDSimulation.calculateComplexAttractor(List<MDDStateSet> C, int t) Calculates a complex attractor based on the knowledge of previous incarnations