Module Bigraph

module Abrs : sig ... end

Operations on action BRSs i.e. BRSs with discrete probabilistic transitions and explicit non-deterministic choices.

module AppCond : sig ... end

Application conditions for bigraph reaction rules.

module Base : sig ... end
module Big : sig ... end

Bigraph operations.

module Bitset : sig ... end

Dynamically resizing Bitsets with immutable interface.

module Brs : sig ... end

Operations on BRSs.

module Cmd_encoding : sig ... end
module Ctrl : sig ... end

Operations on bigraphical controls.

module Expr : sig ... end

Expressions and constraints for use in control parameters.

module Face : sig ... end

Operations on faces defined as sets of names.

module Flatten : sig ... end

Operation to flatten a bigraph to a directed graph with special nodes and constraints.

module Fun : sig ... end

Implementation of finite functions over integers.

module IntSet : sig ... end

Finite sets of non negative integers.

module Iso : sig ... end

Implementation of finite isomorphisms over non negative integers.

Operations on link graphs.

module Nodes : sig ... end

Operations on sets of bigraph nodes.

module Pbrs : sig ... end

Operations on probabilistic BRSs.

module Place : sig ... end

Operations on place graphs.

module Ports : sig ... end

Operations on Ports.

module Predicate : sig ... end

Predicates as labels for transition systems.

module Priority : sig ... end

Priority classes over reaction rules.

module React : sig ... end

Bigraphical reaction rules.

module React_intf : sig ... end
module Rel : sig ... end

Implementation of finite binary relations over non negative integers.

module Rs : sig ... end

Bigraphical reactive systems.

module Rs_intf : sig ... end
module Sbrs : sig ... end

This module provides operations on stochastic BRSs.

module Solver : sig ... end

Unified interface to external solvers.

module Solver_intf : sig ... end
module Sparse : sig ... end

Sparse Boolean matrices and graph operations.

module Tikz : sig ... end

Simple TikZ output for bigraphs.

module Ts : sig ... end

Functorial implementation of transition systems.

module Ts_intf : sig ... end