Hierarchy For All Packages

Package Hierarchies:

• GCF.DefaultImpl2,
• GCF.DefaultImpl3,
• GCF.original,
• org.bigraph.model,
• org.bigraphs.framework.converter,
• org.bigraphs.framework.converter.bigmc,
• org.bigraphs.framework.converter.bigrapher,
• org.bigraphs.framework.converter.bigred,
• org.bigraphs.framework.converter.ecore,
• org.bigraphs.framework.converter.gcf.DefaultImpl1,
• org.bigraphs.framework.converter.graphml,
• org.bigraphs.framework.converter.jlibbig,
• org.bigraphs.framework.converter.rankedgraph,
• org.bigraphs.framework.converter.vcg,
• org.bigraphs.framework.core,
• org.bigraphs.framework.core.alg.generators,
• org.bigraphs.framework.core.analysis,
• org.bigraphs.framework.core.datatypes,
• org.bigraphs.framework.core.exceptions,
• org.bigraphs.framework.core.exceptions.builder,
• org.bigraphs.framework.core.exceptions.operations,
• org.bigraphs.framework.core.factory,
• org.bigraphs.framework.core.impl,
• org.bigraphs.framework.core.impl.elementary,
• org.bigraphs.framework.core.impl.pure,
• org.bigraphs.framework.core.impl.signature,
• org.bigraphs.framework.core.providers,
• org.bigraphs.framework.core.reactivesystem,
• org.bigraphs.framework.core.reactivesystem.analysis,
• org.bigraphs.framework.core.utils,
• org.bigraphs.framework.core.utils.auxiliary,
• org.bigraphs.framework.core.utils.emf,
• org.bigraphs.framework.core.validation,
• org.bigraphs.framework.simulation.encoding,
• org.bigraphs.framework.simulation.encoding.hash,
• org.bigraphs.framework.simulation.equivalence,
• org.bigraphs.framework.simulation.equivalence.adapter,
• 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.visualization,
• org.bigraphs.framework.visualization.auxiliary,
• org.bigraphs.framework.visualization.supplier

Class Hierarchy

