pytype.pytd.booleq._Or

class documentation

class _Or(BooleanTerm): (source)

View In Hierarchy

A disjunction of equalities and conjunctions. External code should use Or rather than creating an _Or instance directly.

Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ Initialize a disjunction.
Method __ne__ Undocumented
Method __repr__ Undocumented
Method __str__ Undocumented
Method extract_equalities Find all equalities that appear in this term.
Method extract_pivots 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
def __eq__(self, other): (source)

Undocumented

def __hash__(self): (source)

Undocumented

def __init__(self, exprs): (source)

Initialize a disjunction. Args: exprs: A set. The subterms.

def __ne__(self, other): (source)

Undocumented

def __repr__(self): (source)

Undocumented

def __str__(self): (source)

Undocumented

def extract_equalities(self): (source)
overrides pytype.pytd.booleq.BooleanTerm.extract_equalities

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).

def extract_pivots(self, assignments): (source)
overrides pytype.pytd.booleq.BooleanTerm.extract_pivots

Extract the pivots. See BooleanTerm.extract_pivots().

def simplify(self, assignments): (source)
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.

__slots__: tuple[str, ...] = (source)
overrides pytype.pytd.booleq.BooleanTerm.__slots__

Undocumented

exprs = (source)

Undocumented