#include <variable.hpp>
Inheritance diagram for libsnark::variable< FieldT >:
Public Member Functions | |
| variable (const var_index_t index=0) | |
| linear_term< FieldT > | operator* (const integer_coeff_t int_coeff) const |
| linear_term< FieldT > | operator* (const FieldT &field_coeff) const |
| linear_combination< FieldT > | operator+ (const linear_combination< FieldT > &other) const |
| linear_combination< FieldT > | operator- (const linear_combination< FieldT > &other) const |
| linear_term< FieldT > | operator- () const |
| bool | operator== (const variable< FieldT > &other) const |
Public Attributes | |
| var_index_t | index |
Detailed Description
template<typename FieldT>
class libsnark::variable< FieldT >
A variable represents a formal expression of the form "x_{index}".
Definition at line 47 of file variable.hpp.
Constructor & Destructor Documentation
◆ variable()
template<typename FieldT >
|
inline |
Definition at line 52 of file variable.hpp.
Member Function Documentation
◆ operator*() [1/2]
template<typename FieldT >
| linear_term<FieldT> libsnark::variable< FieldT >::operator* | ( | const FieldT & | field_coeff | ) | const |
◆ operator*() [2/2]
template<typename FieldT >
| linear_term<FieldT> libsnark::variable< FieldT >::operator* | ( | const integer_coeff_t | int_coeff | ) | const |
◆ operator+()
template<typename FieldT >
| linear_combination<FieldT> libsnark::variable< FieldT >::operator+ | ( | const linear_combination< FieldT > & | other | ) | const |
◆ operator-() [1/2]
template<typename FieldT >
| linear_term<FieldT> libsnark::variable< FieldT >::operator- | ( | ) | const |
◆ operator-() [2/2]
template<typename FieldT >
| linear_combination<FieldT> libsnark::variable< FieldT >::operator- | ( | const linear_combination< FieldT > & | other | ) | const |
◆ operator==()
template<typename FieldT >
| bool libsnark::variable< FieldT >::operator== | ( | const variable< FieldT > & | other | ) | const |
Member Data Documentation
◆ index
template<typename FieldT >
| var_index_t libsnark::variable< FieldT >::index |
Definition at line 50 of file variable.hpp.
The documentation for this class was generated from the following file:
- /home/runner/work/libsnark/libsnark/libsnark/relations/variable.hpp
