#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) |