PropaFP-0.1.2.0: Auto-active verification of floating-point programs

Index - N

Name 
1 (Type/Class)PropaFP.Expression
2 (Data Constructor)PropaFP.Expression
NegatePropaFP.Expression
negateSafeEPropaFP.Expression
normalizeBooleanPropaFP.Expression
NullPropaFP.Parsers.Lisp.DataTypes
NumberPropaFP.Parsers.Lisp.DataTypes