pd_attributes.h File Reference

Attributes for pushdown automata. More...

#include "corefaudes.h"
#include "pd_basics.h"
#include "pd_merge.h"
#include <utility>

Go to the source code of this file.

Classes
class	faudes::AttributePushdownState
	State attribute with substates. More...
class	faudes::AttributePushdownTransition
class	faudes::AttributePushdownGlobal
	Global attribute with stack alphabet and stack bottom. More...
Namespaces
namespace	faudes
	libFAUDES resides within the namespace faudes.
Typedefs
typedef std::set< std::pair < std::vector< Idx > , std::vector< Idx > > >	faudes::PopPushSet
	Transition attribute with pop and push.

---

Detailed Description

Attributes for pushdown automata.

Definition in file pd_attributes.h.