R - public class DataTypeSituation<R extends Comparable<R>> extends Object
| Modifier | Constructor and Description |
|---|---|
protected |
DataTypeSituation(Datatype<R> p,
DataTypeReasoner dep) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addInterval(boolean pos,
Datatype<R> interval,
DepSet dep)
add restrictions [POS]INT to intervals
|
boolean |
checkCompatibleValue(DataTypeSituation<?> other) |
boolean |
checkPNTypeClash() |
DepSet |
getNType() |
DepSet |
getPType() |
Datatype<?> |
getType() |
boolean |
hasNType()
check if type is present negatively in the node
|
boolean |
hasPType()
check if type is present positively in the node
|
void |
setNType(DepSet t) |
void |
setPType(DepSet type)
set the precense of the PType
|
String |
toString() |
protected DataTypeSituation(Datatype<R> p, DataTypeReasoner dep)
public Datatype<?> getType()
public boolean addInterval(boolean pos,
Datatype<R> interval,
DepSet dep)
pos - interval - dep - public boolean checkPNTypeClash()
public boolean checkCompatibleValue(DataTypeSituation<?> other)
other - public boolean hasPType()
public boolean hasNType()
public void setPType(DepSet type)
type - public void setNType(DepSet t)
t - public DepSet getPType()
public DepSet getNType()
Copyright © 2013 The University of Manchester. All Rights Reserved.