org.mindswap.pellet.tableau.completion.rule

Class UnfoldingRule

java.lang.Object

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

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

Nested Class Summary

Nested classes/interfaces inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

AbstractTableauRule.BlockingType

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Fields inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

blockingType, nodeSelector, strategy

Constructor Summary

Constructors

Constructor and Description
UnfoldingRule(CompletionStrategy strategy)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Individual node)
protected void	applyUnfoldingRule(Individual node, aterm.ATermAppl c)

Methods inherited from class org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule

addQueueElement, apply, isBlocked, isDisabled

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

Constructor Detail

UnfoldingRule

public UnfoldingRule(CompletionStrategy strategy)

Method Detail

apply

public void apply(Individual node)

applyUnfoldingRule

protected void applyUnfoldingRule(Individual node,
                      aterm.ATermAppl c)