| License | BSD3 |
|---|---|
| Maintainer | Gert-Jan Bottu <gertjan.bottu@kuleuven.be> |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
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.
- actionSequence :: Int -> String -> ASExpr -> ModelData
- actionSequenceCost :: String -> String -> ASCostExpr -> ModelData
- useCostPreds :: [ASCostPredExpr] -> [ModelData]
Documentation
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
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
Arguments
| :: [ASCostPredExpr] | The list of action sequence cost predicate expressions |
| -> [ModelData] |
Constructs a list of action sequence cost predicates