uk.ac.manchester.cs.jfact.datatypes

Class DataTypeSituation<R extends Comparable<R>>

java.lang.Object

uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation<R>

Type Parameters:

R -

public class DataTypeSituation<R extends Comparable<R>>
extends Object

Author:

ignazio

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DataTypeSituation(Datatype<R> p, DataTypeReasoner dep)

Method Summary

Methods

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DataTypeSituation

protected DataTypeSituation(Datatype<R> p,
                 DataTypeReasoner dep)

Method Detail

getType

public Datatype<?> getType()

Returns:

type

addInterval

public boolean addInterval(boolean pos,
                  Datatype<R> interval,
                  DepSet dep)

add restrictions [POS]INT to intervals

Parameters:

pos -

interval -

dep -

Returns:

true if clash occurs

checkPNTypeClash

public boolean checkPNTypeClash()

Returns:

true iff PType and NType leads to clash

checkCompatibleValue

public boolean checkCompatibleValue(DataTypeSituation<?> other)

Parameters:

other -

Returns:

true if compatible

hasPType

public boolean hasPType()

check if type is present positively in the node

Returns:

true if pType not null

hasNType

public boolean hasNType()

check if type is present negatively in the node

Returns:

true if nType not null

setPType

public void setPType(DepSet type)

set the precense of the PType

Parameters:

type -

setNType

public void setNType(DepSet t)

Parameters:

t -

getPType

public DepSet getPType()

Returns:

pType

getNType

public DepSet getNType()

Returns:

nType

toString

public String toString()

Overrides:

toString in class Object