gadgetlib2::LinearCombination Class Reference

LinearCombination. More...

#include <variable.hpp>

Collaboration diagram for gadgetlib2::LinearCombination:

Public Member Functions
	LinearCombination ()
	LinearCombination (const Variable &var)
	LinearCombination (const LinearTerm &linTerm)
	LinearCombination (long i)
	LinearCombination (const FElem &elem)
LinearCombination &	operator+= (const LinearCombination &other)
LinearCombination &	operator-= (const LinearCombination &other)
LinearCombination &	operator*= (const FElem &other)
FElem	eval (const VariableAssignment &assignment) const
::std::string	asString () const
const Variable::set	getUsedVariables () const

Protected Types
typedef ::std::vector< LinearTerm >::size_type	size_type

Protected Attributes
::std::vector< LinearTerm >	linearTerms_
FElem	constant_

Friends
class	Polynomial
class	GadgetLibAdapter

Detailed Description

LinearCombination.

Definition at line 503 of file variable.hpp.

Member Typedef Documentation

size_type

typedef ::std::vector<LinearTerm>::size_type gadgetlib2::LinearCombination::size_type

protected

Definition at line 508 of file variable.hpp.

Constructor & Destructor Documentation

LinearCombination() [1/5]

gadgetlib2::LinearCombination::LinearCombination ( )

inline

Definition at line 511 of file variable.hpp.

: linearTerms_(), constant_(0) {}

LinearCombination() [2/5]

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

inline

Definition at line 512 of file variable.hpp.

                                           : linearTerms_(1, var), constant_(0)
    {
    }

LinearCombination() [3/5]

gadgetlib2::LinearCombination::LinearCombination ( const LinearTerm &  linTerm )

inline

Definition at line 515 of file variable.hpp.

        : linearTerms_(1, linTerm), constant_(0)
    {
    }

LinearCombination() [4/5]

gadgetlib2::LinearCombination::LinearCombination ( long  i )

inline

Definition at line 519 of file variable.hpp.

: linearTerms_(), constant_(i) {}

LinearCombination() [5/5]

gadgetlib2::LinearCombination::LinearCombination ( const FElem &  elem )

inline

Definition at line 520 of file variable.hpp.

: linearTerms_(), constant_(elem) {}

Member Function Documentation

asString()

std::string gadgetlib2::LinearCombination::asString

(

)

const

Definition at line 581 of file variable.cpp.

{
#ifdef DEBUG
    ::std::string retval;
    auto it = linearTerms_.begin();
    if (it == linearTerms_.end()) {
        return constant_.asString();
    } else {
        retval += it->asString();
    }
    for (++it; it != linearTerms_.end(); ++it) {
        retval += " + " + it->asString();
    }
    if (constant_ != 0) {
        retval += " + " + constant_.asString();
    }
    return retval;
#else
    return "";
#endif
}

Here is the call graph for this function:

Here is the caller graph for this function:

eval()

FElem gadgetlib2::LinearCombination::eval

(

const VariableAssignment &

assignment

)

const

Definition at line 572 of file variable.cpp.

{
    FElem evaluation = constant_;
    for (const LinearTerm &lt : linearTerms_) {
        evaluation += lt.eval(assignment);
    }
    return evaluation;
}

Here is the caller graph for this function:

getUsedVariables()

const Variable::set gadgetlib2::LinearCombination::getUsedVariables

(

)

const

Definition at line 603 of file variable.cpp.

{
    Variable::set retSet;
    for (const LinearTerm &lt : linearTerms_) {
        retSet.insert(lt.variable());
    }
    return retSet;
}

Here is the caller graph for this function:

operator*=()

LinearCombination & gadgetlib2::LinearCombination::operator*=

(

const FElem &

other

)

Definition at line 563 of file variable.cpp.

{
    constant_ *= other;
    for (LinearTerm &lt : linearTerms_) {
        lt *= other;
    }
    return *this;
}

operator+=()

LinearCombination & gadgetlib2::LinearCombination::operator+=

(

const LinearCombination &

other

)

Definition at line 544 of file variable.cpp.

{
    linearTerms_.insert(
        linearTerms_.end(),
        other.linearTerms_.cbegin(),
        other.linearTerms_.cend());
    constant_ += other.constant_;
    return *this;
}

operator-=()

LinearCombination & gadgetlib2::LinearCombination::operator-=

(

const LinearCombination &

other

)

Definition at line 554 of file variable.cpp.

{
    for (const LinearTerm &lt : other.linearTerms_) {
        linearTerms_.push_back(-lt);
    }
    constant_ -= other.constant_;
    return *this;
}

Friends And Related Function Documentation

GadgetLibAdapter

friend class GadgetLibAdapter

friend

Definition at line 530 of file variable.hpp.

Polynomial

friend class Polynomial

friend

Definition at line 529 of file variable.hpp.

Member Data Documentation

constant_

FElem gadgetlib2::LinearCombination::constant_

protected

Definition at line 507 of file variable.hpp.

linearTerms_

::std::vector<LinearTerm> gadgetlib2::LinearCombination::linearTerms_

protected

Definition at line 506 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