Module Bddapron.Policy

module Policy: sig .. end

This module provides a generic BddApron lift for policies on Apron abstract values. Policies are available only for MTBDD abstract values (Domain0.t built on Mtbdddomain0.t).

val apron_policy_print : 'a Apron.Policy.man ->
       'b Bddapron.Env.t -> Format.formatter -> 'a Apron.Policy.t -> unit

module Dnf: sig .. end

module DDDnf: sig .. end

module DPolicy: sig .. end

module PMtbdddomain0: sig .. end

module PDomain0: sig .. end

Policy, level 1

module Domain1: sig .. end

Policy, level 0

module Domain0: sig .. end

Policy, level 0, MTBDD implementation

module Mtbdddomain0: sig .. end