Template Struct InlinedSystem

• Defined in File eval_expr.hpp

Struct Documentation

template<typename ExprT = EvalExpr>
struct InlinedSystem

The evaluation trees of a system of ResultExprs, see binarize(std::span<const ResultExpr>, const BinarizationOptions&)

Public Functions

inline auto roots() const

Returns:

the trees of the equations no other equation inlined, in input order

Public Members

container::svector<FullBinaryNode<ExprT>> trees

one tree per equation, in input order

container::svector<bool> consumed

true for an equation whose head another equation inlined