de.stups.probkodkod.types

Class Type

java.lang.Object

de.stups.probkodkod.types.Type

Direct Known Subclasses:

Pow2Type, SetEnabledType

public abstract class Type
extends java.lang.Object

For each registered type, an instance of this class is generated. A type stores the information which atoms represents the members of the type and how a value is printed in the output of solutions.

Field Summary

Fields

Modifier and Type	Field and Description
protected IntegerIntervall	interval

Constructor Summary

Constructors

Constructor and Description
Type(java.lang.String name, IntegerIntervall interval)

Method Summary

Methods

Modifier and Type	Method and Description
abstract int	decode(int index, Tuple tuple, TupleSet tupleSet) Writes a part of the solution to the PrologOutput
abstract int[]	encode(int element)
IntegerIntervall	getInterval()
abstract boolean	oneValueNeedsCompleteTupleSet()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

interval

protected final IntegerIntervall interval

Constructor Detail

Type

public Type(java.lang.String name,
    IntegerIntervall interval)

Method Detail

getInterval

public IntegerIntervall getInterval()

Returns:

the interval of atoms in Kodkod's universe that represent the members of this type

decode

public abstract int decode(int index,
         Tuple tuple,
         TupleSet tupleSet)

Writes a part of the solution to the PrologOutput

Parameters:

index - the index of the value to print in the tuple. E.g. if a tuple of a binary relation A<->B should be printed, this method is called for type A with index 1 and then for type B with index 2

tuple - one element of the solution that should be printed

tupleSet - the complete solution

encode

public abstract int[] encode(int element)

oneValueNeedsCompleteTupleSet

public abstract boolean oneValueNeedsCompleteTupleSet()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object