in state s, a has not completed inning i ==
(Inning(s;a) 
i) 
(
(i 
fpf-domain(Estimate(s;a))))
Definitions :
and: P Q,
le: A B,
cs-inning: Inning(s;a),
not: A,
l_member: (x l),
fpf-domain: fpf-domain(f),
cs-estimate: Estimate(s;a),
int: 
FDL editor aliases :
cs-not-completed
in state s, a has not completed inning i == (Inning(s;a) \mleq{} i) \mwedge{} (\mneg{}(i \mmember{} fpf-domain(Estimate(s;a))))
Date html generated:
2010_08_27-AM-12_48_52
Last ObjectModification:
2009_12_23-PM-03_24_48
Home
Index