Searched refs:FLOATINGPOINT_TO_SBV_OP (Results 1 – 4 of 4) sorted by relevance
257 constant FLOATINGPOINT_TO_SBV_OP \262 typerule FLOATINGPOINT_TO_SBV_OP ::CVC4::theory::fp::FloatingPointParametricOpTypeRule264 parameterized FLOATINGPOINT_TO_SBV FLOATINGPOINT_TO_SBV_OP 2 "convert a floating-point value to a s…
1552 FLOATINGPOINT_TO_SBV_OP, enumerator
221 {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()
350 case kind::FLOATINGPOINT_TO_SBV_OP: in toStream()