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)