public abstract class SpecialPredicate extends FunctionalPredicate
Modifier and Type | Field and Description |
---|---|
static SpecialPredicate |
Equal
True if arguments are equal.
|
static SpecialPredicate |
NonSymmetric
True if the first argument is less than the second.
|
static SpecialPredicate |
NotEqual
True if arguments are not equal.
|
computeValue
clearForTesting, get, getArgumentType, getArity, getName, toString
public static final SpecialPredicate Equal
public static final SpecialPredicate NotEqual
public static final SpecialPredicate NonSymmetric
Copyright © 2018 University of California, Santa Cruz. All rights reserved.