Safe Haskell | None |
---|
Documentation
type Space = ForeignPtr GecodeModelSource
type Search = ForeignPtr GecodeSearchSource
getColSize :: Space -> CGColVar -> IO GecodeIntConstSource
addConstraint :: (GecodeSolver s, GecodeIntVar s ~ CGIntVar, GecodeBoolVar s ~ CGBoolVar, GecodeColVar s ~ CGColVar) => Space -> GecodeConstraint s -> IO BoolSource