Class ConstTpl


  • public class ConstTpl
    extends java.lang.Object
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getReal

        public long getReal()
      • getHandleIndex

        public int getHandleIndex()
      • isZero

        public boolean isZero()
      • isConstSpace

        public boolean isConstSpace()
      • isUniqueSpace

        public boolean isUniqueSpace()
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • compareTo

        public int compareTo​(ConstTpl op2)
      • changeHandleIndex

        public void changeHandleIndex​(VectorSTL<java.lang.Integer> handmap)
      • saveXml

        public void saveXml​(java.io.PrintStream s)
      • restoreXml

        public void restoreXml​(org.jdom.Element el,
                               Translate trans)