pd_alg_nb_sub_b.h File Reference
Nonblock subfunctions, part B.
More...
#include "corefaudes.h"
#include "pd_pdgenerator.h"
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
PushdownGenerator | faudes::RenQ (const std::string word, const PushdownGenerator &pd) |
| Associates each state of the generator with an annotation.
|
PushdownGenerator | faudes::RenG (const std::string word, const PushdownGenerator &pd) |
| Adds an annotation to each stack symbol of the generator.
|
PushdownGenerator | faudes::Rep0 (const PushdownGenerator &pd) |
| Removes all edges popping lambda.
|
PushdownGenerator | faudes::Rpp (const PushdownGenerator &pd) |
| Restricts a pushdown generator to a pushdown generator with transitions that are either read (p,a,lambda,lambda,q), pop (p,lambda,x,lambda,q) or push (p,lambda,x,yx,q).
|
PushdownGenerator | faudes::Rep2 (const PushdownGenerator &pd) |
| Removes transitions popping more than one stack symbol.
|
void | faudes::PrintTransitions (const std::multimap< Transition, std::pair< std::vector< StackSymbol >, std::vector< StackSymbol > > > &transitions) |
| For debugging, prints a transitions with their pop and push attributes.
|
PushdownGenerator | faudes::Nda (const PushdownGenerator &pd) |
| Input must have passed Rpp! remodells the generator to prevent double (or multiple) acceptance of the same input string.
|
Detailed Description
Nonblock subfunctions, part B.
Definition in file pd_alg_nb_sub_b.h.