RISC JKU
at.jku.risc.stout.urmc.data.atom

Class NodeFactory



  • public class NodeFactory
    extends Object
    A factory to create TermNodes, Hedges and atomic types ( TermAtoms).
    Author:
    Alexander Baumgartner
    • Field Detail

      • PREFIX_FreshHedgeVar

        public static String PREFIX_FreshHedgeVar
      • PREFIX_FreshTermVar

        public static String PREFIX_FreshTermVar
      • PREFIX_Function

        public static String PREFIX_Function
      • PREFIX_HedgeVar

        public static String PREFIX_HedgeVar
      • PREFIX_TermVar

        public static String PREFIX_TermVar
      • SUFFIX_FreshHedgeVar

        public static String SUFFIX_FreshHedgeVar
      • SUFFIX_FreshTermVar

        public static String SUFFIX_FreshTermVar
    • Constructor Detail

      • NodeFactory

        public NodeFactory()
    • Method Detail

      • addToHedge

        public void addToHedge(TermNode node)
      • obtainFreshHedgeNode

        public static TermNode obtainFreshHedgeNode()
      • obtainFreshHedgeVar

        public static HedgeVar obtainFreshHedgeVar()
      • obtainFreshTermVar

        public static TermVar obtainFreshTermVar()
      • obtainFreshTermVarNode

        public static TermNode obtainFreshTermVarNode()
      • popHedge

        public Hedge popHedge()
      • pushHedge

        public void pushHedge()
      • resetCounter

        public static void resetCounter()