toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portabilitynon-portable (TypeFamilies)
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Data.Delta

Contents

Description

Augmenting number types with infinitesimal parameter δ.

Reference:

Synopsis

The Delta type

data Delta r Source

Delta r k represents r + kδ for symbolic infinitesimal parameter δ.

Constructors

Delta !r !r 

Instances

Eq r => Eq (Delta r) 
Ord r => Ord (Delta r) 
Show r => Show (Delta r) 
Num r => VectorSpace (Delta r) 
Num r => AdditiveGroup (Delta r) 
SolverValue (Delta Rational) 

Construction

fromReal :: Num r => r -> Delta rSource

Conversion from a base r value to Delta r.

delta :: Num r => Delta rSource

symbolic infinitesimal parameter δ.

Query

realPart :: Delta r -> rSource

Extracts the real part..

deltaPart :: Delta r -> rSource

Extracts the δ part..

Relationship with integers

floor' :: (RealFrac r, Integral a) => Delta r -> aSource

Delta version of floor. floor' x returns the greatest integer not greater than x

ceiling' :: (RealFrac r, Integral a) => Delta r -> aSource

Delta version of ceiling. ceiling' x returns the least integer not less than x

isInteger' :: RealFrac r => Delta r -> BoolSource

Is this a integer?