#include "cudd.h" #include std::vector add(const std::vector& x, const std::vector& y, const BDD& carryIn); std::vector add(const std::vector& x, const std::vector& y); BDD equals(const std::vector& x, const std::vector& y); BDD greaterOrEquals(const std::vector& x, const std::vector& y); BDD lessOrEquals(const std::vector& x, const std::vector& y); BDD sorted(const std::vector& a); BDD sameWeight(const std::vector& x, const std::vector& y); BDD subtractionSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD maxSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD minSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD averageSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD averageFloorSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD averageCeilingSpec(const std::vector& in1, const std::vector& in2, const std::vector& out); BDD sortingSpec(const std::vector& in, const std::vector& out); BDD decompositionSpec(const std::vector& in, const std::vector& out1, const std::vector& out2); BDD equalizationSpec( const std::vector& in1, const std::vector& in2, const std::vector& out1, const std::vector& out2); BDD intermediateValueSpec(const std::vector& in1, const std::vector& in2, const std::vector& out);