|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.owlapi.reasoner.SimpleConfiguration
public class SimpleConfiguration
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009
A simple configuration with the general options.
Constructor Summary | |
---|---|
SimpleConfiguration(long timeOut)
|
|
SimpleConfiguration(ReasonerProgressMonitor progressMonitor)
|
|
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
long timeOut)
|
|
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
UndeclaredEntityPolicy undeclaredEntityPolicy,
long timeOut)
|
|
SimpleConfiguration(UndeclaredEntityPolicy undeclaredEntityPolicy,
long timeOut)
|
Method Summary | |
---|---|
ReasonerProgressMonitor |
getProgressMonitor()
Gets a progress monitor that the reasoner may update with information about the progress of its reasoning process. |
long |
getTimeOut()
Gets the timeout for basic reasoner operations (satisfiability check time out). |
UndeclaredEntityPolicy |
getUndeclaredEntityPolicy()
Gets the undeclared entity policy that should be used. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SimpleConfiguration(ReasonerProgressMonitor progressMonitor)
public SimpleConfiguration(ReasonerProgressMonitor progressMonitor, long timeOut)
public SimpleConfiguration(ReasonerProgressMonitor progressMonitor, UndeclaredEntityPolicy undeclaredEntityPolicy, long timeOut)
public SimpleConfiguration(UndeclaredEntityPolicy undeclaredEntityPolicy, long timeOut)
public SimpleConfiguration(long timeOut)
Method Detail |
---|
public ReasonerProgressMonitor getProgressMonitor()
OWLReasonerConfiguration
getProgressMonitor
in interface OWLReasonerConfiguration
NullReasonerProgressMonitor
public long getTimeOut()
OWLReasonerConfiguration
Long.MAX_VALUE
.
getTimeOut
in interface OWLReasonerConfiguration
public UndeclaredEntityPolicy getUndeclaredEntityPolicy()
OWLReasonerConfiguration
UndeclaredEntityPolicy.ALLOW
.
getUndeclaredEntityPolicy
in interface OWLReasonerConfiguration
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |