klara.contract.solver.Assert

class documentation

class Assert: (source)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method to_ast Undocumented
Instance Variable args Undocumented
Instance Variable funcdef Undocumented
Instance Variable module Undocumented
Instance Variable return_result Undocumented
def __init__(self, module, funcdef, args, return_result=None): (source)

Undocumented

Parameters
moduleUndocumented
funcdefUndocumented
argsUndocumented
return_result:Union[nodes.Const, None]Undocumented
def to_ast(self): (source)

Undocumented

args = (source)

Undocumented

funcdef = (source)

Undocumented

module = (source)

Undocumented

return_result = (source)

Undocumented