Hierarchy For Package org.bigraphs.framework.simulation.equivalence
Package Hierarchies:Class Hierarchy
- java.lang.Object
- org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B,
T> - org.bigraphs.framework.core.reactivesystem.ReactionGraph<B> (implements java.io.Serializable)
- org.bigraphs.framework.simulation.equivalence.ReactionGraphExtended<B>
- org.bigraphs.framework.core.reactivesystem.ReactionGraph<B> (implements java.io.Serializable)
- org.bigraphs.framework.simulation.equivalence.BisimulationCheckerSupport<B,
AST> - org.bigraphs.framework.simulation.equivalence.StrongBisimulationMixinImpl<B,
AST> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>) - org.bigraphs.framework.simulation.equivalence.WeakBisimulationMixinImpl
- org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B,
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.Algorithms
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)