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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
      extended by org.mindswap.pellet.tableau.completion.rule.UnfoldingRule
All Implemented Interfaces:
TableauRule

public class UnfoldingRule
extends AbstractTableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
 
Constructor Summary
UnfoldingRule(CompletionStrategy strategy)
           
 
Method Summary
 void apply(Individual node)
           
 
Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule
apply, isDisabled
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log
Constructor Detail

UnfoldingRule

public UnfoldingRule(CompletionStrategy strategy)
Method Detail

apply

public void apply(Individual node)


Copyright © 2004 Evren Sirin. All Rights Reserved.