Longfellow ZK 0290cb32
|
Public Types | |
using | Field = typename Logic::Field |
using | BitW = typename Logic::BitW |
using | EltW = typename Logic::EltW |
using | Elt = typename Field::Elt |
using | PolyN = Poly<kN, Field> |
using | InterpolationN = Interpolation<kN, Field> |
Public Member Functions | |
CborPlucker (const Logic &l) | |
BitW | pluckb (const EltW &e) const |
Logic::template bitvec< NJ > | pluckj (const EltW &e) const |
Data Fields | |
const Logic & | l_ |
PolyN | pluckerb_ |
std::vector< PolyN > | pluckerj_ |
Static Public Attributes | |
static constexpr size_t | kN = 2 * (NJ + 1) |