Class Vd

    • Constructor Detail

      • Vd

        public Vd()
      • Vd

        public Vd​(Vp vp,
                  Double spec)
      • Vd

        public Vd​(Vd other)
    • Method Detail

      • clone

        public Vd clone()
        Specified by:
        clone in class Vis
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in class V
      • equals

        public boolean equals​(Object obj)
        Specified by:
        equals in class V
      • isZero

        public boolean isZero()
        Specified by:
        isZero in class Vis
      • abs

        public Vd abs()
        Specified by:
        abs in class Vis
      • plus

        public Vd plus​(Vis other)
        Specified by:
        plus in class Vis
      • minus

        public Vd minus​(Vis other)
        Specified by:
        minus in class Vis
      • pred

        public Vd pred()
        Specified by:
        pred in class Vis
      • succ

        public Vd succ()
        Specified by:
        succ in class Vis
      • times

        public Vd times​(long i)
        Specified by:
        times in class Vis
      • divideBy

        public Vd divideBy​(long i)
        Specified by:
        divideBy in class Vis
      • flooredDivideBy

        public long flooredDivideBy​(Vis divisor)
        Specified by:
        flooredDivideBy in class Vis
      • modulo

        public Vd modulo​(long i)
        Specified by:
        modulo in class Vis
      • toDouble

        public double toDouble()
        Specified by:
        toDouble in class Vis
      • getSpec

        public Double getSpec()
        Specified by:
        getSpec in class V
      • isSpec

        public boolean isSpec()
        Specified by:
        isSpec in class V
      • isValue

        public boolean isValue()
        Specified by:
        isValue in class V
      • switchToSpec

        public Vd switchToSpec()
        Specified by:
        switchToSpec in class V
      • switchToValue

        public Vd switchToValue()
        Specified by:
        switchToValue in class V
      • fromDouble

        public static Vd fromDouble​(double d,
                                    Vp vp)