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

#include <terms.hpp>

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

Public Member Functions
CUDA	Variable ()
CUDA	Variable (AVar avar)
	Variable (Variable< A > &&other)=default
Variable< A > &	operator= (Variable< A > &&other)=default
template<class A2 , class Alloc >
CUDA	Variable (const Variable< A2 > &other, const Alloc &)
CUDA bool	embed (A &a, const U &u) const
CUDA void	project (const A &a, U &r) 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 &env, AType, Allocator allocator=Allocator()) const
CUDA size_t	length () const

Friends
template<class A2 >
class	Variable

Member Typedef Documentation

A

template<class AD >

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

U

template<class AD >

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

Constructor & Destructor Documentation

Variable() [1/4]

template<class AD >

CUDA lala::pc::Variable< AD >::Variable ( )

inline

Variable() [2/4]

template<class AD >

CUDA lala::pc::Variable< AD >::Variable ( AVar avar )

inline

Variable() [3/4]

template<class AD >

lala::pc::Variable< AD >::Variable ( Variable< A > && other )

default

Variable() [4/4]

template<class AD >

template<class A2 , class Alloc >

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

inline

Member Function Documentation

operator=()

template<class AD >

Variable< A > & lala::pc::Variable< AD >::operator= ( Variable< A > && other )

default

embed()

template<class AD >

CUDA bool lala::pc::Variable< AD >::embed ( A & a, const U & u ) const

inline

project()

template<class AD >

CUDA void lala::pc::Variable< AD >::project ( const A & a, U & r ) const

inline

print()

template<class AD >

CUDA void lala::pc::Variable< 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::Variable< AD >::deinterpret ( const A & , const Env & env, AType , Allocator allocator = Allocator() ) const

inline

length()

template<class AD >

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

inline

Friends And Related Symbol Documentation

Variable

template<class AD >

template<class A2 >

friend class Variable

friend

---

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

• include/lala/terms.hpp