JML

org.jmlspecs.samples.misc
Class SingleSolution

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

n

protected int n
The number sought.

Constructor Detail

SingleSolution

public SingleSolution(int n)
Initialize this search problem.

Method Detail

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.


JML

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.