nil::crypto3::zk::snark::variable< FieldType > Struct Template Reference
#include <variable.hpp>
Inheritance diagram for nil::crypto3::zk::snark::variable< FieldType >:
Collaboration diagram for nil::crypto3::zk::snark::variable< FieldType >:
Public Types | |
typedef std::size_t | index_type |
Public Member Functions | |
linear_term< FieldType > | operator* (const integer_coeff_t int_coeff) const |
linear_term< FieldType > | operator* (const typename FieldType::value_type &field_coeff) const |
linear_combination< FieldType > | operator+ (const linear_combination< FieldType > &other) const |
linear_term< FieldType > | operator- () const |
linear_combination< FieldType > | operator- (const linear_combination< FieldType > &other) const |
bool | operator== (const variable< FieldType > &other) const |
variable (const index_type index=0) | |
Public Attributes | |
index_type | index |
Detailed Description
template<typename FieldType>
struct nil::crypto3::zk::snark::variable< FieldType >
A variable represents a formal expression of the form "x_{index}".
Member Typedef Documentation
◆ index_type
template<typename FieldType >
typedef std::size_t nil::crypto3::zk::snark::variable< FieldType >::index_type |
Constructor & Destructor Documentation
◆ variable()
template<typename FieldType >
|
inline |
Member Function Documentation
◆ operator*() [1/2]
template<typename FieldType >
|
inline |
◆ operator*() [2/2]
template<typename FieldType >
|
inline |
◆ operator+()
template<typename FieldType >
|
inline |
◆ operator-() [1/2]
template<typename FieldType >
|
inline |
◆ operator-() [2/2]
template<typename FieldType >
|
inline |
◆ operator==()
template<typename FieldType >
|
inline |
Member Data Documentation
◆ index
template<typename FieldType >
index_type nil::crypto3::zk::snark::variable< FieldType >::index |
The documentation for this struct was generated from the following file: