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()
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

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

tostring