gadgetlib2::LinearTerm Class Reference

LinearTerm. More...

#include <variable.hpp>

Public Member Functions
	LinearTerm (const Variable &v)
	LinearTerm (const Variable &v, const FElem &coeff)
	LinearTerm (const Variable &v, long n)
LinearTerm	operator- () const
LinearTerm &	operator*= (const FElem &other)
FieldType	fieldtype () const
::std::string	asString () const
FElem	eval (const VariableAssignment &assignment) const
Variable	variable () const

Friends
class	Monomial
class	GadgetLibAdapter

Detailed Description

LinearTerm.

Definition at line 474 of file variable.hpp.

Constructor & Destructor Documentation

LinearTerm() [1/3]

gadgetlib2::LinearTerm::LinearTerm ( const Variable &  v )

inline

Definition at line 481 of file variable.hpp.

: variable_(v), coeff_(1) {}

Here is the caller graph for this function:

LinearTerm() [2/3]

gadgetlib2::LinearTerm::LinearTerm ( const Variable &  v, const FElem &  coeff  )

inline

Definition at line 482 of file variable.hpp.

        : variable_(v), coeff_(coeff)
    {
    }

LinearTerm() [3/3]

gadgetlib2::LinearTerm::LinearTerm ( const Variable &  v, long  n  )

inline

Definition at line 486 of file variable.hpp.

: variable_(v), coeff_(n) {}

Member Function Documentation

asString()

std::string gadgetlib2::LinearTerm::asString

(

)

const

Definition at line 512 of file variable.cpp.

{
    if (coeff_ == 1) {
        return variable_.name();
    } else if (coeff_ == -1) {
        return GADGETLIB2_FMT("-1 * %s", variable_.name().c_str());
    } else if (coeff_ == 0) {
        return GADGETLIB2_FMT("0 * %s", variable_.name().c_str());
    } else {
        return GADGETLIB2_FMT(
            "%s * %s", coeff_.asString().c_str(), variable_.name().c_str());
    }
}

Here is the call graph for this function:

eval()

FElem gadgetlib2::LinearTerm::eval

(

const VariableAssignment &

assignment

)

const

Definition at line 526 of file variable.cpp.

{
    return FElem(coeff_) *= variable_.eval(assignment);
}

Here is the call graph for this function:

fieldtype()

FieldType gadgetlib2::LinearTerm::fieldtype ( ) const

inline

Definition at line 493 of file variable.hpp.

{ return coeff_.fieldType(); }

Here is the call graph for this function:

operator*=()

LinearTerm& gadgetlib2::LinearTerm::operator*= ( const FElem &  other )

inline

Definition at line 488 of file variable.hpp.

    {
        coeff_ *= other;
        return *this;
    }

operator-()

LinearTerm gadgetlib2::LinearTerm::operator- ( ) const

inline

Definition at line 487 of file variable.hpp.

{ return LinearTerm(variable_, -coeff_); }

Here is the call graph for this function:

variable()

Variable gadgetlib2::LinearTerm::variable ( ) const

inline

Definition at line 496 of file variable.hpp.

{ return variable_; }

Friends And Related Function Documentation

GadgetLibAdapter

friend class GadgetLibAdapter

friend

Definition at line 499 of file variable.hpp.

Monomial

friend class Monomial

friend

Definition at line 498 of file variable.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/variable.hpp
• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib2/variable.cpp