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

#include <description_types.hh>

Public Member Functions

bool operator== (weightset_description_impl const &other) const
 

Data Fields

int characteristic = -1
 
std::vector< weightset_descriptionchildren_ = {}
 
context_description ct_ = nullptr
 
int type_
 

Member Function Documentation

◆ operator==()

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

Field Documentation

◆ characteristic

int awali::dyn::context::weightset_description_impl::characteristic = -1

◆ children_

std::vector<weightset_description> awali::dyn::context::weightset_description_impl::children_ = {}

◆ ct_

context_description awali::dyn::context::weightset_description_impl::ct_ = nullptr

◆ type_

int awali::dyn::context::weightset_description_impl::type_

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