Simple generator for parsing with goto tables. More...

#include <pd_gotogenerator.h>

Public Member Functions

void Transitions (const LrmTransitionMap &transitions)
 Setter for transitions.
const LrmTransitionMapTransitions () const
 Getter for transitions.
void States (const Lr1ConfigurationSetSet &states)
 Setter for config sets.
const Lr1ConfigurationSetSetStates () const
 Getter for states.
void InitState (const std::set< Lr1Configuration > &initState)
 Setter for initState.
const std::set
< Lr1Configuration > & 
InitState () const
 Getter for initState.

Private Attributes

LrmTransitionMap mTransitions
Lr1ConfigurationSetSet mStates
std::set< Lr1ConfigurationmInitState

Detailed Description

Simple generator for parsing with goto tables.

Overview

Overview

Contents

Contents

Definition at line 34 of file pd_gotogenerator.h.

Member Function Documentation

void faudes::GotoMachine::InitState ( const std::set< Lr1Configuration > &  initState)
inline

Setter for initState.

Parameters
initStatethe initStates to set

Definition at line 82 of file pd_gotogenerator.h.

const std::set<Lr1Configuration>& faudes::GotoMachine::InitState ( void  ) const
inline

Getter for initState.

Returns
the initState

Definition at line 90 of file pd_gotogenerator.h.

void faudes::GotoMachine::States ( const Lr1ConfigurationSetSet states)
inline

Setter for config sets.

Parameters
statesthe transitions to set

Definition at line 66 of file pd_gotogenerator.h.

const Lr1ConfigurationSetSet& faudes::GotoMachine::States ( void  ) const
inline

Getter for states.

Returns
the states

Definition at line 74 of file pd_gotogenerator.h.

void faudes::GotoMachine::Transitions ( const LrmTransitionMap transitions)
inline

Setter for transitions.

Parameters
transitionsthe transitions to set

Definition at line 50 of file pd_gotogenerator.h.

const LrmTransitionMap& faudes::GotoMachine::Transitions ( ) const
inline

Getter for transitions.

Returns
the transitions

Definition at line 58 of file pd_gotogenerator.h.

Member Data Documentation

std::set<Lr1Configuration> faudes::GotoMachine::mInitState
private

Definition at line 40 of file pd_gotogenerator.h.

Lr1ConfigurationSetSet faudes::GotoMachine::mStates
private

Definition at line 39 of file pd_gotogenerator.h.

LrmTransitionMap faudes::GotoMachine::mTransitions
private

Definition at line 38 of file pd_gotogenerator.h.


The documentation for this class was generated from the following file:

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen