Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
smt_terms::ConstructibleFromTerm Concept Reference

#include <data_structures.hpp>

Concept definition

template<typename T>
concept smt_terms::ConstructibleFromTerm = requires(const cvc5::Term& term, Solver* s, TermType type) { T{ term, s, type }; }
smt_terms::ConstructibleFromTerm
Definition data_structures.hpp:94
smt_terms::TermType
TermType
Allows to define three types of symbolic terms STerm - Symbolic Variables acting like a Finte Field e...
Definition term.hpp:15

Detailed Description

Definition at line 94 of file data_structures.hpp.