Hierarchy For Package org.bigraphs.framework.simulation.equivalence

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.bigraphs.framework.simulation.equivalence.BisimulationCheckerSupport<B,AST>
  • org.bigraphs.framework.simulation.equivalence.BisimulationMixinImpl<B,AST> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>)

Interface Hierarchy

• org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin.EquivalenceAlgorithm