MAiNGO
maingo::ProgramParser Class Reference

Parser specialization for parsing a maingo::Program. More...

#include <programParser.h>

Inheritance diagram for maingo::ProgramParser:

Public Member Functions

 ProgramParser (std::istream &, ale::symbol_table &)
 
void parse (Program &)
 

Private Member Functions

void parse_definitions ()
 
void parse_objective (Program &)
 
void parse_constraints (Program &)
 
void parse_relaxations (Program &)
 
void parse_squashes (Program &)
 
void parse_outputs (Program &)
 
void recover_block ()
 

Detailed Description

Parser specialization for parsing a maingo::Program.

Constructor & Destructor Documentation

◆ ProgramParser()

maingo::ProgramParser::ProgramParser ( std::istream &  input,
ale::symbol_table &  symbols 
)

Constructor taking and input and symbol_table for definitions

Member Function Documentation

◆ parse()

void maingo::ProgramParser::parse ( Program prog)

Function to parse the input to maingo::Program

◆ parse_constraints()

void maingo::ProgramParser::parse_constraints ( Program prog)
private

Function parsing a constraint block

◆ parse_definitions()

void maingo::ProgramParser::parse_definitions ( )
private

Function parsing a definition block

◆ parse_objective()

void maingo::ProgramParser::parse_objective ( Program prog)
private

Function parsing an objective block

◆ parse_outputs()

void maingo::ProgramParser::parse_outputs ( Program prog)
private

Function parsing an output block

◆ parse_relaxations()

void maingo::ProgramParser::parse_relaxations ( Program prog)
private

Function parsing a relaxation-only constraint block

◆ parse_squashes()

void maingo::ProgramParser::parse_squashes ( Program prog)
private

Function parsing a squash constraint block

◆ recover_block()

void maingo::ProgramParser::recover_block ( )
private

Function to recover from an error in block syntax


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