Lines Matching defs:DecisionRecord

678   struct DecisionRecord {
700     DecisionRecord(const CounterMappingRegion &Decision)
708     /// Determine whether DecisionRecord dominates `R`.
771   /// DecisionRecord is added for each MCDCDecisionRegion.
772   /// DecisionRecord is removed when Decision is completed.
773   SmallVector<DecisionRecord> Decisions;
796   /// Add MCDCBranchRegion to DecisionRecord.
798   /// \returns DecisionsAndBranches if DecisionRecord completed.
806       case DecisionRecord::NotProcessed:
808       case DecisionRecord::Processed:
810       case DecisionRecord::Completed: