Longfellow ZK 0290cb32
Loading...
Searching...
No Matches
proofs::CborPlucker< Logic, NJ > Class Template Reference
Collaboration diagram for proofs::CborPlucker< Logic, NJ >:

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 Logicl_
PolyN pluckerb_
std::vector< PolyNpluckerj_

Static Public Attributes

static constexpr size_t kN = 2 * (NJ + 1)

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