by state s, a passed inning i without archiving a value ==
(i < Inning(s;a)) 
(
(i 
fpf-domain(Estimate(s;a))))
Definitions :
and: P Q,
less_than: 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-passed
by state s, a passed inning i without archiving a value ==
(i < Inning(s;a)) \mwedge{} (\mneg{}(i \mmember{} fpf-domain(Estimate(s;a))))
Date html generated:
2010_08_27-AM-12_49_10
Last ObjectModification:
2009_12_23-PM-03_25_03
Home
Index