Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

Loading...
Searching...
No Matches
Alg.h File Reference

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)