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.

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