de.stups.probkodkod.types

Class Pow2Type

java.lang.Object

de.stups.probkodkod.types.Type

de.stups.probkodkod.types.Pow2Type

public class Pow2Type
extends Type

This type represents those integers that are represented by a set of powers of 2.

Field Summary

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

interval

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
int	decode(int index, Tuple firsttuple, TupleSet tupleSet) Writes a part of the solution to the PrologOutput
int[]	encode(int element)
boolean	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

Pow2Type

public Pow2Type(java.lang.String name,
        IntegerIntervall interval,
        int[] powers)

Method Detail

decode

public int decode(int index,
         Tuple firsttuple,
         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

firsttuple - one element of the solution that should be printed

tupleSet - the complete solution

oneValueNeedsCompleteTupleSet

public boolean oneValueNeedsCompleteTupleSet()

Specified by:

oneValueNeedsCompleteTupleSet in class Type

encode

public int[] encode(int element)

Specified by:

encode in class Type