ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.path_dependent_attributes._Rewrite Class Reference
Inheritance diagram for preprocessor.path_dependent_attributes._Rewrite:
[legend]

Public Member Functions

 __init__ (self, calls, has, value)
 visit_Call (self, node)

Public Attributes

dict calls = {id(c) for c in calls}
 has = has
 value = value

Constructor & Destructor Documentation

◆ __init__()

preprocessor.path_dependent_attributes._Rewrite.__init__ ( self,
calls,
has,
value )

Member Function Documentation

◆ visit_Call()

preprocessor.path_dependent_attributes._Rewrite.visit_Call ( self,
node )

Member Data Documentation

◆ calls

dict preprocessor.path_dependent_attributes._Rewrite.calls = {id(c) for c in calls}

◆ has

preprocessor.path_dependent_attributes._Rewrite.has = has

◆ value

preprocessor.path_dependent_attributes._Rewrite.value = value

The documentation for this class was generated from the following file: