/// <summary>
/// Creates a deep copy of the expression.
/// </summary>
/// <returns>Expression clone.</returns>
public override IConjunctCNF Clone()
{
return new PredicateLiteralCNF(PredicateAtom.Clone(), IsNegated, IdManager);
}
/// <summary>
/// Creates a deep copy of the expression.
/// </summary>
/// <returns>Expression clone.</returns>
public IExpression Clone()
{
return(new PredicateExpression(PredicateAtom.Clone(), IdManager));
}