Function sequant::opt::reorder(Sum const&, container::vector<FullBinaryNode<EvalExpr>> const&)¶

Defined in File sum.cpp

Function Documentation¶

Sum sequant::opt::reorder(Sum const &sum, container::vector<FullBinaryNode<EvalExpr>> const &nodes)¶: Same as reorder(Sum const&) but uses precomputed eval nodes for the summands. nodes[i] must be the binarized form of sum.at(i).