org.jmlspecs.samples.misc
Class SingleSolution

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

Direct Known Subclasses:

EqualsN, LessThanN

public abstract class SingleSolution

extends LinearSearch

A class of search problems for which there is one solution.

Field Summary
protected  int	n           The number sought.

 

Constructor Summary

SingleSolution(int n)           Initialize this search problem.

 

Method Summary
protected abstract  String	className()           A hook method for defining toString.
int	limit()
String	toString()

 

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

f, find

 

Methods inherited from class java.lang.Object

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

 

Field Detail

n

protected int n

The number sought.

SingleSolution

public SingleSolution(int n)

Initialize this search problem.

limit

public int limit()

Description copied from class: LinearSearch

The last integer in the search space, this describes the domain of f, which goes from 0 to the result.

toString

public String toString()

Overrides:

toString in class Object

className

protected abstract String className()

A hook method for defining toString.