purify::Transcript::MulConstraint Struct Reference

One multiplicative relation emitted by the symbolic transcript. More...

#include <expr.hpp>

Data Fields
Expr	lhs
Expr	rhs
Expr	out

Detailed Description

Definition at line 239 of file expr.hpp.

Field Documentation

lhs

Expr purify::Transcript::MulConstraint::lhs

Definition at line 240 of file expr.hpp.

out

Expr purify::Transcript::MulConstraint::out

Definition at line 242 of file expr.hpp.

rhs

Expr purify::Transcript::MulConstraint::rhs

Definition at line 241 of file expr.hpp.

---

The documentation for this struct was generated from the following file:

• include/purify/expr.hpp