Greaterthantor< constant_type > Struct Template Reference

Static Public Member Functions
static expr2tc	simplify (const expr2tc &op1, const expr2tc &op2, const std::function< bool(const expr2tc &)> &is_constant, std::function< constant_type(expr2tc &)> get_value)

Member Function Documentation

simplify()

template<class constant_type>

expr2tc Greaterthantor< constant_type >::simplify ( const expr2tc & op1, const expr2tc & op2, const std::function< bool(const expr2tc &)> & is_constant, std::function< constant_type(expr2tc &)> get_value )

inlinestatic

---

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

• src/util/expr/expr_simplifier.cpp