gadgetlib2::Polynomial Class Reference

Polynomial. More...

#include <variable.hpp>

Public Member Functions
	Polynomial ()
	Polynomial (const Monomial &monomial)
	Polynomial (const Variable &var)
	Polynomial (const FElem &val)
	Polynomial (const LinearCombination &linearCombination)
	Polynomial (const LinearTerm &linearTerm)
	Polynomial (int i)
FElem	eval (const VariableAssignment &assignment) const
const Variable::set	getUsedVariables () const
const std::vector< Monomial > &	getMonomials () const
const FElem	getConstant () const
::std::string	asString () const
Polynomial &	operator+= (const Polynomial &other)
Polynomial &	operator*= (const Polynomial &other)
Polynomial &	operator-= (const Polynomial &other)
Polynomial &	operator+= (const LinearTerm &other)

Detailed Description

Polynomial.

Definition at line 574 of file variable.hpp.

Constructor & Destructor Documentation

Polynomial() [1/7]

gadgetlib2::Polynomial::Polynomial ( )

inline

Definition at line 581 of file variable.hpp.

: monomials_(), constant_(0) {}

Here is the caller graph for this function:

Polynomial() [2/7]

gadgetlib2::Polynomial::Polynomial ( const Monomial &  monomial )

inline

Definition at line 582 of file variable.hpp.

                                         : monomials_(1, monomial), constant_(0)
    {
    }

Polynomial() [3/7]

gadgetlib2::Polynomial::Polynomial ( const Variable &  var )

inline

Definition at line 585 of file variable.hpp.

                                    : monomials_(1, Monomial(var)), constant_(0)
    {
    }

Polynomial() [4/7]

gadgetlib2::Polynomial::Polynomial ( const FElem &  val )

inline

Definition at line 588 of file variable.hpp.

: monomials_(), constant_(val) {}

Polynomial() [5/7]

gadgetlib2::Polynomial::Polynomial

(

const LinearCombination &

linearCombination

)

Definition at line 704 of file variable.cpp.

    : monomials_(), constant_(linearCombination.constant_)
{
    for (const LinearTerm &linearTerm : linearCombination.linearTerms_) {
        monomials_.push_back(Monomial(linearTerm));
    }
}

Polynomial() [6/7]

gadgetlib2::Polynomial::Polynomial ( const LinearTerm &  linearTerm )

inline

Definition at line 590 of file variable.hpp.

        : monomials_(1, Monomial(linearTerm)), constant_(0)
    {
    }

Polynomial() [7/7]

gadgetlib2::Polynomial::Polynomial ( int  i )

inline

Definition at line 594 of file variable.hpp.

: monomials_(), constant_(i) {}

Member Function Documentation

asString()

std::string gadgetlib2::Polynomial::asString

(

)

const

Definition at line 735 of file variable.cpp.

{
#ifndef DEBUG
    return "";
#endif
    if (monomials_.size() == 0) {
        return constant_.asString();
    }
    string retval;
    auto iter = monomials_.begin();
    retval += iter->asString();
    for (++iter; iter != monomials_.end(); ++iter) {
        retval += " + " + iter->asString();
    }
    if (constant_ != 0) {
        retval += " + " + constant_.asString();
    }
    return retval;
}

Here is the call graph for this function:

Here is the caller graph for this function:

eval()

FElem gadgetlib2::Polynomial::eval

(

const VariableAssignment &

assignment

)

const

Definition at line 712 of file variable.cpp.

{
    FElem retval = constant_;
    for (const Monomial &monomial : monomials_) {
        retval += monomial.eval(assignment);
    }
    return retval;
}

Here is the caller graph for this function:

getConstant()

const FElem gadgetlib2::Polynomial::getConstant

(

)

const

Definition at line 733 of file variable.cpp.

{ return constant_; }

getMonomials()

const vector< Monomial > & gadgetlib2::Polynomial::getMonomials

(

)

const

Definition at line 731 of file variable.cpp.

{ return monomials_; }

getUsedVariables()

const Variable::set gadgetlib2::Polynomial::getUsedVariables

(

)

const

Definition at line 721 of file variable.cpp.

{
    Variable::set retset;
    for (const Monomial &monomial : monomials_) {
        const Variable::set curSet = monomial.getUsedVariables();
        retset.insert(curSet.begin(), curSet.end());
    }
    return retset;
}

Here is the caller graph for this function:

operator*=()

Polynomial & gadgetlib2::Polynomial::operator*=

(

const Polynomial &

other

)

Definition at line 763 of file variable.cpp.

{
    vector<Monomial> newMonomials;
    for (const Monomial &thisMonomial : monomials_) {
        for (const Monomial &otherMonomial : other.monomials_) {
            newMonomials.push_back(thisMonomial * otherMonomial);
        }
        newMonomials.push_back(thisMonomial * other.constant_);
    }
    for (const Monomial &otherMonomial : other.monomials_) {
        newMonomials.push_back(otherMonomial * this->constant_);
    }
    constant_ *= other.constant_;
    monomials_ = ::std::move(newMonomials);
    return *this;
}

operator+=() [1/2]

Polynomial& gadgetlib2::Polynomial::operator+= ( const LinearTerm &  other )

inline

Definition at line 604 of file variable.hpp.

    {
        return *this += Polynomial(Monomial(other));
    }

Here is the call graph for this function:

operator+=() [2/2]

Polynomial & gadgetlib2::Polynomial::operator+=

(

const Polynomial &

other

)

Definition at line 755 of file variable.cpp.

{
    constant_ += other.constant_;
    monomials_.insert(
        monomials_.end(), other.monomials_.begin(), other.monomials_.end());
    return *this;
}

operator-=()

Polynomial & gadgetlib2::Polynomial::operator-=

(

const Polynomial &

other

)

Definition at line 780 of file variable.cpp.

{
    constant_ -= other.constant_;
    for (const Monomial &otherMonomial : other.monomials_) {
        monomials_.push_back(-otherMonomial);
    }
    return *this;
}

---

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