pd_alg_opt.h File Reference
functions for optimizations
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::TrimStackSymbols (const PushdownGenerator &pd) |
| Delete stack symbols from the generator that are not used in any of the transitions.
|
PushdownGenerator | faudes::RemoveUselessTransitions (const PushdownGenerator &pd) |
| Remove certain transitions that can never be used because their pop symbol can never be the stack top.
|
StackSymbolSet | faudes::GetPossibleStackTops (const PushdownGenerator &pd, const StateSet &examinedStates, Idx q) |
| Get all possible stack top symbols for a state.
|
Detailed Description
functions for optimizations
Definition in file pd_alg_opt.h.