Class FloatConstant


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

    • 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 Details

    • 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 String toString()
      Specified by:
      toString in class Term