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