term.cpp File Reference

#include "barretenberg/smt_verification/terms/term.hpp"

Go to the source code of this file.

Namespaces
namespace	smt_terms

Functions
STerm	smt_terms::operator+ (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator- (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator* (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator^ (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator& (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator| (const bb::fr &lhs, const STerm &rhs)
STerm	smt_terms::operator/ (const bb::fr &lhs, const STerm &rhs)
void	smt_terms::operator== (const bb::fr &lhs, const STerm &rhs)
void	smt_terms::operator!= (const bb::fr &lhs, const STerm &rhs)
std::ostream &	smt_terms::operator<< (std::ostream &os, const TermType type)
STerm	smt_terms::FFVar (const std::string &name, Solver *slv)
STerm	smt_terms::FFConst (const std::string &val, Solver *slv, uint32_t base)
STerm	smt_terms::FFConst (const bb::fr &val, Solver *slv)
STerm	smt_terms::FFIVar (const std::string &name, Solver *slv)
STerm	smt_terms::FFIConst (const std::string &val, Solver *slv, uint32_t base)
STerm	smt_terms::FFIConst (const bb::fr &val, Solver *slv)
STerm	smt_terms::IVar (const std::string &name, Solver *slv)
STerm	smt_terms::IConst (const std::string &val, Solver *slv, uint32_t base)
STerm	smt_terms::IConst (const bb::fr &val, Solver *slv)
STerm	smt_terms::BVVar (const std::string &name, Solver *slv)
STerm	smt_terms::BVConst (const std::string &val, Solver *slv, uint32_t base)
STerm	smt_terms::BVConst (const bb::fr &val, Solver *slv)