Package hydra.lib.equality

Class EqualBigint

java.lang.Object

hydra.tools.PrimitiveFunction

hydra.lib.equality.EqualityFunction<java.math.BigInteger>

hydra.lib.equality.EqualBigint

public class EqualBigint
extends EqualityFunction<java.math.BigInteger>

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
EqualBigint()

Method Summary

Modifier and Type	Method	Description
static java.util.function.Function<java.math.BigInteger,java.lang.Boolean>	apply(java.math.BigInteger second)
static java.lang.Boolean	apply(java.math.BigInteger first, java.math.BigInteger 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

EqualBigint

public EqualBigint()

Method Detail

apply

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

apply

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