Package tools.refinery.logic

Interface ComparableAbstractDomain<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>

All Superinterfaces:

AbstractDomain<A,C>, AnyAbstractDomain

All Known Implementing Classes:

IntIntervalDomain, RealIntervalDomain, TruthValueDomain

public interface ComparableAbstractDomain<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
extends AbstractDomain<A,C>

Method Summary

Modifier and Type	Method	Description
A	negativeInfinity()
A	positiveInfinity()

Methods inherited from interface tools.refinery.logic.AbstractDomain

abstractType, concreteType, error, toAbstract, unknown

Method Details

negativeInfinity

A negativeInfinity()

positiveInfinity

A positiveInfinity()