| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.datatypes |
| Modifier and Type | Class and Description |
|---|---|
class |
DatatypeEnumeration<R extends Comparable<R>> |
class |
DatatypeIntersection<T extends Comparable<T>> |
class |
DatatypeNumericEnumeration<R extends Comparable<R>>
numeric enumeration
|
class |
DatatypeUnion
datatype union
|
Copyright © 2016 The University of Manchester. All rights reserved.