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 - type

All Implemented Interfaces:

Serializable

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

Author:

ignazio

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
boolean	addInterval(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
boolean	isSubType(DataTypeSituation<?> other)
void	setNType(DepSet t)
void	setPType(DepSet type) set the precense of the PType
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getType

public Datatype<?> getType()

Returns:

type

addInterval

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

add restrictions [POS]INT to intervals

Parameters:

interval - interval

dep - 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 - 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 - type

setNType

public void setNType(DepSet t)

Parameters:

t - depset for negative type

getPType

public DepSet getPType()

Returns:

pType

getNType

public DepSet getNType()

Returns:

nType

toString

public String toString()

Overrides:

toString in class Object

isSubType

public boolean isSubType(DataTypeSituation<?> other)

Parameters:

other - situation to test

Returns:

true if this situation represents a subtype of the other situation, i.e., type is a subtype of other type and all constraints in this situation are compatible with other constraints