public abstract static class InniArm.By extends java.lang.Object implements Quantifiable
Quantifiable.Helper
Modifier and Type | Field and Description |
---|---|
Quantifiers |
q
Value of quantifiers, if any, are accessible via this field.
|
Constructor and Description |
---|
InniArm.By() |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(java.lang.Comparable o1,
java.lang.Comparable o2)
Comparison method used to compare two invocations'
ranks.
|
abstract java.lang.Comparable |
expr(Invocation inv)
Expression applied to an invocation to determine
the invocation's `rank'.
|
void |
setQuantifiers(Quantifiers q)
Sets quantifiers.
|
public Quantifiers q
public abstract java.lang.Comparable expr(Invocation inv)
inv
- The invocation.public int compareTo(java.lang.Comparable o1, java.lang.Comparable o2)
expr(edu.ucdavis.rj.Invocation)
.
This method may be overridden, but generally it won't need to be.
(But, see Common.Largest
).o1
- First rank.o2
- Second rank.compareTo
(Comparable.compareTo(T)
).public void setQuantifiers(Quantifiers q)
Quantifiable
setQuantifiers
in interface Quantifiable
q
- The quantifiers.