Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package devisor2.foundation.base

Class Summary
BasicDomain | This is the first class in a long line of the Domain class hierarchy.
Domain | this is the empty top-level wrapper class for the Domain.
DomainBoundary | This class DomainBoundary describes the boundaries of the domain.
DomainIO | This class is an extended version of the original BasicDomain class which supports loading and saving the domain instance in one of the following formats: UCD, FEAT or FEAST.
DomainStatistics | This class is an extended version of the original BasicDomain class which additionally provides support for giving statistics about the domain.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES