Remove deprecated (and now unused) exprt::make_not

Users should use boolean_negate instead.

Author: tautschnig

src/util/expr.cpp

@@ -78,38 +78,6 @@ void exprt::make_typecast(const typet &_type)
   swap(new_expr);
 }
 
-/// Negate the expression.
-/// Simplifications:
-///   - If the expression is trivially true, make it false, and vice versa.
-///   - If the expression is an `ID_not`, remove the not.
-/// \deprecated use constructors instead
-void exprt::make_not()
-{
-  if(is_true())
-  {
-    *this=false_exprt();
-    return;
-  }
-  else if(is_false())
-  {
-    *this=true_exprt();
-    return;
-  }
-
-  exprt new_expr;
-
-  if(id()==ID_not && operands().size()==1)
-  {
-    new_expr.swap(operands().front());
-  }
-  else
-  {
-    new_expr = not_exprt(*this);
-  }
-
-  swap(new_expr);
-}
-
 /// Return whether the expression is a constant.
 /// \return True if is a constant, false otherwise
 bool exprt::is_constant() const

src/util/expr.h

@@ -213,7 +213,6 @@ class exprt:public irept
   }
 
   void make_typecast(const typet &_type);
-  void make_not();
 
   void make_true();
   void make_false();