ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
Isnormaltor< 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
Isnormaltor
< constant_type >::simplify
(
const
expr2tc
&
number
,
std::function< constant_type &(
expr2tc
&)>
to_constant
)
inline
static
The documentation for this struct was generated from the following file:
src/util/expr/
expr_simplifier.cpp
Isnormaltor
Generated by
1.15.0