expr.cpp File Reference

Compiled symbolic expression and transcript machinery for Purify. More...

#include "purify/expr.hpp"
#include <algorithm>
#include <array>
#include <cassert>
#include <charconv>
#include <limits>
#include <sstream>
#include <string_view>
#include <utility>

Go to the source code of this file.

Namespaces
namespace	purify

Functions
Expr	purify::operator+ (const Expr &lhs, const Expr &rhs)
Expr	purify::operator+ (const Expr &lhs, std::int64_t rhs)
Expr	purify::operator+ (std::int64_t lhs, const Expr &rhs)
Expr	purify::operator- (const Expr &lhs, const Expr &rhs)
Expr	purify::operator- (const Expr &lhs, std::int64_t rhs)
Expr	purify::operator- (std::int64_t lhs, const Expr &rhs)
Expr	purify::operator- (const Expr &value)
Expr	purify::operator* (const Expr &expr, const FieldElement &scalar)
Expr	purify::operator* (const FieldElement &scalar, const Expr &expr)
Expr	purify::operator* (const Expr &expr, std::int64_t scalar)
Expr	purify::operator* (std::int64_t scalar, const Expr &expr)
bool	purify::operator== (const Expr &lhs, const Expr &rhs)
bool	purify::operator< (const Expr &lhs, const Expr &rhs)
std::ostream &	purify::operator<< (std::ostream &out, const Expr &expr)
	Streams the human-readable expression form to an output stream.