cprover
loop_utils_is_constantt Class Reference
+ Inheritance diagram for loop_utils_is_constantt:
+ Collaboration diagram for loop_utils_is_constantt:

Public Member Functions

 loop_utils_is_constantt (const modifiest &mod)
 
bool is_constant (const exprt &expr) const override
 This function determines what expressions are to be propagated as "constants". More...
 
- Public Member Functions inherited from is_constantt
bool operator() (const exprt &e) const
 returns true iff the expression can be considered constant More...
 

Protected Attributes

const modifiestmodifies
 

Additional Inherited Members

- Protected Member Functions inherited from is_constantt
virtual bool is_constant_address_of (const exprt &) const
 this function determines which reference-typed expressions are constant More...
 

Detailed Description

Definition at line 23 of file loop_utils.cpp.

Constructor & Destructor Documentation

◆ loop_utils_is_constantt()

loop_utils_is_constantt::loop_utils_is_constantt ( const modifiest mod)
inlineexplicit

Definition at line 26 of file loop_utils.cpp.

Member Function Documentation

◆ is_constant()

bool loop_utils_is_constantt::is_constant ( const exprt expr) const
inlineoverridevirtual

This function determines what expressions are to be propagated as "constants".

Reimplemented from is_constantt.

Definition at line 29 of file loop_utils.cpp.

Member Data Documentation

◆ modifies

const modifiest& loop_utils_is_constantt::modifies
protected

Definition at line 40 of file loop_utils.cpp.


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