MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / simplify_const

Function simplify_const

smt/expr.cpp:48–48  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

46}
47
48static expr simplify_const(expr &&e) { return e.simplifyNoTimeout(); }
49
50template <typename... Exprs>
51static expr simplify_const(expr &&e, const expr &input,

Callers 15

binop_foldMethod · 0.85
unop_foldMethod · 0.85
faddMethod · 0.85
fsubMethod · 0.85
fmulMethod · 0.85
fdivMethod · 0.85
fremMethod · 0.85
sqrtMethod · 0.85
fmaMethod · 0.85
roundMethod · 0.85
sextMethod · 0.85
extractMethod · 0.85

Calls 3

simplifyNoTimeoutMethod · 0.80
isConstMethod · 0.45
simplifyMethod · 0.45

Tested by

no test coverage detected