edu.ucdavis.rj
Class Common2.Smallest

java.lang.Object
  edu.ucdavis.rj.InniArm.By
      edu.ucdavis.rj.Common2
          edu.ucdavis.rj.Common2.Smallest

Enclosing class:

Common2

public static class Common2.Smallest
extends Common2

Nested Class Summary

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

Common2.Largest, Common2.Smallest

Field Summary

Fields inherited from class edu.ucdavis.rj.Common2

exprPos

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

q

Constructor Summary

Common2.Smallest(int exprPos)

Method Summary

int	compareTo(java.lang.Comparable o1, java.lang.Comparable o2)
java.lang.Object	expr(Invocation inv) Expression applied to an invocation to determine the invocation's `rank'.

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

compareTo, setQuantifiers

Methods inherited from class java.lang.Object

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

Constructor Detail

Common2.Smallest

public Common2.Smallest(int exprPos)

Method Detail

expr

public java.lang.Object 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)