Control.CP.FD.Gecode.Interface

Documentation

data CGIntVar

Instances

Eq CGIntVar

Ord CGIntVar

Show CGIntVar

Storable CGIntVar

EnumTerm RuntimeGecodeSolver CGIntVar

EnumTerm SearchGecodeSolver CGIntVar

Term RuntimeGecodeSolver CGIntVar

Term SearchGecodeSolver CGIntVar

data CGBoolVar

Instances

Eq CGBoolVar

Ord CGBoolVar

Show CGBoolVar

Storable CGBoolVar

EnumTerm RuntimeGecodeSolver CGBoolVar

EnumTerm SearchGecodeSolver CGBoolVar

Term RuntimeGecodeSolver CGBoolVar

Term SearchGecodeSolver CGBoolVar

data CGColVar

Instances

Eq CGColVar

Ord CGColVar

Show CGColVar

Storable CGColVar

type Space = ForeignPtr GecodeModel

type Search = ForeignPtr GecodeSearch

newSpace :: IO Space

copySpace :: Space -> IO Space

newSearch :: Space -> Bool -> IO Search

runSearch :: Search -> IO (Maybe Space)

newInt :: Space -> IO CGIntVar

newIntAt :: Space -> CGColVar -> Int -> IO CGIntVar

newBool :: Space -> IO CGBoolVar

newColList :: Space -> [CGIntVar] -> IO CGColVar

newColSize :: Space -> Int -> IO CGColVar

newColCat :: Space -> CGColVar -> CGColVar -> IO CGColVar

newColTake :: Space -> CGColVar -> Int -> Int -> IO CGColVar

getColSize :: Space -> CGColVar -> IO GecodeIntConst

addConstraint :: (GecodeSolver s, GecodeIntVar s ~ CGIntVar, GecodeBoolVar s ~ CGBoolVar, GecodeColVar s ~ CGColVar) => Space -> GecodeConstraint s -> IO Bool

propagate :: Space -> IO ()

postBranchers :: Space -> ([CGBoolVar], [CGIntVar], [CGColVar]) -> IO ()

data IntInfo

Constructors

IntInfo

Fields

iti_low :: !CInt

iti_high :: !CInt

iti_med :: !CInt

iti_size :: !CInt

iti_val :: !(Maybe CInt)

getIntInfo :: Space -> CGIntVar -> IO (Maybe IntInfo)

getBoolInfo :: Space -> CGBoolVar -> IO Int

modRefcount :: Space -> Int -> IO Int

setCost :: Space -> CGIntVar -> IO ()