Parser specialization for parsing a maingo::Program.
More...
#include <programParser.h>
Parser specialization for parsing a maingo::Program.
◆ ProgramParser()
maingo::ProgramParser::ProgramParser |
( |
std::istream & |
input, |
|
|
ale::symbol_table & |
symbols |
|
) |
| |
Constructor taking and input and symbol_table for definitions
◆ parse()
void maingo::ProgramParser::parse |
( |
Program & |
prog | ) |
|
◆ 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: