fprintf ppf " %s " Pretty.wedge;
print ~parent:(prio f > prio f2) ppf f2;
| Or(f1,f2) ->
- (print ppf f1);
+ print ppf f1;
fprintf ppf " %s " Pretty.vee;
- (print ppf f2);
- | Atom(p,b) -> fprintf ppf "%s%a" (if b then "" else Pretty.lnot) A.print p
+ print ppf f2
+ | Atom(p,b) ->
+ fprintf ppf "%s%a" (if b then "" else Pretty.lnot) A.print p
in
if parent then fprintf ppf ")"
let cons pos neg =
let nnode = Node.make { pos = neg; neg = Obj.magic 0 } in
let pnode = Node.make { pos = pos; neg = nnode } in
- (Node.node nnode).neg <- pnode; (* works because the neg field isn't taken into
- account for hashing ! *)
- pnode,nnode
+ (Node.node nnode).neg <- pnode; (* works because the neg field isn't
+ taken into account for hashing ! *)
+ pnode, nnode
let true_,false_ = cons True False
in
loop phi acc
+let iter f phi = fold (fun phi () -> f phi) phi ()
end