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

#include <description_types.hh>

Public Member Functions

labelset_description labelset () const
 
bool operator== (context_description_impl const &other) const
 
weightset_description weightset () const
 

Data Fields

labelset_description ls_
 
weightset_description ws_
 

Member Function Documentation

◆ labelset()

labelset_description awali::dyn::context::context_description_impl::labelset ( ) const

◆ operator==()

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

◆ weightset()

weightset_description awali::dyn::context::context_description_impl::weightset ( ) const

Field Documentation

◆ ls_

labelset_description awali::dyn::context::context_description_impl::ls_

◆ ws_

weightset_description awali::dyn::context::context_description_impl::ws_

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