accepted_input_types | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
arity | libsnark::compliance_predicate_handler< FieldT, protoboardT > | protected |
compliance_predicate_handler(const protoboardT &pb, const size_t name, const size_t type, const size_t max_arity, const bool relies_on_same_type_inputs, const std::set< size_t > accepted_input_types=std::set< size_t >()) | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
generate_r1cs_constraints()=0 | libsnark::compliance_predicate_handler< FieldT, protoboardT > | pure virtual |
generate_r1cs_witness(const std::vector< std::shared_ptr< r1cs_pcd_message< FieldT >>> &incoming_message_values, const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &local_data_value) | libsnark::compliance_predicate_handler< FieldT, protoboardT > | virtual |
get_arity() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_compliance_predicate() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_full_variable_assignment() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_incoming_message(const size_t message_idx) const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_local_data() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_outgoing_message() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
get_witness() const | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
incoming_messages | libsnark::compliance_predicate_handler< FieldT, protoboardT > | protected |
local_data | libsnark::compliance_predicate_handler< FieldT, protoboardT > | protected |
max_arity | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
name | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
outgoing_message | libsnark::compliance_predicate_handler< FieldT, protoboardT > | protected |
pb | libsnark::compliance_predicate_handler< FieldT, protoboardT > | protected |
relies_on_same_type_inputs | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |
type | libsnark::compliance_predicate_handler< FieldT, protoboardT > | |