Class FloatConstant


  • public class FloatConstant
    extends Constant
    This class encapsulates a float as a term.
    Author:
    Matthias Thimm
    • Constructor Detail

      • FloatConstant

        public FloatConstant​(float f)
        Creates a new Float.
        Parameters:
        f - a float.
      • FloatConstant

        public FloatConstant​(double f)
        Creates a new Float.
        Parameters:
        f - a double.
    • Method Detail

      • getValue

        public double getValue()
        Get the value of this float.
        Returns:
        the value of this float.
      • isInteger

        public boolean isInteger()
        Description copied from class: Term
        Checks whether this term represents an integer value.
        Specified by:
        isInteger in class Term
        Returns:
        "true" iff this term represents an integer value.
      • toString

        public java.lang.String toString()
        Specified by:
        toString in class Term