Lines Matching defs:decisions
81 //protected Vector decisions = new Vector(200); // need setSize
82 protected DoubleKeyMap<string, int, DecisionDescriptor> decisions = new DoubleKeyMap<string, int, DecisionDescriptor>();
179 DecisionDescriptor descriptor = decisions.Get(g, decisionNumber);
183 decisions.Put(g, decisionNumber, descriptor);
250 * works for backtracking also, which can have nested decisions.
306 /** Track backtracking decisions. You'll see a fixed or cyclic decision
400 foreach (DecisionDescriptor d in decisions.Values())
531 return decisions;
566 // buf.Append("number of fixed lookahead decisions ");
575 // buf.Append("average lookahead depth used in fixed lookahead decisions ");
578 // buf.Append("standard deviation of depth used in fixed lookahead decisions ");
581 // buf.Append("number of arbitrary lookahead decisions ");
590 // buf.Append("average lookahead depth used in arbitrary lookahead decisions ");
593 // buf.Append("standard deviation of depth used in arbitrary lookahead decisions ");
658 foreach (string fileName in decisions.KeySet())
660 foreach (int d in decisions.KeySet(fileName))
662 DecisionDescriptor s = decisions.Get(fileName, d);