Package tools.refinery.logic

Interface AbstractDomain<A extends AbstractValue<A,C>,C>

All Superinterfaces:

AnyAbstractDomain

All Known Implementing Classes:

CardinalityDomain, TruthValueDomain

public non-sealed interface AbstractDomain<A extends AbstractValue<A,C>,C>
extends AnyAbstractDomain

Method Summary

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

Method Details

abstractType

Class<A> abstractType()

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

Class<C> concreteType()

Specified by:

concreteType in interface AnyAbstractDomain

unknown

A unknown()

error

A error()

toAbstract

A toAbstract(C concreteValue)