• java.lang.Object
  • org.bigraphs.framework.simulation.modelchecking.reactions.AbstractAgentMatchSupplier<B> (implements java.util.function.Supplier<T>)
    • org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier<B>
  • org.bigraphs.framework.core.factory.AbstractBigraphFactory<S> (implements org.bigraphs.framework.core.factory.BigraphFactoryElement)
    • org.bigraphs.framework.core.factory.KindBigraphFactory
    • org.bigraphs.framework.core.factory.PureBigraphFactory
  • org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher<B>
    • org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
  • org.bigraphs.framework.core.AbstractControl<NT,V> (implements org.bigraphs.framework.core.Control<NT,T>)
    • org.bigraphs.framework.core.impl.signature.BindingControl<NT,FO>
    • org.bigraphs.framework.core.impl.signature.DefaultDynamicControl
  • org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
  • org.bigraphs.framework.core.AbstractEcoreSignature<C> (implements org.bigraphs.framework.core.EcoreSignature, org.bigraphs.framework.core.Signature<C>)
    • org.bigraphs.framework.core.impl.signature.BindingSignature
    • org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature (implements org.bigraphs.framework.core.IsPlaceSortable)
    • org.bigraphs.framework.core.impl.signature.KindSignature (implements org.bigraphs.framework.core.IsPlaceSortable)
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.concurrent.ConcurrentHashMap<K,V> (implements java.util.concurrent.ConcurrentMap<K,V>, java.io.Serializable)
      • org.bigraphs.framework.core.factory.DefaultBigraphModelsRegistryImpl (implements org.bigraphs.framework.core.factory.BigraphFactory.Registry)
      • org.bigraphs.framework.core.factory.DefaultSignatureModelsRegistryImpl (implements org.bigraphs.framework.core.factory.BigraphFactory.Registry)
    • 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.TrackingMap
  • org.bigraphs.framework.core.AbstractRankedGraph<B,N,E>
    • org.bigraphs.framework.converter.rankedgraph.PureBigraphRankedGraphEncoding
  • org.bigraphs.framework.core.AbstractRankedGraph.LabeledNode
  • org.bigraphs.framework.core.reactivesystem.AbstractReactionRule<B> (implements org.bigraphs.framework.core.reactivesystem.ReactionRule<B>)
    • org.bigraphs.framework.core.reactivesystem.AbstractReactionRule.ReactiveSystemBoundReactionRule<B>
    • org.bigraphs.framework.core.reactivesystem.GroundReactionRule<B>
    • org.bigraphs.framework.core.reactivesystem.ParametricReactionRule<B>
      • org.bigraphs.framework.core.reactivesystem.ConditionalParametricRuleDecorator<B>
  • org.bigraphs.framework.simulation.modelchecking.reactions.AbstractReactionRuleSupplier<B> (implements java.util.function.Supplier<T>)
    • org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier<B>
  • org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem<B> (implements org.bigraphs.framework.core.reactivesystem.ReactiveSystem<B>)
    • org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B>
    • org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem
  • org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem<B,T>
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph<B> (implements java.io.Serializable)
      • org.bigraphs.framework.core.reactivesystem.ReactionGraphCollapsed<B>
      • org.bigraphs.framework.simulation.equivalence.ReactionGraphExtended<B>
  • org.bigraphs.framework.core.reactivesystem.AbstractTransitionSystem.Transition
  • org.bigraphs.framework.simulation.equivalence.adapter.BighuggiesBisimulationStringAdapter<AST>
  • org.bigraphs.framework.converter.bigmc.BigMcTransformator (implements org.bigraphs.framework.converter.ReactiveSystemPrettyPrinter<B,R>)
  • org.bigraphs.framework.core.analysis.BigraphAnalysis
  • org.bigraphs.framework.core.BigraphBuilderSupport<S> (implements org.bigraphs.framework.core.BigraphBuilder<S>)
    • org.bigraphs.framework.core.impl.pure.PureBigraphBuilder<S>
      • org.bigraphs.framework.core.impl.pure.KindBigraphBuilder
      • org.bigraphs.framework.core.impl.pure.MutableBuilder<S>
  • org.bigraphs.framework.core.BigraphBuilderSupport.InstanceParameter
  • 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.BigraphCompositeSupport.LinkComparator<T> (implements java.util.Comparator<T>)
  • org.bigraphs.framework.core.analysis.BigraphDecomposer<B>
    • org.bigraphs.framework.core.analysis.PureBigraphDecomposerImpl
  • 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.core.BigraphCompositeSupport<S> (implements org.bigraphs.framework.core.BigraphComposite<S>)
      • org.bigraphs.framework.core.impl.pure.PureBigraphComposite<S> (implements org.bigraphs.framework.core.EcoreBigraph<S>)
    • org.bigraphs.framework.core.ElementaryBigraph<S> (implements org.bigraphs.framework.core.EcoreBigraph<S>)
      • org.bigraphs.framework.core.impl.elementary.DiscreteIon<S>
      • org.bigraphs.framework.core.impl.elementary.Linkings.Closure
      • org.bigraphs.framework.core.impl.elementary.Linkings.IdentityEmpty
      • org.bigraphs.framework.core.impl.elementary.Linkings.Substitution
        • org.bigraphs.framework.core.impl.elementary.Linkings.Identity
      • org.bigraphs.framework.core.impl.elementary.Placings.Barren
      • org.bigraphs.framework.core.impl.elementary.Placings.Join
      • org.bigraphs.framework.core.impl.elementary.Placings.Merge
      • org.bigraphs.framework.core.impl.elementary.Placings.Permutation
        • org.bigraphs.framework.core.impl.elementary.Placings.Identity1
        • org.bigraphs.framework.core.impl.elementary.Placings.Symmetry
  • org.bigraphs.framework.core.impl.BigraphEntity<C>
    • org.bigraphs.framework.core.impl.BigraphEntity.InnerName
    • org.bigraphs.framework.core.impl.BigraphEntity.Link
      • org.bigraphs.framework.core.impl.BigraphEntity.Edge
      • org.bigraphs.framework.core.impl.BigraphEntity.OuterName
    • org.bigraphs.framework.core.impl.BigraphEntity.NodeEntity<C> (implements java.lang.Comparable<T>)
    • org.bigraphs.framework.core.impl.BigraphEntity.Port (implements java.lang.Comparable<T>)
    • org.bigraphs.framework.core.impl.BigraphEntity.RootEntity (implements java.lang.Comparable<T>)
    • org.bigraphs.framework.core.impl.BigraphEntity.SiteEntity (implements java.lang.Comparable<T>)
  • org.bigraphs.framework.converter.bigrapher.BigrapherTransformator (implements org.bigraphs.framework.converter.ReactiveSystemPrettyPrinter<B,R>)
  • org.bigraphs.framework.core.factory.BigraphFactory
  • org.bigraphs.framework.core.BigraphFileModelManagement
  • org.bigraphs.framework.core.BigraphFileModelManagement.Load
  • org.bigraphs.framework.core.BigraphFileModelManagement.Store
  • org.bigraphs.framework.visualization.BigraphGraphvizExporter (implements org.bigraphs.framework.visualization.BigraphGraphicsExporter<T>)
  • org.bigraphs.framework.simulation.matching.BigraphMatchingSupport
    • org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine (implements org.bigraphs.framework.simulation.matching.BigraphMatchingEngine<B>)
  • org.bigraphs.framework.core.BigraphMetaModelConstants
  • org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker<B>
    • org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker
  • org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy
  • org.bigraphs.framework.visualization.BigraphRankedGraphExporter (implements org.bigraphs.framework.visualization.BigraphGraphicsExporter<T>)
  • org.bigraphs.framework.core.utils.BigraphUtil
  • org.bigraphs.framework.converter.bigred.BigraphXmlLoaderSupport (implements org.bigraphs.framework.converter.bigred.BigRedXmlLoader)
    • org.bigraphs.framework.converter.bigred.DefaultBigraphXMLLoader (implements org.bigraphs.framework.converter.bigred.BigRedXmlLoader)
  • org.bigraphs.framework.core.alg.generators.BigridGenerator
  • org.bigraphs.framework.core.alg.generators.BigridGenerator.DiscreteIons
  • org.bigraphs.framework.simulation.equivalence.BisimulationCheckerSupport<B,AST>
  • org.bigraphs.framework.core.ControlBuilder<NT,V,B>
    • org.bigraphs.framework.core.impl.signature.DynamicControlBuilder
    • org.bigraphs.framework.core.impl.signature.KindControlBuilder
  • org.jgrapht.graph.DefaultEdge
    • org.bigraphs.framework.core.AbstractRankedGraph.LabeledEdge
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph.LabeledEdge
      • org.bigraphs.framework.core.reactivesystem.ReactionGraph.CollapsedLabeledEdge
  • org.bigraphs.framework.converter.bigred.DefaultReactionRuleXMLLoader (implements org.bigraphs.framework.converter.bigred.BigraphXmlLoaderSupport.XmlProcessorCallback, org.bigraphs.framework.converter.bigred.BigRedXmlLoader)
  • org.bigraphs.framework.converter.bigred.DefaultSignatureXMLLoader (implements org.bigraphs.framework.converter.bigred.BigRedXmlLoader)
  • org.bigraphs.framework.converter.bigred.DefaultSimulationSpecXMLLoader (implements org.bigraphs.framework.converter.bigred.BigRedXmlLoader)
  • org.bigraphs.framework.core.utils.DistributedRandomNumberGenerator
  • org.bigraphs.framework.converter.ecore.EcoreAgentConverter (implements org.bigraphs.framework.converter.BigraphPrettyPrinter<B>)
    • org.bigraphs.framework.converter.ecore.EcoreConverter (implements org.bigraphs.framework.converter.ReactiveSystemPrettyPrinter<B,R>)
  • org.bigraphs.framework.core.EcoreBigraph.Stub<S> (implements org.bigraphs.framework.core.EcoreBigraph<S>)
  • org.bigraphs.framework.core.datatypes.EMetaModelData
  • org.bigraphs.framework.core.datatypes.EMetaModelData.MetaModelDataBuilder
  • org.bigraphs.framework.core.utils.emf.EMFUtils
  • org.bigraphs.framework.core.factory.FactoryCreationContext
  • org.bigraphs.framework.core.datatypes.FiniteOrdinal<T> (implements java.lang.Comparable<T>)
  • org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider (implements org.bigraphs.framework.core.providers.ExecutorServicePoolProvider)
  • org.bigraphs.framework.visualization.GraphicalFeatureSupplier<V> (implements java.util.function.Supplier<T>)
    • org.bigraphs.framework.visualization.DefaultColorSupplier<V>
      • org.bigraphs.framework.visualization.supplier.GraphvizColorSupplier
    • org.bigraphs.framework.visualization.DefaultLabelSupplier
    • org.bigraphs.framework.visualization.DefaultShapeSupplier<V>
      • org.bigraphs.framework.visualization.supplier.GraphvizShapeSupplier
  • org.bigraphs.framework.converter.graphml.GraphMLDomBuilder
  • org.bigraphs.framework.visualization.auxiliary.GraphvizProcess
  • GCF.DefaultImpl2.GXLOutputAPI
  • GCF.DefaultImpl3.GXLOutputAPI
  • GCF.original.GXLOutputAPI
  • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLOutputAPI
  • GCF.DefaultImpl2.GXLStandardAPI
    • GCF.DefaultImpl2.GXLAttributedAPI
      • GCF.DefaultImpl2.GXLRelendAPIImpl
      • GCF.DefaultImpl2.GXLTypedAndAttributedAPI
        • GCF.DefaultImpl2.GXLAttrAPIImpl (implements GCF.DefaultImpl2.GXLStandardValueMethods)
        • GCF.DefaultImpl2.GXLGraphContainerAPI
          • GCF.DefaultImpl2.GXLEdgeAPIImpl
          • GCF.DefaultImpl2.GXLNodeAPIImpl
          • GCF.DefaultImpl2.GXLRelAPIImpl
    • GCF.DefaultImpl2.GXLGraphAPIImpl
    • GCF.DefaultImpl2.GXLGXLAPIImpl
    • GCF.DefaultImpl2.GXLLocatorAPIImpl
    • GCF.DefaultImpl2.GXLTypeAPIImpl
    • GCF.DefaultImpl2.GXLUntypedStandardValueContainerAPI (implements GCF.DefaultImpl2.GXLStandardValueMethods)
      • GCF.DefaultImpl2.GXLBagAPIImpl
      • GCF.DefaultImpl2.GXLSeqAPIImpl
      • GCF.DefaultImpl2.GXLSetAPIImpl
      • GCF.DefaultImpl2.GXLTupAPIImpl
  • GCF.DefaultImpl3.GXLStandardAPI
    • GCF.DefaultImpl3.GXLAttributedAPI
      • GCF.DefaultImpl3.GXLRelendAPIImpl
      • GCF.DefaultImpl3.GXLTypedAndAttributedAPI
        • GCF.DefaultImpl3.GXLAttrAPIImpl (implements GCF.DefaultImpl3.GXLStandardValueMethods)
        • GCF.DefaultImpl3.GXLGraphContainerAPI
          • GCF.DefaultImpl3.GXLEdgeAPIImpl
          • GCF.DefaultImpl3.GXLNodeAPIImpl
          • GCF.DefaultImpl3.GXLRelAPIImpl
    • GCF.DefaultImpl3.GXLGraphAPIImpl
    • GCF.DefaultImpl3.GXLGXLAPIImpl
    • GCF.DefaultImpl3.GXLLocatorAPIImpl
    • GCF.DefaultImpl3.GXLTypeAPIImpl
    • GCF.DefaultImpl3.GXLUntypedStandardValueContainerAPI (implements GCF.DefaultImpl3.GXLStandardValueMethods)
      • GCF.DefaultImpl3.GXLBagAPIImpl
      • GCF.DefaultImpl3.GXLSeqAPIImpl
      • GCF.DefaultImpl3.GXLSetAPIImpl
      • GCF.DefaultImpl3.GXLTupAPIImpl
  • GCF.original.GXLStandardAPI
    • GCF.original.GXLAttributedAPI
      • GCF.original.GXLRelendAPIImpl
      • GCF.original.GXLTypedAndAttributedAPI
        • GCF.original.GXLAttrAPIImpl (implements GCF.original.GXLStandardValueMethods)
        • GCF.original.GXLGraphContainerAPI
          • GCF.original.GXLEdgeAPIImpl
          • GCF.original.GXLNodeAPIImpl
          • GCF.original.GXLRelAPIImpl
    • GCF.original.GXLGraphAPIImpl
    • GCF.original.GXLGXLAPIImpl
    • GCF.original.GXLLocatorAPIImpl
    • GCF.original.GXLTypeAPIImpl
    • GCF.original.GXLUntypedStandardValueContainerAPI (implements GCF.original.GXLStandardValueMethods)
      • GCF.original.GXLBagAPIImpl
      • GCF.original.GXLSeqAPIImpl
      • GCF.original.GXLSetAPIImpl
      • GCF.original.GXLTupAPIImpl
  • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLStandardAPI
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLAttributedAPI
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLRelendAPIImpl
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLTypedAndAttributedAPI
        • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLAttrAPIImpl (implements org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLStandardValueMethods)
        • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLGraphContainerAPI
          • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLEdgeAPIImpl
          • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLNodeAPIImpl
          • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLRelAPIImpl
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLGraphAPIImpl
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLGXLAPIImpl
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLLocatorAPIImpl
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLTypeAPIImpl
    • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLUntypedStandardValueContainerAPI (implements org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLStandardValueMethods)
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLBagAPIImpl
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLSeqAPIImpl
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLSetAPIImpl
      • org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLTupAPIImpl
  • org.bigraphs.framework.simulation.matching.pure.IHSFilter
  • org.bigraphs.framework.core.reactivesystem.InstantiationMap
  • org.bigraphs.framework.core.validation.InvalidModelResult (implements org.bigraphs.framework.core.validation.BModelValidationResult<T>)
    • org.bigraphs.framework.core.validation.ValidatorNotFound
  • org.bigraphs.framework.converter.jlibbig.JLibBigBigraphDecoder (implements org.bigraphs.framework.converter.BigraphObjectDecoder<B,T>)
  • org.bigraphs.framework.converter.jlibbig.JLibBigBigraphEncoder (implements org.bigraphs.framework.converter.BigraphObjectEncoder<T,B>)
  • org.bigraphs.framework.core.impl.pure.KindBigraph (implements org.bigraphs.framework.core.Bigraph<S>, org.bigraphs.framework.core.EcoreBigraph<S>)
  • org.bigraphs.framework.core.impl.signature.KindSort
  • org.bigraphs.framework.core.impl.elementary.Linkings<S> (implements java.io.Serializable)
  • org.bigraphs.framework.simulation.matching.MatchIterable<T> (implements java.lang.Iterable<T>)
  • org.bigraphs.framework.core.utils.auxiliary.MemoryOperations
  • 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.modelchecking.ModelCheckingStrategySupport.MatchResult<B> (implements org.bigraphs.framework.core.reactivesystem.BMatchResult<B>)
  • org.bigraph.model.ModelObject
    • org.bigraph.model.Signature (implements org.bigraph.model.assistants.IObjectIdentifier.Resolver, org.bigraph.model.interfaces.ISignature)
      • org.bigraph.model.SignatureAdapter (implements org.bigraph.model.assistants.IObjectIdentifier.Resolver, org.bigraph.model.interfaces.ISignature)
  • com.mxgraph.util.mxEventSource
    • com.mxgraph.view.mxGraph
      • org.bigraphs.framework.visualization.mxReactionGraph (implements org.jgrapht.event.GraphListener<V,E>)
  • org.bigraphs.framework.core.impl.elementary.Placings<S> (implements java.io.Serializable)
  • org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker<B>
  • bighuggies.bisimulation.se705.bisimulation.lts.Process
    • org.bigraphs.framework.simulation.equivalence.adapter.BighuggiesBisimulationProcessAdapter<B,AST>
  • org.bigraphs.framework.core.impl.pure.PureBigraph (implements org.bigraphs.framework.core.Bigraph<S>, org.bigraphs.framework.core.EcoreBigraph<S>)
  • org.bigraphs.framework.converter.graphml.PureBigraph2GraphMLPrettyPrinter (implements org.bigraphs.framework.converter.BigraphPrettyPrinter<B>)
  • org.bigraphs.framework.core.impl.pure.PureBigraphBuilder.Hierarchy (implements org.bigraphs.framework.core.BigraphBuilder.NodeHierarchy<S>)
  • 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.core.analysis.PureLinkGraphConnectedComponents (implements org.bigraphs.framework.core.analysis.BigraphDecompositionStrategy<B>)
  • org.bigraphs.framework.core.analysis.PureLinkGraphConnectedComponents.UnionFind
  • org.bigraphs.framework.simulation.matching.pure.PureMatchIteratorImpl (implements java.util.Iterator<E>)
  • org.bigraphs.framework.core.alg.generators.RandomBigraphGeneratorSupport
    • org.bigraphs.framework.core.alg.generators.PureBigraphGenerator
  • org.bigraphs.framework.core.reactivesystem.ReactionGraph.LabeledNode (implements java.io.Serializable)
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph.CanonicalLabeledNode
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph.CollapsedLabeledNode
    • org.bigraphs.framework.core.reactivesystem.ReactionGraph.DefaultLabeledNode
  • org.bigraphs.framework.core.reactivesystem.analysis.ReactionGraphAnalysis<B>
  • org.bigraphs.framework.core.reactivesystem.analysis.ReactionGraphAnalysis.StateTrace<B>
  • org.bigraphs.framework.visualization.ReactionGraphExporter<B> (implements org.bigraphs.framework.visualization.BigraphGraphicsExporter<T>)
  • org.bigraphs.framework.core.reactivesystem.ReactionGraphStats<B> (implements java.io.Serializable)
  • org.bigraphs.framework.core.reactivesystem.ReactionRuleComposer<R>
  • 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.core.SignatureBuilder<NT,FO,C,B>
    • org.bigraphs.framework.core.impl.signature.DynamicSignatureBuilder
    • org.bigraphs.framework.core.impl.signature.KindSignatureBuilder
  • org.bigraphs.framework.core.datatypes.StringTypedName (implements org.bigraphs.framework.core.datatypes.NamedType<V>)
  • org.bigraphs.framework.simulation.equivalence.StrongBisimulationMixinImpl<B,AST> (implements org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>)
  • org.bigraphs.framework.visualization.StyleConstants
  • org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
  • org.bigraphs.framework.visualization.SwingGraphStreamer
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.bigraphs.framework.simulation.exceptions.BigraphSimulationException
      • org.bigraphs.framework.core.exceptions.ContextIsNotActive
      • org.bigraphs.framework.core.exceptions.EcoreBigraphFileSystemException
      • org.bigraphs.framework.core.exceptions.operations.IncompatibleInterfaceException
      • org.bigraphs.framework.core.exceptions.InvalidConnectionException
        • org.bigraphs.framework.core.exceptions.builder.InnerNameConnectedToEdgeException
        • org.bigraphs.framework.core.exceptions.builder.InnerNameConnectedToOuterNameException
        • org.bigraphs.framework.core.exceptions.InvalidArityOfControlException
          • org.bigraphs.framework.core.exceptions.builder.ToManyConnections
      • org.bigraphs.framework.core.exceptions.InvalidReactionRuleException
        • org.bigraphs.framework.core.exceptions.IncompatibleSignatureException
        • org.bigraphs.framework.core.exceptions.InstantiationMapIsNotWellDefined
        • org.bigraphs.framework.core.exceptions.NonConformReactionRuleInterfaces
        • org.bigraphs.framework.core.exceptions.OuterNameIsIdleException
        • org.bigraphs.framework.core.exceptions.ParametricReactionRuleIsNotWellDefined
        • org.bigraphs.framework.core.exceptions.RedexIsNotSimpleException
      • org.bigraphs.framework.core.exceptions.ReactiveSystemException
        • org.bigraphs.framework.core.exceptions.AgentIsNullException
        • org.bigraphs.framework.core.exceptions.AgentNotGroundException
        • org.bigraphs.framework.core.exceptions.AgentNotPrimeException
        • org.bigraphs.framework.simulation.exceptions.InvalidSimulationStrategy
      • java.lang.RuntimeException
        • org.bigraphs.framework.core.exceptions.BigraphIsNotGroundException
        • org.bigraphs.framework.core.exceptions.BigraphIsNotPrimeException
        • org.bigraphs.framework.core.exceptions.BigraphMetaModelLoadingFailedException
        • org.bigraphs.framework.core.exceptions.ControlIsAtomicException
        • org.bigraphs.framework.core.exceptions.InvalidOrdinalTypeException
        • org.bigraphs.framework.simulation.exceptions.ModelCheckerExecutorServiceNotProvided
        • org.bigraphs.framework.core.exceptions.SignatureNotConsistentException
        • org.bigraphs.framework.core.exceptions.SignatureValidationFailedException
      • org.bigraphs.framework.core.exceptions.SignatureNotFoundException
      • org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException
        • org.bigraphs.framework.core.exceptions.builder.ControlNotExistsException
        • org.bigraphs.framework.core.exceptions.builder.LinkTypeNotExistsException
          • org.bigraphs.framework.core.exceptions.builder.InnerNameNotExistsException
          • org.bigraphs.framework.core.exceptions.builder.OuterNameNotExistsException
  • org.bigraphs.framework.core.reactivesystem.TransitionTriple<B>
  • org.bigraphs.framework.core.validation.ValidModelResult (implements org.bigraphs.framework.core.validation.BModelValidationResult<T>)
  • org.bigraphs.framework.converter.vcg.VCGTransformator (implements org.bigraphs.framework.converter.BigraphPrettyPrinter<B>)
  • org.bigraphs.framework.simulation.equivalence.WeakBisimulationMixinImpl

