edu.ucdavis.rj

Class Common.Largest

java.lang.Object

edu.ucdavis.rj.InniArm.By

edu.ucdavis.rj.Common

edu.ucdavis.rj.Common.Largest

All Implemented Interfaces:

Quantifiable

Enclosing class:

Common

public static class Common.Largest
extends Common

Do invocation selection on the exprPos'th parameter in largest order first. E.g., for JR's inni f(x,y,z) by -y, use Largest(1).

Nested Class Summary

Nested classes/interfaces inherited from class edu.ucdavis.rj.Common

Common.Largest, Common.Smallest

Nested classes/interfaces inherited from interface edu.ucdavis.rj.Quantifiable

Quantifiable.Helper

Field Summary

Fields inherited from class edu.ucdavis.rj.Common

exprPos

Fields inherited from class edu.ucdavis.rj.InniArm.By

q

Constructor Summary

Constructors

Constructor and Description
Largest(int exprPos)

Method Summary

Modifier and Type	Method and Description
int	compareTo(java.lang.Comparable o1, java.lang.Comparable o2) Comparison method used to compare two invocations' ranks.
java.lang.Comparable	expr(Invocation inv) Expression applied to an invocation to determine the invocation's `rank'.

Methods inherited from class edu.ucdavis.rj.InniArm.By

setQuantifiers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Largest

public Largest(int exprPos)

Method Detail

expr

public java.lang.Comparable expr(Invocation inv)

Description copied from class: InniArm.By

Expression applied to an invocation to determine the invocation's `rank'.

Specified by:

expr in class InniArm.By

Parameters:

inv - The invocation.

Returns:

The invocation's `rank'.

compareTo

public int compareTo(java.lang.Comparable o1,
                     java.lang.Comparable o2)

Description copied from class: InniArm.By

Comparison method used to compare two invocations' ranks. The specific types of the two ranks are the same, i.e., the type returned by InniArm.By.expr(edu.ucdavis.rj.Invocation). This method may be overridden, but generally it won't need to be. (But, see Common.Largest).

Overrides:

compareTo in class InniArm.By

Parameters:

o1 - First rank.

o2 - Second rank.

Returns:

The result of comparing the two ranks. Its value is the usual value for compareTo (Comparable.compareTo(T)).