іть інформацію про ті, чи покрити ребро чи ні. Про єкт класу
graph_coverage вікорістовується во время побудова тестового набору.
Рис. 3.1 Діаграма класу graph_coverage
# include
Реалізовані наступні методи класу:
graph_coverage (const Graph & graph)
Конструктор класу, створює про єкт - абстракцію покриття графу и ініціалізує Значення покриття шкірного ребра графу graph як FALSE (непокріте).
aditional_coverage_for_path (std :: list path) const
Функція повертає додатне число типу size_t, ЯКЩО шлях path покріває хочай б Одне досі непокріте ребро, і 0 - у протилежних випадка.
fully_covered () const
Функція повертає булеві значення. TRUE, ЯКЩО Кожне ребро модельного графу покритием шляхами (тестами), что увійшлі до результуюча набору, и FALSE - у протилежних випадка.
add_coverage_for_path (const std :: list & path)
Функція помічає ВСІ вершини, что зустрічаються у шляху path як покріті.
Клас edge_id
Про єкт класу edge_id містіть унікальне Описання ребра графу, Яким слугують его початиться и цільова вершини.
Рис. 3.2 Діаграма класу edge_id
# include «edge.h»
edge_id (size_t vertex_source, size_t vertex_target)
Конструктор класу, ініціалізує m_vertex_source та m_vertex_target значеннями надіс параметрів.
Клас Graph
Клас є сінонімом класу boost :: adjacency_list и вікорістовується для представлення модельного графу.
# include
Наступні методи Із тихий, что предлагает клас boost :: adjacency_list Було використан во время реалізації Додатках:
out_edges (vertex_descriptor u, const adjacency_list & g)
Повертає пару літераторів, что ітерує ДІАПАЗОН ребер, что Прокуратура: вершини u графу G.
target (edge_descriptor e, const adjacency_list & g)
Функція повертає Значення типу vertex_descriptor , что є значенням кінцевої вершини ребра e графу g .
num_vertices (const adjacency_list & g)
Функція повертає кількість вершин графу g.
vertex (vertices_size_type n, const adjacency_list & g)
Функція повертає n-у вершину графу g .
