org.semanticweb.HermiT.tableau

Class DatatypeManager.DConjunction

java.lang.Object

org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

All Implemented Interfaces:

Serializable

Enclosing class:

DatatypeManager

public static class DatatypeManager.DConjunction
extends Object
implements Serializable

DConjunction.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DConjunction()

Method Summary

Modifier and Type	Method and Description
List<DatatypeManager.DVariable>	getActiveVariables()
DatatypeManager.DVariable	getVariableFor(Node node)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Constructor Detail

DConjunction

public DConjunction()

Method Detail

getActiveVariables

public List<DatatypeManager.DVariable> getActiveVariables()

Returns:

active variables

getVariableFor

public DatatypeManager.DVariable getVariableFor(Node node)

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

tostring