abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Alg.h File Reference
#include "Vec.h"

Go to the source code of this file.

Namespaces

 Minisat
 

Functions

template<class V , class T >
static void Minisat::remove (V &ts, const T &t)
 
template<class V , class T >
static bool Minisat::find (V &ts, const T &t)
 
template<class T >
static void Minisat::copy (const T &from, T &to)
 
template<class T >
static void Minisat::copy (const vec< T > &from, vec< T > &to, bool append=false)
 
template<class T >
static void Minisat::append (const vec< T > &from, vec< T > &to)