| annotation_prefix | libsnark::gadget< FieldT > | protected |
| dump() const | libsnark::tinyram_cpu_checker< FieldT > | |
| gadget(protoboard< FieldT > &pb, const std::string &annotation_prefix) | libsnark::gadget< FieldT > | |
| generate_r1cs_constraints() | libsnark::tinyram_cpu_checker< FieldT > | virtual |
| generate_r1cs_witness() | libsnark::tinyram_cpu_checker< FieldT > | inlinevirtual |
| generate_r1cs_witness_address() | libsnark::tinyram_cpu_checker< FieldT > | |
| generate_r1cs_witness_other(tinyram_input_tape_iterator &aux_it, const tinyram_input_tape_iterator &aux_end) | libsnark::tinyram_cpu_checker< FieldT > | |
| ls_addr | libsnark::tinyram_cpu_checker< FieldT > | |
| ls_next_val | libsnark::tinyram_cpu_checker< FieldT > | |
| ls_prev_val | libsnark::tinyram_cpu_checker< FieldT > | |
| next_has_accepted | libsnark::tinyram_cpu_checker< FieldT > | |
| next_pc_addr | libsnark::tinyram_cpu_checker< FieldT > | |
| next_state | libsnark::tinyram_cpu_checker< FieldT > | |
| pb | libsnark::tinyram_gadget< FieldT > | protected |
| prev_pc_addr | libsnark::tinyram_cpu_checker< FieldT > | |
| prev_pc_val | libsnark::tinyram_cpu_checker< FieldT > | |
| prev_state | libsnark::tinyram_cpu_checker< FieldT > | |
| tinyram_cpu_checker(tinyram_protoboard< FieldT > &pb, pb_variable_array< FieldT > &prev_pc_addr, pb_variable_array< FieldT > &prev_pc_val, pb_variable_array< FieldT > &prev_state, pb_variable_array< FieldT > &ls_addr, pb_variable_array< FieldT > &ls_prev_val, pb_variable_array< FieldT > &ls_next_val, pb_variable_array< FieldT > &next_state, pb_variable_array< FieldT > &next_pc_addr, pb_variable< FieldT > &next_has_accepted, const std::string &annotation_prefix) | libsnark::tinyram_cpu_checker< FieldT > | |
| tinyram_gadget(tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | libsnark::tinyram_gadget< FieldT > | |
| tinyram_standard_gadget(tinyram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | libsnark::tinyram_standard_gadget< FieldT > | |
