uk.ac.manchester.cs.factplusplusad.SigAccessor Maven / Gradle / Ivy
package uk.ac.manchester.cs.factplusplusad;
import static org.semanticweb.owlapi.util.OWLAPIPreconditions.verifyNotNull;
import org.semanticweb.owlapi.model.OWLEntity;
/**
* helper class to set signature and locality class
*/
class SigAccessor {
/**
* signature of a module
*/
Signature sig;
/**
* init c'tor
*
* @param s signature
*/
SigAccessor(Signature s) {
sig = verifyNotNull(s);
}
// locality flags
/**
* @return true iff concepts not in the signature are treated as TOPs
*/
boolean topCLocal() {
return sig.topCLocal();
}
/**
* @return true iff concepts not in the signature are treated as BOTTOMs
*/
boolean botCLocal() {
return !topCLocal();
}
/**
* @return true iff roles not in the signature are treated as TOPs
*/
boolean topRLocal() {
return sig.topRLocal();
}
/**
* @return true iff roles not in the signature are treated as BOTTOMs
*/
boolean botRLocal() {
return !topRLocal();
}
// signature-based calls
/**
* @return the signature
*/
Signature getSignature() {
return sig;
}
/**
* @param entity entity to check
* @return true iff SIGnature does NOT contain given entity
*/
boolean nc(OWLEntity entity) {
return !sig.contains(entity);
}
}