monadiccp-0.7.6: Constraint Programming

Safe HaskellNone

Control.Search.Combinator.Base

Documentation

label :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource

glabel :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource

gblabel :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource

int_assign :: String -> VarSel -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource

ilabel :: String -> (Value -> Value) -> (Value -> Value -> Value, Value) -> (Value -> Value) -> (Value -> Value -> Constraint) -> SearchSource