Teuchos_Grammar.hpp

#ifndef TEUCHOS_GRAMMAR_HPP
#define TEUCHOS_GRAMMAR_HPP
 
#include <string>
#include <vector>
 
#include <Teuchos_RCP.hpp>
 
namespace Teuchos {
 
/* convention: symbols are numbered with all
   terminal symbols first, all non-terminal symbols after */
 
struct Grammar {
  typedef std::vector<int> RHS;
  struct Production {
    int lhs;
    RHS rhs;
  };
  typedef std::vector<Production> Productions;
  int nsymbols;
  int nterminals;
  Productions productions;
  std::vector<std::string> symbol_names;
};
 
typedef RCP<const Grammar> GrammarPtr;
 
int get_nnonterminals(Grammar const& g);
bool is_terminal(Grammar const& g, int symbol);
bool is_nonterminal(Grammar const& g, int symbol);
int as_nonterminal(Grammar const& g, int symbol);
int find_goal_symbol(Grammar const& g);
void add_end_terminal(Grammar& g);
int get_end_terminal(Grammar const& g);
void add_accept_production(Grammar& g);
int get_accept_production(Grammar const& g);
int get_accept_nonterminal(Grammar const& g);
 
std::ostream& operator<<(std::ostream& os, Grammar const& g);
 
}
 
#endif