Lattice land propagators completion library
Public Types | Public Member Functions | Friends | List of all members
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 Function Documentation

◆ True

template<class AD >
template<class A2 >
friend class True
friend
The documentation for this class was generated from the following file: