org.semanticweb.owlapi.metrics

Class IntegerValuedMetric

java.lang.Object

org.semanticweb.owlapi.metrics.AbstractOWLMetric<Integer>

org.semanticweb.owlapi.metrics.IntegerValuedMetric

All Implemented Interfaces:

OWLMetric<Integer>, org.semanticweb.owlapi.model.OWLOntologyChangeListener

Direct Known Subclasses:

AxiomCount, HiddenGCICount, ImportClosureSize, MaximumNumberOfNamedSuperclasses, NumberOfClassesWithMultipleInheritance, ObjectCountMetric, UnsatisfiableClassCountMetric

public abstract class IntegerValuedMetric
extends AbstractOWLMetric<Integer>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

An OWLMetric that returns an integer value

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IntegerValuedMetric(org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager)

Method Summary

Methods inherited from class org.semanticweb.owlapi.metrics.AbstractOWLMetric

dispose, disposeMetric, getManager, getOntologies, getOntology, getValue, isImportsClosureUsed, isMetricInvalidated, ontologiesChanged, recomputeMetric, setImportsClosureUsed, setOntology, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.metrics.OWLMetric

getName

Constructor Detail

IntegerValuedMetric

protected IntegerValuedMetric(org.semanticweb.owlapi.model.OWLOntologyManager owlOntologyManager)