Vcsn
2.2
Be Rational
|
Abstract Builder (the design pattern) for automata. More...
#include <edit-automaton.hh>
Public Types | |
using | string_t = symbol |
Public Member Functions | |
virtual | ~automaton_editor () |
virtual void | add_initial (string_t s, string_t w)=0 |
virtual void | add_final (string_t s, string_t w)=0 |
virtual void | add_state (string_t s)=0 |
Register the existence of state named s. More... | |
virtual void | add_pre (string_t s)=0 |
Declare that s denotes the preinitial state in entries. More... | |
virtual void | add_post (string_t s)=0 |
Declare that s denotes the postfinal state in entries. More... | |
virtual void | add_entry (string_t src, string_t dst, string_t entry)=0 |
Add an entry from src to dst, with value entry. More... | |
virtual void | add_transition (string_t src, string_t dst, string_t label, string_t weight=string_t{})=0 |
Add a transition from src to dst. More... | |
virtual bool | open (bool o)=0 |
Whether unknown letters should be added, or rejected. More... | |
virtual dyn::automaton | result ()=0 |
The final result. More... | |
virtual void | reset ()=0 |
Forget about the current automaton, but do not free it. More... | |
void | set_separator (char c) |
Set the label separator. Defaults to '+'. More... | |
Protected Attributes | |
char | sep_ = '+' |
The label separator. More... | |
Abstract Builder (the design pattern) for automata.
Definition at line 28 of file edit-automaton.hh.
Definition at line 31 of file edit-automaton.hh.
|
inlinevirtual |
Definition at line 33 of file edit-automaton.hh.
|
pure virtual |
Add an entry from src to dst, with value entry.
Implemented in vcsn::edit_automaton< Aut >.
Implemented in vcsn::edit_automaton< Aut >.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Declare that s denotes the postfinal state in entries.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Declare that s denotes the preinitial state in entries.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Register the existence of state named s.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Add a transition from src to dst.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Whether unknown letters should be added, or rejected.
o | whether to accept |
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
Forget about the current automaton, but do not free it.
Implemented in vcsn::edit_automaton< Aut >.
|
pure virtual |
The final result.
Implemented in vcsn::edit_automaton< Aut >.
|
inline |
Set the label separator. Defaults to '+'.
Definition at line 67 of file edit-automaton.hh.
References sep_.
|
protected |
The label separator.
Definition at line 74 of file edit-automaton.hh.
Referenced by vcsn::edit_automaton< Aut >::add_entry(), and set_separator().