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 667 of file abstract_environment.cpp.

Member Function Documentation

are_bad()

bool left_and_right_valuest::are_bad ( ) const

inline

Definition at line 683 of file abstract_environment.cpp.

has_top()

bool left_and_right_valuest::has_top ( ) const

inline

Definition at line 690 of file abstract_environment.cpp.

left_interval()

constant_interval_exprt left_and_right_valuest::left_interval ( ) const

inline

Definition at line 674 of file abstract_environment.cpp.

right_interval()

constant_interval_exprt left_and_right_valuest::right_interval ( ) const

inline

Definition at line 678 of file abstract_environment.cpp.

Member Data Documentation

left

abstract_object_pointert left_and_right_valuest::left

Definition at line 671 of file abstract_environment.cpp.

lhs

exprt left_and_right_valuest::lhs

Definition at line 669 of file abstract_environment.cpp.

rhs

exprt left_and_right_valuest::rhs

Definition at line 670 of file abstract_environment.cpp.

right

abstract_object_pointert left_and_right_valuest::right

Definition at line 672 of file abstract_environment.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_environment.cpp