llzk::Interval Member List

This is the complete list of members for llzk::Interval, including all inherited members.

areOneOf(const Interval &a, const Interval &b)	llzk::Interval	inlinestatic
boolAnd(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
Boolean(const Field &f)	llzk::Interval	inlinestatic
boolNot(const Interval &iv)	llzk::Interval	friend
boolOr(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
boolXor(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
Degenerate(const Field &f, const llvm::DynamicAPInt &val)	llzk::Interval	inlinestatic
difference(const Interval &other) const	llzk::Interval
Empty(const Field &f)	llzk::Interval	inlinestatic
Entire(const Field &f)	llzk::Interval	inlinestatic
False(const Field &f)	llzk::Interval	inlinestatic
firstUnreduced() const	llzk::Interval
getField() const	llzk::Interval	inline
intersect(const Interval &rhs) const	llzk::Interval
Interval()	llzk::Interval	inline
is() const	llzk::Interval	inline
isBoolean() const	llzk::Interval	inline
isBoolEither() const	llzk::Interval	inline
isBoolFalse() const	llzk::Interval	inline
isBoolTrue() const	llzk::Interval	inline
isDegenerate() const	llzk::Interval	inline
isEmpty() const	llzk::Interval	inline
isEntire() const	llzk::Interval	inline
isNotEmpty() const	llzk::Interval	inline
isTypeA() const	llzk::Interval	inline
isTypeB() const	llzk::Interval	inline
isTypeC() const	llzk::Interval	inline
isTypeF() const	llzk::Interval	inline
join(const Interval &rhs) const	llzk::Interval
lhs() const	llzk::Interval	inline
operator%(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator&(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator*(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator+(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator-() const	llzk::Interval
operator-(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator/(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator<<(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator<<(llvm::raw_ostream &os, const Interval &i)	llzk::Interval	friend
operator==(const Interval &rhs) const	llzk::Interval	inline
operator>>(const Interval &lhs, const Interval &rhs)	llzk::Interval	friend
operator~() const	llzk::Interval
print(llvm::raw_ostream &os) const	llzk::Interval
rhs() const	llzk::Interval	inline
secondUnreduced() const	llzk::Interval
toUnreduced() const	llzk::Interval
True(const Field &f)	llzk::Interval	inlinestatic
Type enum name	llzk::Interval
TypeA(const Field &f, const llvm::DynamicAPInt &a, const llvm::DynamicAPInt &b)	llzk::Interval	inlinestatic
TypeB(const Field &f, const llvm::DynamicAPInt &a, const llvm::DynamicAPInt &b)	llzk::Interval	inlinestatic
TypeC(const Field &f, const llvm::DynamicAPInt &a, const llvm::DynamicAPInt &b)	llzk::Interval	inlinestatic
TypeF(const Field &f, const llvm::DynamicAPInt &a, const llvm::DynamicAPInt &b)	llzk::Interval	inlinestatic
TypeName(Type t)	llzk::Interval	inlinestatic
TypeNames	llzk::Interval	static
width() const	llzk::Interval