vstore.hpp File Reference

#include "logic/logic.hpp"
#include "universes/arith_bound.hpp"
#include "abstract_deps.hpp"
#include <optional>

Go to the source code of this file.

Classes
struct	lala::NonAtomicExtraction
struct	lala::AtomicExtraction
class	lala::VStore< U, Allocator >
struct	lala::VStore< U, Allocator >::var_dom< Alloc >

Namespaces
namespace	lala

Functions
template<class L , class K , class Alloc >
CUDA auto	lala::fmeet (const VStore< L, Alloc > &a, const VStore< K, Alloc > &b)
template<class L , class K , class Alloc >
CUDA auto	lala::fjoin (const VStore< L, Alloc > &a, const VStore< K, Alloc > &b)
template<class L , class K , class Alloc1 , class Alloc2 >
CUDA bool	lala::operator< (const VStore< L, Alloc1 > &a, const VStore< K, Alloc2 > &b)
template<class L , class K , class Alloc1 , class Alloc2 >
CUDA bool	lala::operator> (const VStore< L, Alloc1 > &a, const VStore< K, Alloc2 > &b)
template<class L , class K , class Alloc1 , class Alloc2 >
CUDA bool	lala::operator== (const VStore< L, Alloc1 > &a, const VStore< K, Alloc2 > &b)
template<class L , class Alloc >
std::ostream &	lala::operator<< (std::ostream &s, const VStore< L, Alloc > &vstore)