variable.cpp File Reference

#include <climits>
#include <iostream>
#include <libsnark/gadgetlib2/infrastructure.hpp>
#include <libsnark/gadgetlib2/pp.hpp>
#include <libsnark/gadgetlib2/variable.hpp>
#include <set>
#include <stdexcept>
#include <vector>

Include dependency graph for variable.cpp:

Go to the source code of this file.

Namespaces
	gadgetlib2

Functions
bool	gadgetlib2::fieldMustBePromotedForArithmetic (const FieldType &lhsField, const FieldType &rhsField)
FElem	gadgetlib2::power (const FElem &base, long exponent)
LinearCombination	gadgetlib2::sum (const VariableArray &inputs)
LinearCombination	gadgetlib2::negate (const LinearCombination &lc)

Detailed Description

Implementation of the low level objects needed for field arithmetization.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file variable.cpp.