Module Bddapron.Policy.Dnf

module Dnf: sig .. end

type 'a t = 'a Bddapron.Cond.cond Bdd.Normalform.dnf 

Disjunction of conjuction of conditions. (c1 and c2) or c3 is represented by [|[c1,c2],[c3]|]. Unicity of the representation is guaranted by a lexicographic ordering based on the order on conditions.