Lines Matching full:decision

271         // Decision
300   // Assign TestVector Indices in Decision Nodes
356   /// Decision Region to which the ExecutedTestVectorBitmap applies.
402   // Walk the binary decision diagram and try assigning both false and true to
440     // Walk the binary decision diagram to enumerate all possible test vectors.
460   // - The decision outcome is true one test and false in the other.
483   /// the decision region, calculating the list of all possible test vectors,
650   /// The Decision has the number of MCDCBranches and will complete
674     DecisionRecord(const CounterMappingRegion &Decision)
675         : DecisionRegion(&Decision),
676           DecisionParams(Decision.getDecisionParams()),
677           DecisionStartLoc(Decision.startLoc()),
678           DecisionEndLoc(Decision.endLoc()) {
679       assert(Decision.Kind == CounterMappingRegion::MCDCDecisionRegion);
694       NotProcessed = 0, /// Irrelevant to this Decision
695       Processed,        /// Added to this Decision
696       Completed,        /// Added and filled this Decision
699     /// Add Branch into the Decision
731     /// Record Expansion if it is relevant to this Decision.
746   /// DecisionRecord is removed when Decision is completed.
755   void registerDecision(const CounterMappingRegion &Decision) {
756     Decisions.emplace_back(Decision);
760     any_of(Decisions, [&Expansion](auto &Decision) {
761       return Decision.recordExpansion(Expansion);
766       std::pair<const CounterMappingRegion *,             /// Decision
776     // Seek each Decision and apply Region to it.
890     if (!Result) // Any Decision doesn't complete.