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.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen