by state s, a archived v in inning i ==
(i 
fpf-domain(Estimate(s;a))) 
(Estimate(s;a)(i) = v)
Definitions :
and: P Q,
l_member: (x l),
fpf-domain: fpf-domain(f),
int: 
,
equal: s = t,
fpf-ap: f(x),
cs-estimate: Estimate(s;a),
int-deq: IntDeq
FDL editor aliases :
cs-archived
by state s, a archived v in inning i == (i \mmember{} fpf-domain(Estimate(s;a))) \mwedge{} (Estimate(s;a)(i) = v)
Date html generated:
2010_08_27-AM-12_49_02
Last ObjectModification:
2009_12_23-PM-03_24_55
Home
Index