Isnantor< constant_type > Struct Template Reference

Static Public Member Functions
static expr2tc	simplify (const expr2tc &number, std::function< constant_type &(expr2tc &)> to_constant)

Member Function Documentation

simplify()

template<class constant_type>

expr2tc Isnantor< constant_type >::simplify ( const expr2tc & number, std::function< constant_type &(expr2tc &)> to_constant )

inlinestatic

---

The documentation for this struct was generated from the following file:

• src/util/expr/expr_simplifier.cpp