Awali
Another Weighted Automata library
Data Structures | Typedefs | Enumerations | Functions
awali::dyn::context Namespace Reference

Namespace containing functions to build arbitrary automata context (advanced and mostly undocumented). More...

Data Structures

struct  abstract_weightset
 
struct  basic_weightset
 
struct  bounded_weightset
 
struct  context_description_impl
 
struct  cyclic_weightset
 
struct  labelset_description_impl
 
struct  weightset_description_impl
 
struct  WTypes
 

Typedefs

using context_description = std::shared_ptr< context_description_impl >
 
using labelset_description = std::shared_ptr< labelset_description_impl >
 
using weightset_description = std::shared_ptr< weightset_description_impl >
 

Enumerations

enum  CTypes {
  CTypes::ONESET, CTypes::NULLABLE, CTypes::LETTERSET, CTypes::INTLETTERSET,
  CTypes::WORDSET, CTypes::TUPLE
}
 

Functions

std::vector< std::string > all_weightset_public_descriptions ()
 
std::vector< std::string > all_weightset_public_static_names ()
 
std::string all_weightset_public_static_names_as_string ()
 
context_description c_desc (labelset_description ls, weightset_description ws)
 
const std::vector< abstract_weightset * > & instances ()
 
labelset_description intletterset (int a, int b)
 
labelset_description intletterset (int n)
 
bool is_promotable (weightset_description src, weightset_description dest)
 
labelset_description letterset (std::string s)
 
labelset_description ltupleset (std::vector< labelset_description > lss)
 
context_description make_context_description ()
 
labelset_description make_labelset_description ()
 
weightset_description make_weightset_description ()
 
labelset_description nullableset (labelset_description ls1)
 
labelset_description oneset ()
 
context_description parse_context (json::object_t const *jp)
 
context_description parse_context (std::istream &i)
 
labelset_description parse_labelset (json::object_t const *jp)
 
weightset_description parse_weightset (json::object_t const *jp)
 
weightset_description ratweight (context_description cd)
 
std::string tostring (context_description ct, bool dynamic)
 
std::string tostring (labelset_description ls, bool dynamic)
 
std::string tostring (weightset_description ws, bool dynamic)
 
weightset_description weightset (const std::string &k)
 
std::vector< std::string > const & weightset_promotion_public_static_names (weightset_description ws)
 
labelset_description wordset (std::string s)
 
weightset_description wtupleset (std::vector< weightset_description > wss)
 

Detailed Description

Namespace containing functions to build arbitrary automata context (advanced and mostly undocumented).


Data Structure Documentation

◆ awali::dyn::context::context_description_impl

struct awali::dyn::context::context_description_impl

◆ awali::dyn::context::labelset_description_impl

struct awali::dyn::context::labelset_description_impl
Data Fields
vector< string > alphabet
vector< labelset_description > children_
vector< int > int_alphabet
CTypes type_

◆ awali::dyn::context::weightset_description_impl

struct awali::dyn::context::weightset_description_impl
Data Fields
int characteristic
vector< weightset_description > children_
context_description ct_
int type_

Typedef Documentation

◆ context_description

◆ labelset_description

◆ weightset_description

Enumeration Type Documentation

◆ CTypes

Enumerator
ONESET 
NULLABLE 
LETTERSET 
INTLETTERSET 
WORDSET 
TUPLE 

Function Documentation

◆ all_weightset_public_descriptions()

std::vector<std::string> awali::dyn::context::all_weightset_public_descriptions ( )

◆ all_weightset_public_static_names()

std::vector<std::string> awali::dyn::context::all_weightset_public_static_names ( )

◆ all_weightset_public_static_names_as_string()

std::string awali::dyn::context::all_weightset_public_static_names_as_string ( )

◆ c_desc()

context_description awali::dyn::context::c_desc ( labelset_description  ls,
weightset_description  ws 
)

◆ instances()

const std::vector<abstract_weightset*>& awali::dyn::context::instances ( )

◆ intletterset() [1/2]

labelset_description awali::dyn::context::intletterset ( int  a,
int  b 
)

◆ intletterset() [2/2]

labelset_description awali::dyn::context::intletterset ( int  n)

◆ is_promotable()

bool awali::dyn::context::is_promotable ( weightset_description  src,
weightset_description  dest 
)

◆ letterset()

labelset_description awali::dyn::context::letterset ( std::string  s)

◆ ltupleset()

labelset_description awali::dyn::context::ltupleset ( std::vector< labelset_description lss)

◆ make_context_description()

context_description awali::dyn::context::make_context_description ( )

◆ make_labelset_description()

labelset_description awali::dyn::context::make_labelset_description ( )

◆ make_weightset_description()

weightset_description awali::dyn::context::make_weightset_description ( )

◆ nullableset()

labelset_description awali::dyn::context::nullableset ( labelset_description  ls1)

◆ oneset()

labelset_description awali::dyn::context::oneset ( )

◆ parse_context() [1/2]

context_description awali::dyn::context::parse_context ( json::object_t const *  jp)

◆ parse_context() [2/2]

context_description awali::dyn::context::parse_context ( std::istream &  i)

◆ parse_labelset()

labelset_description awali::dyn::context::parse_labelset ( json::object_t const *  jp)

◆ parse_weightset()

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

◆ ratweight()

weightset_description awali::dyn::context::ratweight ( context_description  cd)

◆ tostring() [1/3]

std::string awali::dyn::context::tostring ( context_description  ct,
bool  dynamic 
)

◆ tostring() [2/3]

std::string awali::dyn::context::tostring ( labelset_description  ls,
bool  dynamic 
)

◆ tostring() [3/3]

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

◆ weightset()

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

◆ weightset_promotion_public_static_names()

std::vector<std::string> const& awali::dyn::context::weightset_promotion_public_static_names ( weightset_description  ws)

◆ wordset()

labelset_description awali::dyn::context::wordset ( std::string  s)

◆ wtupleset()

weightset_description awali::dyn::context::wtupleset ( std::vector< weightset_description wss)