class documentation

class TheoremToolThread(threading.Thread): (source)

Constructor: TheoremToolThread(command, verbose, name)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method run Undocumented
Property result Undocumented
Instance Variable _command Undocumented
Instance Variable _name Undocumented
Instance Variable _result Undocumented
Instance Variable _verbose Undocumented
def __init__(self, command, verbose, name=None): (source)

Undocumented

def run(self): (source)

Undocumented

@property
result = (source)

Undocumented

_command = (source)

Undocumented

Undocumented

Undocumented

_verbose = (source)

Undocumented