Inheritance diagram for libsnark::tinyram_protoboard< FieldT >:

Collaboration diagram for libsnark::tinyram_protoboard< FieldT >:

Public Member Functions
	tinyram_protoboard (const tinyram_architecture_params &ap)

Public Member Functions inherited from libsnark::protoboard< FieldT >
	protoboard ()

void	clear_values ()

FieldT &	val (const pb_variable< FieldT > &var)

FieldT	val (const pb_variable< FieldT > &var) const

FieldT &	lc_val (const pb_linear_combination< FieldT > &lc)

FieldT	lc_val (const pb_linear_combination< FieldT > &lc) const

void	add_r1cs_constraint (const r1cs_constraint< FieldT > &constr, const std::string &annotation="")

void	augment_variable_annotation (const pb_variable< FieldT > &v, const std::string &postfix)

bool	is_satisfied () const

void	dump_variables () const

size_t	num_constraints () const

size_t	num_inputs () const

size_t	num_variables () const

void	set_input_sizes (const size_t primary_input_size)

const r1cs_variable_assignment< FieldT > &	full_variable_assignment () const

r1cs_primary_input< FieldT >	primary_input () const

r1cs_auxiliary_input< FieldT >	auxiliary_input () const

const r1cs_constraint_system< FieldT > &	get_constraint_system () const