Class SingleSolution

  extended byorg.jmlspecs.samples.misc.LinearSearch
      extended byorg.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


protected int n
The number sought.

Constructor Detail


public SingleSolution(int n)
Initialize this search problem.

Method Detail


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.


public String toString()
toString in class Object


protected abstract String className()
A hook method for defining toString.


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.