Module Bigraph.Sbrs

type react = {
name : string;

Name.

rdx : Big.t;

Redex, i.e. the left-hand side of a reaction rule.

rct : Big.t;

Reactum, i.e. the right-hand side of a reaction rule.

eta : Fun.t option;

Instantiation map.

rate : float;

Reaction rate.

conds : AppCond.t list;

Application conditions.

}

The type of stochastic bigraphical reaction rules.

type graph = {
v : (int * Big.t) Base.H_int.t;
e : (int * float * string) Base.H_int.t;
l : int Base.H_predicate.t;
preds : Base.S_predicate.t;
}

The type of a labelled Continuous Time Markov Chain (CTMC).

module type T = sig ... end

Output signature of the functor Sbrs.Make.

module Make : functor (S : Solver.M) -> T

Functor building a concrete implementation of a stochastic BRS given a matching engine.