public class InputParser 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(UnifProblem system,
NodeFactory nodeFactory) |
Modifier and Type | Method and Description |
---|---|
boolean |
isNameChar(int codePoint) |
void |
parseEqSystem(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(UnifProblem system, NodeFactory nodeFactory)
public boolean isNameChar(int codePoint)
public void parseEqSystem(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