org.semanticweb.HermiT.tableau

Class DependencySetFactory

java.lang.Object

org.semanticweb.HermiT.tableau.DependencySetFactory

All Implemented Interfaces:

Serializable

public final class DependencySetFactory
extends Object
implements Serializable

This is the main class to work with dependency sets and returns instances of PermanentDependencySet, which can not directly be created. Dependency sets are either permanent (in case they are used for a longer time and more frequently) or temporary. The temporary ones are instances of the class UnionDependencySet and they can be created directly. If a temporary dependency sets is used more frequently, it can be turned into a permanent one by this factory.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DependencySetFactory() Empty constructor.

Method Summary

Modifier and Type	Method and Description
PermanentDependencySet	addBranchingPoint(DependencySet dependencySet, int branchingPoint)
void	addUsage(PermanentDependencySet dependencySet)
void	clear() Clear.
PermanentDependencySet	emptySet()
PermanentDependencySet	getPermanent(DependencySet dependencySet)
PermanentDependencySet	removeBranchingPoint(DependencySet dependencySet, int branchingPoint)
void	removeUnusedSets() Remove unused set.
void	removeUsage(PermanentDependencySet dependencySet)
int	sizeInMemory()
PermanentDependencySet	unionWith(DependencySet set1, DependencySet set2)

Methods inherited from class java.lang.Object

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

Constructor Detail

DependencySetFactory

public DependencySetFactory()

Empty constructor.

Method Detail

sizeInMemory

public int sizeInMemory()

Returns:

size

clear

public void clear()

Clear.

emptySet

public PermanentDependencySet emptySet()

Returns:

empty set

removeUnusedSets

public void removeUnusedSets()

Remove unused set.

addUsage

public void addUsage(PermanentDependencySet dependencySet)

Parameters:

dependencySet - dependencySet

removeUsage

public void removeUsage(PermanentDependencySet dependencySet)

Parameters:

dependencySet - dependencySet

addBranchingPoint

public PermanentDependencySet addBranchingPoint(DependencySet dependencySet,
                                                int branchingPoint)

Parameters:

dependencySet - dependencySet

branchingPoint - branchingPoint

Returns:

modified dep set

removeBranchingPoint

public PermanentDependencySet removeBranchingPoint(DependencySet dependencySet,
                                                   int branchingPoint)

Parameters:

dependencySet - dependencySet

branchingPoint - branchingPoint

Returns:

dep set

unionWith

public PermanentDependencySet unionWith(DependencySet set1,
                                        DependencySet set2)

Parameters:

set1 - set1

set2 - set2

Returns:

union

getPermanent

public PermanentDependencySet getPermanent(DependencySet dependencySet)

Parameters:

dependencySet - dependencySet

Returns:

permanent