summaryrefslogtreecommitdiff
path: root/src/AI/Search/FiniteDomain/Int.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/AI/Search/FiniteDomain/Int.hs')
-rw-r--r--src/AI/Search/FiniteDomain/Int.hs45
1 files changed, 45 insertions, 0 deletions
diff --git a/src/AI/Search/FiniteDomain/Int.hs b/src/AI/Search/FiniteDomain/Int.hs
new file mode 100644
index 0000000..9a63e73
--- /dev/null
+++ b/src/AI/Search/FiniteDomain/Int.hs
@@ -0,0 +1,45 @@
+-----------------------------------------------------------------------------
+-- |
+-- Module : AI.Search.FiniteDomain.Int
+-- Copyright : (c) Michael Szvetits, 2020
+-- License : BSD3 (see the file LICENSE)
+-- Maintainer : typedbyte@qualified.name
+-- Stability : stable
+-- Portability : portable
+--
+-- This module exports the types and functions needed to define constraints
+-- and run the constraint solver.
+-----------------------------------------------------------------------------
+module AI.Search.FiniteDomain.Int
+ ( -- * Core Monad
+ FD
+ -- * Building Expressions
+ , Expression
+ , int
+ , newVar
+ , initNewVar
+ , sum
+ -- * Building Constraints
+ , Constraint
+ , (#=)
+ , (#/=)
+ , (#<)
+ , (#<=)
+ , (#>)
+ , (#>=)
+ , (/\)
+ , (\/)
+ , not'
+ , between
+ , allDifferent
+ -- * Running the Solver
+ , Labeling(..)
+ , labeling
+ , runFD
+ ) where
+
+-- base
+import Prelude hiding ( sum )
+
+import AI.Search.FiniteDomain.Int.Constraint
+import AI.Search.FiniteDomain.Int.Expression ( Expression, int, sum ) \ No newline at end of file