souffle  2.0.2-371-g6315b36
Data Structures | Functions
souffle::ram::analysis::test Namespace Reference

Data Structures

class  TestMaxMatching
 

Functions

 TEST (Matching, StaticTest_1)
 
 TEST (Matching, StaticTest_2)
 

Function Documentation

◆ TEST() [1/2]

souffle::ram::analysis::test::TEST ( Matching  ,
StaticTest_1   
)

Definition at line 36 of file max_matching_test.cpp.

48  {
49  MaxMatching match;
50 
51  match.addEdge(1, 6);
52  match.addEdge(1, 7);

◆ TEST() [2/2]

souffle::ram::analysis::test::TEST ( Matching  ,
StaticTest_2   
)

Definition at line 54 of file max_matching_test.cpp.