public override string ToString()
{
return("There is no solution, since " + c.RequirementString(true, 0));
}
public override string ToString()
{
return("We cannot " + Candidate + ", since this " +
(eventual ? "eventually " : "") + "leads to " + c.RequirementString(false, 0));
}
public override string ToString()
{
return("We must " + Candidate + ", not doing so eventually leads to " + c.RequirementString(false, 0));
}
public override string ToString()
{
return("We must " + Candidate + ", since " + c.RequirementString(true, 1));
}