Home
last modified time | relevance | path

Searched refs:FLOATINGPOINT_TO_SBV_OP (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A Dkinds257 constant FLOATINGPOINT_TO_SBV_OP \
262 typerule FLOATINGPOINT_TO_SBV_OP ::CVC4::theory::fp::FloatingPointParametricOpTypeRule
264 parameterized FLOATINGPOINT_TO_SBV FLOATINGPOINT_TO_SBV_OP 2 "convert a floating-point value to a s…
/dports/math/cvc4/CVC4-1.7/src/api/
H A Dcvc4cppkind.h1552 FLOATINGPOINT_TO_SBV_OP, enumerator
H A Dcvc4cpp.cpp221 {FLOATINGPOINT_TO_SBV_OP, CVC4::Kind::FLOATINGPOINT_TO_SBV_OP},
470 {CVC4::Kind::FLOATINGPOINT_TO_SBV_OP, FLOATINGPOINT_TO_SBV_OP},
2790 case FLOATINGPOINT_TO_SBV_OP: in mkOpTerm()
/dports/math/cvc4/CVC4-1.7/src/printer/smt2/
H A Dsmt2_printer.cpp350 case kind::FLOATINGPOINT_TO_SBV_OP: in toStream()