public class InputParser
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static char |
CLOSING_PARENTHESIS
The parenthesis ')' is used by default for function applications.
|
static char |
CLOSING_PARENTHESIS2
The curly (double) bracket '}' is used by default to indicate commutative
function applications.
|
static char |
OPENING_PARENTHESIS
The parenthesis '(' is used by default for function applications.
|
static char |
OPENING_PARENTHESIS2
The curly (double) bracket '{' is used by default to indicate commutative
function applications.
|
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(NodeFactory nf) |
Modifier and Type | Method and Description |
---|---|
boolean |
isEndApplication(java.io.Reader in) |
boolean |
isNameChar(int codePoint)
Override this if you want to use other/more characters.
|
boolean |
isStartApplication() |
TermGraph |
parseTermGraph(java.io.Reader in,
boolean enableCommutative)
Parses a system of recursion equations and returns a term graph.
|
public static char CLOSING_PARENTHESIS
public static char CLOSING_PARENTHESIS2
public static char OPENING_PARENTHESIS
public static char OPENING_PARENTHESIS2
public static char VARIABLE_START
public InputParser(NodeFactory nf)
public boolean isEndApplication(java.io.Reader in) throws java.io.IOException
java.io.IOException
public boolean isNameChar(int codePoint)
public boolean isStartApplication()
public TermGraph parseTermGraph(java.io.Reader in, boolean enableCommutative) throws java.io.IOException, MalformedTermException
java.io.IOException
MalformedTermException