#include <ogdf/lib/minisat/mtl/Vec.h>Go to the source code of this file.
Namespaces | |
| namespace | Minisat |
| namespace | Minisat::Internal |
Functions | |
| template<class T > | |
| static void | Minisat::Internal::append (const vec< T > &from, vec< T > &to) |
| template<class T > | |
| static void | Minisat::Internal::copy (const T &from, T &to) |
| template<class T > | |
| static void | Minisat::Internal::copy (const vec< T > &from, vec< T > &to, bool append=false) |
| template<class V , class T > | |
| static bool | Minisat::Internal::find (V &ts, const T &t) |
| template<class V , class T > | |
| static void | Minisat::Internal::remove (V &ts, const T &t) |