Uses of Interface
org.ginsim.service.tool.avatar.domain.FinalPaths

Packages that use FinalPaths

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

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

Classes in org.ginsim.service.tool.avatar.domain that implement FinalPaths

Modifier and Type	Class and Description
class	ApproximateFinalPaths Approximate representation of the probabilities of the transitions within and going out of a cycle. Useful when assuming that the transitions to the states out of a cycle are equiprobable (Uniform transitions).
class	ExhaustiveFinalPaths Exhaustive representation of the probabilities of the transitions within and going out of a cycle

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

Modifier and Type	Method and Description
FinalPaths	ExhaustiveFinalPaths.copy()

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

Modifier and Type	Method and Description
void	StateSet.setProbPaths(FinalPaths exit) Stores the set of outgoing transitions from the current state-set
void	MDDStateSet.setProbPaths(FinalPaths exit) Stores the set of outgoing transitions from the current state-set

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

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

Modifier and Type	Method and Description
void	AvatarSimulation.rewriteGraph(StateSet cycle, StateSet out, FinalPaths pi) Method for rewiring a cycle

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

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

Modifier and Type	Method and Description
void	AvatarMDDSimulation.rewriteGraph(MDDStateSet cycle, MDDStateSet out, FinalPaths pi) Method for rewiring a cycle