public class OWLMetricManager
extends java.lang.Object
Constructor and Description |
---|
OWLMetricManager(java.util.List<OWLMetric<?>> metrics) |
Modifier and Type | Method and Description |
---|---|
java.util.List<OWLMetric<?>> |
getMetrics() |
void |
setOntology(OWLOntology ontology) |
java.lang.String |
toString() |
public OWLMetricManager(java.util.List<OWLMetric<?>> metrics)
metrics
- the metrics to usepublic void setOntology(OWLOntology ontology)
ontology
- the ontology to measurepublic java.util.List<OWLMetric<?>> getMetrics()
public java.lang.String toString()
toString
in class java.lang.Object