Searched refs:toMetricSpace (Results 1 – 4 of 4) sorted by relevance
699 toMetricSpace = sFloatAsComparableSWord32 function703 addSValOptGoal $ unSBV `fmap` Minimize nm (toMetricSpace o)706 addSValOptGoal $ unSBV `fmap` Maximize nm (toMetricSpace o)713 toMetricSpace = sDoubleAsComparableSWord64 function717 addSValOptGoal $ unSBV `fmap` Minimize nm (toMetricSpace o)720 addSValOptGoal $ unSBV `fmap` Maximize nm (toMetricSpace o)822 toMetricSpace = sFloatingPointAsComparableSWord function826 addSValOptGoal $ unSBV `fmap` Minimize nm (toMetricSpace o)829 addSValOptGoal $ unSBV `fmap` Maximize nm (toMetricSpace o)
2521 toMetricSpace :: SBV a -> SBV (MetricSpace a)2527 msMinimize nm o = addSValOptGoal $ unSBV `fmap` Minimize nm (toMetricSpace o)2531 msMaximize nm o = addSValOptGoal $ unSBV `fmap` Maximize nm (toMetricSpace o)2534 default toMetricSpace :: (a ~ MetricSpace a) => SBV a -> SBV (MetricSpace a)2535 toMetricSpace = id function2543 toMetricSpace t = ite t 1 0 function2565 toMetricSpace x = sFromIntegral x + 128 -- 2^7 function2570 toMetricSpace x = sFromIntegral x + 32768 -- 2^15 function2575 toMetricSpace x = sFromIntegral x + 2147483648 -- 2^31 function2580 toMetricSpace x = sFromIntegral x + 9223372036854775808 -- 2^63 function
270 toMetricSpace x = sFromIntegral x + 2 ^ (intOfProxy (Proxy @n) - 1) function
38 toMetricSpace x = ite (x .== sMon) 0 function