public class NodeFactory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
char |
PREFIX_FreshHedgeVar |
char |
PREFIX_FreshTermVar |
long |
varCnt |
Constructor and Description |
---|
NodeFactory() |
Modifier and Type | Method and Description |
---|---|
void |
addToHedge(Variable node) |
FunctionApplication |
createConstant(java.lang.String name) |
FunctionApplication |
createFunction(java.lang.String name,
java.util.List<Variable> hedge) |
Variable |
createHedgeVar(java.lang.String name) |
Variable |
createTermVar(java.lang.String name) |
FunctionSymbol |
getFunctionSymbol(java.lang.String name) |
HedgeVar |
obtainFreshHedgeVar()
Fresh variables are not cached.
|
TermVar |
obtainFreshTermVar()
Fresh variables are not cached.
|
java.util.List<Variable> |
popHedge() |
void |
pushHedge() |
void |
setCommutative(java.lang.String... symbolNames) |
public char PREFIX_FreshHedgeVar
public char PREFIX_FreshTermVar
public long varCnt
public void addToHedge(Variable node)
public FunctionApplication createConstant(java.lang.String name)
public FunctionApplication createFunction(java.lang.String name, java.util.List<Variable> hedge)
public Variable createHedgeVar(java.lang.String name) throws MalformedTermException
MalformedTermException
public Variable createTermVar(java.lang.String name) throws MalformedTermException
MalformedTermException
public FunctionSymbol getFunctionSymbol(java.lang.String name)
public HedgeVar obtainFreshHedgeVar()
public TermVar obtainFreshTermVar()
public java.util.List<Variable> popHedge()
public void pushHedge()
public void setCommutative(java.lang.String... symbolNames)