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

Public Member Functions

 visit_AnnAssign (self, node)
 visit_AugAssign (self, node)

Protected Attributes

 _defaultdict_factory

Member Function Documentation

◆ visit_AnnAssign()

preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin.visit_AnnAssign ( self,
node )
Track type annotations and lower annotated assignments.

◆ visit_AugAssign()

preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin.visit_AugAssign ( self,
node )
Lower augmented assignment into simple assignment when needed.

Member Data Documentation

◆ _defaultdict_factory

preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin._defaultdict_factory
protected

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