|
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) |