gadgetlib2::Monomial Class Reference

Monomial. More...

#include <variable.hpp>

Public Member Functions
	Monomial (const Variable &var)
	Monomial (const Variable &var, const FElem &coeff)
	Monomial (const FElem &val)
	Monomial (const LinearTerm &linearTerm)
FElem	eval (const VariableAssignment &assignment) const
const Variable::set	getUsedVariables () const
const FElem	getCoefficient () const
::std::string	asString () const
Monomial	operator- () const
Monomial &	operator*= (const Monomial &other)

Detailed Description

Monomial.

Definition at line 543 of file variable.hpp.

Constructor & Destructor Documentation

Monomial() [1/4]

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

inline

Definition at line 553 of file variable.hpp.

                                  : coeff_(1), variables_()
    {
        variables_.insert(var);
    }

Monomial() [2/4]

gadgetlib2::Monomial::Monomial ( const Variable &  var, const FElem &  coeff  )

inline

Definition at line 557 of file variable.hpp.

        : coeff_(coeff), variables_()
    {
        variables_.insert(var);
    }

Monomial() [3/4]

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

inline

Definition at line 562 of file variable.hpp.

: coeff_(val), variables_() {}

Monomial() [4/4]

gadgetlib2::Monomial::Monomial

(

const LinearTerm &

linearTerm

)

Definition at line 635 of file variable.cpp.

    : coeff_(linearTerm.coeff_), variables_()
{
    variables_.insert(linearTerm.variable_);
}

Member Function Documentation

asString()

std::string gadgetlib2::Monomial::asString

(

)

const

Definition at line 657 of file variable.cpp.

{
#ifdef DEBUG
    if (variables_.size() == 0) {
        return coeff_.asString();
    }
    string retval;
    if (coeff_ != 1) {
        retval += coeff_.asString() + "*";
    }
    auto iter = variables_.begin();
    retval += iter->name();
    for (++iter; iter != variables_.end(); ++iter) {
        retval += "*" + iter->name();
    }
    return retval;
#else
    return "";
#endif
}

Here is the call graph for this function:

eval()

FElem gadgetlib2::Monomial::eval

(

const VariableAssignment &

assignment

)

const

Definition at line 641 of file variable.cpp.

{
    FElem retval = coeff_;
    for (const Variable &var : variables_) {
        retval *= var.eval(assignment);
    }
    return retval;
}

getCoefficient()

const FElem gadgetlib2::Monomial::getCoefficient

(

)

const

Definition at line 655 of file variable.cpp.

{ return coeff_; }

getUsedVariables()

const Variable::set gadgetlib2::Monomial::getUsedVariables

(

)

const

Definition at line 650 of file variable.cpp.

{
    return Variable::set(variables_.begin(), variables_.end());
}

operator*=()

Monomial & gadgetlib2::Monomial::operator*=

(

const Monomial &

other

)

Definition at line 685 of file variable.cpp.

{
    coeff_ *= other.coeff_;
    variables_.insert(other.variables_.begin(), other.variables_.end());
    return *this;
}

operator-()

Monomial gadgetlib2::Monomial::operator-

(

)

const

Definition at line 678 of file variable.cpp.

{
    Monomial retval = *this;
    retval.coeff_ = -retval.coeff_;
    return retval;
}

---

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