at.jku.risc.stout.urau.data
public class InputParser<T extends Equation> extends Object
Modifier and Type | Field and Description |
---|---|
static char |
CLOSING_PARENTHESIS |
static char |
OPENING_PARENTHESIS |
static char |
VARIABLE_START
default = 'u' => A word starting with 'u-z' will become a variable.
VARIABLE_START has to be a lower case letter! Hedge variables are denoted by upper case letters. |
Constructor and Description |
---|
InputParser(EquationSystem<T> system) |
Modifier and Type | Method and Description |
---|---|
boolean |
isNameChar(int codePoint) |
void |
parseEquationSystem(String unifProblem,
PrintStream debug)
Parse the given input string and add all equations to the system.
|
void |
parseHedgeEquation(Reader leftHedge,
Reader rightHedge)
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...) |
TermNode |
parseTerm(Reader in) |
public static char CLOSING_PARENTHESIS
public static char OPENING_PARENTHESIS
public static char VARIABLE_START
public InputParser(EquationSystem<T> system)
public boolean isNameChar(int codePoint)
public void parseEquationSystem(String unifProblem, PrintStream debug) throws IOException, MalformedTermException
IOException
MalformedTermException
public void parseHedgeEquation(Reader leftHedge, Reader rightHedge) throws IOException, MalformedTermException
leftHedge
- The left sequence (s1, s2,...)rightHedge
- The right sequence (t1, t2,...)IOException
MalformedTermException
public TermNode parseTerm(Reader in) throws IOException, MalformedTermException
IOException
MalformedTermException