de.stups.probkodkod

Class KodkodSession

java.lang.Object

de.stups.probkodkod.KodkodSession

public class KodkodSession
extends java.lang.Object

The session contains all the information that is needed during an interaction with a client. Mainly this is a set of problems, identified by an unique string, and a set of ongoing requests.

Constructor Summary

Constructors

Constructor and Description
KodkodSession()

Method Summary

Methods

Modifier and Type	Method and Description
void	addProblem(ImmutableProblem problem, long timeout)
void	deleteProblem(ImmutableProblem problem)
ImmutableProblem	getProblem(java.lang.String problemId)
boolean	isStopped()
void	request(ImmutableProblem problem, boolean signum, java.util.Map<java.lang.String,TupleSet> newBounds)
void	reset()
void	stop()
boolean	writeNextSolutions(ImmutableProblem problem, int size, de.prob.prolog.output.IPrologTermOutput pto)

Methods inherited from class java.lang.Object

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

Constructor Detail

KodkodSession

public KodkodSession()

Method Detail

addProblem

public void addProblem(ImmutableProblem problem,
              long timeout)

deleteProblem

public void deleteProblem(ImmutableProblem problem)

request

public void request(ImmutableProblem problem,
           boolean signum,
           java.util.Map<java.lang.String,TupleSet> newBounds)

getProblem

public ImmutableProblem getProblem(java.lang.String problemId)

writeNextSolutions

public boolean writeNextSolutions(ImmutableProblem problem,
                         int size,
                         de.prob.prolog.output.IPrologTermOutput pto)

isStopped

public boolean isStopped()

stop

public void stop()

reset

public void reset()