Hierarchy For All Packages

Package Hierarchies:

• org.bigraphs.framework.simulation.encoding,
• org.bigraphs.framework.simulation.encoding.hash,
• org.bigraphs.framework.simulation.exceptions,
• org.bigraphs.framework.simulation.matching,
• org.bigraphs.framework.simulation.matching.pure,
• org.bigraphs.framework.simulation.modelchecking,
• org.bigraphs.framework.simulation.modelchecking.predicates,
• org.bigraphs.framework.simulation.modelchecking.reactions,
• org.bigraphs.framework.simulation.util

Class Hierarchy

• java.lang.Object
  • org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher<B>
    • org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
  • org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch.Embedding
  • org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem<B> (implements org.bigraphs.framework.core.reactivesystem.ReactiveSystem<B>)
    • org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem
  • org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm (implements org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport)
  • org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy<B>
    • org.bigraphs.framework.simulation.encoding.PureCanonicalForm
  • org.bigraphs.framework.core.BigraphDelegator<S> (implements org.bigraphs.framework.core.Bigraph<S>)
    • org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter<S,B> (implements org.bigraphs.framework.core.EcoreBigraph<S>)
      • org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter
      • org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter
  • org.bigraphs.framework.simulation.matching.BigraphMatchingSupport
    • org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine (implements org.bigraphs.framework.simulation.matching.BigraphMatchingEngine<B>)
  • org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker<B>
    • org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker
  • org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy
  • org.bigraphs.framework.simulation.util.Combination
  • org.bigraphs.framework.simulation.util.CombinationMaps
  • org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider (implements org.bigraphs.framework.core.providers.ExecutorServicePoolProvider)
  • org.bigraphs.framework.simulation.matching.pure.IHSFilter
  • org.bigraphs.framework.simulation.matching.MatchIterable<T> (implements java.lang.Iterable<T>)
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions (implements org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts)
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions (implements org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts)
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
  • org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B> (implements org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy<B>)
    • org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy<B>
    • org.bigraphs.framework.simulation.modelchecking.BreadthFirstStrategy<B>
    • org.bigraphs.framework.simulation.modelchecking.RandomAgentModelCheckingStrategy<B>
  • org.bigraphs.framework.simulation.util.Permutations
  • org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker<B>
  • org.bigraphs.framework.simulation.encoding.hash.PureBigraphHash (implements org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction<B>)
  • org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch (implements org.bigraphs.framework.core.reactivesystem.BigraphMatch<B>)
  • org.bigraphs.framework.simulation.encoding.PureCanonicalForm.RewriteFunction
  • org.bigraphs.framework.simulation.matching.pure.PureMatchIteratorImpl (implements java.util.Iterator<E>)
  • org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier<B> (implements java.util.function.Supplier<T>)
  • org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier<B> (implements java.util.function.Supplier<T>)
    • org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier<B>
  • org.bigraphs.framework.core.reactivesystem.ReactiveSystemPredicate<B> (implements org.bigraphs.framework.core.reactivesystem.HasLabel, java.util.function.Predicate<T>)
    • org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate<B>
    • org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate<B>
  • org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.bigraphs.framework.simulation.exceptions.BigraphSimulationException
      • org.bigraphs.framework.core.exceptions.ReactiveSystemException
        • org.bigraphs.framework.simulation.exceptions.InvalidSimulationStrategy
      • java.lang.RuntimeException
        • org.bigraphs.framework.simulation.exceptions.ModelCheckerExecutorServiceNotProvided

Interface Hierarchy

• org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport
• org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction<B>
• org.bigraphs.framework.simulation.matching.BigraphMatchingEngine<B>
• org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener<B>
• org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts
• org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy<B>

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.modelchecking.BigraphModelChecker.SimulationStrategy.Type
    • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options