Awali
Another Weighted Automata library
Public Member Functions | Data Fields | Static Public Attributes | Protected Attributes
awali::dyn::context::abstract_weightset Struct Referenceabstract

#include <abstract_weightset.hh>

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

Public Member Functions

 abstract_weightset (const std::string &public_name, const std::string &desc)
 
virtual ~abstract_weightset ()
 
virtual weightset_description fromstring (const std::string &k) const =0
 
int getIndex () const
 
virtual bool is_promotable_to (weightset_description ws) const =0
 
virtual weightset_description parse_weightset (json::object_t const *i) const =0
 
virtual std::vector< std::string > const & possible_promotions () const
 
virtual const std::string & static_desc () const
 
virtual const std::string & static_public_name () const
 
virtual const std::string & tostring (weightset_description ws, bool dynamic) const =0
 

Data Fields

const int index
 

Static Public Attributes

static int counter
 

Protected Attributes

const std::string desc
 
const std::string public_name
 

Constructor & Destructor Documentation

◆ abstract_weightset()

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

◆ ~abstract_weightset()

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

Member Function Documentation

◆ fromstring()

virtual weightset_description awali::dyn::context::abstract_weightset::fromstring ( const std::string &  k) const
pure virtual

◆ getIndex()

int awali::dyn::context::abstract_weightset::getIndex ( ) const

◆ is_promotable_to()

virtual bool awali::dyn::context::abstract_weightset::is_promotable_to ( weightset_description  ws) const
pure virtual

◆ parse_weightset()

virtual weightset_description awali::dyn::context::abstract_weightset::parse_weightset ( json::object_t const *  i) const
pure virtual

◆ possible_promotions()

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

◆ static_desc()

virtual const std::string& awali::dyn::context::abstract_weightset::static_desc ( ) const
virtual

◆ static_public_name()

virtual const std::string& awali::dyn::context::abstract_weightset::static_public_name ( ) const
virtual

◆ tostring()

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

Field Documentation

◆ counter

int awali::dyn::context::abstract_weightset::counter
static

◆ desc

const std::string awali::dyn::context::abstract_weightset::desc
protected

◆ index

const int awali::dyn::context::abstract_weightset::index

◆ public_name

const std::string awali::dyn::context::abstract_weightset::public_name
protected

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