Index (Bigraph Framework - Simulation 1.0.0 API)

A B C D E F G H I M N O P R S T V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

AbstractBigraphMatcher>> - Class in org.bigraphs.framework.simulation.matching: This class is responsible for executing bigraph matching.
AbstractBigraphMatcher() - Constructor for class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
AbstractDynamicMatchAdapter<S extends AbstractEcoreSignature<? extends Control<?,?>>,B extends Bigraph<S> & EcoreBigraph<S>> - Class in org.bigraphs.framework.simulation.matching: An adapter for bigraphs used for the matching procedure.
AbstractDynamicMatchAdapter(B) - Constructor for class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
AbstractDynamicMatchAdapter.ControlLinkPair - Class in org.bigraphs.framework.simulation.matching: Data structure to represent a pair
acquireCanonicalForm() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
addPlaceToList(List<BigraphEntity<?>>, EObject, boolean) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Convenient method that finds the corresponding 'node type' (e.g., root) of a given EObject instance and adds it to the given list list.
adj(BigraphEntity.NodeEntity<?>, Bigraph<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter
agent - Variable in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
allCandidatesFound() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
allowReducibleClasses() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions: Flag that denotes whether to exploit the symmetries of the reaction graph or not.
allowReducibleClasses(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder: Flag to set whether to allow reducible classes for the reaction graph.
and(ModelCheckingOptions.Opts) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
AndPredicate>> - Class in org.bigraphs.framework.simulation.modelchecking.predicates: A composite predicate which concatenates all given predicates with the and operator.
AndPredicate(boolean, ReactiveSystemPredicate...) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate
AndPredicate(ReactiveSystemPredicate...) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate
AndPredicate(ReactiveSystemPredicate, ReactiveSystemPredicate) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate
AndPredicate(ReactiveSystemPredicate, ReactiveSystemPredicate, boolean) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate
assertBigraphHasRoots(PureBigraph) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
assertReactionSystemValid() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker: Performs some checks if the reactive system is valid.
availableRules - Variable in class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier

B

beginMatch() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine: Computes all matches
bfcs(B) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm: Build a breadth-first canonical string (BFCS) for a pure bigraph according to the lexicographic order of the control's labels.
bfcs(ElementaryBigraph<?>) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
BFS - Enum constant in enum class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type
BigraphCanonicalForm - Class in org.bigraphs.framework.simulation.encoding: 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> - Class in org.bigraphs.framework.simulation.encoding
BigraphCanonicalFormStrategy(BigraphCanonicalForm) - Constructor for class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
BigraphCanonicalFormSupport - Interface in org.bigraphs.framework.simulation.encoding
BigraphHashFunction>> - Interface in org.bigraphs.framework.simulation.encoding.hash: Base interface to implement hash functions for bigraphs.
BigraphIsoPredicate>> - Class in org.bigraphs.framework.simulation.modelchecking.predicates: Predicate implementation that returns true if two bigraphs are isomorphic (i.e., structurally equivalent).
BigraphMatchingEngine>> - Interface in org.bigraphs.framework.simulation.matching: Interface for implementing a matching algorithm for a concrete bigraph kind (e.g., pure bigraphs).
BigraphMatchingSupport - Class in org.bigraphs.framework.simulation.matching
BigraphMatchingSupport() - Constructor for class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport
BigraphModelChecker>> - Class in org.bigraphs.framework.simulation.modelchecking: A bigraph model checker that allows to simulate a BRS by reaction rules.
BigraphModelChecker(ReactiveSystem, BigraphModelChecker.SimulationStrategy.Type, ModelCheckingOptions) - Constructor for class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
BigraphModelChecker(ReactiveSystem, BigraphModelChecker.SimulationStrategy.Type, ModelCheckingOptions, BigraphModelChecker.ReactiveSystemListener) - Constructor for class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
BigraphModelChecker(ReactiveSystem, ModelCheckingOptions) - Constructor for class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
BigraphModelChecker.ReactiveSystemListener>> - Interface in org.bigraphs.framework.simulation.modelchecking
BigraphModelChecker.SimulationStrategy - Class in org.bigraphs.framework.simulation.modelchecking: Enum-like class that holds all kind of simulations.
BigraphModelChecker.SimulationStrategy.Type - Enum Class in org.bigraphs.framework.simulation.modelchecking
BigraphSimulationException - Exception in org.bigraphs.framework.simulation.exceptions
BigraphSimulationException() - Constructor for exception org.bigraphs.framework.simulation.exceptions.BigraphSimulationException
BigraphSimulationException(String) - Constructor for exception org.bigraphs.framework.simulation.exceptions.BigraphSimulationException
BreadthFirstSimulationStrategy>> - Class in org.bigraphs.framework.simulation.modelchecking: The algorithm implemented here is a variant of the BreadthFirstSimulationStrategy without cycle checking.
BreadthFirstSimulationStrategy(BigraphModelChecker) - Constructor for class org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy
BreadthFirstStrategy>> - Class in org.bigraphs.framework.simulation.modelchecking: The algorithm implemented here to synthesize the "reaction graph" is adopted from [1].
BreadthFirstStrategy(BigraphModelChecker) - Constructor for class org.bigraphs.framework.simulation.modelchecking.BreadthFirstStrategy
buildEmptySimpleDirectedGraph() - Static method in class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport: Helper function to create a directed graph.
Builder() - Constructor for class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
Builder() - Constructor for class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
buildGroundReaction(PureBigraph, BigraphMatch<PureBigraph>, ReactionRule<PureBigraph>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem
buildParametricReaction(PureBigraph, BigraphMatch<PureBigraph>, ReactionRule<PureBigraph>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem

C

canonicalForm - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
checkAll(B) - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker: Checks all predicates passed via the constructor before.
clearCache() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
clearCache() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter
clearCache() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter
combination(List<Integer>, int) - Static method in class org.bigraphs.framework.simulation.util.Combination
Combination - Class in org.bigraphs.framework.simulation.util
Combination() - Constructor for class org.bigraphs.framework.simulation.util.Combination
CombinationMaps - Class in org.bigraphs.framework.simulation.util
CombinationMaps() - Constructor for class org.bigraphs.framework.simulation.util.CombinationMaps
combinations(Map<K, Collection<V>>, Collection<Map<K, V>>) - Static method in class org.bigraphs.framework.simulation.util.CombinationMaps
Combine(int, Map<K, V>, Map<K, Set<V>>, List<Map<K, V>>) - Static method in class org.bigraphs.framework.simulation.util.CombinationMaps
compute(B) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
compute(PureBigraph) - Method in class org.bigraphs.framework.simulation.encoding.PureCanonicalForm
computeRanks() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
condition1(BigraphEntity.NodeEntity<?>, BigraphEntity.NodeEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter: Degree and label
condition2(BigraphEntity.NodeEntity<?>, BigraphEntity.NodeEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter: The number of adjacent nodes
condition3(BigraphEntity.NodeEntity<?>, BigraphEntity.NodeEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter: Arity containment of hyperedges
condition4(BigraphEntity.NodeEntity<?>, BigraphEntity.NodeEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter: Label matchings of hyperedges
ControlLinkPair(Control<?, ?>, BigraphEntity.Link) - Constructor for class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
create() - Static method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
create() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
create() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
create(B) - Static method in class org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
create(B) - Static method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
create(B, boolean) - Static method in class org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
create(B, boolean) - Static method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
create(Class) - Static method in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
createBipartiteGraph(List<BigraphEntity<?>>, List<BigraphEntity<?>>) - Static method in class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport: Helper function to create a bipartite graph.
createInOrder(Collection<ReactionRule>) - Static method in class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier
createInstance() - Static method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
createInstance(boolean) - Static method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
createMatchResult() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine: This methods builds the actual bigraphs determined by the matching algorithm (see PureBigraphMatchingEngine.beginMatch()).
createNameSupplier(String) - Static method in interface org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport
createRandom(Collection) - Static method in class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier

D

degree(BigraphEntity.NodeEntity<?>, Bigraph<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter
degreeOf(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Get the number of all in- and out-going edges of a node within the place graph.
degreeOf(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter: Get the number of all in- and out-going edges of a node within the place graph.
doMeasureTime(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions: Instruct the simulation to measure the time for individual steps of the current used simulation algorithm.
doParallelRuleMatching(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions: Instruct the simulation either to perform rule matching in parallel or sequentially (default).

E

ELEMENTARY_ENCODINGS - Static variable in interface org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport: Elementary bigraphs are handled differently as their encoding exhibit rather a finalized static nature.
Embedding() - Constructor for class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch.Embedding
Embedding(Map<? extends BigraphEntity.NodeEntity<?>, ? extends BigraphEntity.NodeEntity<?>>) - Constructor for class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch.Embedding
embeddings() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
equals(Object) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
execute() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker: Perform the simulation based on the provided reactive system and options.
executeAsync() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker: Asynchronously start the simulation based on the provided reactive system and options.
executorService - Static variable in class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport
EXPORT - Enum constant in enum class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options
exportOpts() - Static method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
exportReactionGraph(ReactionGraph) - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
exportState(B, String, String) - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker

F

FixedThreadPoolExecutorProvider - Class in org.bigraphs.framework.simulation.modelchecking: Default executor provider for the model checking task submission.
FixedThreadPoolExecutorProvider() - Constructor for class org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider

G

get() - Method in class org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier
get() - Method in class org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier
get(Class) - Static method in interface org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction
get(ModelCheckingOptions.Options) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
getAgent() - Method in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher: Returns the supplied agent passed via the AbstractBigraphMatcher.match(Bigraph, ReactionRule) method.
getAllInternalVerticesPostOrder() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Internal vertices have children
getAllInternalVerticesPostOrderAsStream() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getAllLeaves() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Get all leaves of a the bigraph's place graph (i.e., a tree).
getAllVertices() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Get all vertices (roots and nodes) without sites.
getAllVerticesBfsOrder() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getAllVerticesBfsOrderFrom(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getAllVerticesBfsOrderStream() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getAllVerticesPostOrder() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getAvailableRules() - Method in class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier
getBigraph() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate
getBigraph() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
getBigraph() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate
getBigraph() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getBigraphCanonicalForm() - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
getBigraphDelegate() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getBigraphToMatch() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
getBigraphToMatch() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getCandidates() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
getChecked() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker: Get detailed information of the predicate evaluation after the method PredicateChecker.checkAll(Bigraph) was called.
getChildren(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Get all children of a bigraph node precluding all sites.
getChildrenWithSites(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter
getContext() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getContextBigraphResult() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getContextIdentity() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch: Note: The return type is of class Bigraph with a DefaultDynamicSignature.
getControl() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
getEmbeddingSet() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
getIncidentHyperedges(BigraphEntity.NodeEntity<?>, Bigraph<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter
getInstanceModel() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getJLibMatchResult() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getLabel(BigraphEntity.NodeEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter
getLink() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
getLinksOfNode(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: Note: Only the port indices are important for the order, not the name itself.
getLinksOfNode(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter: In the list are included edges and outer names.
getLinksOfNode(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter: Only outer names are returned, edges are not considered for the result.
getMatcher() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
getMatches() - Method in interface org.bigraphs.framework.simulation.matching.BigraphMatchingEngine
getMatches() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine
getMaximumTime() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
getMaximumTimeUnit() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
getMaximumTransitions() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
getMetaModel() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getNodesOfLink(BigraphEntity.Link) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getOfNodesForHyperedgeWithLabel(BigraphEntity.Link, String, Bigraph<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter
getOpenNeighborhoodOfVertex(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter: This method is used solely for the matching algorithm.
getOutputStatesFolder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions
getParameters() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getPredicates() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
getPredicates() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker: Get the set of predicates with which the class was instantiated.
getPrintCanonicalStateLabel() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions: Flag that can be used to determine whether the labels of the states in the reaction graph should contain the canonical form of a bigraph or not, meaning, only a constant identifier is printed suffixed with an incremented number.
getReactionGraph() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
getReactionGraphFile() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions: The file to store the reaction graph (i.e., transition system)
getReactiveSystem() - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
getRedex() - Method in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher: Returns the supplied redex passed via the AbstractBigraphMatcher.match(Bigraph, ReactionRule) method.
getRedex() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getRedexIdentity() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getRedexImage() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
getRewriteResultFolder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions: Deprecated.
getRoots() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getSignature() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter
getSignature() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter
getSimulationStrategyClass(BigraphModelChecker.SimulationStrategy.Type) - Static method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy
getSubBigraphFrom(BigraphEntity<?>, AbstractDynamicMatchAdapter) - Method in class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport
getSubBigraphParamResult() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getSubBigraphResult() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getSubRedexResult() - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
getSubtreeOfNode(BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
getType() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions
getType() - Method in interface org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Opts
getType() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions

H

hash(B) - Method in interface org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction: Compute a hash for a given bigraph.
hash(PureBigraph) - Method in class org.bigraphs.framework.simulation.encoding.hash.PureBigraphHash: Computes a "hash" for a pure bigraph by only considering the number of places, edges, inner and outer names.
hashCode() - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.ControlLinkPair
hasMatched() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine: Checks if any match could be found and also if _all_ redex roots could be matched.
hasNext() - Method in class org.bigraphs.framework.simulation.matching.pure.PureMatchIteratorImpl
hasOutputStatesFolder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions
hasReactionGraphFile() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions: Checks if the filename for the reaction graph export was set.
hasRewriteResultFolder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions: Deprecated.

I

IHSFilter - Class in org.bigraphs.framework.simulation.matching.pure
IHSFilter(Bigraph<?>, Bigraph<?>) - Constructor for class org.bigraphs.framework.simulation.matching.pure.IHSFilter
increaseOccurrenceCounter() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
init() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
InOrderReactionRuleSupplier>> - Class in org.bigraphs.framework.simulation.modelchecking.reactions
instantiateEngine() - Method in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher: Provide the matching engine for the specific bigraph type implemented by the sub class
instantiateEngine() - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
instantiateReactum(Match, ReactionRule<PureBigraph>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem: Instantiates rule's reactum with respect to the given match.
instantiateReactumNode(Node, Node, Match) - Method in class org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem: This method is called during the instantiation of rule's reactum.
InvalidSimulationStrategy - Exception in org.bigraphs.framework.simulation.exceptions
InvalidSimulationStrategy() - Constructor for exception org.bigraphs.framework.simulation.exceptions.InvalidSimulationStrategy
isMeasureTime() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
isParallelRuleMatching() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
isPrintNodeIdentifiers() - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
isRewriteOpenLinks() - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
isRewriteOpenLinks() - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
isRewriteOpenLinks() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
isSameControl(BigraphEntity<?>, BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.BigraphMatchingSupport: Helper method to check whether two nodes have the same control
isWithNodeIdentifiers() - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
iterator() - Method in class org.bigraphs.framework.simulation.matching.MatchIterable

M

match(B, ReactionRule) - Method in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
match(PureBigraph, ReactionRule<PureBigraph>) - Method in class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
MatchIterable<T extends BigraphMatch<? extends Bigraph<?>>> - Class in org.bigraphs.framework.simulation.matching: Custom iterable implementation for matches of type BigraphMatch.
MatchIterable(Iterator<T>) - Constructor for class org.bigraphs.framework.simulation.matching.MatchIterable
modelChecker - Variable in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
ModelCheckerExecutorServiceNotProvided - Exception in org.bigraphs.framework.simulation.exceptions
ModelCheckerExecutorServiceNotProvided() - Constructor for exception org.bigraphs.framework.simulation.exceptions.ModelCheckerExecutorServiceNotProvided
ModelCheckingOptions - Class in org.bigraphs.framework.simulation.modelchecking: This class represents the available options for the model checker BigraphModelChecker.
ModelCheckingOptions.ExportOptions - Class in org.bigraphs.framework.simulation.modelchecking: This class represents export-specific options regarding the generated artifacts when synthesizing the transition system.
ModelCheckingOptions.ExportOptions.Builder - Class in org.bigraphs.framework.simulation.modelchecking
ModelCheckingOptions.Options - Enum Class in org.bigraphs.framework.simulation.modelchecking
ModelCheckingOptions.Opts - Interface in org.bigraphs.framework.simulation.modelchecking
ModelCheckingOptions.TransitionOptions - Class in org.bigraphs.framework.simulation.modelchecking: Class that represents simulation-specific options.
ModelCheckingOptions.TransitionOptions.Builder - Class in org.bigraphs.framework.simulation.modelchecking: Default values:
allow reducible classes: false
modelCheckingStrategy - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
ModelCheckingStrategy>> - Interface in org.bigraphs.framework.simulation.modelchecking: Strategy pattern for implementing new model checking algorithms.
ModelCheckingStrategySupport>> - Class in org.bigraphs.framework.simulation.modelchecking: Base class for supporting model checking strategy implementations.
ModelCheckingStrategySupport(BigraphModelChecker) - Constructor for class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

N

neighborhoodHook(List<BigraphEntity<?>>, BigraphEntity<?>) - Method in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
next() - Method in class org.bigraphs.framework.simulation.matching.pure.PureMatchIteratorImpl
numOfadj(BigraphEntity.NodeEntity<?>, Bigraph<?>) - Method in class org.bigraphs.framework.simulation.matching.pure.IHSFilter

O

occurrenceCounter - Variable in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
of(List<T>) - Static method in class org.bigraphs.framework.simulation.util.Permutations
onAllPredicateMatched(B, String) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener: This method is called if all available predicates of a reactive system evaluated to true for some state.
onCheckingReactionRule(ReactionRule) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener
onError(Exception) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener
onPredicateMatched(B, ReactiveSystemPredicate) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener: This method is called if a predicate evaluated to true for some state.
onPredicateViolated(B, ReactiveSystemPredicate, GraphPath<ReactionGraph.LabeledNode, ReactionGraph.LabeledEdge>) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener: Reports a violation of a predicate and supplies a counterexample trace from the initial state to the violating state.
onReactionIsNull() - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener
onReactiveSystemFinished() - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener
onReactiveSystemStarted() - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener
onSubPredicateMatched(B, ReactiveSystemPredicate, B, B, B, B) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener: This method is called if a sub-bigraph-predicate evaluated to true for some state.
onUpdateReactionRuleApplies(B, ReactionRule, BigraphMatch) - Method in interface org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.ReactiveSystemListener: This method is called within a running simulation (i.e., model checking operation), when the redex of a reaction rule could be matched within the host bigraph (i.e., the last active agent of the reactive system).
options - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
org.bigraphs.framework.simulation.encoding - package org.bigraphs.framework.simulation.encoding
org.bigraphs.framework.simulation.encoding.hash - package org.bigraphs.framework.simulation.encoding.hash
org.bigraphs.framework.simulation.exceptions - package org.bigraphs.framework.simulation.exceptions
org.bigraphs.framework.simulation.matching - package org.bigraphs.framework.simulation.matching
org.bigraphs.framework.simulation.matching.pure - package org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking - package org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates - package org.bigraphs.framework.simulation.modelchecking.predicates
org.bigraphs.framework.simulation.modelchecking.reactions - package org.bigraphs.framework.simulation.modelchecking.reactions
org.bigraphs.framework.simulation.util - package org.bigraphs.framework.simulation.util
OrPredicate>> - Class in org.bigraphs.framework.simulation.modelchecking.predicates: A composite predicate which concatenates all given predicates with the or operator.
OrPredicate(boolean, ReactiveSystemPredicate...) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate
OrPredicate(ReactiveSystemPredicate...) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate
OrPredicate(ReactiveSystemPredicate, ReactiveSystemPredicate) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate
OrPredicate(ReactiveSystemPredicate, ReactiveSystemPredicate, boolean) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate

P

Permutations - Class in org.bigraphs.framework.simulation.util
Permutations() - Constructor for class org.bigraphs.framework.simulation.util.Permutations
predicateChecker - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
PredicateChecker>> - Class in org.bigraphs.framework.simulation.modelchecking.predicates: The task of the class is to evaluate a given set of predicates of class ReactiveSystemPredicate.
PredicateChecker(Collection<ReactiveSystemPredicate>) - Constructor for class org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker
PREFIX_BARREN - Static variable in interface org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport
provide() - Method in class org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider
PureBigraphAgentAdapter - Class in org.bigraphs.framework.simulation.matching.pure
PureBigraphAgentAdapter(PureBigraph) - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter
PureBigraphHash - Class in org.bigraphs.framework.simulation.encoding.hash
PureBigraphHash() - Constructor for class org.bigraphs.framework.simulation.encoding.hash.PureBigraphHash
PureBigraphMatcher - Class in org.bigraphs.framework.simulation.matching.pure: A matcher for PureBigraphs.
PureBigraphMatcher() - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher
PureBigraphMatchingEngine - Class in org.bigraphs.framework.simulation.matching.pure: Matching algorithm for pure bigraphs (see PureBigraph).
PureBigraphModelChecker - Class in org.bigraphs.framework.simulation.modelchecking: An implementation of a BigraphModelChecker for model checking of BRS with pure bigraphs (see PureBigraph).
PureBigraphModelChecker(ReactiveSystem<PureBigraph>, BigraphModelChecker.SimulationStrategy.Type, ModelCheckingOptions) - Constructor for class org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker
PureBigraphModelChecker(ReactiveSystem<PureBigraph>, BigraphModelChecker.SimulationStrategy.Type, ModelCheckingOptions, BigraphModelChecker.ReactiveSystemListener<PureBigraph>) - Constructor for class org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker
PureBigraphModelChecker(ReactiveSystem<PureBigraph>, ModelCheckingOptions) - Constructor for class org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker
PureBigraphParametricMatch - Class in org.bigraphs.framework.simulation.matching.pure: This class represents the result of a valid match.
PureBigraphParametricMatch(Match, PureBigraph, PureBigraph, PureBigraph, Bigraph<DefaultDynamicSignature>, PureBigraph, Collection<PureBigraph>) - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
PureBigraphParametricMatch(PureBigraph, PureBigraph, PureBigraph, Collection<PureBigraph>, Bigraph<DefaultDynamicSignature>, Bigraph<DefaultDynamicSignature>) - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch
PureBigraphRedexAdapter - Class in org.bigraphs.framework.simulation.matching.pure
PureBigraphRedexAdapter(PureBigraph) - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter
PureCanonicalForm - Class in org.bigraphs.framework.simulation.encoding: The concrete strategy to compute the canonical string of a pure bigraph (PureBigraph).
PureCanonicalForm(BigraphCanonicalForm) - Constructor for class org.bigraphs.framework.simulation.encoding.PureCanonicalForm
PureCanonicalForm.RewriteFunction - Class in org.bigraphs.framework.simulation.encoding
PureMatchIteratorImpl - Class in org.bigraphs.framework.simulation.matching.pure: Iterator implementation for bigraph matching.
PureReactiveSystem - Class in org.bigraphs.framework.simulation.matching.pure: 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.
PureReactiveSystem() - Constructor for class org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem

R

RANDOM - Enum constant in enum class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type
RandomAgentMatchSupplier>> - Class in org.bigraphs.framework.simulation.modelchecking.reactions
RandomAgentMatchSupplier(Collection) - Constructor for class org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier
RandomAgentModelCheckingStrategy>> - Class in org.bigraphs.framework.simulation.modelchecking
RandomAgentModelCheckingStrategy(BigraphModelChecker) - Constructor for class org.bigraphs.framework.simulation.modelchecking.RandomAgentModelCheckingStrategy
ReactionRuleSupplier>> - Class in org.bigraphs.framework.simulation.modelchecking.reactions
ReactionRuleSupplier(Collection<ReactionRule>) - Constructor for class org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier
reactiveSystemListener - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
redex - Variable in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher
reset() - Method in class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
resetOccurrenceCounter() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport
rewrite(MutableSortedMap<String, BigraphEntity.Edge>, MutableSortedMap<String, BigraphEntity.OuterName>, BigraphEntity.Link, Supplier<String>, Supplier<String>, boolean) - Method in class org.bigraphs.framework.simulation.encoding.PureCanonicalForm.RewriteFunction
RewriteFunction() - Constructor for class org.bigraphs.framework.simulation.encoding.PureCanonicalForm.RewriteFunction
rewriteOpenLinks(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
rule - Variable in class org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher

S

setMaximumTime(long) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
setMaximumTime(long, TimeUnit) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
setMaximumTransitions(int) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions.Builder
setMeasureTime(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions
setOutputStatesFolder(File) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
setParallelRuleMatching(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions: Instruct the simulation either to perform rule matching in parallel or sequentially (default).
setPrintCanonicalStateLabel(boolean) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder: Flag that can be used to determine whether the labels of the states in the reaction graph should contain the canonical form of a bigraph or not, meaning, only a constant identifier is printed suffixed with an incremented number.
setPrintNodeIdentifiers(boolean) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
setReactionGraphFile(File) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder
setReactiveSystemListener(BigraphModelChecker.ReactiveSystemListener) - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
setRewriteOpenLinks(boolean) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
setRewriteOpenLinks(boolean) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy
setRewriteResultFolder(File) - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions.Builder: Deprecated.
setWithNodeIdentifiers(boolean) - Method in class org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm
SIMULATION - Enum constant in enum class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type
SimulationStrategy() - Constructor for class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy
simulationStrategyType - Variable in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker
SubBigraphMatchPredicate>> - Class in org.bigraphs.framework.simulation.modelchecking.predicates: Simple predicate implementation that returns true if one bigraph is contained in another (subbigraph matching problem).
SubHypergraphIsoSearch - Class in org.bigraphs.framework.simulation.matching.pure
SubHypergraphIsoSearch(Bigraph<?>, Bigraph<?>) - Constructor for class org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch
SubHypergraphIsoSearch.Embedding - Class in org.bigraphs.framework.simulation.matching.pure
synthesizeTransitionSystem() - Method in class org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy: Compute the transition system of a bigraph with all added reaction rules so far.
synthesizeTransitionSystem() - Method in class org.bigraphs.framework.simulation.modelchecking.BreadthFirstStrategy: Compute the transition system of a bigraph with all added reaction rules so far.
synthesizeTransitionSystem() - Method in interface org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy: Entry point of the model checking strategy to implement.
synthesizeTransitionSystem() - Method in class org.bigraphs.framework.simulation.modelchecking.RandomAgentModelCheckingStrategy

T

test(B) - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate: Concatenates all given predicates with the and operator of the ReactiveSystemPredicate class and evaluates them together.
test(B) - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate
test(B) - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate: Concatenates all given predicates with the or operator of the ReactiveSystemPredicate class and evaluates them together.
test(B) - Method in class org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate
throwableSupplier - Variable in class org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter
toBuilder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.ExportOptions
toBuilder() - Method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.TransitionOptions
TRANSITION - Enum constant in enum class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options
transitionOpts() - Static method in class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions

V

valueOf(String) - Static method in enum class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options: Returns the enum constant of this class with the specified name.
values() - Static method in enum class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.SimulationStrategy.Type: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.Options: Returns an array containing the constants of this enum class, in the order they are declared.

W

watch(Supplier<A>) - Method in class org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker

A B C D E F G H I M N O P R S T V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form