nil::crypto3::zk::components::blueprint_variable< FieldType > Class Template Reference

#include <blueprint_variable.hpp>

+ Inheritance diagram for nil::crypto3::zk::components::blueprint_variable< FieldType >:
+ Collaboration diagram for nil::crypto3::zk::components::blueprint_variable< FieldType >:

Public Types

typedef std::size_t index_type
 

Public Member Functions

void allocate (blueprint< FieldType > &bp)
 
 blueprint_variable (const typename snark::variable< FieldType >::index_type index=0)
 
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
 

Public Attributes

index_type index
 

Member Typedef Documentation

◆ index_type

template<typename FieldType >
typedef std::size_t nil::crypto3::zk::snark::variable< FieldType >::index_type
inherited

Constructor & Destructor Documentation

◆ blueprint_variable()

template<typename FieldType >
nil::crypto3::zk::components::blueprint_variable< FieldType >::blueprint_variable ( const typename snark::variable< FieldType >::index_type  index = 0)
inline

Member Function Documentation

◆ allocate()

template<typename FieldType >
void nil::crypto3::zk::components::blueprint_variable< FieldType >::allocate ( blueprint< FieldType > &  bp)
inline

◆ operator*() [1/2]

template<typename FieldType >
linear_term<FieldType> nil::crypto3::zk::snark::variable< FieldType >::operator* ( const integer_coeff_t  int_coeff) const
inlineinherited

◆ operator*() [2/2]

template<typename FieldType >
linear_term<FieldType> nil::crypto3::zk::snark::variable< FieldType >::operator* ( const typename FieldType::value_type &  field_coeff) const
inlineinherited

◆ operator+()

template<typename FieldType >
linear_combination<FieldType> nil::crypto3::zk::snark::variable< FieldType >::operator+ ( const linear_combination< FieldType > &  other) const
inlineinherited

◆ operator-() [1/2]

template<typename FieldType >
linear_term<FieldType> nil::crypto3::zk::snark::variable< FieldType >::operator- ( ) const
inlineinherited

◆ operator-() [2/2]

template<typename FieldType >
linear_combination<FieldType> nil::crypto3::zk::snark::variable< FieldType >::operator- ( const linear_combination< FieldType > &  other) const
inlineinherited

◆ operator==()

template<typename FieldType >
bool nil::crypto3::zk::snark::variable< FieldType >::operator== ( const variable< FieldType > &  other) const
inlineinherited

Member Data Documentation

◆ index

template<typename FieldType >
index_type nil::crypto3::zk::snark::variable< FieldType >::index
inherited

The documentation for this class was generated from the following file: