| accepted_input_types | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| constraint_system | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| has_equal_input_and_output_lengths() const | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| has_equal_input_lengths() const | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| incoming_message_payload_lengths | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| is_satisfied(const std::shared_ptr< r1cs_pcd_message< FieldT >> &outgoing_message, const std::vector< std::shared_ptr< r1cs_pcd_message< FieldT >>> &incoming_messages, const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &local_data, const r1cs_pcd_witness< FieldT > &witness) const | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| is_well_formed() const | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| local_data_length | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| max_arity | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| name | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| operator(std::ostream &out, const r1cs_pcd_compliance_predicate< FieldT > &cp) | libsnark::r1cs_pcd_compliance_predicate< FieldT > | friend |
| operator=(const r1cs_pcd_compliance_predicate< FieldT > &other)=default | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| operator==(const r1cs_pcd_compliance_predicate< FieldT > &other) const | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| operator>>(std::istream &in, r1cs_pcd_compliance_predicate< FieldT > &cp) | libsnark::r1cs_pcd_compliance_predicate< FieldT > | friend |
| outgoing_message_payload_length | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| r1cs_pcd_compliance_predicate()=default | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| r1cs_pcd_compliance_predicate(r1cs_pcd_compliance_predicate< FieldT > &&other)=default | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| r1cs_pcd_compliance_predicate(const r1cs_pcd_compliance_predicate< FieldT > &other)=default | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| r1cs_pcd_compliance_predicate(const size_t name, const size_t type, const r1cs_constraint_system< FieldT > &constraint_system, const size_t outgoing_message_payload_length, const size_t max_arity, const std::vector< size_t > &incoming_message_payload_lengths, const size_t local_data_length, const size_t witness_length, const bool relies_on_same_type_inputs, const std::set< size_t > accepted_input_types=std::set< size_t >()) | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| relies_on_same_type_inputs | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| type | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
| witness_length | libsnark::r1cs_pcd_compliance_predicate< FieldT > | |
