| accepted_input_types | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| constraint_system | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| has_equal_input_and_output_lengths() const | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| has_equal_input_lengths() const | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| incoming_message_payload_lengths | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| is_satisfied(const std::shared_ptr< r1cs_pcd_message< FieldType >> &outgoing_message, const std::vector< std::shared_ptr< r1cs_pcd_message< FieldType >>> &incoming_messages, const std::shared_ptr< r1cs_pcd_local_data< FieldType >> &local_data, const r1cs_pcd_witness< FieldType > &witness) const | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| is_well_formed() const | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| local_data_length | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| max_arity | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| name | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| operator=(const r1cs_pcd_compliance_predicate< FieldType > &other)=default | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| operator==(const r1cs_pcd_compliance_predicate< FieldType > &other) const | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| outgoing_message_payload_length | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| r1cs_pcd_compliance_predicate()=default | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| r1cs_pcd_compliance_predicate(r1cs_pcd_compliance_predicate< FieldType > &&other)=default | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| r1cs_pcd_compliance_predicate(const r1cs_pcd_compliance_predicate< FieldType > &other)=default | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| r1cs_pcd_compliance_predicate(std::size_t name, std::size_t type, const r1cs_constraint_system< FieldType > &constraint_system, std::size_t outgoing_message_payload_length, std::size_t max_arity, const std::vector< std::size_t > &incoming_message_payload_lengths, std::size_t local_data_length, std::size_t witness_length, bool relies_on_same_type_inputs, const std::set< std::size_t > &accepted_input_types=std::set< std::size_t >()) | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| relies_on_same_type_inputs | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| type | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |
| witness_length | nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType > | |