Lines Matching defs:DecisionRecord
652 struct DecisionRecord {
674 DecisionRecord(const CounterMappingRegion &Decision)
682 /// Determine whether DecisionRecord dominates `R`.
745 /// DecisionRecord is added for each MCDCDecisionRegion.
746 /// DecisionRecord is removed when Decision is completed.
747 SmallVector<DecisionRecord> Decisions;
770 /// Add MCDCBranchRegion to DecisionRecord.
772 /// \returns DecisionsAndBranches if DecisionRecord completed.
780 case DecisionRecord::NotProcessed:
782 case DecisionRecord::Processed:
784 case DecisionRecord::Completed: