public class ParserFactory
extends java.lang.Object
Constructor and Description |
---|
ParserFactory() |
Modifier and Type | Method and Description |
---|---|
static IParser |
createParser(IOperatorManager op,
java.lang.String theory)
creating a Parser specifing how to handle operators
and what text to parse
|
static IParser |
createParser(IOperatorManager op,
java.lang.String theory,
java.util.HashMap<Term,java.lang.Integer> mapping)
creating a Parser specifing how to handle operators
and what text to parse
|
static IParser |
createParser(java.lang.String theory)
Creating a parser with default operator interpretation
|
static IParser |
createParser(java.lang.String theory,
java.util.HashMap<Term,java.lang.Integer> mapping)
creating a parser with default operator interpretation
|
public static IParser createParser(java.lang.String theory)
public static IParser createParser(java.lang.String theory, java.util.HashMap<Term,java.lang.Integer> mapping)
public static IParser createParser(IOperatorManager op, java.lang.String theory)
public static IParser createParser(IOperatorManager op, java.lang.String theory, java.util.HashMap<Term,java.lang.Integer> mapping)