Lattice land propagators completion library
Loading...
Searching...
No Matches
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 Symbol Documentation

◆ False

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