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

Public Member Functions

 visit_Name (self, node)
 visit_Compare (self, node)
 visit_Call (self, node)

Detailed Description

Replace each function of a group by its code, `is` by `==` and `callable` by True.

Member Function Documentation

◆ visit_Call()

preprocessor.function_value_dispatch._Codes.visit_Call ( self,
node )

◆ visit_Compare()

preprocessor.function_value_dispatch._Codes.visit_Compare ( self,
node )

◆ visit_Name()

preprocessor.function_value_dispatch._Codes.visit_Name ( self,
node )

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