at.jku.risc.stout.urauc.data

Class NodeFactory

java.lang.Object

at.jku.risc.stout.urauc.data.NodeFactory

public class NodeFactory
extends Object

A factory to create TermNodes, Hedges and atomic types ( TermAtoms).

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static long	ctxVarCnt
static long	hedgeVarCnt
static String	PREFIX_Constant
static String	PREFIX_ContextVar
static String	PREFIX_FreshCtxVar
static String	PREFIX_FreshHedgeVar
static String	PREFIX_Function
static String	PREFIX_FunctionVar
static String	PREFIX_HedgeVar
static String	PREFIX_IndividualVar
static String	SUFFIX_FreshCtxVar
static String	SUFFIX_FreshHedgeVar

Constructor Summary

Constructors

Constructor and Description
NodeFactory()

Method Summary

Methods

Modifier and Type	Method and Description
void	addToHedge(TermNode node)
TermNode	createConstant(String name)
TermNode	createContextVar(String name, Hedge hedge)
TermNode	createFunction(String name, Hedge hedge)
TermNode	createFunctionVar(String name, Hedge hedge)
Hedge	createHedge(TermNode... nodes)
TermNode	createHedgeVar(String name)
TermNode	createHole(String name) Will return always the same Object.
TermNode	createIndividualVar(String name)
static TermNode	newNode(TermAtom atom, Hedge hedge)
static Variable	obtainCorrespondingCtxVar(String varName)
static String	obtainCtxVarName(String varName)
static TermNode	obtainFreeHedgeNode()
static HedgeVar	obtainFreeHedgeVar()
static String	obtainHedgeVarName(String varName)
static TermNode	obtainHole()
Hedge	popHedge()
void	pushHedge()
static void	resetCounter()
static TermNode	toHedgeNode(HedgeVar hedgeVar)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ctxVarCnt

public static long ctxVarCnt

hedgeVarCnt

public static long hedgeVarCnt

PREFIX_Constant

public static String PREFIX_Constant

PREFIX_ContextVar

public static String PREFIX_ContextVar

PREFIX_FreshCtxVar

public static String PREFIX_FreshCtxVar

PREFIX_FreshHedgeVar

public static String PREFIX_FreshHedgeVar

PREFIX_Function

public static String PREFIX_Function

PREFIX_FunctionVar

public static String PREFIX_FunctionVar

PREFIX_HedgeVar

public static String PREFIX_HedgeVar

PREFIX_IndividualVar

public static String PREFIX_IndividualVar

SUFFIX_FreshCtxVar

public static String SUFFIX_FreshCtxVar

SUFFIX_FreshHedgeVar

public static String SUFFIX_FreshHedgeVar

Constructor Detail

NodeFactory

public NodeFactory()

Method Detail

addToHedge

public void addToHedge(TermNode node)

createConstant

public TermNode createConstant(String name)

createContextVar

public TermNode createContextVar(String name,
                        Hedge hedge)

createFunction

public TermNode createFunction(String name,
                      Hedge hedge)

createFunctionVar

public TermNode createFunctionVar(String name,
                         Hedge hedge)

createHedge

public Hedge createHedge(TermNode... nodes)

createHedgeVar

public TermNode createHedgeVar(String name)

createHole

public TermNode createHole(String name)

Will return always the same Object.

createIndividualVar

public TermNode createIndividualVar(String name)

newNode

public static TermNode newNode(TermAtom atom,
               Hedge hedge)

obtainCorrespondingCtxVar

public static Variable obtainCorrespondingCtxVar(String varName)

obtainCtxVarName

public static String obtainCtxVarName(String varName)

obtainFreeHedgeNode

public static TermNode obtainFreeHedgeNode()

obtainFreeHedgeVar

public static HedgeVar obtainFreeHedgeVar()

obtainHedgeVarName

public static String obtainHedgeVarName(String varName)

obtainHole

public static TermNode obtainHole()

popHedge

public Hedge popHedge()

pushHedge

public void pushHedge()

resetCounter

public static void resetCounter()

toHedgeNode

public static TermNode toHedgeNode(HedgeVar hedgeVar)