Awali
Another Weighted Automata library
Public Member Functions
awali::dyn::context::basic_weightset Struct Reference

#include <basic_weightset.hh>

Inheritance diagram for awali::dyn::context::basic_weightset:
awali::dyn::context::abstract_weightset

Public Member Functions

 basic_weightset (const std::string &public_name, const std::string &class_name, std::initializer_list< std::string > pr, const std::string &desc)
 
virtual ~basic_weightset ()
 
weightset_description fromstring (const std::string &k) const override
 
bool is_promotable_to (weightset_description ws) const override
 
weightset_description parse_weightset (json::object_t const *p) const override
 
virtual std::vector< std::string > const & possible_promotions () const override
 
const std::string & static_desc () const override
 
const std::string & static_public_name () const override
 
const std::string & tostring (weightset_description ws, bool dynamic) const override
 
- Public Member Functions inherited from awali::dyn::context::abstract_weightset
 abstract_weightset ()
 
virtual ~abstract_weightset ()
 
int getIndex () const
 

Additional Inherited Members

- Data Fields inherited from awali::dyn::context::abstract_weightset
const int index
 
- Static Public Attributes inherited from awali::dyn::context::abstract_weightset
static int counter
 

Constructor & Destructor Documentation

◆ basic_weightset()

awali::dyn::context::basic_weightset::basic_weightset ( const std::string &  public_name,
const std::string &  class_name,
std::initializer_list< std::string >  pr,
const std::string &  desc 
)

◆ ~basic_weightset()

virtual awali::dyn::context::basic_weightset::~basic_weightset ( )
virtual

Member Function Documentation

◆ fromstring()

weightset_description awali::dyn::context::basic_weightset::fromstring ( const std::string &  k) const
overridevirtual

◆ is_promotable_to()

bool awali::dyn::context::basic_weightset::is_promotable_to ( weightset_description  ws) const
overridevirtual

◆ parse_weightset()

weightset_description awali::dyn::context::basic_weightset::parse_weightset ( json::object_t const *  p) const
overridevirtual

◆ possible_promotions()

virtual std::vector<std::string> const& awali::dyn::context::basic_weightset::possible_promotions ( ) const
overridevirtual

◆ static_desc()

const std::string& awali::dyn::context::basic_weightset::static_desc ( ) const
overridevirtual

◆ static_public_name()

const std::string& awali::dyn::context::basic_weightset::static_public_name ( ) const
overridevirtual

◆ tostring()

const std::string& awali::dyn::context::basic_weightset::tostring ( weightset_description  ws,
bool  dynamic 
) const
overridevirtual

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