#include <alu_control_flow.hpp>

Inheritance diagram for libsnark::ALU_control_flow_gadget< FieldT >:

[legend]

Collaboration diagram for libsnark::ALU_control_flow_gadget< FieldT >:

[legend]

Public Member Functions
	ALU_control_flow_gadget (tinyram_protoboard< FieldT > &pb, const word_variable_gadget< FieldT > &pc, const word_variable_gadget< FieldT > &argval2, const pb_variable< FieldT > &flag, const pb_variable< FieldT > &result, const std::string &annotation_prefix="")

Public Member Functions inherited from libsnark::tinyram_standard_gadget< FieldT >
	tinyram_standard_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")

virtual void	generate_r1cs_constraints ()=0

virtual void	generate_r1cs_witness ()=0

Public Member Functions inherited from libsnark::tinyram_gadget< FieldT >
	tinyram_gadget (tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="")

Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
const word_variable_gadget< FieldT >	pc

const word_variable_gadget< FieldT >	argval2

const pb_variable< FieldT >	flag

const pb_variable< FieldT >	result

Additional Inherited Members
Protected Attributes inherited from libsnark::tinyram_gadget< FieldT >
tinyram_protoboard< FieldT > &	pb

Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb

const std::string	annotation_prefix

Detailed Description

template<typename FieldT>
class libsnark::ALU_control_flow_gadget< FieldT >

Definition at line 26 of file alu_control_flow.hpp.

Constructor & Destructor Documentation

◆ ALU_control_flow_gadget()

template<typename FieldT >

libsnark::ALU_control_flow_gadget< FieldT >::ALU_control_flow_gadget	(	tinyram_protoboard< FieldT > &	pb,
		const word_variable_gadget< FieldT > &	pc,
		const word_variable_gadget< FieldT > &	argval2,
		const pb_variable< FieldT > &	flag,
		const pb_variable< FieldT > &	result,
		const std::string &	annotation_prefix = `""`
	)

inline

Definition at line 34 of file alu_control_flow.hpp.

         : tinyram_standard_gadget<FieldT>(pb, annotation_prefix)
         , pc(pc)
         , argval2(argval2)
         , flag(flag)
         , result(result){};