BDD

class hal_py.bdd
bdd_clauses(self: hal_py.bdd) → List[Dict[int, bool]]

Turn the bdd into a list of clauses. :param bdd: The bdd. :type bdd: hal_py.bdd :returns: A list of dictionaries from input to boolean value. :rtype: list(dict[int,bool])

bdd_str(self: hal_py.bdd) → str

Get a human readable string for a bdd. :param bdd: The bdd to represent. :type bdd: hal_py.bdd :returns: The string representation. :rtype: str

is_contradiction(self: hal_py.bdd) → bool

Checks whether a bdd is always false. :param bdd: The bdd. :type bdd: hal_py.bdd :returns: True if contradiction. :rtype: bool

is_tautology(self: hal_py.bdd) → bool

Checks whether a bdd is always true. :param bdd: The bdd. :type bdd: hal_py.bdd :returns: True if tautology. :rtype: bool