Longfellow ZK 0290cb32
|
Public Types | |
typedef LayerProof< Field >::CPoly | CPoly |
typedef LayerProof< Field >::WPoly | WPoly |
using | Elt = typename Field::Elt |
Public Member Functions | |
Proof (size_t nl) | |
size_t | size () const |
Data Fields | |
std::vector< LayerProof< Field > > | l |
Static Public Attributes | |
static constexpr size_t | kMaxBindings = LayerProof<Field>::kMaxBindings |