gadgetlib2::Toggle_Gadget Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::Toggle_Gadget:

Collaboration diagram for gadgetlib2::Toggle_Gadget:

Public Member Functions
void	generateConstraints ()
void	generateWitness ()
Public Member Functions inherited from gadgetlib2::Gadget
	Gadget (ProtoboardPtr pb)
void	addUnaryConstraint (const LinearCombination &a, const ::std::string &name)
void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)
void	enforceBooleanity (const Variable &var)
FElem &	val (const Variable &var)
FElem	val (const LinearCombination &lc)
FieldType	fieldType () const
bool	flagIsSet (const FlagVariable &flag) const

Static Public Member Functions
static GadgetPtr	create (ProtoboardPtr pb, const FlagVariable &toggle, const LinearCombination &zeroValue, const LinearCombination &oneValue, const Variable &result)

Additional Inherited Members
Protected Attributes inherited from gadgetlib2::Gadget
ProtoboardPtr	pb_

Detailed Description

A gadget for the following semantics: If toggle is 0, zeroValue --> result If toggle is 1, oneValue --> result Uses 1 constraint

Definition at line 682 of file gadget.hpp.

Member Function Documentation

create()

GadgetPtr gadgetlib2::Toggle_Gadget::create ( ProtoboardPtr  pb, const FlagVariable &  toggle, const LinearCombination &  zeroValue, const LinearCombination &  oneValue, const Variable &  result  )

static

Definition at line 941 of file gadget.cpp.

{
    GadgetPtr pGadget(
        new Toggle_Gadget(pb, toggle, zeroValue, oneValue, result));
    pGadget->init();
    return pGadget;
}

generateConstraints()

void gadgetlib2::Toggle_Gadget::generateConstraints ( )

virtual

Implements gadgetlib2::Gadget.

Definition at line 954 of file gadget.cpp.

{
    pb_->addRank1Constraint(
        toggle_,
        oneValue_ - zeroValue_,
        result_ - zeroValue_,
        "result = (1 - toggle) * zeroValue + toggle * oneValue");
}

generateWitness()

void gadgetlib2::Toggle_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 963 of file gadget.cpp.

{
    if (val(toggle_) == 0) {
        val(result_) = val(zeroValue_);
    } else if (val(toggle_) == 1) {
        val(result_) = val(oneValue_);
    } else {
        GADGETLIB_FATAL("Toggle value must be Boolean.");
    }
}

Here is the call graph for this function:

---

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

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