de.stups.probkodkod

Class Request

java.lang.Object

de.stups.probkodkod.Request

public final class Request
extends java.lang.Object

A request stores the information about a ongoing query in the current session. Mainly objects of this class store which variables have to be send to the client and an iterator over the solutions of the kodkod solver.

Constructor Summary

Constructors

Constructor and Description
Request(RelationInfo[] variables, java.util.Iterator<Solution> iterator)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Map<java.lang.String,TupleSet>	nextSolution()
boolean	writeNextSolutions(de.prob.prolog.output.IPrologTermOutput pto, int max) Writes the next solutions to the output stream.

Methods inherited from class java.lang.Object

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

Constructor Detail

Request

public Request(RelationInfo[] variables,
       java.util.Iterator<Solution> iterator)

Method Detail

nextSolution

public java.util.Map<java.lang.String,TupleSet> nextSolution()

writeNextSolutions

public boolean writeNextSolutions(de.prob.prolog.output.IPrologTermOutput pto,
                         int max)

Writes the next solutions to the output stream.

Parameters:

writer - the output stream

max - maximum number of solutions to write to the stream

Returns:

true if there are possibly more solutions, false if all solutions have been send to the stream