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