FunctionMaker

public class FunctionMaker
extends java.lang.Object

Constructors
Constructor and Description
`FunctionMaker()`
`FunctionMaker(java.util.Map<java.lang.String,java.lang.Class> funNameToClass)`

Methods
Modifier and Type	Method and Description
`void`	`addFunctionClassNames()`
`Function`	`makeFunction(java.lang.String predStr, ATerm... args)`
`Function`	`makeFunction(java.lang.String predStr, java.util.Collection<? extends ATerm> args)`
`ATerm`	`parseFunction(java.lang.String func)`
`void`	`registerFunction(java.lang.String name, java.lang.Class functionClass)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public FunctionMaker(java.util.Map<java.lang.String,java.lang.Class> funNameToClass)

public Function makeFunction(java.lang.String predStr,
                    ATerm... args)

public Function makeFunction(java.lang.String predStr,
                    java.util.Collection<? extends ATerm> args)

public ATerm parseFunction(java.lang.String func)

public void registerFunction(java.lang.String name,
                    java.lang.Class functionClass)

Class FunctionMaker