public class NodeFactory extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PREFIX_FreshHedgeVar |
static String |
PREFIX_FreshTermVar |
static String |
PREFIX_Function |
static String |
PREFIX_HedgeVar |
static String |
PREFIX_TermVar |
static String |
SUFFIX_FreshHedgeVar |
static String |
SUFFIX_FreshTermVar |
Constructor and Description |
---|
NodeFactory() |
Modifier and Type | Method and Description |
---|---|
void |
addToHedge(TermNode node) |
Collection<TermNode> |
collectHedgeVars() |
Collection<TermNode> |
collectTermVars() |
TermNode |
createConstant(String name) |
TermNode |
createFunction(String name,
Hedge hedge) |
Hedge |
createHedge(TermNode... nodes) |
TermNode |
createHedgeVar(String name) |
TermNode |
createTermVar(String name) |
static TermNode |
obtainFreshHedgeNode() |
static HedgeVar |
obtainFreshHedgeVar() |
static TermVar |
obtainFreshTermVar() |
static TermNode |
obtainFreshTermVarNode() |
Hedge |
popHedge() |
void |
pushHedge() |
static void |
resetCounter() |
public static String PREFIX_FreshHedgeVar
public static String PREFIX_FreshTermVar
public static String PREFIX_Function
public static String PREFIX_HedgeVar
public static String PREFIX_TermVar
public static String SUFFIX_FreshHedgeVar
public static String SUFFIX_FreshTermVar
public void addToHedge(TermNode node)
public Collection<TermNode> collectHedgeVars()
public Collection<TermNode> collectTermVars()
public static TermNode obtainFreshHedgeNode()
public static HedgeVar obtainFreshHedgeVar()
public static TermVar obtainFreshTermVar()
public static TermNode obtainFreshTermVarNode()
public Hedge popHedge()
public void pushHedge()
public static void resetCounter()