org.mindswap.pellet.tableau.completion.rule

Class AbstractTableauRule

java.lang.Object

org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

All Implemented Interfaces:

TableauRule

Direct Known Subclasses:

AllValuesRule, ChooseRule, DataCardinalityRule, DataSatisfiabilityRule, DisjunctionRule, GuessRule, MaxRule, MinRule, NominalRule, SelfRule, SomeValuesRule, UnfoldingRule

public abstract class AbstractTableauRule
extends Object
implements TableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AbstractTableauRule.BlockingType

Field Summary

Fields

Modifier and Type	Field and Description
protected AbstractTableauRule.BlockingType	blockingType
static Logger	log
protected NodeSelector	nodeSelector
protected CompletionStrategy	strategy

Constructor Summary

Constructors

Constructor and Description
AbstractTableauRule(CompletionStrategy strategy, NodeSelector nodeSelector, AbstractTableauRule.BlockingType blockingType)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addQueueElement(Node node)
void	apply(IndividualIterator i)
protected boolean	isBlocked(Individual node)
boolean	isDisabled()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.mindswap.pellet.tableau.completion.rule.TableauRule

apply

Field Detail

log

public static final Logger log

strategy

protected CompletionStrategy strategy

nodeSelector

protected NodeSelector nodeSelector

blockingType

protected AbstractTableauRule.BlockingType blockingType

Constructor Detail

AbstractTableauRule

public AbstractTableauRule(CompletionStrategy strategy,
                   NodeSelector nodeSelector,
                   AbstractTableauRule.BlockingType blockingType)

Method Detail

isDisabled

public boolean isDisabled()

apply

public void apply(IndividualIterator i)

Specified by:

apply in interface TableauRule

isBlocked

protected boolean isBlocked(Individual node)

addQueueElement

protected void addQueueElement(Node node)