klara.scripts.py_check.fcf_solver.ComparisonAstSolver

class documentation

class ComparisonAstSolver(AstVisitor): (source)

View In Hierarchy

Undocumented

Class Method solve Undocumented
Method __init__ Undocumented
Method process_variable Undocumented
Method visit_compare Undocumented
Instance Variable context Undocumented
Instance Variable file_name Undocumented
Instance Variable file_path Undocumented
Instance Variable float_config Undocumented
Instance Variable node Undocumented
Instance Variable result Undocumented
Instance Variable trace Undocumented

Inherited from AstVisitor:

Method generic_visit Undocumented
Method visit Undocumented
@classmethod
def solve(cls, node, trace, file_name='', context=None, result=None, file_path='', float_config=None): (source)

Undocumented

def __init__(self, trace, node, file_name='', context=None, result=None, file_path='', float_config=None): (source)

Undocumented

def process_variable(self, operand): (source)

Undocumented

def visit_compare(self, node): (source)

Undocumented

context = (source)

Undocumented

file_name = (source)

Undocumented

file_path = (source)

Undocumented

float_config = (source)

Undocumented

node = (source)

Undocumented

result = (source)

Undocumented

trace = (source)

Undocumented