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_single_expr :: ExampleModel ModelInt -> 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

example_min_main_single_expr :: ExampleMinModel ModelInt -> IO ()Source

example_min_main_coll_expr :: ExampleMinModel ModelCol -> IO ()Source

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