Serialized Form

Package org.bigraphs.framework.core

Class org.bigraphs.framework.core.AbstractRankedGraph.LabeledEdge

class LabeledEdge extends org.jgrapht.graph.DefaultEdge implements Serializable

Serialized Fields

label

String label

Package org.bigraphs.framework.core.exceptions

Exception org.bigraphs.framework.core.exceptions.AgentIsNullException

class AgentIsNullException extends ReactiveSystemException implements Serializable

Exception org.bigraphs.framework.core.exceptions.AgentNotGroundException

class AgentNotGroundException extends ReactiveSystemException implements Serializable

Exception org.bigraphs.framework.core.exceptions.AgentNotPrimeException

class AgentNotPrimeException extends ReactiveSystemException implements Serializable

Exception org.bigraphs.framework.core.exceptions.BigraphIsNotGroundException

class BigraphIsNotGroundException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.BigraphIsNotPrimeException

class BigraphIsNotPrimeException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.BigraphMetaModelLoadingFailedException

class BigraphMetaModelLoadingFailedException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.ContextIsNotActive

class ContextIsNotActive extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.ControlIsAtomicException

class ControlIsAtomicException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.EcoreBigraphFileSystemException

class EcoreBigraphFileSystemException extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.IncompatibleSignatureException

class IncompatibleSignatureException extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.InstantiationMapIsNotWellDefined

class InstantiationMapIsNotWellDefined extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.InvalidArityOfControlException

class InvalidArityOfControlException extends InvalidConnectionException implements Serializable

Exception org.bigraphs.framework.core.exceptions.InvalidConnectionException

class InvalidConnectionException extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.InvalidOrdinalTypeException

class InvalidOrdinalTypeException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.InvalidReactionRuleException

class InvalidReactionRuleException extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.NonConformReactionRuleInterfaces

class NonConformReactionRuleInterfaces extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.OuterNameIsIdleException

class OuterNameIsIdleException extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.ParametricReactionRuleIsNotWellDefined

class ParametricReactionRuleIsNotWellDefined extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.ReactiveSystemException

class ReactiveSystemException extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.RedexIsNotSimpleException

class RedexIsNotSimpleException extends InvalidReactionRuleException implements Serializable

Exception org.bigraphs.framework.core.exceptions.SignatureNotConsistentException

class SignatureNotConsistentException extends RuntimeException implements Serializable

Exception org.bigraphs.framework.core.exceptions.SignatureNotFoundException

class SignatureNotFoundException extends Exception implements Serializable

Exception org.bigraphs.framework.core.exceptions.SignatureValidationFailedException

class SignatureValidationFailedException extends RuntimeException implements Serializable

Package org.bigraphs.framework.core.exceptions.builder

Exception org.bigraphs.framework.core.exceptions.builder.ControlNotExistsException

class ControlNotExistsException extends TypeNotExistsException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.InnerNameConnectedToEdgeException

class InnerNameConnectedToEdgeException extends InvalidConnectionException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.InnerNameConnectedToOuterNameException

class InnerNameConnectedToOuterNameException extends InvalidConnectionException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.InnerNameNotExistsException

class InnerNameNotExistsException extends LinkTypeNotExistsException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.LinkTypeNotExistsException

class LinkTypeNotExistsException extends TypeNotExistsException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.OuterNameNotExistsException

class OuterNameNotExistsException extends LinkTypeNotExistsException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.ToManyConnections

class ToManyConnections extends InvalidArityOfControlException implements Serializable

Exception org.bigraphs.framework.core.exceptions.builder.TypeNotExistsException

class TypeNotExistsException extends Exception implements Serializable

Package org.bigraphs.framework.core.exceptions.operations

Exception org.bigraphs.framework.core.exceptions.operations.IncompatibleInterfaceException

class IncompatibleInterfaceException extends Exception implements Serializable

Package org.bigraphs.framework.core.factory

Class org.bigraphs.framework.core.factory.DefaultBigraphModelsRegistryImpl

class DefaultBigraphModelsRegistryImpl extends ConcurrentHashMap<Signature,org.eclipse.emf.ecore.EPackage> implements Serializable

Class org.bigraphs.framework.core.factory.DefaultSignatureModelsRegistryImpl

class DefaultSignatureModelsRegistryImpl extends ConcurrentHashMap<Signature,org.eclipse.emf.ecore.EPackage> implements Serializable

Package org.bigraphs.framework.core.impl.elementary

Class org.bigraphs.framework.core.impl.elementary.Linkings

class Linkings extends Object implements Serializable

