CBMC
interval.cpp File Reference
#include "interval.h"
#include "arith_tools.h"
#include "bitvector_expr.h"
#include "c_types.h"
#include "namespace.h"
#include "simplify_expr.h"
#include "std_expr.h"
#include "symbol_table.h"
+ Include dependency graph for interval.cpp:

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &out, const constant_interval_exprt &i)
 
bool operator< (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
bool operator> (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
bool operator<= (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
bool operator>= (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
bool operator== (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
bool operator!= (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator+ (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator- (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator/ (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator* (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator% (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator& (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator| (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator^ (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator! (const constant_interval_exprt &lhs)
 
const constant_interval_exprt operator<< (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 
const constant_interval_exprt operator>> (const constant_interval_exprt &lhs, const constant_interval_exprt &rhs)
 

Function Documentation

◆ operator!()

const constant_interval_exprt operator! ( const constant_interval_exprt lhs)

Definition at line 1592 of file interval.cpp.

◆ operator!=()

bool operator!= ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1529 of file interval.cpp.

◆ operator%()

const constant_interval_exprt operator% ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1564 of file interval.cpp.

◆ operator&()

const constant_interval_exprt operator& ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1571 of file interval.cpp.

◆ operator*()

const constant_interval_exprt operator* ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1557 of file interval.cpp.

◆ operator+()

const constant_interval_exprt operator+ ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1536 of file interval.cpp.

◆ operator-()

const constant_interval_exprt operator- ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1543 of file interval.cpp.

◆ operator/()

const constant_interval_exprt operator/ ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1550 of file interval.cpp.

◆ operator<()

bool operator< ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1494 of file interval.cpp.

◆ operator<<() [1/2]

const constant_interval_exprt operator<< ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1597 of file interval.cpp.

◆ operator<<() [2/2]

std::ostream& operator<< ( std::ostream &  out,
const constant_interval_exprt i 
)

Definition at line 1440 of file interval.cpp.

◆ operator<=()

bool operator<= ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1508 of file interval.cpp.

◆ operator==()

bool operator== ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1522 of file interval.cpp.

◆ operator>()

bool operator> ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1501 of file interval.cpp.

◆ operator>=()

bool operator>= ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1515 of file interval.cpp.

◆ operator>>()

const constant_interval_exprt operator>> ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1604 of file interval.cpp.

◆ operator^()

const constant_interval_exprt operator^ ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1585 of file interval.cpp.

◆ operator|()

const constant_interval_exprt operator| ( const constant_interval_exprt lhs,
const constant_interval_exprt rhs 
)

Definition at line 1578 of file interval.cpp.