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); }