monadiccp-0.7.7: Constraint Programming

Safe Haskell	None
Language	Haskell98

Control.Search.Combinator.Base

Documentation

label :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

vlabel :: String -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

glabel :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

gblabel :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

int_assign :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

ilabel :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> Search Source #

maxV :: (Value -> Value -> Value, Value) Source #

minV :: (Value -> Value -> Value, Value) Source #

lbV :: Value -> Value Source #

ubV :: Value -> Value Source #

domsizeV :: Value -> Value Source #

lbRegretV :: Value -> Value Source #

ubRegretV :: Value -> Value Source #

degreeV :: Value -> Value Source #

domSizeDegreeV :: Value -> Value Source #

wDegreeV :: Value -> Value Source #

domSizeWDegreeV :: Value -> Value Source #

randomV :: b -> Value Source #

minD :: Value -> Value Source #

maxD :: Value -> Value Source #

meanD :: Value -> Value Source #

medianD :: Value -> Value Source #

randomD :: Value -> Value Source #

foldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> Statement Source #

ifoldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> Statement Source #

bfoldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> Statement Source #

bifoldVarSel :: (Value -> Value) -> (Value -> Value -> Value, Value) -> Info -> String -> Statement -> Statement -> Statement Source #