Example #1
0
 /// <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));
 }