Interface Hierarchy

• org.bigraphs.framework.simulation.equivalence.BehavioralEquivalenceMixin<R>
• org.bigraphs.framework.core.BigraphBuilder<S>
• org.bigraphs.framework.core.BigraphBuilder.NodeHierarchy<S>
• org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport
• org.bigraphs.framework.core.BigraphComposite<S>
• org.bigraphs.framework.core.analysis.BigraphDecompositionStrategy<B>
• org.bigraphs.framework.core.factory.BigraphFactoryElement
• org.bigraphs.framework.visualization.BigraphGraphicsExporter<T>
• org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction<B>
• org.bigraphs.framework.core.reactivesystem.BigraphMatch<B>
• org.bigraphs.framework.simulation.matching.BigraphMatchingEngine<B>
• org.bigraphs.framework.core.BigraphMetaModelConstants.SignaturePackage
• org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener<B>
• org.bigraphs.framework.converter.BigraphObjectDecoder<B,T>
• org.bigraphs.framework.converter.BigraphObjectEncoder<T,B>
• org.bigraphs.framework.converter.bigred.BigraphXmlLoaderSupport.XmlProcessorCallback
• org.bigraphs.framework.converter.bigred.BigRedXmlLoader
• org.bigraphs.framework.core.reactivesystem.BMatchResult<B>
• org.bigraphs.framework.core.validation.BModelValidationResult<T>
• org.bigraphs.framework.core.reactivesystem.ConditionalParametricRuleDecorator.RuleConditionMatcher<B>
• org.bigraphs.framework.core.EcoreBigraphExt
  • org.bigraphs.framework.core.EcoreBigraph<S> (also extends org.bigraphs.framework.core.HasSignature<S>)
  • org.bigraphs.framework.core.EcoreSignature
