public abstract class DoubleValuedMetric extends AbstractOWLMetric<java.lang.Double>
Constructor and Description |
---|
DoubleValuedMetric(OWLOntologyManager owlOntologyManager) |
dispose, disposeMetric, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, isMetricInvalidated, ontologiesChanged, recomputeMetric, setImportsClosureUsed, setOntology, toString
public DoubleValuedMetric(OWLOntologyManager owlOntologyManager)
owlOntologyManager
- manager to use