org.semanticweb.HermiT.existentials

Class IndividualReuseStrategy

java.lang.Object

org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

org.semanticweb.HermiT.existentials.IndividualReuseStrategy

All Implemented Interfaces:

Serializable, ExistentialExpansionStrategy

public class IndividualReuseStrategy
extends AbstractExpansionStrategy
implements Serializable

IndividualReuseStrategy.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
IndividualReuseStrategy(BlockingStrategy strategy, boolean isDeterministic)

Method Summary

Modifier and Type	Method and Description
void	backtrack() Backtrack.
void	branchingPointPushed() Branching point pushed.
void	clear() Clear.
AtomicConcept	getConceptForNode(Node node)
Set<AtomicConcept>	getDontReuseConceptsEver()
void	initialize(Tableau tableau)
boolean	isDeterministic()
void	modelFound() Model found.

Methods inherited from class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

additionalDLOntologyCleared, additionalDLOntologySet, assertionAdded, assertionAdded, assertionCoreSet, assertionCoreSet, assertionRemoved, assertionRemoved, dlClauseBodyCompiled, expandExistentials, isExact, nodeDestroyed, nodeInitialized, nodesMerged, nodeStatusChanged, nodesUnmerged

Methods inherited from class java.lang.Object

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

Constructor Detail

IndividualReuseStrategy

public IndividualReuseStrategy(BlockingStrategy strategy,
                               boolean isDeterministic)

Parameters:

strategy - strategy

isDeterministic - isDeterministic

Method Detail

initialize

public void initialize(Tableau tableau)

Specified by:

initialize in interface ExistentialExpansionStrategy

Overrides:

initialize in class AbstractExpansionStrategy

Parameters:

tableau - tableau

clear

public void clear()

Description copied from interface: ExistentialExpansionStrategy

Clear.

Specified by:

clear in interface ExistentialExpansionStrategy

Overrides:

clear in class AbstractExpansionStrategy

branchingPointPushed

public void branchingPointPushed()

Description copied from interface: ExistentialExpansionStrategy

Branching point pushed.

Specified by:

branchingPointPushed in interface ExistentialExpansionStrategy

Overrides:

branchingPointPushed in class AbstractExpansionStrategy

backtrack

public void backtrack()

Description copied from interface: ExistentialExpansionStrategy

Backtrack.

Specified by:

backtrack in interface ExistentialExpansionStrategy

Overrides:

backtrack in class AbstractExpansionStrategy

modelFound

public void modelFound()

Description copied from interface: ExistentialExpansionStrategy

Model found.

Specified by:

modelFound in interface ExistentialExpansionStrategy

Overrides:

modelFound in class AbstractExpansionStrategy

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in interface ExistentialExpansionStrategy

Returns:

true if deterministic

getConceptForNode

public AtomicConcept getConceptForNode(Node node)

Parameters:

node - node

Returns:

concept

getDontReuseConceptsEver

public Set<AtomicConcept> getDontReuseConceptsEver()

Returns:

concept to not reuse