monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.Search.Combinator.Base

Documentation

label :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (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 #