at.jku.risc.stout.urau.data
public class NodeFactory extends Object
Modifier and Type | Field and Description |
---|---|
static String |
PREFIX_Constant |
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) |
TermNode |
createConstant(String name) |
TermNode |
createFunction(String name,
Hedge hedge) |
Hedge |
createHedge(TermNode... nodes) |
TermNode |
createHedgeVar(String name) |
TermNode |
createTermVar(String name) |
static TermNode |
newNode(TermAtom atom) |
static TermNode |
newNode(TermAtom atom,
Hedge hedge) |
static TermNode |
obtainFreshHedgeNode() |
static HedgeVar |
obtainFreshHedgeVar() |
static TermVar |
obtainFreshTermVar() |
static TermNode |
obtainFreshTermVarNode() |
Hedge |
popHedge() |
void |
pushHedge() |
static void |
resetCounter() |
public static String PREFIX_Constant
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 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()