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.