Class Pow

    • Constructor Summary

      Constructors 
      Constructor Description
      Pow()  
    • 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 x)
      Computes base^exponent.
      static java.lang.Double apply​(java.lang.Double x, java.lang.Double y)
      Computes base^exponent.
      protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<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

      • Pow

        public Pow()
    • 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<Context,​java.util.function.Function<Graph,​Either<InContext<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 x)
        Computes base^exponent.
        Parameters:
        x - the base
        Returns:
        the result
      • apply

        public static java.lang.Double apply​(java.lang.Double x,
                                             java.lang.Double y)
        Computes base^exponent.
        Parameters:
        x - the base
        y - the exponent
        Returns:
        the result