Uses of Enum Class
org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin.EquivalenceAlgorithm
Packages that use BehavioralEquivalenceMixin.EquivalenceAlgorithm
-
Uses of BehavioralEquivalenceMixin.EquivalenceAlgorithm in org.bigraphs.framework.simulation.equivalence
Methods in org.bigraphs.framework.simulation.equivalence that return BehavioralEquivalenceMixin.EquivalenceAlgorithmModifier and TypeMethodDescriptionBisimulationMixinImpl.getBisimType()Returns the enum constant of this class with the specified name.BehavioralEquivalenceMixin.EquivalenceAlgorithm.values()Returns an array containing the constants of this enum class, in the order they are declared.Methods in org.bigraphs.framework.simulation.equivalence with parameters of type BehavioralEquivalenceMixin.EquivalenceAlgorithmModifier and TypeMethodDescriptionvoidBisimulationMixinImpl.setBisimType(BehavioralEquivalenceMixin.EquivalenceAlgorithm defaultBisimAlgo)