|
IntervalValue | SVF::operator+ (const IntervalValue &lhs, const IntervalValue &rhs) |
| Add IntervalValues.
|
|
IntervalValue | SVF::operator- (const IntervalValue &lhs, const IntervalValue &rhs) |
| Subtract IntervalValues.
|
|
IntervalValue | SVF::operator* (const IntervalValue &lhs, const IntervalValue &rhs) |
| Multiply IntervalValues.
|
|
IntervalValue | SVF::operator/ (const IntervalValue &lhs, const IntervalValue &rhs) |
| Divide IntervalValues.
|
|
IntervalValue | SVF::operator% (const IntervalValue &lhs, const IntervalValue &rhs) |
| Divide IntervalValues.
|
|
IntervalValue | SVF::operator> (const IntervalValue &lhs, const IntervalValue &rhs) |
|
IntervalValue | SVF::operator< (const IntervalValue &lhs, const IntervalValue &rhs) |
|
IntervalValue | SVF::operator>= (const IntervalValue &lhs, const IntervalValue &rhs) |
|
IntervalValue | SVF::operator<= (const IntervalValue &lhs, const IntervalValue &rhs) |
|
IntervalValue | SVF::operator<< (const IntervalValue &lhs, const IntervalValue &rhs) |
| Left binary shift of IntervalValues.
|
|
IntervalValue | SVF::operator>> (const IntervalValue &lhs, const IntervalValue &rhs) |
| Left binary shift of IntervalValues.
|
|
IntervalValue | SVF::operator& (const IntervalValue &lhs, const IntervalValue &rhs) |
| Bitwise AND of IntervalValues.
|
|
IntervalValue | SVF::operator| (const IntervalValue &lhs, const IntervalValue &rhs) |
| Bitwise OR of IntervalValues.
|
|
IntervalValue | SVF::operator^ (const IntervalValue &lhs, const IntervalValue &rhs) |
| Bitwise XOR of IntervalValues.
|
|
std::ostream & | SVF::operator<< (std::ostream &o, const IntervalValue &IntervalValue) |
| Write an IntervalValue on a stream.
|
|