org.mindswap.pellet.tableau.completion.rule

Interface TableauRule

All Known Implementing Classes:

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

public interface TableauRule

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Individual ind)
void	apply(IndividualIterator i)

Method Detail

apply

void apply(IndividualIterator i)

apply

void apply(Individual ind)