• org.bigraphs.framework.core.providers.ExecutorServicePoolProvider
• GCF.DefaultImpl2.GXLStandardValueMethods
• GCF.DefaultImpl3.GXLStandardValueMethods
• GCF.original.GXLStandardValueMethods
• org.bigraphs.framework.converter.gcf.DefaultImpl1.GXLStandardValueMethods
• org.bigraphs.framework.core.HasIdentifier<NT>
  • org.bigraphs.framework.core.Control<NT,T>
• org.bigraphs.framework.core.reactivesystem.HasLabel
  • org.bigraphs.framework.core.reactivesystem.ReactionRule<B> (also extends org.bigraphs.framework.core.reactivesystem.HasPriority)
• org.bigraphs.framework.core.reactivesystem.HasPriority
  • org.bigraphs.framework.core.reactivesystem.ReactionRule<B> (also extends org.bigraphs.framework.core.reactivesystem.HasLabel)
• org.bigraphs.framework.core.HasSignature<S>
  • org.bigraphs.framework.core.Bigraph<S>
  • org.bigraphs.framework.core.EcoreBigraph<S> (also extends org.bigraphs.framework.core.EcoreBigraphExt)
• org.bigraphs.framework.core.IsPlaceSortable
• java.util.Map<K,V>
  • java.util.concurrent.ConcurrentMap<K,V>
    • org.bigraphs.framework.core.factory.BigraphFactory.Registry
• org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts
• org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy<B>
• org.bigraphs.framework.core.datatypes.NamedType<V>
• org.bigraphs.framework.converter.PrettyPrinter<B>
  • org.bigraphs.framework.converter.BigraphPrettyPrinter<B>
  • org.bigraphs.framework.converter.ReactiveSystemPrettyPrinter<B,R>
• org.bigraphs.framework.core.reactivesystem.ReactiveSystem<B>
• org.bigraphs.framework.core.Signature<C>

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
    • org.bigraphs.framework.core.analysis.BigraphDecompositionStrategy.DecompositionStrategy
    • org.bigraphs.framework.core.BigraphEntityType
    • org.bigraphs.framework.core.BigraphFileModelManagement.Format
    • org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type
    • org.bigraphs.framework.core.alg.generators.BigridGenerator.DiscreteIons.NodeType
    • org.bigraphs.framework.core.ControlStatus
    • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Format
    • org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options
    • org.bigraphs.framework.core.alg.generators.RandomBigraphGeneratorSupport.LinkStrategy