public abstract class IntegerValuedMetric extends AbstractOWLMetric<java.lang.Integer>
OWLMetric
that returns an integer valueModifier | Constructor and Description |
---|---|
protected |
IntegerValuedMetric(OWLOntologyManager owlOntologyManager) |
dispose, disposeMetric, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, isMetricInvalidated, ontologiesChanged, recomputeMetric, setImportsClosureUsed, setOntology, toString
protected IntegerValuedMetric(OWLOntologyManager owlOntologyManager)