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