lala::pc::Nary< Combinator > Class Template Reference

#include <terms.hpp>

Public Types
using	this_type = Nary<Combinator>
using	allocator_type = typename Combinator::allocator_type
using	A = typename Combinator::A
using	U = typename Combinator::U
using	G = typename Combinator::G

Public Member Functions
CUDA	Nary (battery::vector< sub_type, allocator_type > &&terms)
CUDA	Nary (this_type &&other)
template<class Combinator2 >
CUDA	Nary (const Nary< Combinator2 > &other, const allocator_type &allocator)
CUDA void	project (const A &a, U &r) const
CUDA bool	embed (A &a, const U &u) 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 &a, const Env &env, AType apc, Allocator allocator=Allocator()) const
CUDA size_t	length () const

Friends
template<class Combinator2 >
class	Nary

Member Typedef Documentation

this_type

template<class Combinator >

using lala::pc::Nary< Combinator >::this_type = Nary<Combinator>

allocator_type

template<class Combinator >

using lala::pc::Nary< Combinator >::allocator_type = typename Combinator::allocator_type

A

template<class Combinator >

using lala::pc::Nary< Combinator >::A = typename Combinator::A

U

template<class Combinator >

using lala::pc::Nary< Combinator >::U = typename Combinator::U

G

template<class Combinator >

using lala::pc::Nary< Combinator >::G = typename Combinator::G

Constructor & Destructor Documentation

Nary() [1/3]

template<class Combinator >

CUDA lala::pc::Nary< Combinator >::Nary ( battery::vector< sub_type, allocator_type > && terms )

inline

Nary() [2/3]

template<class Combinator >

CUDA lala::pc::Nary< Combinator >::Nary ( this_type && other )

inline

Nary() [3/3]

template<class Combinator >

template<class Combinator2 >

CUDA lala::pc::Nary< Combinator >::Nary ( const Nary< Combinator2 > & other, const allocator_type & allocator )

inline

Member Function Documentation

project()

template<class Combinator >

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

inline

embed()

template<class Combinator >

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

inline

print()

template<class Combinator >

CUDA NI void lala::pc::Nary< Combinator >::print ( const A & a ) const

inline

deinterpret()

template<class Combinator >

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

CUDA NI TFormula< Allocator > lala::pc::Nary< Combinator >::deinterpret ( const A & a, const Env & env, AType apc, Allocator allocator = Allocator() ) const

inline

length()

template<class Combinator >

CUDA size_t lala::pc::Nary< Combinator >::length ( ) const

inline

Friends And Related Symbol Documentation

Nary

template<class Combinator >

template<class Combinator2 >

friend class Nary

friend

---

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

• include/lala/terms.hpp