pd_basics.h File Reference

Attributes for pushdown automata. More...

#include "corefaudes.h"
#include <list>

Go to the source code of this file.

Classes

class  faudes::StackSymbolSet
 Container class to model a set of stack symbols. More...
class  faudes::StackSymbol
 Deprecated, do not use! More...

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Defines

#define FAUDES_PD_LAMBDA   "lambda"
#define FAUDES_PD_STACK_BOTTOM   "bottom"

Typedefs

typedef unsigned int faudes::uint

Detailed Description

Attributes for pushdown automata.

Definition in file pd_basics.h.


Define Documentation

#define FAUDES_PD_LAMBDA   "lambda"

Definition at line 17 of file pd_basics.h.

#define FAUDES_PD_STACK_BOTTOM   "bottom"

Definition at line 18 of file pd_basics.h.

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