Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.IFS.Types

Synopsis

type Var = Int
type Val = Int
type CSPMonad r = ReaderT (CSP r) IO
data CSP r = MkCSP {
- cspDomains :: Domains
- cspVariables :: Variables
- cspConstraints :: Constraints
- cspRandomCap :: Int
- cspTermination :: Int -> Assignment -> CSPMonad r (Maybe r)
}
type Domains = IntMap IntSet
type Variables = IntSet
type Constraints = [(Variables, Assignment -> Bool)]
type Assignment = IntMap Val
data Solution
- = Complete Assignment
- | Incomplete Assignment
fromSolution :: Solution -> Assignment

Documentation

type Var = Int Source #

Represents a variable

type Val = Int Source #

Represents a value

type CSPMonad r = ReaderT (CSP r) IO Source #

Monad used in the CSP solver

data CSP r Source #

Represents a contraint satisfaction problem

Constructors

MkCSP

Fields

cspDomains :: Domains
cspVariables :: Variables
cspConstraints :: Constraints
cspRandomCap :: Int
The number of iterations the algorithm should perform before selecting unassigned variables at random instead of picking one of the most constrained (to avoid getting stuck in a loop)
cspTermination :: Int -> Assignment -> CSPMonad r (Maybe r)
When to terminate and return the current assignment, given the number of iterations performed and the current assignment. A Nothing value means continue, and a Just value means terminate and return that value

type Domains = IntMap IntSet Source #

Represents the domains for different variables. The variables are indexed by integers

type Variables = IntSet Source #

Represents the variables used in the timetabling problem

type Constraints = [(Variables, Assignment -> Bool)] Source #

Represents the constraints for the timetabling problem. The first element of the tuple represents the variables this constraint affects, the second is the constraint itself

type Assignment = IntMap Val Source #

Represents an assignment of variables

data Solution Source #

This is returned by the IFS. Complete indicates the assignment is complete, and Incomplete indicates the assignment is not complete

Constructors

Complete Assignment
Incomplete Assignment

Instances

Instances details

Show Solution Source #
Instance details Defined in Data.IFS.Types Methods showsPrec :: Int -> Solution -> ShowS # show :: Solution -> String # showList :: [Solution] -> ShowS #
NFData Solution Source #
Instance details Defined in Data.IFS.Types Methods rnf :: Solution -> () #

fromSolution :: Solution -> Assignment Source #

fromSolution solution extracts an Assignment value from a Solution value