Did you know ... Search Documentation:
Pack pac -- prolog/zdd/zdd-with-pred.pl
PublicShow source
 zdd(+E) is det
E is interpreted as commands on ZDD.
 zdd_shift(G) is det
Perform shift-wrapped command. Short hand for used_zdd(shift(G)) for convenience.
 zdd_singleton(+X, -P, +G) is det
With an ROZDD bound to G, unify P with a sigleton ZDD for X. ?- listing(zdd_singleton).
 zdd_has_1(+X, +G) is det
With an ROZDD bound to G, true if a ZDD X has the empty set.
 card(+I, -C) is det
unify C with the cardinality of the ZDD I as a family of sets.
 ltr_join(+X, +Y, -Z) is det
Unify Z with a ZDD that represents the union of the ZDD X and Y as a family of sets of literals.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 card(Arg1, Arg2, Arg3)
 ltr_cofact(Arg1, Arg2)
 ltr_cofact(Arg1, Arg2, Arg3)
 ltr_join(Arg1, Arg2, Arg3, Arg4)
 ltr_merge(Arg1, Arg2, Arg3)
 ltr_merge(Arg1, Arg2, Arg3, Arg4)
 ltr_card(Arg1, Arg2, Arg3)
 ltr_card(Arg1, Arg2, Arg3, Arg4)
 sat(Arg1)
 sat_count(Arg1)
 sat_count(Arg1, Arg2)
 sat0(Arg1)
 sat_count0(Arg1)
 sat_count0(Arg1, Arg2)
 fos(Arg1)
 fos_count
 fos_count(Arg1)
 fos_count(Arg1, Arg2)
 make_boole_canonical(Arg1, Arg2)
 simple_boole(Arg1, Arg2)
 boole_to_dnf(Arg1, Arg2)
 ltr_card(Arg1, Arg2, Arg3)
 dnf(Arg1, Arg2)
 dnf(Arg1, Arg2, Arg3)
 dnf0(Arg1, Arg2)
 dnf0(Arg1, Arg2, Arg3)
 cnf(Arg1, Arg2)
 cnf(Arg1, Arg2, Arg3)
 cnf0(Arg1, Arg2)
 cnf0(Arg1, Arg2, Arg3)
 zdd_funs(Arg1, Arg2, Arg3)
 zdd_funs(Arg1, Arg2, Arg3, Arg4)
 cofact0(Arg1, Arg2, Arg3)
 cofact0(Arg1, Arg2, Arg3, Arg4)
 zdd_append(Arg1, Arg2, Arg3)
 zdd_append(Arg1, Arg2, Arg3, Arg4)
 zdd_insert(Arg1, Arg2, Arg3, Arg4)
 zdd_insert_atoms(Arg1, Arg2, Arg3)
 zdd_insert_atoms(Arg1, Arg2, Arg3, Arg4)
 zdd_append_rev(Arg1, Arg2, Arg3)
 zdd_append_rev(Arg1, Arg2, Arg3, Arg4)
 zdd_join(Arg1, Arg2, Arg3)
 zdd_join(Arg1, Arg2, Arg3, Arg4)
 zdd_singleton(Arg1, Arg2)
 zdd_merge(Arg1, Arg2, Arg3)
 zdd_merge(Arg1, Arg2, Arg3, Arg4)
 zdd_meet(Arg1, Arg2, Arg3)
 zdd_meet(Arg1, Arg2, Arg3, Arg4)
 zdd_subtr(Arg1, Arg2, Arg3)
 zdd_subtr(Arg1, Arg2, Arg3, Arg4)
 zdd_divide(Arg1, Arg2, Arg3)
 zdd_divide(Arg1, Arg2, Arg3, Arg4)
 zdd_residue(Arg1, Arg2, Arg3)
 zdd_residue(Arg1, Arg2, Arg3, Arg4)
 zdd_div_by_list(Arg1, Arg2, Arg3)
 zdd_div_by_list(Arg1, Arg2, Arg3, Arg4)
 zdd_res_by_list(Arg1, Arg2, Arg3)
 zdd_res_by_list(Arg1, Arg2, Arg3, Arg4)
 zdd_power(Arg1, Arg2)
 zdd_power(Arg1, Arg2, Arg3)
 get_extra(Arg1)
 get_extra(Arg1, Arg2)
 get_key(Arg1, Arg2)
 get_key(Arg1, Arg2, Arg3)
 set_key(Arg1, Arg2)
 set_key(Arg1, Arg2, Arg3)
 delete_key(Arg1)
 delete_key(Arg1, Arg2)
 intern(Arg1, Arg2, Arg3)
 make_boole_canonical(Arg1, Arg2)
 use_zdd(Arg1)
 use_zdd(Arg1, Arg2)
 psa(Arg1)
 psa(Arg1, Arg2)
 sets(Arg1, Arg2)
 sets(Arg1, Arg2, Arg3)
 ppoly(Arg1)
 ppoly(Arg1, Arg2)
 poly_term(Arg1, Arg2)
 poly_term(Arg1, Arg2, Arg3)
 shift0(Arg1)
 significant_length(Arg1, Arg2, Arg3)
 charlist(Arg1, Arg2)
 charlist(Arg1, Arg2, Arg3)
 atomlist(Arg1, Arg2)