- 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_compare(Arg1, Arg2, Arg3)
- zdd_compare(Arg1, Arg2, Arg3, Arg4)
- 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)
- set_compare(Arg1)
- set_compare(Arg1, Arg2)
- delete_key(Arg1)
- delete_key(Arg1, Arg2)
- intern(Arg1, Arg2, Arg3)
- make_boole_canonical(Arg1, Arg2)
- use_zdd(Arg1)
- use_zdd(Arg1, Arg2)
- pred_zdd(Arg1, Arg2)
- pred_zdd(Arg1, Arg2, Arg3)
- zdd_sort(Arg1, Arg2)
- zdd_sort(Arg1, Arg2, Arg3)
- 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)