variable.hpp File Reference

#include <cstddef>
#include <map>
#include <string>
#include <vector>
#include <libsnark/relations/variable.tcc>

Include dependency graph for variable.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::linear_term< FieldT >
class	libsnark::linear_combination< FieldT >
class	libsnark::variable< FieldT >
class	libsnark::linear_term< FieldT >
class	libsnark::linear_combination< FieldT >
class	libsnark::linear_combination< FieldT >

Namespaces
	libsnark

Typedefs
typedef size_t	libsnark::var_index_t
typedef long	libsnark::integer_coeff_t

Functions
template<typename FieldT >
linear_term< FieldT >	libsnark::operator* (const integer_coeff_t int_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_term< FieldT >	libsnark::operator* (const FieldT &field_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const integer_coeff_t int_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const FieldT &field_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const integer_coeff_t int_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const FieldT &field_coeff, const variable< FieldT > &var)
template<typename FieldT >
linear_term< FieldT >	libsnark::operator* (const integer_coeff_t int_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
linear_term< FieldT >	libsnark::operator* (const FieldT &field_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const integer_coeff_t int_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const FieldT &field_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const integer_coeff_t int_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const FieldT &field_coeff, const linear_term< FieldT > &lt)
template<typename FieldT >
std::ostream &	libsnark::operator<< (std::ostream &out, const linear_combination< FieldT > &lc)
template<typename FieldT >
std::istream &	libsnark::operator>> (std::istream &in, linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator* (const integer_coeff_t int_coeff, const linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator* (const FieldT &field_coeff, const linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const integer_coeff_t int_coeff, const linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator+ (const FieldT &field_coeff, const linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const integer_coeff_t int_coeff, const linear_combination< FieldT > &lc)
template<typename FieldT >
linear_combination< FieldT >	libsnark::operator- (const FieldT &field_coeff, const linear_combination< FieldT > &lc)

Detailed Description

Declaration of interfaces for:

• a variable (i.e., x_i),
• a linear term (i.e., a_i * x_i), and

• a linear combination (i.e., sum_i a_i * x_i).

  Author

  This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

  Copyright

  MIT license (see LICENSE file)

Definition in file variable.hpp.