Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
fToConjunction :: F -> [F] Source #
conjunctionToSMT :: [F] -> String Source #
expressionToSMT :: E -> String Source #
formulaAndVarMapToDReal :: F -> TypedVarMap -> String Source #
disjunctionExpressionsToSMT :: [ESafe] -> String Source #
cnfExpressionsToSMT :: [[ESafe]] -> String Source #
cnfExpressionAndDomainsToDreal :: [[ESafe]] -> [(String, (Rational, Rational))] -> [(String, (Rational, Rational))] -> String Source #
runDRealTranslatorCNFWithVarMap :: [[ESafe]] -> [(String, (Rational, Rational))] -> [(String, (Rational, Rational))] -> IO () Source #
runDRealTranslatorCNF :: [[ESafe]] -> IO () Source #