de.stups.probkodkod.types

Class IntsetType

java.lang.Object

de.stups.probkodkod.types.Type

de.stups.probkodkod.types.SetEnabledType

de.stups.probkodkod.types.IntsetType

public class IntsetType
extends SetEnabledType

The type represents integers that can be used in sets.

Field Summary

Fields inherited from class de.stups.probkodkod.types.Type

interval

Constructor Summary

Constructors

Constructor and Description
IntsetType(java.lang.String name, IntegerIntervall interval, int[] values)

Method Summary

Methods

Modifier and Type	Method and Description
int	decode(int index, Tuple tuple, TupleSet tupleSet) Writes a part of the solution to the PrologOutput
int	encodeElement(int element)

Methods inherited from class de.stups.probkodkod.types.SetEnabledType

encode, oneValueNeedsCompleteTupleSet

Methods inherited from class de.stups.probkodkod.types.Type

getInterval, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

IntsetType

public IntsetType(java.lang.String name,
          IntegerIntervall interval,
          int[] values)

Method Detail

decode

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

Description copied from class: Type

Writes a part of the solution to the PrologOutput

Specified by:

decode in class Type

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

encodeElement

public int encodeElement(int element)

Specified by:

encodeElement in class SetEnabledType