9 class PerSimplexFunction;
12 namespace invariants {
19 const std::shared_ptr<function::PerSimplexFunction>& func);
22 const std::vector<Tuple>& top_dimension_tuples_before,
23 const std::vector<Tuple>& top_dimension_tuples_after)
const override;
26 std::shared_ptr<function::PerSimplexFunction>
m_func;
std::shared_ptr< function::PerSimplexFunction > m_func
FunctionInvariant(const PrimitiveType type, const std::shared_ptr< function::PerSimplexFunction > &func)
bool after(const std::vector< Tuple > &top_dimension_tuples_before, const std::vector< Tuple > &top_dimension_tuples_after) const override
const PrimitiveType m_type