class documentation
class _And(BooleanTerm): (source)
A conjunction of equalities and disjunctions. External code should use And rather than creating an _And instance directly.
Method | __eq__ |
Undocumented |
Method | __hash__ |
Undocumented |
Method | __init__ |
Initialize a conjunction. |
Method | __ne__ |
Undocumented |
Method | __repr__ |
Undocumented |
Method | __str__ |
Undocumented |
Method | extract |
Find all equalities that appear in this term. |
Method | extract |
Extract the pivots. See BooleanTerm.extract_pivots(). |
Method | simplify |
Simplify this term, given a list of possible values for each variable. |
Class Variable | __slots__ |
Undocumented |
Instance Variable | exprs |
Undocumented |
Find all equalities that appear in this term. Returns: A sequence of tuples of a string (variable name) and a string (value or variable name).
overrides
pytype.pytd.booleq.BooleanTerm.simplify
Simplify this term, given a list of possible values for each variable. Args: assignments: A list of possible values for each variable. A dictionary mapping strings (variable name) to sets of strings (value names). Returns: A new BooleanTerm, potentially simplified.