Serialized Fields

arbitrarySignature

S extends AbstractEcoreSignature<? extends Control<?,?>> arbitrarySignature

loadedModelPackage

org.eclipse.emf.ecore.EPackage loadedModelPackage

mutableBuilder

MutableBuilder<S extends AbstractEcoreSignature<? extends Control<?,?>>> mutableBuilder

Class org.bigraphs.framework.core.impl.elementary.Placings

class Placings extends Object implements Serializable

Serialized Fields

arbitrarySignature

S extends AbstractEcoreSignature<? extends Control<?,?>> arbitrarySignature

loadedModelPackage

org.eclipse.emf.ecore.EPackage loadedModelPackage

mutableBuilder

MutableBuilder<S extends AbstractEcoreSignature<? extends Control<?,?>>> mutableBuilder

Package org.bigraphs.framework.core.reactivesystem

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph

class ReactionGraph extends AbstractTransitionSystem<B extends Bigraph<? extends Signature<?>>,BMatchResult<B extends Bigraph<? extends Signature<?>>>> implements Serializable

Serialized Fields

graph

org.jgrapht.Graph<ReactionGraph.LabeledNode,ReactionGraph.LabeledEdge> graph

graphStats

ReactionGraphStats<B extends Bigraph<? extends Signature<?>>> graphStats

predicateMatches

Map<ReactionGraph.LabeledNode,Set<ReactiveSystemPredicate<B extends Bigraph<? extends Signature<?>>>>> predicateMatches

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.CanonicalLabeledNode

class CanonicalLabeledNode extends ReactionGraph.LabeledNode implements Serializable

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.CollapsedLabeledEdge

class CollapsedLabeledEdge extends ReactionGraph.LabeledEdge implements Serializable

Serialized Fields

collapsedEdges

List<ReactionGraph.LabeledEdge> collapsedEdges

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.CollapsedLabeledNode

class CollapsedLabeledNode extends ReactionGraph.LabeledNode implements Serializable

Serialized Fields

collapsedNodes

List<ReactionGraph.LabeledNode> collapsedNodes

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.DefaultLabeledNode

class DefaultLabeledNode extends ReactionGraph.LabeledNode implements Serializable

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.LabeledEdge

class LabeledEdge extends org.jgrapht.graph.DefaultEdge implements Serializable

Serialized Fields

label

String label

Class org.bigraphs.framework.core.reactivesystem.ReactionGraph.LabeledNode

class LabeledNode extends Object implements Serializable

Serialized Fields

canonicalForm

String canonicalForm

label

String label

Class org.bigraphs.framework.core.reactivesystem.ReactionGraphCollapsed

class ReactionGraphCollapsed extends ReactionGraph<B extends Bigraph<? extends Signature<?>>> implements Serializable

Class org.bigraphs.framework.core.reactivesystem.ReactionGraphStats

class ReactionGraphStats extends Object implements Serializable

Serialized Fields

numberOfOccurrences

int numberOfOccurrences

numberOfStates

int numberOfStates

numberOfTransitions

int numberOfTransitions

reactionGraph

ReactionGraph<B extends Bigraph<? extends Signature<?>>> reactionGraph

Class org.bigraphs.framework.core.reactivesystem.TrackingMap

class TrackingMap extends HashMap<String,String> implements Serializable

Serialized Fields

links

Set<String> links

ruleName

String ruleName

Package org.bigraphs.framework.simulation.equivalence

Class org.bigraphs.framework.simulation.equivalence.ReactionGraphExtended

class ReactionGraphExtended extends ReactionGraph<B extends Bigraph<? extends Signature<?>>> implements Serializable

Serialized Fields

mixin

BehavioralEquivalenceMixin<ReactionGraphExtended<B extends Bigraph<? extends Signature<?>>>> mixin

Package org.bigraphs.framework.simulation.exceptions

Exception org.bigraphs.framework.simulation.exceptions.BigraphSimulationException

class BigraphSimulationException extends Exception implements Serializable

Exception org.bigraphs.framework.simulation.exceptions.InvalidSimulationStrategy

class InvalidSimulationStrategy extends ReactiveSystemException implements Serializable

Exception org.bigraphs.framework.simulation.exceptions.ModelCheckerExecutorServiceNotProvided

class ModelCheckerExecutorServiceNotProvided extends RuntimeException implements Serializable

Package org.bigraphs.framework.simulation.matching.pure

Class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch.Embedding

class Embedding extends HashMap<BigraphEntity.NodeEntity<?>,BigraphEntity.NodeEntity<?>> implements Serializable