org.semanticweb.HermiT.datatypes.binarydata

Class BinaryDataLengthInterval

java.lang.Object

org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

public class BinaryDataLengthInterval
extends Object

BinaryDataLengthInterval

Constructor Summary

Constructors

Constructor and Description
BinaryDataLengthInterval(org.semanticweb.HermiT.datatypes.binarydata.BinaryDataType binaryDataType, int minLength, int maxLength)

Method Summary

Modifier and Type	Method and Description
boolean	contains(org.semanticweb.HermiT.datatypes.binarydata.BinaryData value)
void	enumerateValues(Collection<Object> values)
BinaryDataLengthInterval	intersectWith(BinaryDataLengthInterval that) Computes the intersection of this interval with the supplied one.
int	subtractSizeFrom(int argument)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryDataLengthInterval

public BinaryDataLengthInterval(org.semanticweb.HermiT.datatypes.binarydata.BinaryDataType binaryDataType,
                                int minLength,
                                int maxLength)

Parameters:

binaryDataType - binaryDataType

minLength - minLength

maxLength - maxLength

Method Detail

intersectWith

public BinaryDataLengthInterval intersectWith(BinaryDataLengthInterval that)

Computes the intersection of this interval with the supplied one. If the two intervals do not intersect, the result is null.

Parameters:

that - that

Returns:

intersection

subtractSizeFrom

public int subtractSizeFrom(int argument)

Parameters:

argument - argument

Returns:

input minus size

contains

public boolean contains(org.semanticweb.HermiT.datatypes.binarydata.BinaryData value)

Parameters:

value - value

Returns:

true if contained

enumerateValues

public void enumerateValues(Collection<Object> values)

Parameters:

values - values

toString

public String toString()

Overrides:

toString in class Object