Class CardinalityDomain

java.lang.Object

tools.refinery.logic.term.cardinalityinterval.CardinalityDomain

All Implemented Interfaces:

AbstractDomain<CardinalityInterval, Integer>, AnyAbstractDomain

public class CardinalityDomain
extends Object
implements AbstractDomain<CardinalityInterval, Integer>

Field Summary

Fields

Modifier and Type	Field	Description
static final CardinalityDomain	INSTANCE

Method Summary

Modifier and Type	Method	Description
Class<CardinalityInterval>	abstractType()
Class<Integer>	concreteType()
CardinalityInterval	error()
CardinalityInterval	toAbstract(Integer concreteValue)
CardinalityInterval	unknown()

Methods inherited from class Object

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

Field Details

INSTANCE

public static final CardinalityDomain INSTANCE

Method Details

abstractType

public Class<CardinalityInterval> abstractType()

Specified by:

abstractType in interface AbstractDomain<CardinalityInterval, Integer>

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

public Class<Integer> concreteType()

Specified by:

concreteType in interface AbstractDomain<CardinalityInterval, Integer>

Specified by:

concreteType in interface AnyAbstractDomain

unknown

public CardinalityInterval unknown()

Specified by:

unknown in interface AbstractDomain<CardinalityInterval, Integer>

error

public CardinalityInterval error()

Specified by:

error in interface AbstractDomain<CardinalityInterval, Integer>

toAbstract

public CardinalityInterval toAbstract(Integer concreteValue)

Specified by:

toAbstract in interface AbstractDomain<CardinalityInterval, Integer>