Awali
Another Weighted Automata library
Public Member Functions | Static Public Member Functions
awali::dyn::transducer_t Struct Reference

#include <transducer.hh>

Public Member Functions

 transducer_t (const automaton_t &a)
 
 transducer_t (std::istream &json)
 
weight_t add_transition (state_t src, state_t dst, const std::vector< std::string > &labels)
 
weight_t add_transition (state_t src, state_t dst, const std::vector< std::string > &labels, weight_t w)
 
std::vector< std::vector< char > > alphabets ()
 
void del_transition (state_t src, state_t dst, const std::vector< std::string > &labels)
 
transition_t get_transition (state_t src, state_t dst, const std::vector< std::string > &labels)
 
bool has_transition (state_t src, state_t dst, const std::vector< std::string > &labels)
 
std::vector< transition_tin (state_t s, const std::vector< std::string > &label)
 
std::vector< std::string > label_of (transition_t tr)
 
unsigned num_tapes ()
 
 operator automaton_t ()
 
automaton_t operator-> ()
 
std::vector< transition_tout (state_t s, const std::vector< std::string > &label)
 
std::vector< state_tpredecessors (state_t s, const std::vector< std::string > &label)
 
transition_t set_transition (state_t src, state_t dst, const std::vector< std::string > &labels)
 
transition_t set_transition (state_t src, state_t dst, const std::vector< std::string > &labels, weight_t w)
 
std::vector< state_tsuccessors (state_t s, const std::vector< std::string > &label)
 

Static Public Member Functions

static transducer_t from (std::vector< std::string > alphabets, std::string weightset="B")
 

Constructor & Destructor Documentation

◆ transducer_t() [1/2]

awali::dyn::transducer_t::transducer_t ( const automaton_t a)

◆ transducer_t() [2/2]

awali::dyn::transducer_t::transducer_t ( std::istream &  json)

Member Function Documentation

◆ add_transition() [1/2]

weight_t awali::dyn::transducer_t::add_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels 
)

◆ add_transition() [2/2]

weight_t awali::dyn::transducer_t::add_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels,
weight_t  w 
)

◆ alphabets()

std::vector<std::vector<char> > awali::dyn::transducer_t::alphabets ( )

◆ del_transition()

void awali::dyn::transducer_t::del_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels 
)

◆ from()

static transducer_t awali::dyn::transducer_t::from ( std::vector< std::string >  alphabets,
std::string  weightset = "B" 
)
static

◆ get_transition()

transition_t awali::dyn::transducer_t::get_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels 
)

◆ has_transition()

bool awali::dyn::transducer_t::has_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels 
)

◆ in()

std::vector<transition_t> awali::dyn::transducer_t::in ( state_t  s,
const std::vector< std::string > &  label 
)

◆ label_of()

std::vector<std::string> awali::dyn::transducer_t::label_of ( transition_t  tr)

◆ num_tapes()

unsigned awali::dyn::transducer_t::num_tapes ( )

◆ operator automaton_t()

awali::dyn::transducer_t::operator automaton_t ( )

◆ operator->()

automaton_t awali::dyn::transducer_t::operator-> ( )

◆ out()

std::vector<transition_t> awali::dyn::transducer_t::out ( state_t  s,
const std::vector< std::string > &  label 
)

◆ predecessors()

std::vector<state_t> awali::dyn::transducer_t::predecessors ( state_t  s,
const std::vector< std::string > &  label 
)

◆ set_transition() [1/2]

transition_t awali::dyn::transducer_t::set_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels 
)

◆ set_transition() [2/2]

transition_t awali::dyn::transducer_t::set_transition ( state_t  src,
state_t  dst,
const std::vector< std::string > &  labels,
weight_t  w 
)

◆ successors()

std::vector<state_t> awali::dyn::transducer_t::successors ( state_t  s,
const std::vector< std::string > &  label 
)

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