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

Function Documentation

container::vector<container::vector<size_t>> sequant::opt::clusters(Sum const &expr, container::vector<FullBinaryNode<EvalExpr>> const &nodes)

Same as clusters(Sum const&) but uses precomputed eval nodes for the summands, avoiding an internal binarize pass. nodes[i] must be the binarized form of expr.at(i).