[]<>Dragon>FetchControl.com.pla ← []<>Dragon>FetchControl.pla - January 26, 1985 3:15:44 pm PST Date: January 26, 1985 1:50:04 pm PST InType: IFUPLA.FetchControlIn OutType: IFUPLA.FetchControlOut Terms: 25 BitFormat: IFUPLA.FetchControlIn Index First Size Name 0 0 1 jump 1 1 1 getNext 2 2 1 hold 3 3 1 reject 4 4 1 jumping 5 5 1 jumpInProgress 6 6 1 jumpPending 7 7 1 fetching 8 8 1 roomFor1 9 9 1 roomFor2 10 10 1 faulted 11 11 1 ipPageFault 12 13 3 opLength 13 30 2 offSet --- BitTotal: 17 BitFormat: IFUPLA.FetchControlOut Index First Size Name 0 0 1 jumpInProgress 1 1 1 jumpPending 2 2 1 newFetch 3 3 1 fetching 4 4 1 faulted 5 5 1 incrPrefetch 6 13 3 wt 7 23 9 rd --- BitTotal: 18 Consolidated DEF Terms: 25 3:15:53 Consolidated SUM Terms: 24 3:15:53 Consolidated MIN Terms: 24 3:15:53 Consolidated RES Def: 25 Sum: 24 Ess: 24 Del: 0 Cov: 24 3:15:54 Summary: Inputs Bits: 17 Total Outputs Bits: 18 Definition Terms: 25 Complete Sum Terms: 24 Essential Terms: 24 Init Deletes Terms: 0 Cover Terms: 24 File: []<>Dragon>FetchControl.com.pla Date: January 26, 1985 3:15:51 pm PST InType: IFUPLA.FetchControlIn OutType: IFUPLA.FetchControlOut Terms: 24 BitFormat: IFUPLA.FetchControlIn Index First Size Name 0 0 1 jump 1 1 1 getNext 2 2 1 hold 3 3 1 reject 4 4 1 jumping 5 5 1 jumpInProgress 6 6 1 jumpPending 7 7 1 fetching 8 8 1 roomFor1 9 9 1 roomFor2 10 10 1 faulted 11 11 1 ipPageFault 12 13 3 opLength 13 30 2 offSet --- BitTotal: 17 BitFormat: IFUPLA.FetchControlOut Index First Size Name 0 0 1 jumpInProgress 1 1 1 jumpPending 2 2 1 newFetch 3 3 1 fetching 4 4 1 faulted 5 5 1 incrPrefetch 6 13 3 wt 7 23 9 rd --- BitTotal: 18 []<>Dragon>FetchControl.fld.pla ← []<>Dragon>FetchControl.pla - January 26, 1985 3:15:58 pm PST Date: January 26, 1985 1:50:04 pm PST InType: IFUPLA.FetchControlIn OutType: IFUPLA.FetchControlOut Terms: 25 BitFormat: IFUPLA.FetchControlIn Index First Size Name 0 0 1 jump 1 1 1 getNext 2 2 1 hold 3 3 1 reject 4 4 1 jumping 5 5 1 jumpInProgress 6 6 1 jumpPending 7 7 1 fetching 8 8 1 roomFor1 9 9 1 roomFor2 10 10 1 faulted 11 11 1 ipPageFault 12 13 3 opLength 13 30 2 offSet --- BitTotal: 17 BitFormat: IFUPLA.FetchControlOut Index First Size Name 0 0 1 jumpInProgress 1 1 1 jumpPending 2 2 1 newFetch 3 3 1 fetching 4 4 1 faulted 5 5 1 incrPrefetch 6 13 3 wt 7 23 9 rd --- BitTotal: 18 Field: 0 jumpInProgress [ 1] Def: 3 Sum: 3 Ess: 3 Del: 0 Cov: 3 3:16:07 Field: 1 jumpPending [ 1] Def: 2 Sum: 2 Ess: 2 Del: 0 Cov: 2 3:16:07 Field: 2 newFetch [ 1] Def: 4 Sum: 4 Ess: 4 Del: 0 Cov: 4 3:16:08 Field: 4 faulted [ 1] Def: 2 Sum: 2 Ess: 2 Del: 0 Cov: 2 3:16:08 Field: 5 incrPrefetch [ 1] Def: 1 Sum: 1 Ess: 1 Del: 0 Cov: 1 3:16:08 Field: 6 wt [ 3] Def: 4 Sum: 4 Ess: 4 Del: 0 Cov: 4 3:16:09 Field: 7 rd [ 9] Def: 9 Sum: 9 Ess: 9 Del: 0 Cov: 9 3:16:10 Summary: Inputs Bits: 17 Total Outputs Bits: 17 SourcePLA Terms: 25 Definition Terms: 25 Complete Sum Terms: 25 Essential Terms: 25 Init Deletes Terms: 0 Cover Terms: 25 Consolidation Terms: 24 CS Unfinished Srchs: 0 Min Unfinished Srchs: 0 File: []<>Dragon>FetchControl.fld.pla Date: January 26, 1985 3:16:04 pm PST InType: IFUPLA.FetchControlIn OutType: IFUPLA.FetchControlOut Terms: 24 BitFormat: IFUPLA.FetchControlIn Index First Size Name 0 0 1 jump 1 1 1 getNext 2 2 1 hold 3 3 1 reject 4 4 1 jumping 5 5 1 jumpInProgress 6 6 1 jumpPending 7 7 1 fetching 8 8 1 roomFor1 9 9 1 roomFor2 10 10 1 faulted 11 11 1 ipPageFault 12 13 3 opLength 13 30 2 offSet --- BitTotal: 17 BitFormat: IFUPLA.FetchControlOut Index First Size Name 0 0 1 jumpInProgress 1 1 1 jumpPending 2 2 1 newFetch 3 3 1 fetching 4 4 1 faulted 5 5 1 incrPrefetch 6 13 3 wt 7 23 9 rd --- BitTotal: 18