org.semanticweb.HermiT.tableau

Class DescriptionGraphManager

java.lang.Object

org.semanticweb.HermiT.tableau.DescriptionGraphManager

All Implemented Interfaces:

Serializable

public final class DescriptionGraphManager
extends Object
implements Serializable

DescriptionGraphManager.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DescriptionGraphManager(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
boolean	checkGraphConstraints()
void	clear() Clear.
void	descriptionGraphTupleAdded(int tupleIndex, Object[] tuple)
void	descriptionGraphTupleRemoved(int tupleIndex, Object[] tuple)
void	destroyNode(Node node)
void	expand(ExistsDescriptionGraph existsDescriptionGraph, Node forNode)
Object[]	getDescriptionGraphTuple(int graphIndex, int tupleIndex)
static void	intializeNode(Node node)
boolean	isSatisfied(ExistsDescriptionGraph existsDescriptionGraph, Node node)
void	mergeGraphs(Node mergeFrom, Node mergeInto)

Methods inherited from class java.lang.Object

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

Constructor Detail

DescriptionGraphManager

public DescriptionGraphManager(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

clear

public void clear()

Clear.

getDescriptionGraphTuple

public Object[] getDescriptionGraphTuple(int graphIndex,
                                         int tupleIndex)

Parameters:

graphIndex - graphIndex

tupleIndex - tupleIndex

Returns:

description graph tuples

checkGraphConstraints

public boolean checkGraphConstraints()

Returns:

true if constraints satisfied

isSatisfied

public boolean isSatisfied(ExistsDescriptionGraph existsDescriptionGraph,
                           Node node)

Parameters:

existsDescriptionGraph - existsDescriptionGraph

node - node

Returns:

true if satisfied

mergeGraphs

public void mergeGraphs(Node mergeFrom,
                        Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

descriptionGraphTupleAdded

public void descriptionGraphTupleAdded(int tupleIndex,
                                       Object[] tuple)

Parameters:

tupleIndex - tupleIndex

tuple - tuple

descriptionGraphTupleRemoved

public void descriptionGraphTupleRemoved(int tupleIndex,
                                         Object[] tuple)

Parameters:

tupleIndex - tupleIndex

tuple - tuple

expand

public void expand(ExistsDescriptionGraph existsDescriptionGraph,
                   Node forNode)

Parameters:

existsDescriptionGraph - existsDescriptionGraph

forNode - forNode

intializeNode

public static void intializeNode(Node node)

Parameters:

node - node

destroyNode

public void destroyNode(Node node)

Parameters:

node - node