Module Bigraph.AppCond

type t = {
neg : bool;

Negative application condition.

where : loc;

Specify whether the predicate has to be checked against the context or the parameter of a match.

pred : Big.t;

Predicate.

}

The type of application conditions.

and loc =
| Ctx

Context.

| Param

Parameter.

module type C = sig ... end

Output signature of the functor AppCond.Make.

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

Functor building an implementation of the application conditions given a bigraph matching engine.