org.semanticweb.HermiT.datatypes.anyuri

Class AnyURIValueSpaceSubset

java.lang.Object

org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

All Implemented Interfaces:

ValueSpaceSubset

public class AnyURIValueSpaceSubset
extends Object
implements ValueSpaceSubset

AnyURI value subset.

Constructor Summary

Constructors

Constructor and Description
AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)

Method Summary

Modifier and Type	Method and Description
boolean	containsDataValue(Object dataValue)
void	enumerateDataValues(Collection<Object> dataValues)
boolean	hasCardinalityAtLeast(int number)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AnyURIValueSpaceSubset

public AnyURIValueSpaceSubset(dk.brics.automaton.Automaton automaton)

Parameters:

automaton - automaton

Method Detail

hasCardinalityAtLeast

public boolean hasCardinalityAtLeast(int number)

Specified by:

hasCardinalityAtLeast in interface ValueSpaceSubset

Parameters:

number - number

Returns:

true if has cardinality at least

containsDataValue

public boolean containsDataValue(Object dataValue)

Specified by:

containsDataValue in interface ValueSpaceSubset

Parameters:

dataValue - dataValue

Returns:

true if it has data value

enumerateDataValues

public void enumerateDataValues(Collection<Object> dataValues)

Specified by:

enumerateDataValues in interface ValueSpaceSubset

Parameters:

dataValues - dataValues

toString

public String toString()

Overrides:

toString in class Object