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: