| accepted_input_types | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| addr_size | libsnark::ram_compliance_predicate_handler< ramT > | |
| ap | libsnark::ram_compliance_predicate_handler< ramT > | protected |
| arity | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | protected |
| base_handler typedef | libsnark::ram_compliance_predicate_handler< ramT > | |
| compliance_predicate_handler(const ram_protoboard< ramT > &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< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| cur | libsnark::ram_compliance_predicate_handler< ramT > | |
| digest_size | libsnark::ram_compliance_predicate_handler< ramT > | |
| FieldT typedef | libsnark::ram_compliance_predicate_handler< ramT > | |
| generate_r1cs_constraints() | libsnark::ram_compliance_predicate_handler< ramT > | 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::ram_compliance_predicate_handler< ramT > | |
| compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > >::generate_r1cs_witness(const std::vector< std::shared_ptr< r1cs_pcd_message< ram_base_field< ramT > >>> &incoming_message_values, const std::shared_ptr< r1cs_pcd_local_data< ram_base_field< ramT > >> &local_data_value) | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | virtual |
| get_arity() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_base_case_message(const ram_architecture_params< ramT > &ap, const ram_boot_trace< ramT > &primary_input) | libsnark::ram_compliance_predicate_handler< ramT > | static |
| get_compliance_predicate() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_final_case_msg(const ram_architecture_params< ramT > &ap, const ram_boot_trace< ramT > &primary_input, const size_t time_bound) | libsnark::ram_compliance_predicate_handler< ramT > | static |
| get_full_variable_assignment() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_incoming_message(const size_t message_idx) const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_local_data() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_outgoing_message() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| get_witness() const | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| HashT typedef | libsnark::ram_compliance_predicate_handler< ramT > | |
| incoming_messages | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | protected |
| local_data | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | protected |
| max_arity | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| message_length | libsnark::ram_compliance_predicate_handler< ramT > | |
| name | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| next | libsnark::ram_compliance_predicate_handler< ramT > | |
| outgoing_message | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | protected |
| pb | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | protected |
| ram_compliance_predicate_handler(const ram_architecture_params< ramT > &ap) | libsnark::ram_compliance_predicate_handler< ramT > | |
| relies_on_same_type_inputs | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| type | libsnark::compliance_predicate_handler< ram_base_field< ramT >, ram_protoboard< ramT > > | |
| value_size | libsnark::ram_compliance_predicate_handler< ramT > | |
