haskelzinc-0.3.1.1: CP in Haskell through MiniZinc

LicenseBSD3
MaintainerGert-Jan Bottu <gertjan.bottu@kuleuven.be>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

TimeSpaceConstr.TimeSpaceConstr

Description

This module defines an interface for constructing time space constraints. Using this module, together with TimeSpaceConstr.ActionSequences, one can represent time space models in Haskell code.

Synopsis

Documentation

actionSequence Source #

Arguments

:: Int

The number of actions

-> String

The name of the action sequence variable

-> ASExpr

The action sequence expression

-> ModelData 

Constructs an action sequence constraint

actionSequenceCost Source #

Arguments

:: String

The name of the action sequence variable

-> String

The name of the resulting cost variable

-> ASCostExpr

The action sequence cost expression

-> ModelData 

Constructs an action sequence cost constraint

useCostPreds Source #

Arguments

:: [ASCostPredExpr]

The list of action sequence cost predicate expressions

-> [ModelData] 

Constructs a list of action sequence cost predicates