Observable

Creating observables

data Obs a

konst

Named observables

type VarName

primVar

primCond

var

Time-based observables

type Time

mkdate

at

before

after

between

Operators

(%==)

(%>)

(%>=)

(%<)

(%<=)

(%&&)

(%||)

(%+)

(%-)

(%*)

(%/)

Other observable functions

ifthen

negate

not

max

min

abs

Other utilities on observables

Parsing

parseObsCond

parseObsReal

printObs

Evaluating

eval

data Steps a

subst

Analysing

isTrue

isFalse

nextTrue

nextFalse

evermoreTrue

evermoreFalse

timeHorizon

earliestTimeHorizon

simplifyWithinHorizon