Exemple #1
0
 /// <summary>
 /// String representation.
 /// </summary>
 /// <returns>String representation.</returns>
 public override string ToString()
 {
     string predicateString = PredicateAtom.ToString(IdManager.Predicates);
     return (IsNegated) ? $"(not {predicateString})" : predicateString;
 }
 /// <summary>
 /// String representation.
 /// </summary>
 /// <returns>String representation.</returns>
 public override string ToString()
 {
     return(PredicateAtom.ToString(IdManager.Predicates));
 }