Awali
Another Weighted Automata library
Public Member Functions | Data Fields
awali::dyn::context::labelset_description_impl Struct Reference

#include <description_types.hh>

Public Member Functions

bool is_lal () const
 
bool is_lan () const
 
bool is_lao () const
 
bool is_lat () const
 
bool is_law () const
 
bool letters_are_char () const
 
bool letters_are_int () const
 
bool operator== (labelset_description_impl const &other) const
 
size_t tape_number () const
 

Data Fields

std::vector< std::string > alphabet = {}
 
std::vector< labelset_descriptionchildren_ = {}
 
std::vector< int > int_alphabet = {}
 
CTypes type_
 

Member Function Documentation

◆ is_lal()

bool awali::dyn::context::labelset_description_impl::is_lal ( ) const

◆ is_lan()

bool awali::dyn::context::labelset_description_impl::is_lan ( ) const

◆ is_lao()

bool awali::dyn::context::labelset_description_impl::is_lao ( ) const

◆ is_lat()

bool awali::dyn::context::labelset_description_impl::is_lat ( ) const

◆ is_law()

bool awali::dyn::context::labelset_description_impl::is_law ( ) const

◆ letters_are_char()

bool awali::dyn::context::labelset_description_impl::letters_are_char ( ) const

◆ letters_are_int()

bool awali::dyn::context::labelset_description_impl::letters_are_int ( ) const

◆ operator==()

bool awali::dyn::context::labelset_description_impl::operator== ( labelset_description_impl const &  other) const

◆ tape_number()

size_t awali::dyn::context::labelset_description_impl::tape_number ( ) const

Field Documentation

◆ alphabet

std::vector<std::string> awali::dyn::context::labelset_description_impl::alphabet = {}

◆ children_

std::vector<labelset_description> awali::dyn::context::labelset_description_impl::children_ = {}

◆ int_alphabet

std::vector<int> awali::dyn::context::labelset_description_impl::int_alphabet = {}

◆ type_

CTypes awali::dyn::context::labelset_description_impl::type_

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