libsnark::bacs_example< FieldT > Struct Template Reference

#include <bacs_examples.hpp>

Public Member Functions
	bacs_example ()=default
	bacs_example (const bacs_example< FieldT > &other)=default
	bacs_example (const bacs_circuit< FieldT > &circuit, const bacs_primary_input< FieldT > &primary_input, const bacs_auxiliary_input< FieldT > &auxiliary_input)
	bacs_example (bacs_circuit< FieldT > &&circuit, bacs_primary_input< FieldT > &&primary_input, bacs_auxiliary_input< FieldT > &&auxiliary_input)

Public Attributes
bacs_circuit< FieldT >	circuit
bacs_primary_input< FieldT >	primary_input
bacs_auxiliary_input< FieldT >	auxiliary_input

Detailed Description

template<typename FieldT>
struct libsnark::bacs_example< FieldT >

A BACS example comprises a BACS circuit, BACS primary input, and BACS auxiliary input.

Definition at line 25 of file bacs_examples.hpp.

Constructor & Destructor Documentation

bacs_example() [1/4]

template<typename FieldT >

libsnark::bacs_example< FieldT >::bacs_example ( )

default

bacs_example() [2/4]

template<typename FieldT >

libsnark::bacs_example< FieldT >::bacs_example ( const bacs_example< FieldT > &  other )

default

bacs_example() [3/4]

template<typename FieldT >

libsnark::bacs_example< FieldT >::bacs_example ( const bacs_circuit< FieldT > &  circuit, const bacs_primary_input< FieldT > &  primary_input, const bacs_auxiliary_input< FieldT > &  auxiliary_input  )

inline

Definition at line 33 of file bacs_examples.hpp.

        : circuit(circuit)
        , primary_input(primary_input)
        , auxiliary_input(auxiliary_input)
    {
    }

bacs_example() [4/4]

template<typename FieldT >

libsnark::bacs_example< FieldT >::bacs_example ( bacs_circuit< FieldT > &&  circuit, bacs_primary_input< FieldT > &&  primary_input, bacs_auxiliary_input< FieldT > &&  auxiliary_input  )

inline

Definition at line 43 of file bacs_examples.hpp.

        : circuit(std::move(circuit))
        , primary_input(std::move(primary_input))
        , auxiliary_input(std::move(auxiliary_input))
    {
    }

Member Data Documentation

auxiliary_input

template<typename FieldT >

bacs_auxiliary_input<FieldT> libsnark::bacs_example< FieldT >::auxiliary_input

Definition at line 29 of file bacs_examples.hpp.

circuit

template<typename FieldT >

bacs_circuit<FieldT> libsnark::bacs_example< FieldT >::circuit

Definition at line 27 of file bacs_examples.hpp.

primary_input

template<typename FieldT >

bacs_primary_input<FieldT> libsnark::bacs_example< FieldT >::primary_input

Definition at line 28 of file bacs_examples.hpp.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/libsnark/libsnark/libsnark/relations/circuit_satisfaction_problems/bacs/examples/bacs_examples.hpp