Control.CP.FD.FD

Synopsis

• module Data.Expr.Sugar
• data FDSolver s => FDInstance s a
• class (Solver s, Term s (FDIntTerm s), Term s (FDBoolTerm s), Eq (FDBoolSpecType s), Ord (FDBoolSpecType s), Enum (FDBoolSpecType s), Bounded (FDBoolSpecType s), Show (FDBoolSpecType s), Eq (FDIntSpecType s), Ord (FDIntSpecType s), Enum (FDIntSpecType s), Bounded (FDIntSpecType s), Show (FDIntSpecType s), Eq (FDColSpecType s), Ord (FDColSpecType s), Enum (FDColSpecType s), Bounded (FDColSpecType s), Show (FDColSpecType s), Show (FDIntSpec s), Show (FDColSpec s), Show (FDBoolSpec s)) => FDSolver s where
  • type FDIntTerm s :: *
  • type FDBoolTerm s :: *
  • type FDIntSpec s :: *
  • type FDBoolSpec s :: *
  • type FDColSpec s :: *
  • type FDIntSpecType s :: *
  • type FDBoolSpecType s :: *
  • type FDColSpecType s :: *
• type FDSpecInfo s = ([FDSpecInfoBool s], [FDSpecInfoInt s], [FDSpecInfoCol s])
• data FDSpecInfoBool s = FDSpecInfoBool {
  • fdspBoolSpec :: Maybe (FDBoolSpecType s) -> Maybe (FDBoolSpec s)
  • fdspBoolVar :: Maybe EGVarId
  • fdspBoolVal :: Maybe EGBoolPar
  • fdspBoolTypes :: Set (FDBoolSpecType s)
  }
• data FDSpecInfoInt s = FDSpecInfoInt {
  • fdspIntSpec :: Maybe (FDIntSpecType s) -> Maybe (FDIntSpec s)
  • fdspIntVar :: Maybe EGVarId
  • fdspIntVal :: Maybe EGPar
  • fdspIntTypes :: Set (FDIntSpecType s)
  }
• data FDSpecInfoCol s = FDSpecInfoCol {
  • fdspColSpec :: Maybe (FDColSpecType s) -> Maybe (FDColSpec s)
  • fdspColVar :: Maybe EGVarId
  • fdspColVal :: Maybe EGColPar
  • fdspColTypes :: Set (FDColSpecType s)
  }
• liftFD :: FDSolver s => s a -> FDInstance s a
• addFD :: (Show (Constraint s), FDSolver s) => Constraint s -> FDInstance s ()
• type SpecFn s = EGEdge -> SpecFnRes s
• type SpecFnRes s = ([(Int, EGVarId, Bool, SpecBool s)], [(Int, EGVarId, Bool, SpecInt s)], [(Int, EGVarId, Bool, SpecCol s)])
• data SpecResult t
  • = SpecResNone
  • | SpecResSpec t
  • | SpecResUnify EGVarId
