#include <as_waksman_routing_gadget.hpp>
Inheritance diagram for libsnark::as_waksman_routing_gadget< FieldT >:
Collaboration diagram for libsnark::as_waksman_routing_gadget< FieldT >:
Public Member Functions | |
| as_waksman_routing_gadget (protoboard< FieldT > &pb, const size_t num_packets, const std::vector< pb_variable_array< FieldT >> &routing_input_bits, const std::vector< pb_variable_array< FieldT >> &routing_output_bits, const std::string &annotation_prefix="") | |
| void | generate_r1cs_constraints () |
| void | generate_r1cs_witness (const integer_permutation &permutation) |
 Public Member Functions inherited from libsnark::gadget< FieldT > | |
| gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix) | |
Public Attributes | |
| const size_t | num_packets |
| const size_t | num_columns |
| const std::vector< pb_variable_array< FieldT > > | routing_input_bits |
| const std::vector< pb_variable_array< FieldT > > | routing_output_bits |
| const size_t | packet_size |
| const size_t | num_subpackets |
Additional Inherited Members | |
| Protected Attributes inherited from libsnark::gadget< FieldT > | |
| protoboard< FieldT > & | pb |
| const std::string | annotation_prefix |
Detailed Description
template<typename FieldT>
class libsnark::as_waksman_routing_gadget< FieldT >
Definition at line 27 of file as_waksman_routing_gadget.hpp.
Constructor & Destructor Documentation
◆ as_waksman_routing_gadget()
template<typename FieldT >
| libsnark::as_waksman_routing_gadget< FieldT >::as_waksman_routing_gadget | ( | protoboard< FieldT > & | pb, |
| const size_t | num_packets, | ||
| const std::vector< pb_variable_array< FieldT >> & | routing_input_bits, | ||
| const std::vector< pb_variable_array< FieldT >> & | routing_output_bits, | ||
| const std::string & | annotation_prefix = "" |
||
| ) |
Member Function Documentation
◆ generate_r1cs_constraints()
template<typename FieldT >
| void libsnark::as_waksman_routing_gadget< FieldT >::generate_r1cs_constraints | ( | ) |
Here is the caller graph for this function:
◆ generate_r1cs_witness()
template<typename FieldT >
| void libsnark::as_waksman_routing_gadget< FieldT >::generate_r1cs_witness | ( | const integer_permutation & | permutation | ) |
Member Data Documentation
◆ num_columns
template<typename FieldT >
| const size_t libsnark::as_waksman_routing_gadget< FieldT >::num_columns |
Definition at line 63 of file as_waksman_routing_gadget.hpp.
◆ num_packets
template<typename FieldT >
| const size_t libsnark::as_waksman_routing_gadget< FieldT >::num_packets |
Definition at line 62 of file as_waksman_routing_gadget.hpp.
◆ num_subpackets
template<typename FieldT >
| const size_t libsnark::as_waksman_routing_gadget< FieldT >::num_subpackets |
Definition at line 67 of file as_waksman_routing_gadget.hpp.
◆ packet_size
template<typename FieldT >
| const size_t libsnark::as_waksman_routing_gadget< FieldT >::packet_size |
Definition at line 67 of file as_waksman_routing_gadget.hpp.
◆ routing_input_bits
template<typename FieldT >
| const std::vector<pb_variable_array<FieldT> > libsnark::as_waksman_routing_gadget< FieldT >::routing_input_bits |
Definition at line 64 of file as_waksman_routing_gadget.hpp.
◆ routing_output_bits
template<typename FieldT >
| const std::vector<pb_variable_array<FieldT> > libsnark::as_waksman_routing_gadget< FieldT >::routing_output_bits |
Definition at line 65 of file as_waksman_routing_gadget.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/routing/as_waksman_routing_gadget.hpp
