org.jmlspecs.samples.misc
Class LessThanN

java.lang.Object
  org.jmlspecs.samples.misc.LinearSearch
      org.jmlspecs.samples.misc.SingleSolution
          org.jmlspecs.samples.misc.LessThanN

public class LessThanN

extends SingleSolution

A search problem which is to find the first number strictly less than n (and greater than 0).

Author:

Gary T. Leavens

Field Summary

 

Fields inherited from class org.jmlspecs.samples.misc.SingleSolution

n

 

Constructor Summary

LessThanN(int n)           Initialize this search problem.

 

Method Summary
protected  String	className()
boolean	f(int j)

 

Methods inherited from class org.jmlspecs.samples.misc.SingleSolution

limit, toString

 

Methods inherited from class org.jmlspecs.samples.misc.LinearSearch

find

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

LessThanN

public LessThanN(int n)

Initialize this search problem.

f

public boolean f(int j)

Description copied from class: LinearSearch

The function that describes what is being sought.

className

protected String className()

Description copied from class: SingleSolution

A hook method for defining toString.