lala::pc::True< AD > Class Template Reference

#include <formula.hpp>

Public Types
using	A = AD
using	U = typename A::local_universe

Public Member Functions
	True ()=default
template<class A2 , class Alloc >
CUDA	True (const True< A2 > &, const Alloc &)
CUDA local::B	ask (const A &) const
CUDA local::B	nask (const A &a) const
CUDA bool	deduce (A &) const
CUDA bool	contradeduce (A &a) const
CUDA void	print (const A &a) const
template<class Env , class Allocator = typename Env::allocator_type>
CUDA TFormula< Allocator >	deinterpret (const A &, const Env &, AType, Allocator allocator=Allocator()) const
CUDA size_t	length () const

Friends
template<class A2 >
class	True

Member Typedef Documentation

A

template<class AD >

using lala::pc::True< AD >::A = AD

U

template<class AD >

using lala::pc::True< AD >::U = typename A::local_universe

Constructor & Destructor Documentation

True() [1/2]

template<class AD >

lala::pc::True< AD >::True ( )

default

True() [2/2]

template<class AD >

template<class A2 , class Alloc >

CUDA lala::pc::True< AD >::True ( const True< A2 > &  , const Alloc &    )

inline

Member Function Documentation

ask()

template<class AD >

CUDA local::B lala::pc::True< AD >::ask ( const A &  ) const

inline

nask()

template<class AD >

CUDA local::B lala::pc::True< AD >::nask ( const A &  a ) const

inline

deduce()

template<class AD >

CUDA bool lala::pc::True< AD >::deduce ( A &  ) const

inline

contradeduce()

template<class AD >

CUDA bool lala::pc::True< AD >::contradeduce ( A &  a ) const

inline

print()

template<class AD >

CUDA void lala::pc::True< AD >::print ( const A &  a ) const

inline

deinterpret()

template<class AD >

template<class Env , class Allocator = typename Env::allocator_type>

CUDA TFormula< Allocator > lala::pc::True< AD >::deinterpret ( const A &  , const Env &  , AType  , Allocator  allocator = Allocator()  ) const

inline

length()

template<class AD >

CUDA size_t lala::pc::True< AD >::length ( ) const

inline

Friends And Related Symbol Documentation

True

template<class AD >

template<class A2 >

friend class True

friend

---

The documentation for this class was generated from the following file:

• include/lala/formula.hpp