de.stups.probkodkod

Class Problem

java.lang.Object

de.stups.probkodkod.Problem

public class Problem
extends java.lang.Object

A Problem defines the components of a Kodkod problem description. Objects of this class are used by KodkodAnalysis to create a new problem description. As soon the definition has finished, an immutable Version of the problem is created by createImmutable() and inserted into the session (see KodkodSession).

See Also:

ImmutableProblem

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Problem.CalculatedIntegerAtoms

Constructor Summary

Constructors

Constructor and Description
Problem(java.lang.String id)

Method Summary

Methods

Modifier and Type	Method and Description
void	addRelation(java.lang.String id, boolean isExact, TupleType tupleType, TupleSet ptset)
ImmutableProblem	createImmutable()
void	createUniverse() This method should be called after registering all types and before adding any other relations.
Problem.CalculatedIntegerAtoms	getCalculatedIntegerAtoms()
Universe	getUniverse()
Relation	lookupRelation(java.lang.String id)
Type	lookupType(java.lang.String typeId)
void	registerIntegerTypes(java.lang.String pow2id, java.lang.String intsetId, IntegerIntervall intset, IntegerIntervall pow2range)
void	registerType(java.lang.String id, int size)
void	setFormula(Formula formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

Problem

public Problem(java.lang.String id)

Method Detail

setFormula

public void setFormula(Formula formula)

registerIntegerTypes

public void registerIntegerTypes(java.lang.String pow2id,
                        java.lang.String intsetId,
                        IntegerIntervall intset,
                        IntegerIntervall pow2range)

Parameters:

pow2id -

intsetId -

intset -

maxPow2 -

lookupRelation

public Relation lookupRelation(java.lang.String id)

createImmutable

public ImmutableProblem createImmutable()

registerType

public void registerType(java.lang.String id,
                int size)

lookupType

public Type lookupType(java.lang.String typeId)

addRelation

public void addRelation(java.lang.String id,
               boolean isExact,
               TupleType tupleType,
               TupleSet ptset)

createUniverse

public void createUniverse()

This method should be called after registering all types and before adding any other relations. It creates an universe consisting of enough atoms to enclose all types. This method should only be called once.

getUniverse

public Universe getUniverse()

getCalculatedIntegerAtoms

public Problem.CalculatedIntegerAtoms getCalculatedIntegerAtoms()