| annotation_prefix | libsnark::gadget< FieldT > | protected |
| compute_packed_load_addr | libsnark::fooram_cpu_checker< FieldT > | |
| compute_packed_store_addr | libsnark::fooram_cpu_checker< FieldT > | |
| compute_packed_store_val | libsnark::fooram_cpu_checker< FieldT > | |
| dump() const | libsnark::fooram_cpu_checker< FieldT > | |
| fooram_cpu_checker(fooram_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::fooram_cpu_checker< FieldT > | |
| fooram_gadget(fooram_protoboard< FieldT > &pb, const std::string &annotation_prefix="") | libsnark::fooram_gadget< FieldT > | |
| gadget(protoboard< FieldT > &pb, const std::string &annotation_prefix) | libsnark::gadget< FieldT > | |
| generate_r1cs_constraints() | libsnark::fooram_cpu_checker< FieldT > | |
| generate_r1cs_witness() | libsnark::fooram_cpu_checker< FieldT > | inline |
| generate_r1cs_witness_address() | libsnark::fooram_cpu_checker< FieldT > | |
| generate_r1cs_witness_other(fooram_input_tape_iterator &aux_it, const fooram_input_tape_iterator &aux_end) | libsnark::fooram_cpu_checker< FieldT > | |
| guess | libsnark::fooram_cpu_checker< FieldT > | |
| increment_pc | libsnark::fooram_cpu_checker< FieldT > | |
| ls_addr | libsnark::fooram_cpu_checker< FieldT > | |
| ls_next_val | libsnark::fooram_cpu_checker< FieldT > | |
| ls_prev_val | libsnark::fooram_cpu_checker< FieldT > | |
| next_has_accepted | libsnark::fooram_cpu_checker< FieldT > | |
| next_pc_addr | libsnark::fooram_cpu_checker< FieldT > | |
| next_state | libsnark::fooram_cpu_checker< FieldT > | |
| one_as_addr | libsnark::fooram_cpu_checker< FieldT > | |
| pack_ls_addr | libsnark::fooram_cpu_checker< FieldT > | |
| pack_ls_next_val | libsnark::fooram_cpu_checker< FieldT > | |
| pack_ls_prev_val | libsnark::fooram_cpu_checker< FieldT > | |
| pack_next_pc_addr | libsnark::fooram_cpu_checker< FieldT > | |
| pack_next_state | libsnark::fooram_cpu_checker< FieldT > | |
| pack_prev_state | libsnark::fooram_cpu_checker< FieldT > | |
| packed_load_addr | libsnark::fooram_cpu_checker< FieldT > | |
| packed_ls_addr | libsnark::fooram_cpu_checker< FieldT > | |
| packed_ls_next_val | libsnark::fooram_cpu_checker< FieldT > | |
| packed_ls_prev_val | libsnark::fooram_cpu_checker< FieldT > | |
| packed_next_pc_addr | libsnark::fooram_cpu_checker< FieldT > | |
| packed_next_state | libsnark::fooram_cpu_checker< FieldT > | |
| packed_prev_state | libsnark::fooram_cpu_checker< FieldT > | |
| packed_store_addr | libsnark::fooram_cpu_checker< FieldT > | |
| packed_store_val | libsnark::fooram_cpu_checker< FieldT > | |
| pb | libsnark::fooram_gadget< FieldT > | protected |
| prev_pc_addr | libsnark::fooram_cpu_checker< FieldT > | |
| prev_pc_val | libsnark::fooram_cpu_checker< FieldT > | |
| prev_state | libsnark::fooram_cpu_checker< FieldT > | |
| zero | libsnark::fooram_cpu_checker< FieldT > | |
