packages feed

teams 0.0.2 → 0.0.2.1

raw patch · 3 files changed

+10/−10 lines, 3 files

Files

Data/Teams/Examples/DecMdp.hs view
@@ -9,10 +9,10 @@ u2 = mkNonReward "u2" r  = mkReward    "r" -f  = mkDynamics "f"-g1 = mkControl  "g1"-g2 = mkControl  "g2"-d  = mkDynamics "d"+f  = mkStochastic "f"+g1 = mkControl    "g1"+g2 = mkControl    "g2"+d  = mkStochastic "d"  dynamics t = f(t).$.(x(t) .|. if t == 1 then [] else [x(t-1), u1(t-1), u2(t-1)])           ++ g1(t).$.(u1(t) .|. map x[1..t] ++ map u1[1..t-1])
Data/Teams/Examples/Wit79.hs view
@@ -15,11 +15,11 @@ m  = mkNonReward "m" r  = mkReward    "r" -f = mkDynamics "f"-c = mkControl  "c"-g = mkControl  "g"-l = mkControl  "l"-d = mkDynamics "d"+f = mkStochastic "f"+c = mkControl    "c"+g = mkControl    "g"+l = mkControl    "l"+d = mkStochastic "d"  dynamics t | t == 1 = f(1).$.(x(1) .|. [])                    ++ c(1).$.(y(1) .|. [x(1)])
teams.cabal view
@@ -1,5 +1,5 @@ Name:                teams-Version:             0.0.2+Version:             0.0.2.1 Description:         Graphical modeling tools for sequential teams License:             GPL License-file:        LICENSE