public class ParserBasic
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ATerm |
parseFunction(java.lang.String func,
java.util.Map<java.lang.String,java.lang.Class> funNameToClass) |
static java.util.Map<java.lang.String,java.lang.Class> |
predeclaredFunctions() |
static java.lang.String |
prettyString(java.lang.String function) |
public static java.util.Map<java.lang.String,java.lang.Class> predeclaredFunctions()
public static ATerm parseFunction(java.lang.String func, java.util.Map<java.lang.String,java.lang.Class> funNameToClass)
public static java.lang.String prettyString(java.lang.String function)