pd_alg_opt.cpp File Reference
functions for optimizations
More...
#include "pd_alg_opt.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.cpp.