Package hydra.lib.math

Class AddFloat64

  • public class AddFloat64
extends PrimitiveFunction
    Performs addition on two float64 numbers.

    • Constructor Summary

      Constructors 
      Constructor Description
      AddFloat64()  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.function.Function<java.lang.Double,​java.lang.Double> apply​(java.lang.Double augend)
      Adds two float64 numbers.
      static java.lang.Double apply​(java.lang.Double augend, java.lang.Double addend)
      Adds two float64 numbers.
      protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<InferenceContext,​java.util.function.Function<Graph,​Either<Error_,​Term>>>> implementation()
      Provides the implementation of this function.
      Name name()
      Gets the name of this primitive function.
      TypeScheme type()
      Gets the type scheme for this function.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • AddFloat64

        public AddFloat64()

    • Method Detail

      • name

        public Name name()
        Gets the name of this primitive function.
        Specified by:
        name in class PrimitiveFunction
        Returns:
        the function name

      • implementation

        protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<InferenceContext,​java.util.function.Function<Graph,​Either<Error_,​Term>>>> implementation()
        Provides the implementation of this function.
        Specified by:
        implementation in class PrimitiveFunction
        Returns:
        a function that maps terms to a flow of terms

      • apply

        public static java.util.function.Function<java.lang.Double,​java.lang.Double> apply​(java.lang.Double augend)
        Adds two float64 numbers.
        Parameters:
        augend - the augend
        Returns:
        the sum

      • apply

        public static java.lang.Double apply​(java.lang.Double augend,
                                     java.lang.Double addend)
        Adds two float64 numbers.
        Parameters:
        augend - the augend
        addend - the addend
        Returns:
        the sum