Uses of Interface
org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin

Packages that use BehavioralEquivalenceMixin

Package	Description
org.bigraphs.framework.simulation.equivalence

Uses of BehavioralEquivalenceMixin in org.bigraphs.framework.simulation.equivalence

Classes in org.bigraphs.framework.simulation.equivalence that implement BehavioralEquivalenceMixin

Modifier and Type	Class	Description
class	BisimulationMixinImpl<B extends Bigraph<? extends Signature<?>>,AST extends ReactionGraph<B>>	Bisimulation checks whether two labeled transition systems exhibit the same behavior: every sequence of visible actions in one system can be matched by the other.