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

#include <bounded_weightset.hh>

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

Public Member Functions

 bounded_weightset (const std::string &public_name, const std::string &desc)
 
weightset_description fromstring (const std::string &k) const override
 
virtual bool is_promotable_to (weightset_description ws) const override
 
virtual weightset_description parse_weightset (json::object_t const *p) const override
 
std::string const & 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 std::vector< std::string > const & possible_promotions () 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

◆ bounded_weightset()

awali::dyn::context::bounded_weightset::bounded_weightset ( const std::string &  public_name,
const std::string &  desc 
)

Member Function Documentation

◆ fromstring()

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

◆ is_promotable_to()

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

◆ parse_weightset()

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

◆ tostring()

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

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