gadgetlib2::DualWordArray Class Reference

#include <variable.hpp>

Public Member Functions
	DualWordArray (const FieldType &fieldType)
	DualWordArray (const MultiPackedWordArray &multipackedContents, const UnpackedWordArray &unpackedContents)
MultiPackedWordArray	multipacked () const
UnpackedWordArray	unpacked () const
PackedWordArray	packed () const
void	push_back (const DualWord &dualWord)
DualWord	at (size_t i) const
size_t	size () const

Detailed Description

Definition at line 449 of file variable.hpp.

Constructor & Destructor Documentation

DualWordArray() [1/2]

gadgetlib2::DualWordArray::DualWordArray

(

const FieldType &

fieldType

)

Definition at line 435 of file variable.cpp.

    : multipackedContents_(0, MultiPackedWord(fieldType))
    , unpackedContents_(0)
    , numElements_(0)
{
}

DualWordArray() [2/2]

gadgetlib2::DualWordArray::DualWordArray	(	const MultiPackedWordArray &	multipackedContents,
		const UnpackedWordArray &	unpackedContents
	)

Definition at line 442 of file variable.cpp.

    : multipackedContents_(multipackedContents)
    , unpackedContents_(unpackedContents)
    , numElements_(multipackedContents_.size())
{
    GADGETLIB_ASSERT(
        multipackedContents_.size() == numElements_,
        "Dual Variable multipacked contents size mismatch");
    GADGETLIB_ASSERT(
        unpackedContents_.size() == numElements_,
        "Dual Variable packed contents size mismatch");
}

Member Function Documentation

at()

DualWord gadgetlib2::DualWordArray::at

(

size_t

i

)

const

Definition at line 484 of file variable.cpp.

{
    // const MultiPackedWord multipackedRep = multipacked()[i];
    // const UnpackedWord unpackedRep = unpacked()[i];
    // const DualWord retval(multipackedRep, unpackedRep);
    // return retval;
    return DualWord(multipacked()[i], unpacked()[i]);
}

Here is the call graph for this function:

multipacked()

MultiPackedWordArray gadgetlib2::DualWordArray::multipacked

(

)

const

Definition at line 457 of file variable.cpp.

{
    return multipackedContents_;
}

Here is the caller graph for this function:

packed()

PackedWordArray gadgetlib2::DualWordArray::packed

(

)

const

Definition at line 462 of file variable.cpp.

{
    GADGETLIB_ASSERT(
        numElements_ == multipackedContents_.size(),
        "multipacked contents size mismatch")
    PackedWordArray retval(numElements_);
    for (size_t i = 0; i < numElements_; ++i) {
        const auto element = multipackedContents_[i];
        GADGETLIB_ASSERT(
            element.size() == 1, "Cannot convert from multipacked to packed");
        retval[i] = element[0];
    }
    return retval;
}

push_back()

void gadgetlib2::DualWordArray::push_back

(

const DualWord &

dualWord

)

Definition at line 477 of file variable.cpp.

{
    multipackedContents_.push_back(dualWord.multipacked());
    unpackedContents_.push_back(dualWord.unpacked());
    ++numElements_;
}

Here is the call graph for this function:

size()

size_t gadgetlib2::DualWordArray::size

(

)

const

Definition at line 493 of file variable.cpp.

{
    GADGETLIB_ASSERT(
        multipackedContents_.size() == numElements_,
        "Dual Variable multipacked contents size mismatch");
    GADGETLIB_ASSERT(
        unpackedContents_.size() == numElements_,
        "Dual Variable packed contents size mismatch");
    return numElements_;
}

unpacked()

UnpackedWordArray gadgetlib2::DualWordArray::unpacked

(

)

const

Definition at line 461 of file variable.cpp.

{ return unpackedContents_; }

Here is the caller graph for this function:

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/variable.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/variable.cpp