primitive_upset.hpp File Reference

#include <type_traits>
#include <utility>
#include <cmath>
#include <iostream>
#include "../logic/logic.hpp"
#include "pre_binc.hpp"
#include "pre_finc.hpp"
#include "pre_zinc.hpp"
#include "pre_bdec.hpp"
#include "pre_fdec.hpp"
#include "pre_zdec.hpp"
#include "battery/memory.hpp"

Go to the source code of this file.

Classes
class	lala::PrimitiveUpset< PreUniverse, Mem >

Namespaces
namespace	lala
namespace	lala::local

Typedefs
template<class VT , class Mem >
using	lala::ZInc = PrimitiveUpset<PreZInc<VT>, Mem>
template<class VT , class Mem >
using	lala::ZDec = PrimitiveUpset<PreZDec<VT>, Mem>
template<class VT , class Mem >
using	lala::FInc = PrimitiveUpset<PreFInc<VT>, Mem>
template<class VT , class Mem >
using	lala::FDec = PrimitiveUpset<PreFDec<VT>, Mem>
template<class Mem >
using	lala::BInc = PrimitiveUpset<PreBInc, Mem>
template<class Mem >
using	lala::BDec = PrimitiveUpset<PreBDec, Mem>
using	lala::local::ZInc = ::lala::ZInc<int, battery::local_memory>
using	lala::local::ZDec = ::lala::ZDec<int, battery::local_memory>
using	lala::local::FInc = ::lala::FInc<double, battery::local_memory>
using	lala::local::FDec = ::lala::FDec<double, battery::local_memory>
using	lala::local::BInc = ::lala::BInc<battery::local_memory>
using	lala::local::BDec = ::lala::BDec<battery::local_memory>

Functions
template<class LDual , class L >
CUDA constexpr LDual	lala::dual (const L &x)
template<class Pre , class M1 , class M2 >
CUDA constexpr PrimitiveUpset< Pre, battery::local_memory >	lala::join (const PrimitiveUpset< Pre, M1 > &a, const PrimitiveUpset< Pre, M2 > &b)
template<class Pre , class M1 , class M2 >
CUDA constexpr PrimitiveUpset< Pre, battery::local_memory >	lala::meet (const PrimitiveUpset< Pre, M1 > &a, const PrimitiveUpset< Pre, M2 > &b)
template<class Pre , class M1 , class M2 >
CUDA constexpr bool	lala::operator< (const PrimitiveUpset< Pre, M1 > &a, const PrimitiveUpset< Pre, M2 > &b)
template<class Pre , class M1 , class M2 >
CUDA constexpr bool	lala::operator> (const PrimitiveUpset< Pre, M1 > &a, const PrimitiveUpset< Pre, M2 > &b)
template<class Pre , class M1 , class M2 >
CUDA constexpr bool	lala::operator== (const PrimitiveUpset< Pre, M1 > &a, const PrimitiveUpset< Pre, M2 > &b)
template<class Pre , class M >
std::ostream &	lala::operator<< (std::ostream &s, const PrimitiveUpset< Pre, M > &upset)