All Classes and Interfaces

Class	Description
AbstractAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>	Abstract base class for all agent match suppliers.
AbstractBigraphFactory<S extends AbstractEcoreSignature<? extends Control<? extends NamedType<?>,? extends FiniteOrdinal<?>>>>	Abstract factory class for all kind of bigraphs.
AbstractBigraphMatcher<B extends Bigraph<? extends Signature<?>>>	This class is responsible for executing bigraph matching.
AbstractControl<NT extends NamedType<?>,V extends FiniteOrdinal<?>>	Abstract class representing a control of a signature.
AbstractDynamicMatchAdapter<S extends AbstractEcoreSignature<? extends Control<?,?>>,B extends Bigraph<S> & EcoreBigraph<S>>	An adapter for bigraphs used for the matching procedure.
AbstractDynamicMatchAdapter.ControlLinkPair	Data structure to represent a pair
AbstractEcoreSignature<C extends Control<? extends NamedType,? extends FiniteOrdinal>>	Abstract class for Ecore-based signatures.
AbstractRankedGraph<B extends Bigraph<?>,N,E>	Abstract base class for a ranked graph representation for different classes of bigraphs.
AbstractRankedGraph.LabeledEdge
AbstractRankedGraph.LabeledNode	Represents the two types of nodes of a ranked graph: place nodes and link nodes.
AbstractReactionRule<B extends Bigraph<? extends Signature<?>>>	This base class represents an immutable data structure for all kinds of reaction rules.
AbstractReactionRule.ReactiveSystemBoundReactionRule<B extends Bigraph<? extends Signature<?>>>
AbstractReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>	Abstract base class for all reaction rule suppliers.
AbstractSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Abstract class of a "nice and simple" bigraphical reactive system (BRS).
AbstractSimpleReactiveSystem.TransitionSystemBoundSimpleReactiveSystem<B extends Bigraph<? extends Signature<?>>>	A bigraphical reactive system (BRS) bounded to a reaction graph.
AbstractTransitionSystem<B extends Bigraph<? extends Signature<?>>>	Abstract base class representing the minimal data structure for all concrete transition system implementations.
AgentIsNullException
AgentNotGroundException
AgentNotPrimeException
AndPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the and operator.
BehavioralEquivalenceMixin<R extends AbstractTransitionSystem<? extends Bigraph<? extends Signature<?>>>>	Mixin interface for behavioral equivalences on transition systems of type AbstractTransitionSystem in BTS.
BigMcTransformator	Implementation of ReactiveSystemPrettyPrinter for the transformation of pure EMOF-based bigraphs to BigMC's term language.
Bigraph<S extends Signature<?>>	Generic bigraph interface of all bigraph entities in this framework.
BigraphBuilder<S extends Signature<?>>	Common bigraph builder interface.
BigraphBuilder.NodeHierarchy<S extends Signature<? extends Control<?,?>>>	A BigraphBuilder.NodeHierarchy contains a collection of nodes in a tree structure and is related to the current BigraphBuilder instance.
BigraphBuilderSupport<S extends Signature<? extends Control<?,?>>>	Supporting base class for concrete bigraph builder implementations.
BigraphCanonicalForm	This helper class creates a unique (canonical) label for a place graph of a bigraph such that two isomorphic place graphs have the same label.
BigraphCanonicalFormStrategy<B extends Bigraph<?>>
BigraphCanonicalFormSupport
BigraphComposite<S extends Signature<? extends Control<?,?>>>	Common interface for the composition of bigraphs.
BigraphCompositeSupport<S extends AbstractEcoreSignature<? extends Control<?,?>>>	This class provides a collection of useful methods for implementations of BigraphComposite
BigraphCompositeSupport.LinkComparator<T extends BigraphEntity<?>>
BigraphDelegator<S extends Signature<?>>	Delegator class for bigraphs (currently only suitable for pure bigraphs, e.g., no getParents() method available)
BigraphEntity<C extends Control>	Wrapper-like classes for the dynamic EMF model of bigraphs.
BigraphEntity.Edge
BigraphEntity.InnerName
BigraphEntity.Link
BigraphEntity.NodeEntity<C extends Control>
BigraphEntity.OuterName
BigraphEntity.Port
BigraphEntity.RootEntity
BigraphEntity.SiteEntity
BigraphEntityType	Enums for all bigraph types.
BigrapherTransformator	Implementation of ReactiveSystemPrettyPrinter for the transformation of pure EMOF-based bigraphs to bigraphER's specification language.
BigraphFactory	A bigraph factory class that provides a simplified main entry point for the developer/user to create arbitrary bigraphs and signatures.
BigraphFactory.Registry	A map from signature to bigraphical EPackage (typed graph with signature extension).
BigraphFactoryElement
BigraphFileModelManagement	A simple file-based model management utility class that serializes (deserializes) to (from) XMI and Ecore: Serializes/Exports Ecore-based bigraph model objects (EObject and EPackage) to *.xmi and *.ecore Deserializes/Imports Ecore files (*.xmi and *.ecore) to Ecore-based bigraph model objects (EObject and EPackage)
BigraphFileModelManagement.Format
BigraphFileModelManagement.Load
BigraphFileModelManagement.Store
BigraphGraphicsExporter<T>	Minimal common interface for all graphics exporters
BigraphGraphvizExporter	This class visualizes a bigraph by means of GraphViz.
BigraphHashFunction<B extends Bigraph<? extends Signature<?>>>	Base interface to implement hash functions for bigraphs.
BigraphIsNotGroundException
BigraphIsNotPrimeException
BigraphIsoPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate implementation that returns true if two bigraphs are isomorphic (i.e., structurally equivalent).
BigraphMatch<B extends Bigraph<? extends Signature<?>>>	This interface represents a result of a bigraph matching and is used by the BigraphMatchingEngine in the simulation module.
BigraphMatchingEngine<B extends Bigraph<? extends Signature<?>>>	Interface for implementing a matching algorithm for a concrete bigraph kind (e.g., pure bigraphs).
BigraphMatchingSupport
BigraphMetaModelConstants	Some metamodel constants to conveniently refer to for the BigraphBaseMetaModel.
BigraphMetaModelConstants.SignaturePackage
BigraphMetaModelLoadingFailedException
BigraphModelChecker<B extends Bigraph<? extends Signature<?>>>	A bigraph model checker that allows to simulate a BRS by reaction rules.
BigraphModelChecker.ReactiveSystemListener<B extends Bigraph<? extends Signature<?>>>
BigraphModelChecker.SimulationStrategy	Enum-like class that holds all kind of simulations.
BigraphModelChecker.SimulationStrategy.Type
BigraphObjectDecoder<B extends Bigraph<?>,T>
BigraphObjectEncoder<T,B extends Bigraph<?>>
BigraphPrettyPrinter<B extends Bigraph<? extends Signature<?>>>	A pretty printer interface for just bigraphs.
BigraphRankedGraphExporter	Exports a bigraph, encoded as a ranked graph, to a diagram.
BigraphSimulationException
BigraphUtil	A collection of useful bigraph-related operations and queries.
BigraphXmlLoaderSupport	Support class for BigRed XML loader implementations.
BigraphXmlLoaderSupport.XmlProcessorCallback
BigRedXmlLoader
BigridGenerator	A class to generate bigrids as described in the dissertation.
BigridGenerator.DiscreteIons	Inner class that provides the basic building blocks for constructing the bigrid.
BigridGenerator.DiscreteIons.NodeType
BindingControl<NT extends NamedType<?>,FO extends FiniteOrdinal<?>>	Note: This class is not yet implemented!
BindingSignature	Note: This class is not yet implemented!
BModelValidationResult<T>
BreadthFirstSimulationStrategy<B extends Bigraph<? extends Signature<?>>>	Deprecated.
BreadthFirstStrategy<B extends Bigraph<? extends Signature<?>>>	The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
Combination
CombinationMaps
ConditionalParametricRuleDecorator<B extends Bigraph<? extends Signature<?>>>
ConditionalParametricRuleDecorator.RuleConditionMatcher<B extends Bigraph<? extends Signature<?>>>
ContextIsNotActive	In the definition of a reaction, the site of the context must be active, where the part of the redex is rewritten.
Control<NT extends NamedType,T extends FiniteOrdinal>	Super interface for all control representations.
ControlBuilder<NT extends NamedType<?>,V extends FiniteOrdinal<?>,B extends ControlBuilder<NT,V,B>>	Abstract class for all control builder implementations.
ControlIsAtomicException	Exception that is thrown when it is tried to nest a another node within an atomic node.
ControlNotExistsException
ControlStatus	Enum that represents the kind/status of a control.
DefaultBigraphModelsRegistryImpl
DefaultBigraphXMLLoader	Class to load a BigRed XML file containing a bigraph instance.
DefaultColorSupplier<V>	A supplier for the color of a node or edge in a graph.
DefaultDynamicControl	Immutable dynamic control.
DefaultDynamicSignature	Concrete implementation of a pure (dynamic) signature, where controls can be assigned a status = (active, passive, atomic).
DefaultLabelSupplier	A generic supplier for String labels.
DefaultReactionRuleXMLLoader	Class to load a BigRed XML file containing a reaction rule.
DefaultShapeSupplier<V>	A supplier for the shape of a node.
DefaultSignatureModelsRegistryImpl
DefaultSignatureXMLLoader	Class to load a BigRed XML file containing a signature.
DefaultSimulationSpecXMLLoader	Class to load a BigRed XML file containing a signature.
DiscreteIon<S extends AbstractEcoreSignature<? extends Control<? extends NamedType<?>,? extends FiniteOrdinal<?>>>>	This class represents a discrete ion.
DistributedRandomNumberGenerator	A distributed random number generator.
DynamicControlBuilder	The concrete dynamic control builder used by the DynamicSignatureBuilder.
DynamicSignatureBuilder	The default signature with "dynamic" controls, meaning that controls can be active, passive or atomic.
EcoreAgentConverter
EcoreBigraph<S extends AbstractEcoreSignature<?>>	Common interface with standard methods for all Ecore-based bigraph classes.
EcoreBigraph.Stub<S extends AbstractEcoreSignature<?>>	A lightweight container for a bigraph that holds only the Ecore-relevant objects.
EcoreBigraphExt	Marker interface for Ecore-based bigraphical object (e.g., a bigraph or signature) that provides just two basic methods to get the metamodel (EPackage), and the instance model (EObject).
EcoreBigraphFileSystemException	Indicates any error that happens during a bigraph model file operation.
EcoreConverter
EcoreSignature	Interface for all Ecore-based signatures.
ElementaryBigraph<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Interface for the basic building blocks for all Ecore-based bigraphs.
EMetaModelData	Meta data for bigraphical Ecore model files.
EMetaModelData.MetaModelDataBuilder	Builder class to create EMetaModelData instances.
EMFUtils	A collection of helpful EMF model operations.
ExecutorServicePoolProvider
FactoryCreationContext
FiniteOrdinal<T extends Number>	Data type for a finite ordinal which is used to represent the arity of a control or a value in the interface of a bigraph.
FixedThreadPoolExecutorProvider	Default executor provider for the model checking task submission.
GraphicalFeatureSupplier<V>	Base abstract supplier class for all graphical attributes of a Graphviz graph.
GraphMLDomBuilder	Utility class for converting bigraph objects into a GraphML document.
GraphvizColorSupplier
GraphvizProcess	Converts a Graphviz DOT file to a PNG file by calling the dot process directly.
GraphvizShapeSupplier
GroundReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a ground reaction rule.
GXLAttrAPIImpl	An abstract class to represent the attr-Construct of the GXL-DTD.
GXLAttrAPIImpl	An abstract class to represent the attr-Construct of the GXL-DTD.
GXLAttrAPIImpl	An abstract class to represent the attr-Construct of the GXL-DTD.
GXLAttrAPIImpl	An abstract class to represent the attr-Construct of the GXL-DTD.
GXLAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is attributed.
GXLAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is attributed.
GXLAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is attributed.
GXLAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is attributed.
GXLBagAPIImpl	An abstract class to represent the bag-Construct of the GXL-DTD.
GXLBagAPIImpl	An abstract class to represent the bag-Construct of the GXL-DTD.
GXLBagAPIImpl	An abstract class to represent the bag-Construct of the GXL-DTD.
GXLBagAPIImpl	An abstract class to represent the bag-Construct of the GXL-DTD.
GXLEdgeAPIImpl	An abstract class to represent the edge-Construct of the GXL-DTD.
GXLEdgeAPIImpl	An abstract class to represent the edge-Construct of the GXL-DTD.
GXLEdgeAPIImpl	An abstract class to represent the edge-Construct of the GXL-DTD.
GXLEdgeAPIImpl	An abstract class to represent the edge-Construct of the GXL-DTD.
GXLGraphAPIImpl	An abstract class to represent the graph-Construct of the GXL-DTD.
GXLGraphAPIImpl	An abstract class to represent the graph-Construct of the GXL-DTD.
GXLGraphAPIImpl	An abstract class to represent the graph-Construct of the GXL-DTD.
GXLGraphAPIImpl	An abstract class to represent the graph-Construct of the GXL-DTD.
GXLGraphContainerAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is a graph-container.
GXLGraphContainerAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is a graph-container.
GXLGraphContainerAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is a graph-container.
GXLGraphContainerAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is a graph-container.
GXLGXLAPIImpl	An abstract class to represent the gxl-Construct of the GXL-DTD.
GXLGXLAPIImpl	An abstract class to represent the gxl-Construct of the GXL-DTD.
GXLGXLAPIImpl	An abstract class to represent the gxl-Construct of the GXL-DTD.
GXLGXLAPIImpl	An abstract class to represent the gxl-Construct of the GXL-DTD.
GXLLocatorAPIImpl	An abstract class to represent the locator-Construct of the GXL-DTD.
GXLLocatorAPIImpl	An abstract class to represent the locator-Construct of the GXL-DTD.
GXLLocatorAPIImpl	An abstract class to represent the locator-Construct of the GXL-DTD.
GXLLocatorAPIImpl	An abstract class to represent the locator-Construct of the GXL-DTD.
GXLNodeAPIImpl	An abstract class to represent the node-Construct of the GXL-DTD.
GXLNodeAPIImpl	An abstract class to represent the node-Construct of the GXL-DTD.
GXLNodeAPIImpl	An abstract class to represent the node-Construct of the GXL-DTD.
GXLNodeAPIImpl	An abstract class to represent the node-Construct of the GXL-DTD.
GXLOutputAPI	This class is to centralize the output-management of the framework.
GXLOutputAPI	This class is to centralize the output-management of the framework.
GXLOutputAPI	This class is to centralize the output-management of the framework.
GXLOutputAPI	This class is to centralize the output-management of the framework.
GXLRelAPIImpl	An abstract class to represent the rel-Construct of the GXL-DTD.
GXLRelAPIImpl	An abstract class to represent the rel-Construct of the GXL-DTD.
GXLRelAPIImpl	An abstract class to represent the rel-Construct of the GXL-DTD.
GXLRelAPIImpl	An abstract class to represent the rel-Construct of the GXL-DTD.
GXLRelendAPIImpl	An abstract class to represent the relend-Construct of the GXL-DTD.
GXLRelendAPIImpl	An abstract class to represent the relend-Construct of the GXL-DTD.
GXLRelendAPIImpl	An abstract class to represent the relend-Construct of the GXL-DTD.
GXLRelendAPIImpl	An abstract class to represent the relend-Construct of the GXL-DTD.
GXLSeqAPIImpl	An abstract class to represent the seq-Construct of the GXL-DTD.
GXLSeqAPIImpl	An abstract class to represent the seq-Construct of the GXL-DTD.
GXLSeqAPIImpl	An abstract class to represent the seq-Construct of the GXL-DTD.
GXLSeqAPIImpl	An abstract class to represent the seq-Construct of the GXL-DTD.
GXLSetAPIImpl	An abstract class to represent the set-Construct of the GXL-DTD.
GXLSetAPIImpl	An abstract class to represent the set-Construct of the GXL-DTD.
GXLSetAPIImpl	An abstract class to represent the set-Construct of the GXL-DTD.
GXLSetAPIImpl	An abstract class to represent the set-Construct of the GXL-DTD.
GXLStandardAPI	Abstract class to provide the setAttributeValue() and close()-method for any GXL-construct except the atomic Values.
GXLStandardAPI	Abstract class to provide the setAttributeValue() and close()-method for any GXL-construct except the atomic Values.
GXLStandardAPI	Abstract class to provide the setAttributeValue() and close()-method for any GXL-construct except the atomic Values.
GXLStandardAPI	Abstract class to provide the setAttributeValue() and close()-method for any GXL-construct except the atomic Values.
GXLStandardValueMethods	Interface to define the create-and close-methods and the printData-method for the standard values.
GXLStandardValueMethods	Interface to define the create-and close-methods and the printData-method for the standard values.
GXLStandardValueMethods	Interface to define the create-and close-methods and the printData-method for the standard values.
GXLStandardValueMethods	Interface to define the create-and close-methods and the printData-method for the standard values.
GXLTupAPIImpl	An abstract class to represent the tup-Construct of the GXL-DTD.
GXLTupAPIImpl	An abstract class to represent the tup-Construct of the GXL-DTD.
GXLTupAPIImpl	An abstract class to represent the tup-Construct of the GXL-DTD.
GXLTupAPIImpl	An abstract class to represent the tup-Construct of the GXL-DTD.
GXLTypeAPIImpl	An abstract class to represent the type-Construct of the GXL-DTD.
GXLTypeAPIImpl	An abstract class to represent the type-Construct of the GXL-DTD.
GXLTypeAPIImpl	An abstract class to represent the type-Construct of the GXL-DTD.
GXLTypeAPIImpl	An abstract class to represent the type-Construct of the GXL-DTD.
GXLTypedAndAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is typed and attributed.
GXLTypedAndAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is typed and attributed.
GXLTypedAndAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is typed and attributed.
GXLTypedAndAttributedAPI	Abstract class to provide the create-and close-methods for any GXL-construct that is typed and attributed.
GXLUntypedStandardValueContainerAPI	Abstract class to provide the printData()-method and the create()-and close() methods for any GXL-construct that is an untyped standard-value-container (e.g.
GXLUntypedStandardValueContainerAPI	Abstract class to provide the printData()-method and the create()-and close() methods for any GXL-construct that is an untyped standard-value-container (e.g.
GXLUntypedStandardValueContainerAPI	Abstract class to provide the printData()-method and the create()-and close() methods for any GXL-construct that is an untyped standard-value-container (e.g.
GXLUntypedStandardValueContainerAPI	Abstract class to provide the printData()-method and the create()-and close() methods for any GXL-construct that is an untyped standard-value-container (e.g.
HasIdentifier<NT extends NamedType>	Interface for entities that have an identifier, meaning, they can be labelled.
HasLabel	Marker interface that indicates the object has a label.
HasSignature<S extends Signature<?>>
IHSFilter
IncompatibleInterfaceException
IncompatibleSignatureException
InnerNameConnectedToEdgeException	When the user is trying to connect an inner name to an outer name where the inner name is already connected to an edge which connects nodes or other inner names.
InnerNameConnectedToOuterNameException
InnerNameNotExistsException
InOrderReactionRuleSupplier<B extends Bigraph<? extends Signature<?>>>	Specific implementation of the AbstractReactionRuleSupplier.
InstantiationMap	An instantiation map for a parametric reaction rule.
InstantiationMapIsNotWellDefined
InvalidArityOfControlException	Exception that is thrown with operations on controls where the arity must be considered, e.g., connecting links to a node with no free ports.
InvalidConnectionException	Base exception class for any invalid connection.
InvalidModelResult
InvalidOrdinalTypeException
InvalidReactionRuleException
InvalidSimulationStrategy
IsPlaceSortable
JLibBigBigraphDecoder
JLibBigBigraphEncoder
KindBigraph
KindBigraphBuilder
KindBigraphFactory
KindControlBuilder	Analog implementation to DynamicControlBuilder for controls of kind signatures.
KindSignature	Concrete implementation of a pure (dynamic) signature, where controls can be assigned a status = (active, passive), and further place-sorts can be defined for each control.
KindSignatureBuilder	Builder class for kind signatures.
KindSort	A place-sort for a kind signature.
Linkings<S extends AbstractEcoreSignature<? extends Control<?,?>>>	A linking is a node-free bigraph.
LinkTypeNotExistsException
MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>>	Custom iterable implementation for matches of type BigraphMatch.
MemoryOperations	Some utility methods for memory-based operations.
ModelCheckerExecutorServiceNotProvided
ModelCheckingOptions	This class represents the available options for the model checker BigraphModelChecker.
ModelCheckingOptions.ExportOptions	This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.
ModelCheckingOptions.ExportOptions.Builder
ModelCheckingOptions.Options
ModelCheckingOptions.Opts
ModelCheckingOptions.TransitionOptions	Class that represents simulation-specific options.
ModelCheckingOptions.TransitionOptions.Builder	Default values: allow reducible classes: false
ModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Strategy pattern for implementing new model checking algorithms.
ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>	Base class for supporting model checking strategy implementations.
MutableBuilder<S extends AbstractEcoreSignature<? extends Control<?,?>>>	A generic mutable builder intended to be used for all bigraph types
mxReactionGraph	Custom implementation of mxGraph to adjust the node and edge styling.
NamedType<V>	Data type for an element of a name set which is used within an interface of a bigraph.
NonConformReactionRuleInterfaces
OrPredicate<B extends Bigraph<? extends Signature<?>>>	A composite predicate which concatenates all given predicates with the or operator.
OuterNameIsIdleException
OuterNameNotExistsException
ParametricReactionRule<B extends Bigraph<? extends Signature<?>>>	Concrete implementation of a parametric reaction rule.
ParametricReactionRuleIsNotWellDefined
Permutations
Placings<S extends AbstractEcoreSignature<? extends Control<?,?>>>	A placing is a node-free bigraph.
PredicateChecker<B extends Bigraph<? extends Signature<?>>>	The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.
PrettyPrinter<B extends Bigraph<? extends Signature<?>>>
PureBigraph	This class is an Ecore-based model implementation of a pure bigraph.
PureBigraph2GraphMLPrettyPrinter	A pretty printer for bigraphs that need to be encoded as GraphML documents.
PureBigraphAgentAdapter
PureBigraphBuilder<S extends AbstractEcoreSignature<? extends Control<?,?>>>	A concrete implementation of BigraphBuilder for pure bigraphs.
PureBigraphComposite<S extends AbstractEcoreSignature<? extends Control<?,?>>>	Composable bigraph implementation of BigraphComposite for pure bigraphs.
PureBigraphFactory
PureBigraphGenerator	A random generator for pure bigraphs.
PureBigraphHash
PureBigraphMatcher	A matcher for PureBigraphs.
PureBigraphMatchingEngine	Matching algorithm for pure bigraphs (see PureBigraph).
PureBigraphModelChecker	An implementation of a BigraphModelChecker for model checking of BRS with pure bigraphs (see PureBigraph).
PureBigraphParametricMatch	This class represents the result of a valid match.
PureBigraphRankedGraphEncoding
PureBigraphRedexAdapter
PureCanonicalForm	The concrete strategy to compute the canonical string of a pure bigraph (PureBigraph).
PureCanonicalForm.RewriteFunction
PureMatchIteratorImpl	Iterator implementation for bigraph matching.
PureReactiveSystem	An implementation of an AbstractSimpleReactiveSystem providing a simple BRS data structure for pure bigraphs (see PureBigraph) and possibly later also binding bigraphs, bigraphs with sharing etc.
RandomAgentMatchSupplier<B extends Bigraph<? extends Signature<?>>>	Specific implementation of AbstractAgentMatchSupplier.
RandomAgentModelCheckingStrategy<B extends Bigraph<? extends Signature<?>>>	Random state-space traversal without cycle-checking and predicate evaluation.
RandomBigraphGeneratorSupport	Generates random bigraphs.
RandomBigraphGeneratorSupport.LinkStrategy
ReactionGraph<B extends Bigraph<? extends Signature<?>>>	An "extended" data structure to build up a "reaction graph", analogous to a labeled transition system.
ReactionGraph.CanonicalLabeledNode
ReactionGraph.DefaultLabeledNode
ReactionGraph.LabeledEdge
ReactionGraph.LabeledNode
ReactionGraphAnalysis<B extends Bigraph<? extends Signature<?>>>	This class provides various analysis methods/operations based on labelled transition system, specifically, for the ReactionGraph class.
ReactionGraphAnalysis.StateTrace<B extends Bigraph<? extends Signature<?>>>	Object containing one path from a state v of a reaction graph to one leave of the subtree rooted at state v
ReactionGraphExporter<B extends Bigraph<? extends Signature<?>>>	A graphics exporter for reaction graphs.
ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>	This is a "wrapper" class that extends the basic reaction graph structure ReactionGraph, and contains an instance of the behavioral equivalence mixin implementation of BehavioralEquivalenceMixin.
ReactionGraphStats<B extends Bigraph<? extends Signature<?>>>
ReactionRule<B extends Bigraph<? extends Signature<?>>>	Common interface for reaction rules.
ReactiveSystem<B extends Bigraph<? extends Signature<?>>>	Base interface for bigraphical reactive systems.
ReactiveSystemException
ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>	Predicate interface for the reaction graph.
ReactiveSystemPrettyPrinter<B extends Bigraph<? extends Signature<?>>,R extends ReactiveSystem>	A generic pretty printer interface for bigraphical reactive systems.
RedexIsNotSimpleException	Exception that indicates that a redex of a parametric reaction rule is not simple.
Signature<C extends Control<?,?>>	Common interface of a bigraph's signature.
SignatureAdapter	Adapter for our Signature class to be used with SignatureXMLSaver.
SignatureBuilder<NT extends NamedType<?>,FO extends FiniteOrdinal<?>,C extends ControlBuilder<NT,FO,C>,B extends SignatureBuilder<?,?,?,?>>	Abstract base builder class for all types of signatures.
SignatureNotFoundException
SignatureValidationFailedException
StringTypedName	Default implementation for an element of a name set.
StrongBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.
StyleConstants	Some styling constants for the reaction graph export.
SubBigraphMatchPredicate<B extends Bigraph<? extends Signature<?>>>	Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).
SubHypergraphIsoSearch
SubHypergraphIsoSearch.Embedding
SwingGraphStreamer
ToManyConnections	Exception is thrown inside a builder when the node has no free ports but a connection to a link (i.e., edge or outer name) is tried to make.
TrackingMap	Tracking map for reaction rules.
TransitionTriple<B extends Bigraph<? extends Signature<?>>>	A transition of a labelled transition system is a triple containing the source and target and the label (i.e., the arrow itself which is a bigraph as well).
TypeNotExistsException
ValidatorNotFound
ValidModelResult
VCGTransformator	This pretty printer class transforms pure bigraphs of type PureBigraph to the Visualization of Compiler Graphs (VCG) format.
WeakBisimulationMixinImpl<R extends AbstractTransitionSystem<Bigraph<? extends Signature<?>>>>	This class provides the implementation of the interface BehavioralEquivalenceMixin for the bisimulation equivalence relation.