Lattice land propagators completion library
Public Types | Public Member Functions | Friends | List of all members
lala::pc::False< AD > Class Template Reference

#include <formula.hpp>

Public Types

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

Public Member Functions

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

Friends

template<class A2 >
class False
 

Member Typedef Documentation

◆ A

template<class AD >
using lala::pc::False< AD >::A = AD

◆ U

template<class AD >
using lala::pc::False< AD >::U = typename A::local_universe

Constructor & Destructor Documentation

◆ False() [1/2]

template<class AD >
lala::pc::False< AD >::False ( )
default

◆ False() [2/2]

template<class AD >
template<class A2 , class Alloc >
CUDA lala::pc::False< AD >::False ( const False< A2 > &  ,
const Alloc &   
)
inline

Member Function Documentation

◆ ask()

template<class AD >
CUDA local::B lala::pc::False< AD >::ask ( const A &  a) const
inline

◆ nask()

template<class AD >
CUDA local::B lala::pc::False< AD >::nask ( const A &  ) const
inline

◆ deduce()

template<class AD >
CUDA bool lala::pc::False< AD >::deduce ( A &  a) const
inline

◆ contradeduce()

template<class AD >
CUDA bool lala::pc::False< AD >::contradeduce ( A &  ) const
inline

◆ print()

template<class AD >
CUDA NI void lala::pc::False< AD >::print ( const A &  a) const
inline

◆ deinterpret()

template<class AD >
template<class Env , class Allocator = typename Env::allocator_type>
CUDA NI TFormula<Allocator> lala::pc::False< AD >::deinterpret ( const A &  ,
const Env &  ,
AType  ,
Allocator  allocator = Allocator() 
) const
inline

◆ length()

template<class AD >
CUDA size_t lala::pc::False< AD >::length ( ) const
inline

Friends And Related Function Documentation

◆ False

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