org.dllearner.utilities.owl
Class DescriptionSet

java.lang.Object
  org.dllearner.utilities.owl.DescriptionSet

public class DescriptionSet
extends Object

A set of descriptions, which is bound by a maximum size. Can be used by algorithms to store the most promising n class descriptions.

Author:

Jens Lehmann

Constructor Summary

DescriptionSet(int maxSize)

Method Summary

void	add(Description ed)
void	addAll(Collection<Description> eds)
SortedSet<Description>	getSet()

Methods inherited from class java.lang.Object

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

Constructor Detail

DescriptionSet

public DescriptionSet(int maxSize)

Method Detail

add

public void add(Description ed)

addAll

public void addAll(Collection<Description> eds)

getSet

public SortedSet<Description> getSet()

Returns:

the set