CBMC
Public Member Functions | Public Attributes | List of all members
left_and_right_valuest Struct Reference
+ Collaboration diagram for left_and_right_valuest:

Public Member Functions

constant_interval_exprt left_interval () const
 
constant_interval_exprt right_interval () const
 
bool are_bad () const
 
bool has_top () const
 

Public Attributes

exprt lhs
 
exprt rhs
 
abstract_object_pointert left
 
abstract_object_pointert right
 

Detailed Description

Definition at line 662 of file abstract_environment.cpp.

Member Function Documentation

◆ are_bad()

bool left_and_right_valuest::are_bad ( ) const
inline

Definition at line 678 of file abstract_environment.cpp.

◆ has_top()

bool left_and_right_valuest::has_top ( ) const
inline

Definition at line 685 of file abstract_environment.cpp.

◆ left_interval()

constant_interval_exprt left_and_right_valuest::left_interval ( ) const
inline

Definition at line 669 of file abstract_environment.cpp.

◆ right_interval()

constant_interval_exprt left_and_right_valuest::right_interval ( ) const
inline

Definition at line 673 of file abstract_environment.cpp.

Member Data Documentation

◆ left

abstract_object_pointert left_and_right_valuest::left

Definition at line 666 of file abstract_environment.cpp.

◆ lhs

exprt left_and_right_valuest::lhs

Definition at line 664 of file abstract_environment.cpp.

◆ rhs

exprt left_and_right_valuest::rhs

Definition at line 665 of file abstract_environment.cpp.

◆ right

abstract_object_pointert left_and_right_valuest::right

Definition at line 667 of file abstract_environment.cpp.

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