public void Lemma17Test(CspInstance instance)
{
var res = CSPLemmas.Lemma17(instance, out bool applied);
if (applied == false)
{
Assert.Null(CSPLemmas.FindBadThreeComponent(instance, false));
}
else
{
foreach (var inst in res)
{
Lemma17Test(inst);
}
}
}
public void Lemma15Test(CspInstance instance)
{
var res = CSPLemmas.Lemma15(instance, out bool b);
if (b == true)
{
foreach (var inst in res)
{
if (inst != null)
{
Lemma15Test(inst);
}
}
}
else
{
Assert.Null(CSPLemmas.FindBadThreeComponent(instance, true));
}
}