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:

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 & tostring (weightset_description ws, bool dynamic) const override
- Public Member Functions inherited from awali::dyn::context::abstract_weightset
 abstract_weightset (const std::string &public_name, const std::string &desc)
virtual ~abstract_weightset ()
int getIndex () const
virtual const std::string & static_desc () const
virtual const std::string & static_public_name () 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
- Protected Attributes inherited from awali::dyn::context::abstract_weightset
const std::string desc
const std::string public_name

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 ( )

Member Function Documentation

◆ fromstring()

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

◆ is_promotable_to()

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

◆ parse_weightset()

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

◆ possible_promotions()

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

◆ tostring()

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

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