Package hydra.lib.equality

Class GteInt32

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.equality.EqualityFunction<java.lang.Integer>

hydra.lib.equality.GteInt32

public class GteInt32
extends EqualityFunction<java.lang.Integer>

Nested Class Summary

Nested classes/interfaces inherited from class hydra.lib.equality.EqualityFunction

EqualityFunction.Relation

Field Summary

Fields inherited from class hydra.lib.equality.EqualityFunction

criterion, expect, name, type

Constructor Summary

Constructors

Constructor	Description
GteInt32()

Method Summary

Modifier and Type	Method	Description
static java.util.function.Function<java.lang.Integer,java.lang.Boolean>	apply(java.lang.Integer second)
static java.lang.Boolean	apply(java.lang.Integer first, java.lang.Integer second)

Methods inherited from class hydra.lib.equality.EqualityFunction

implementation, name, type

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

GteInt32

public GteInt32()

Method Detail

apply

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

apply

public static java.lang.Boolean apply(java.lang.Integer first,
                                      java.lang.Integer second)