org.semanticweb.more
Class LocalityInfo

java.lang.Object
  extended by 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...
 
Method Summary
 boolean canMake()
           
 List<Set<org.semanticweb.owlapi.model.OWLEntity>> getSolutions()
           
 boolean is()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LocalityInfo

public LocalityInfo(boolean is,
                    boolean canMake,
                    List<Set<org.semanticweb.owlapi.model.OWLEntity>> solutions)
this method does...

Parameters:
is -
canMake -
solutions -
Method Detail

is

public boolean is()

canMake

public boolean canMake()

getSolutions

public List<Set<org.semanticweb.owlapi.model.OWLEntity>> getSolutions()


Copyright © 2013. All Rights Reserved.