org.semanticweb.more
Class LocalityInfo
java.lang.Object
org.semanticweb.more.LocalityInfo
public class LocalityInfo
- extends Object
We use this class to gather information about some axiom or class found in
some method so that we can return the whole lot of information at once. We
may want to know if an axiom is local - "is" will give us the answer to that.
If the axiom is not local, then "canMake" will tell us whether it is possible
to make it local and, if it is, then solutions will give us a list of
possible sets of symbols that we can take out of the external signature to
make it local. We may also want to know whether a class is locally "top"
(resp. "bottom") or not. Similarly, "is" will give us the answer to that, and
if this answer is no then "canMake" will tell us if there is any way to fix
that, and if there is one then "solutions" will give us a few options.
Constructor Summary |
LocalityInfo(boolean is,
boolean canMake,
List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions)
this method does... |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LocalityInfo
public LocalityInfo(boolean is,
boolean canMake,
List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions)
- this method does...
- Parameters:
is
- canMake
- solutions
-
is
public boolean is()
canMake
public boolean canMake()
getSolutions
public List<Set<org.semanticweb.owlapi.model.OWLEntity>> getSolutions()
Copyright © 2013. All Rights Reserved.