diff options
Diffstat (limited to 'src/api/cvc4cpp.h')
| -rw-r--r-- | src/api/cvc4cpp.h | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index fc07a1cd7..aebeffb0d 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -197,13 +197,6 @@ class CVC4_PUBLIC Sort ~Sort(); /** - * Assignment operator. - * @param s the sort to assign to this sort - * @return this sort after assignment - */ - Sort& operator=(const Sort& s); - - /** * Comparison for structural equality. * @param s the sort to compare to * @return true if the sorts are equal @@ -554,14 +547,6 @@ class CVC4_PUBLIC Term ~Term(); /** - * Assignment operator, makes a copy of the given term. - * Both terms must belong to the same solver object. - * @param t the term to assign - * @return the reference to this term after assignment - */ - Term& operator=(const Term& t); - - /** * Syntactic equality operator. * Return true if both terms are syntactically identical. * Both terms must belong to the same solver object. @@ -844,14 +829,6 @@ class CVC4_PUBLIC OpTerm ~OpTerm(); /** - * Assignment operator, makes a copy of the given operator term. - * Both terms must belong to the same solver object. - * @param t the term to assign - * @return the reference to this operator term after assignment - */ - OpTerm& operator=(const OpTerm& t); - - /** * Syntactic equality operator. * Return true if both operator terms are syntactically identical. * Both operator terms must belong to the same solver object. |