Safe Haskell | None |
---|
Documentation
example_main :: ExampleModel [String] -> ExampleModel ModelInt -> ExampleModel ModelCol -> Bool -> IO ()Source
example_sat_main :: ExampleModel [String] -> ExampleModel ModelInt -> ExampleModel ModelCol -> IO ()Source
example_sat_main_void :: ExampleModel () -> IO ()Source
example_sat_main_single :: Read n => ExampleModel n -> IO ()Source
example_min_main :: ExampleMinModel [String] -> ExampleMinModel ModelInt -> ExampleMinModel ModelCol -> IO ()Source
example_min_main_void :: ExampleMinModel () -> IO ()Source
example_min_main_single :: Read n => ExampleMinModel n -> IO ()Source
runSolve :: (Integral (TermBaseType s (FDIntTerm s)), Show (FDIntTerm s), EnumTerm s (FDIntTerm s), FDSolver s) => Bool -> Tree (FDInstance s) a -> (Int, [a])Source
labeller :: (Show (FDIntTerm s), MonadTree m, EnumTerm s (FDIntTerm s), FDSolver s, ~ (* -> *) (TreeSolver m) (FDInstance s)) => ModelCol -> m [TermBaseType s (FDIntTerm s)]Source
postMinimize :: ExampleMinModel t -> ExampleModel tSource
type ExampleModel t = forall s m. (Show (FDIntTerm s), FDSolver s, MonadTree m, TreeSolver m ~ FDInstance s) => t -> m ModelColSource
type ExampleMinModel t = forall s m. (Show (FDIntTerm s), FDSolver s, MonadTree m, TreeSolver m ~ FDInstance s) => t -> m (ModelInt, ModelCol)Source
module Control.CP.FD.Interface