org.semanticweb.HermiT.tableau

Class GroundDisjunctionHeader

java.lang.Object

org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

public final class GroundDisjunctionHeader
extends Object

GroundDisjunctionHeader.

Method Summary

Modifier and Type	Method and Description
int[]	getSortedDisjunctIndexes()
void	increaseNumberOfBacktrackings(int disjunctIndex)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getSortedDisjunctIndexes

public int[] getSortedDisjunctIndexes()

Returns:

sorted disjunction indexes

increaseNumberOfBacktrackings

public void increaseNumberOfBacktrackings(int disjunctIndex)

Parameters:

disjunctIndex - disjunctIndex

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object