gadgetlib2::LooseMUX_GadgetBase Class Reference

#include <gadget.hpp>

Inheritance diagram for gadgetlib2::LooseMUX_GadgetBase:

Collaboration diagram for gadgetlib2::LooseMUX_GadgetBase:

Public Member Functions
virtual	~LooseMUX_GadgetBase ()=0
virtual VariableArray	indicatorVariables () const =0
Public Member Functions inherited from gadgetlib2::Gadget
	Gadget (ProtoboardPtr pb)
virtual void	generateConstraints ()=0
virtual void	generateWitness ()
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

Protected Member Functions
	LooseMUX_GadgetBase (ProtoboardPtr pb)

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

Detailed Description

Definition at line 380 of file gadget.hpp.

Constructor & Destructor Documentation

LooseMUX_GadgetBase()

gadgetlib2::LooseMUX_GadgetBase::LooseMUX_GadgetBase ( ProtoboardPtr  pb )

inlineprotected

Definition at line 383 of file gadget.hpp.

: Gadget(pb) {}

~LooseMUX_GadgetBase()

gadgetlib2::LooseMUX_GadgetBase::~LooseMUX_GadgetBase ( )

pure virtual

Definition at line 455 of file gadget.cpp.

{};

Member Function Documentation

indicatorVariables()

virtual VariableArray gadgetlib2::LooseMUX_GadgetBase::indicatorVariables ( ) const

pure virtual

Implemented in gadgetlib2::R1P_LooseMUX_Gadget.

---

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