Awali
Another Weighted Automata library
|
#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_ |
labelset_description awali::dyn::context::context_description_impl::labelset | ( | ) | const |
bool awali::dyn::context::context_description_impl::operator== | ( | context_description_impl const & | other | ) | const |
weightset_description awali::dyn::context::context_description_impl::weightset | ( | ) | const |
labelset_description awali::dyn::context::context_description_impl::ls_ |
weightset_description awali::dyn::context::context_description_impl::ws_ |