Function sequant::impl::binarize_system

• Defined in File eval_expr.cpp

Function Documentation

container::svector<EvalExprNode> sequant::impl::binarize_system(std::span<const ResultExpr> system, const BinarizationOptions &opts, container::svector<bool> &consumed)

The non-template part of binarize(std::span<const ResultExpr>, const BinarizationOptions&)

Parameters:

consumed – [out] see InlinedSystem::consumed