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

Public Member Functions

 __init__ (self)
 visit_Match (self, node)

Public Attributes

int counter = 0

Constructor & Destructor Documentation

◆ __init__()

preprocessor.match_lowering._MatchLowering.__init__ ( self)

Member Function Documentation

◆ visit_Match()

preprocessor.match_lowering._MatchLowering.visit_Match ( self,
node )
An if/elif chain equivalent to @p node, or @p node if none is built.

Member Data Documentation

◆ counter

int preprocessor.match_lowering._MatchLowering.counter = 0

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