pytype.state.Condition

class documentation

class Condition: (source)

View In Hierarchy

Represents a condition due to if-splitting. Properties: node: A CFGNode. binding: A Binding for the condition's constraints.

Method __init__ Undocumented
Property binding Undocumented
Instance Variable _binding Undocumented
Instance Variable _var Undocumented
def __init__(self, node, dnf): (source)

Undocumented

@property
binding = (source)

Undocumented

_binding = (source)

Undocumented

_var = (source)

Undocumented