public void AddGeneralPredecessor(GroundedClause gc)
{
if (gc.clauseId == -1)
{
Debug.WriteLine("ERROR: id is -1: " + gc.ToString());
}
Utilities.AddUnique(generalPredecessors, gc.clauseId);
}
public override string ToString()
{
return("(" + leftExp.ToString() + " + " + rightExp.ToString() + ")");
}
public void AddRelationPredecessor(GroundedClause gc)
{
if (gc.clauseId == -1)
{
Debug.WriteLine("ERROR: id is -1: " + gc.ToString());
}
Utilities.AddUnique(relationPredecessors, gc.clauseId);
}