de.stups.probkodkod.types

Class SetEnabledType

java.lang.Object

de.stups.probkodkod.types.Type

de.stups.probkodkod.types.SetEnabledType

Direct Known Subclasses:

AtomsType, IntsetType

public abstract class SetEnabledType
extends Type

Field Summary

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

interval

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
int[]	encode(int element)
abstract int	encodeElement(int element)
boolean	oneValueNeedsCompleteTupleSet()

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

decode, getInterval, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SetEnabledType

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

Method Detail

oneValueNeedsCompleteTupleSet

public final boolean oneValueNeedsCompleteTupleSet()

Specified by:

oneValueNeedsCompleteTupleSet in class Type

encodeElement

public abstract int encodeElement(int element)

encode

public final int[] encode(int element)

Specified by:

encode in class Type