cprover
interval.cpp File Reference
#include "interval.h"
#include <ostream>
#include <sstream>
#include "bitvector_expr.h"
#include <util/arith_tools.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include <util/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 1591 of file interval.cpp.

◆ operator!=()

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

Definition at line 1528 of file interval.cpp.

◆ operator%()

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

Definition at line 1563 of file interval.cpp.

◆ operator&()

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

Definition at line 1570 of file interval.cpp.

◆ operator*()

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

Definition at line 1556 of file interval.cpp.

◆ operator+()

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

Definition at line 1535 of file interval.cpp.

◆ operator-()

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

Definition at line 1542 of file interval.cpp.

◆ operator/()

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

Definition at line 1549 of file interval.cpp.

◆ operator<()

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

Definition at line 1493 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 1596 of file interval.cpp.

◆ operator<<() [2/2]

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

Definition at line 1439 of file interval.cpp.

◆ operator<=()

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

Definition at line 1507 of file interval.cpp.

◆ operator==()

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

Definition at line 1521 of file interval.cpp.

◆ operator>()

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

Definition at line 1500 of file interval.cpp.

◆ operator>=()

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

Definition at line 1514 of file interval.cpp.

◆ operator>>()

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

Definition at line 1603 of file interval.cpp.

◆ operator^()

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

Definition at line 1584 of file interval.cpp.

◆ operator|()

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

Definition at line 1577 of file interval.cpp.