llzk::Field Member List

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

addField(llvm::StringRef fieldName, const llvm::APInt &prime, EmitErrorFn errFn)	llzk::Field	inlinestatic
addField(llvm::StringRef fieldName, llvm::StringRef primeStr, EmitErrorFn errFn)	llzk::Field	inlinestatic
bitWidth() const	llzk::Field	inline
createSymbol(const llvm::SMTSolverRef &solver, const char *name) const	llzk::Field	inline
felt(int i) const	llzk::Field	inline
Field()=delete	llzk::Field
Field(const Field &)=default	llzk::Field
Field(Field &&) noexcept=default	llzk::Field
getField(llvm::StringRef fieldName, EmitErrorFn errFn)	llzk::Field	static
getField(llvm::StringRef fieldName)	llzk::Field	inlinestatic
half() const	llzk::Field	inline
inv(const llvm::DynamicAPInt &i) const	llzk::Field
inv(const llvm::APInt &i) const	llzk::Field
maxVal() const	llzk::Field	inline
name() const	llzk::Field	inline
one() const	llzk::Field	inline
operator<(const Field &lhs, const Field &rhs)	llzk::Field	friend
operator=(const Field &)=default	llzk::Field
operator==(const Field &lhs, const Field &rhs)	llzk::Field	friend
prime() const	llzk::Field	inline
reduce(const llvm::DynamicAPInt &i) const	llzk::Field
reduce(int i) const	llzk::Field	inline
reduce(const llvm::APInt &i) const	llzk::Field
toSigned(const llvm::DynamicAPInt &i) const	llzk::Field
tryGetField(llvm::StringRef fieldName)	llzk::Field	static
verifyFieldDefined(llvm::StringRef fieldName, EmitErrorFn errFn)	llzk::Field	static
zero() const	llzk::Field	inline