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

Public Member Functions

 __init__ (self, replacements)
 generic_visit (self, node)

Public Attributes

 replacements = replacements

Constructor & Destructor Documentation

◆ __init__()

preprocessor.bound_method_dispatch._Replace.__init__ ( self,
replacements )

Member Function Documentation

◆ generic_visit()

preprocessor.bound_method_dispatch._Replace.generic_visit ( self,
node )

Member Data Documentation

◆ replacements

preprocessor.bound_method_dispatch._Replace.replacements = replacements

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