public class HiddenGCICount extends IntegerValuedMetric
Constructor and Description |
---|
HiddenGCICount(OWLOntologyManager owlOntologyManager) |
Modifier and Type | Method and Description |
---|---|
protected void |
disposeMetric() |
java.lang.String |
getName()
Gets the human readable name of this metric
|
protected boolean |
isMetricInvalidated(java.util.List<? extends OWLOntologyChange> changes)
Determines if the specified list of changes will cause the value of this metric
to be invalid.
|
protected java.lang.Integer |
recomputeMetric() |
dispose, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, ontologiesChanged, setImportsClosureUsed, setOntology, toString
public HiddenGCICount(OWLOntologyManager owlOntologyManager)
owlOntologyManager
- manager to useprotected void disposeMetric()
disposeMetric
in class AbstractOWLMetric<java.lang.Integer>
protected boolean isMetricInvalidated(java.util.List<? extends OWLOntologyChange> changes)
AbstractOWLMetric
isMetricInvalidated
in class AbstractOWLMetric<java.lang.Integer>
changes
- The list of changes which will be examined to determine if the
metric is now invalid.true
if the metric value is invalidated by the specified
list of changes, or false
if the list of changes do not cause
the value of this metric to be invalidated.protected java.lang.Integer recomputeMetric()
recomputeMetric
in class AbstractOWLMetric<java.lang.Integer>
public java.lang.String getName()
OWLMetric