| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.CP.FD.Example
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_sat_main_coll_expr :: ExampleModel ModelCol -> 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 :: (Show (FDIntTerm s), EnumTerm s (FDIntTerm s), Integral (TermBaseType s (FDIntTerm s)), FDSolver s) => Bool -> Tree (FDInstance s) a -> (Int, [a]) Source #
labeller :: ((~#) (* -> *) (* -> *) (TreeSolver m) (FDInstance s), Show (FDIntTerm s), MonadTree m, FDSolver s, EnumTerm s (FDIntTerm s)) => ModelCol -> m [TermBaseType s (FDIntTerm s)] Source #
postMinimize :: ExampleMinModel t -> ExampleModel t Source #
type ExampleModel t = forall s m. (Show (FDIntTerm s), FDSolver s, MonadTree m, TreeSolver m ~ FDInstance s) => t -> m ModelCol Source #
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