Add 'Diff' (including operator overload) to C++ API

SSoelvsten · May 28, 2024 · c69cf30 · c69cf30
1 parent 2ea67dd
commit c69cf30
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/src/calObj.hh b/src/calObj.hh
@@ -481,6 +481,24 @@ public:
   BDD Xnor(const BDD &g) const
   { return BDD(this->_bddManager, Cal_BddXnor(this->_bddManager, this->_bdd, g._bdd)); }
 
+  //////////////////////////////////////////////////////////////////////////////
+  /// \brief Logical Difference operation.
+  //////////////////////////////////////////////////////////////////////////////
+  BDD Diff(const BDD &g) const
+  { return *this & ~g; }
+
+  //////////////////////////////////////////////////////////////////////////////
+  /// \see BDD::Diff()
+  //////////////////////////////////////////////////////////////////////////////
+  BDD  operator- (const BDD &other) const
+  { return this->Diff(other); }
+
+  //////////////////////////////////////////////////////////////////////////////
+  /// \see BDD::Diff()
+  //////////////////////////////////////////////////////////////////////////////
+  BDD& operator-= (const BDD &other)
+  { return (*this = (*this) - other); }
+
   //////////////////////////////////////////////////////////////////////////////
   /// \brief A satisfying assignment of this BDD.
   ///