public abstract class BaseAtomicDatatype extends BaseDatatype implements AtomicDatatype
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
negated |
protected Set<Object> |
values |
name| Constructor and Description |
|---|
BaseAtomicDatatype(aterm.ATermAppl name) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
contains(Object value) |
protected AtomicDatatype |
derive(Set<Object> values,
boolean negated) |
AtomicDatatype |
difference(AtomicDatatype dt) |
AtomicDatatype |
enumeration(Set<Object> values) |
aterm.ATermAppl |
getValue(int n) |
AtomicDatatype |
intersection(AtomicDatatype dt) |
boolean |
isDerived() |
AtomicDatatype |
not() |
Datatype |
singleton(Object value) |
int |
size() |
String |
toString() |
AtomicDatatype |
union(AtomicDatatype dt) |
contains, getName, getURI, isEmptyclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetPrimitiveTypeprotected AtomicDatatype derive(Set<Object> values, boolean negated)
public AtomicDatatype not()
not in interface AtomicDatatypepublic AtomicDatatype intersection(AtomicDatatype dt)
intersection in interface AtomicDatatypepublic AtomicDatatype union(AtomicDatatype dt)
union in interface AtomicDatatypepublic AtomicDatatype difference(AtomicDatatype dt)
difference in interface AtomicDatatypepublic AtomicDatatype enumeration(Set<Object> values)
enumeration in interface AtomicDatatypepublic boolean isDerived()
public aterm.ATermAppl getValue(int n)
getValue in interface DatatypegetValue in class BaseDatatypeCopyright © 2013. All Rights Reserved.