Definition | PropaFP.Parsers.Lisp.DataTypes |
deriveBoundsAndSimplify | PropaFP.DeriveBounds |
deriveVCRanges | PropaFP.Parsers.Smt |
determineFloatTypeE | PropaFP.Parsers.Smt |
determineFloatTypeF | PropaFP.Parsers.Smt |
disjunctionExpressionsToSMT | |
1 (Function) | PropaFP.Translators.MetiTarski |
2 (Function) | PropaFP.Translators.DReal |
disjunctionExpressionsToTptp | PropaFP.Translators.MetiTarski |
Div | PropaFP.Expression |