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