bddtrue

const BDD bddtrue The constant true bdd. This bdd holds the constant true value. See also: bddfalse, bdd_true, bdd_false

---