Package hydra.lib.math

Class Sub

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.math.Sub

public class Sub
extends PrimitiveFunction

Constructor Summary

Constructors

Constructor	Description
Sub()

Method Summary

Modifier and Type	Method	Description
static java.util.function.Function<java.lang.Integer,java.lang.Integer>	apply(java.lang.Integer minuend)
static java.lang.Integer	apply(java.lang.Integer minuend, java.lang.Integer subtrahend)
protected java.util.function.Function<java.util.List<Term>,Flow<Graph,Term>>	implementation()	A dynamic/interpreted implementation of the function
Name	name()	The unique name of the primitive function
TypeScheme	type()	The datatype of the primitive function

Methods inherited from class hydra.tools.PrimitiveFunction

term, toNative

Methods inherited from class java.lang.Object

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

Constructor Detail

Sub

public Sub()

Method Detail

name

public Name name()

Description copied from class: PrimitiveFunction

The unique name of the primitive function

Specified by:

name in class PrimitiveFunction

type

public TypeScheme type()

Description copied from class: PrimitiveFunction

The datatype of the primitive function

Specified by:

type in class PrimitiveFunction

implementation

protected java.util.function.Function<java.util.List<Term>,Flow<Graph,Term>> implementation()

Description copied from class: PrimitiveFunction

A dynamic/interpreted implementation of the function

Specified by:

implementation in class PrimitiveFunction

apply

public static java.util.function.Function<java.lang.Integer,java.lang.Integer> apply(java.lang.Integer minuend)

apply

public static java.lang.Integer apply(java.lang.Integer minuend,
                                      java.lang.Integer subtrahend)