/// <summary>
/// Executes the tests.
/// </summary>
/// <param name="xml"></param>
private static void ExecuteSparse(string xml)
{
CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
tester.DoTestCHSparseVerifiedContraction(xml, false);
}
/// <summary>
/// Executes the tests.
/// </summary>
/// <param name="xml"></param>
private static void ExecuteSparse(string xml)
{
CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
tester.DoTestCHSparseVerifiedContraction(xml, false);
}
/// <summary>
/// Executes the tests.
/// </summary>
/// <param name="xml"></param>
private static void ExecuteEdgeDifference(string xml)
{
CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
tester.DoTestCHEdgeDifferenceVerifiedContraction(xml, false);
}
/// <summary>
/// Executes the tests.
/// </summary>
/// <param name="xml"></param>
private static void ExecuteEdgeDifference(string xml)
{
CHVerifiedContractionBaseTests tester = new CHVerifiedContractionBaseTests();
tester.DoTestCHEdgeDifferenceVerifiedContraction(xml, false);
}