Module Bigraph.Nbrs

type react = {
name : string;

Reaction rule name.

action : string;

Action name.

reward : int;

Reward.

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 action bigraphical reaction rules.

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

The type of a labelled Markov Decision Process (MDP).

module type T = sig ... end

Output signature of the functor Nbrs.Make.

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

Functor building a concrete implementation of an action BRS with Markov Decision Process (MDP) semantics given a matching engine.