Module Bigraph.Pbrs

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.

w : float;

Weight.

conds : AppCond.t list;

Application conditions.

}

The type of probabilistic 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 Discrete Time Markov Chain (DTMC).

module type T = sig ... end

Output signature of the functor Pbrs.Make.

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

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