lala::Variable< Allocator > Struct Template Reference

#include <env.hpp>

Public Types
template<class T >
using	bvector = battery::vector<T, Allocator>
using	bstring = battery::string<Allocator>

Public Member Functions
	Variable (Variable< Allocator > &&)=default
	Variable (const Variable< Allocator > &)=default
CUDA NI	Variable (const bstring &name, const Sort< Allocator > &sort, AVar av, const Allocator &allocator=Allocator{})
template<class Alloc2 >
CUDA NI	Variable (const Variable< Alloc2 > &other, const Allocator &allocator=Allocator{})
CUDA NI std::optional< AVar >	avar_of (AType aty) const

Public Attributes
bstring	name
Sort< Allocator >	sort
bvector< AVar >	avars

Member Typedef Documentation

bvector

template<class Allocator >

template<class T >

using lala::Variable< Allocator >::bvector = battery::vector<T, Allocator>

bstring

template<class Allocator >

using lala::Variable< Allocator >::bstring = battery::string<Allocator>

Constructor & Destructor Documentation

Variable() [1/4]

template<class Allocator >

lala::Variable< Allocator >::Variable ( Variable< Allocator > && )

default

Variable() [2/4]

template<class Allocator >

lala::Variable< Allocator >::Variable ( const Variable< Allocator > & )

default

Variable() [3/4]

template<class Allocator >

CUDA NI lala::Variable< Allocator >::Variable ( const bstring & name, const Sort< Allocator > & sort, AVar av, const Allocator & allocator = Allocator{} )

inline

Variable() [4/4]

template<class Allocator >

template<class Alloc2 >

CUDA NI lala::Variable< Allocator >::Variable ( const Variable< Alloc2 > & other, const Allocator & allocator = Allocator{} )

inline

Member Function Documentation

avar_of()

template<class Allocator >

CUDA NI std::optional< AVar > lala::Variable< Allocator >::avar_of ( AType aty ) const

inline

Member Data Documentation

name

template<class Allocator >

bstring lala::Variable< Allocator >::name

sort

template<class Allocator >

Sort<Allocator> lala::Variable< Allocator >::sort

avars

template<class Allocator >

bvector<AVar> lala::Variable< Allocator >::avars

---

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

• include/lala/logic/env.hpp