class documentation

class Variable(object): (source)

Constructor: Variable(name)

View In Hierarchy

Undocumented

Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ No summary
Method __lt__ Undocumented
Method __ne__ Undocumented
Method __repr__ Undocumented
Method __str__ Undocumented
Method substitute_bindings Undocumented
Instance Variable name Undocumented
def __eq__(self, other): (source)

Undocumented

def __hash__(self): (source)

Undocumented

def __init__(self, name): (source)
Parameters
namethe name of the variable
def __lt__(self, other): (source)

Undocumented

def __ne__(self, other): (source)

Undocumented

def __repr__(self): (source)

Undocumented

def __str__(self): (source)

Undocumented

def substitute_bindings(self, bindings): (source)

Undocumented

Undocumented