org.jmlspecs.samples.misc
Class EqualsN

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

public class EqualsN

extends SingleSolution

A search problem which is to find the number n.

Author:

Gary T. Leavens

Field Summary

 

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

n

 

Constructor Summary

EqualsN(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

EqualsN

public EqualsN(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.