Inheritance diagram for souffle::ram::analysis::test::TestMaxMatching:
Collaboration diagram for souffle::ram::analysis::test::TestMaxMatching:
Public Member Functions | |
| TestMaxMatching () | |
 Public Member Functions inherited from souffle::ram::analysis::MaxMatching | |
| void | addEdge (Node u, Node v) |
| @Brief add an edge to the bi-partite graph More... | |
| int | getNumMatchings () const |
| @Brief get number of matches in the solution More... | |
| const Matchings & | solve () |
| @Brief solve the maximum matching problem More... | |
Additional Inherited Members | |
| Public Types inherited from souffle::ram::analysis::MaxMatching | |
| using | Distance = int |
| using | Matchings = std::unordered_map< Node, Node > |
| Matching represent a solution of the matching, i.e., which node in the bi-partite graph maps to another node. More... | |
| using | Node = uint32_t |
| using | Nodes = std::unordered_set< Node > |
| Data Fields inherited from souffle::ram::analysis::MaxMatching | |
| const Distance | InfiniteDistance = -1 |
| const Node | NullVertex = 0 |
| Protected Member Functions inherited from souffle::ram::analysis::MaxMatching | |
| bool | bfSearch () |
| @Brief perform a breadth first search in the graph More... | |
| bool | dfSearch (Node u) |
| @Brief perform a depth first search in the graph More... | |
| Distance | getDistance (Node v) |
| @Brief get distance of a node More... | |
| Node | getMatch (Node v) |
| @Brief get match for a search signature More... | |
Detailed Description
Definition at line 31 of file max_matching_test.cpp.
Constructor & Destructor Documentation
◆ TestMaxMatching()
|
inline |
Definition at line 39 of file max_matching_test.cpp.
The documentation for this class was generated from the following file:
- ram/tests/max_matching_test.cpp