• getBoolSpec_ :: FDSolver s => EGVarId -> FDBoolSpecTypeSet s -> FDInstance s (Maybe (FDBoolSpecType s, FDBoolSpec s))
• getIntSpec_ :: FDSolver s => EGVarId -> FDIntSpecTypeSet s -> FDInstance s (Maybe (FDIntSpecType s, FDIntSpec s))
• getColSpec_ :: FDSolver s => EGVarId -> FDColSpecTypeSet s -> FDInstance s (Maybe (FDColSpecType s, FDColSpec s))
• getBoolSpec :: FDSolver s => EGVarId -> FDInstance s (Maybe (FDBoolSpec s))
• getIntSpec :: FDSolver s => EGVarId -> FDInstance s (Maybe (FDIntSpec s))
• getColSpec :: (Show (FDColSpec s), FDSolver s) => EGVarId -> FDInstance s (Maybe (FDColSpec s))
• getEdge :: FDSolver s => EGEdgeId -> FDInstance s (Maybe EGEdge)
• markEdge :: FDSolver s => EGEdgeId -> FDInstance s ()
• setFailed :: FDSolver s => FDInstance s ()
• getLevel :: FDSolver s => FDInstance s Int
• getIntVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGPar)
• getBoolVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGBoolPar)
• getColVal :: FDSolver s => EGVarId -> FDInstance s (Maybe EGColPar)
• getIntTerm :: FDSolver s => [ModelInt] -> FDInstance s [FDIntTerm s]
• getBoolTerm :: FDSolver s => [ModelBool] -> FDInstance s [FDBoolTerm s]
• getColTerm :: FDSolver s => [ModelCol] -> FDColSpecType s -> FDInstance s [FDColSpec s]
• getSingleIntTerm :: FDSolver s => ModelInt -> FDInstance s (FDIntTerm s)
• getDefBoolSpec :: FDSolver s => FDSpecInfoBool s -> FDBoolSpec s
• getDefIntSpec :: FDSolver s => FDSpecInfoInt s -> FDIntSpec s
• getDefColSpec :: FDSolver s => FDSpecInfoCol s -> FDColSpec s
• getFullBoolSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoBool s)
• getFullIntSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoInt s)
• getFullColSpec :: (FDSolver s, MonadState (FDState s) m) => EGVarId -> m (FDSpecInfoCol s)
• getColItems :: FDSolver s => ModelCol -> FDColSpecType s -> FDInstance s [FDIntTerm s]
• fdSpecInfo_spec :: FDSolver s => ([Either (FDSpecInfoBool s) (FDBoolSpecType s, FDBoolSpec s)], [Either (FDSpecInfoInt s) (FDIntSpecType s, FDIntSpec s)], [Either (FDSpecInfoCol s) (FDColSpecType s, FDColSpec s)]) -> FDSpecInfo s
• specInfoBoolTerm :: FDSolver s => FDBoolTerm s -> s (FDSpecInfoBool s)
• specInfoIntTerm :: FDSolver s => FDIntTerm s -> s (FDSpecInfoInt s)
• newInt :: FDSolver s => FDInstance s ModelInt
• newBool :: FDSolver s => FDInstance s ModelBool
• newCol :: FDSolver s => FDInstance s ModelCol
• procSubModel :: FDSolver s => EGModel -> (Int -> FDSpecInfoBool s, Int -> FDSpecInfoInt s, Int -> FDSpecInfoCol s) -> FDInstance s ()
• procSubModelEx :: FDSolver s => EGModel -> (Int -> Maybe (FDSpecInfoBool s), Int -> Maybe (FDSpecInfoInt s), Int -> Maybe (FDSpecInfoCol s)) -> FDInstance s ()
• specSubModelEx :: FDSolver s => EGModel -> (Int -> Maybe (FDSpecInfoBool s), Int -> Maybe (FDSpecInfoInt s), Int -> Maybe (FDSpecInfoCol s)) -> FDInstance s (Map EGVarId (FDSpecInfoBool s), Map EGVarId (FDSpecInfoInt s), Map EGVarId (FDSpecInfoCol s))
• runFD :: FDSolver s => FDInstance s a -> s a
• setMinimizeVar :: (Show (FDIntTerm s), FDSolver s) => ModelInt -> FDInstance s ()
• boundMinimize :: (Show (FDIntTerm s), FDSolver s, EnumTerm s (FDIntTerm s), Integral (TermBaseType s (FDIntTerm s))) => NewBound (FDInstance s)
• getMinimizeTerm :: (Show (FDIntTerm s), FDSolver s) => FDInstance s (Maybe (FDIntTerm s))
• getMinimizeVar :: (Show (FDIntTerm s), FDSolver s) => FDInstance s (Maybe ModelInt)
• fdNewvar :: (FDSolver s, Term s t) => FDInstance s (Maybe t)

Documentation