AbstractDomain (refinery-logic 0.1.5-SNAPSHOT API)

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)