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

java.lang.Object
  extended by 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 java.lang.Object
implements TableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
 
Constructor Summary
AbstractTableauRule(CompletionStrategy strategy, NodeSelector nodeSelector, org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)
           
 
Method Summary
 void apply(IndividualIterator i)
           
 boolean isDisabled()
           
 
Methods inherited from class java.lang.Object
equals, 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 java.util.logging.Logger log
Constructor Detail

AbstractTableauRule

public AbstractTableauRule(CompletionStrategy strategy,
                           NodeSelector nodeSelector,
                           org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)
Method Detail

isDisabled

public boolean isDisabled()

apply

public void apply(IndividualIterator i)
Specified by:
apply in interface TableauRule


Copyright © 2004 Evren Sirin. All Rights Reserved.