uk.ac.manchester.cs.factplusplusad.Signature Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of owlapi-distribution Show documentation
There is a newer version: 5.5.1
package uk.ac.manchester.cs.factplusplusad;

import java.util.HashSet;
import java.util.Set;
import java.util.stream.Stream;

import javax.annotation.Nullable;

import org.semanticweb.owlapi.model.OWLEntity;
import org.semanticweb.owlapi.model.OWLObjectInverseOf;
import org.semanticweb.owlapi.util.OWLAPIStreamUtils;

/** class to hold the signature of a module */
class Signature {

    /** set to keep all the elements in signature */
    private final Set set = new HashSet<>();
    /** true if concept TOP-locality; false if concept BOTTOM-locality */
    private boolean topCLocality = false;
    /** true if role TOP-locality; false if role BOTTOM-locality */
    private boolean topRLocality = false;

    /**
     * copy c'tor
     * 
     * @param copy
     *        signature to copy
     */
    Signature(Signature copy) {
        set.addAll(copy.set);
        topCLocality = copy.topCLocality;
        topRLocality = copy.topRLocality;
    }

    Signature() {
        super();
    }

    /**
     * @param sig
     *        signature elements
     */
    public Signature(Stream sig) {
        addAll(sig);
    }

    /**
     * @param p
     *        entity to add to signature
     * @return true if p was not in the signature already
     */
    public boolean add(OWLEntity p) {
        return set.add(p);
    }

    /**
     * @param p
     *        all entities to add
     */
    public void addAll(Stream p) {
        OWLAPIStreamUtils.add(set, p);
    }

    /**
     * Add set of named entities to signature.
     * 
     * @param aSet
     *        set to add
     */
    void add(Set aSet) {
        set.addAll(aSet);
    }

    /**
     * Add another signature to a given one.
     * 
     * @param sig
     *        signature to add
     */
    void add(Signature sig) {
        add(sig.set);
    }

    /**
     * Remove given element from a signature.
     * 
     * @param p
     *        element to remove
     */
    void remove(OWLEntity p) {
        set.remove(p);
    }

    /**
     * Set new locality polarity.
     * 
     * @param top
     *        locality polarity
     */
    void setLocality(boolean top) {
        setLocality(top, top);
    }

    /**
     * @param topC
     *        new concept locality polarity
     * @param topR
     *        new role locality polarity
     */
    public void setLocality(boolean topC, boolean topR) {
        topCLocality = topC;
        topRLocality = topR;
    }

    void setSignature(Signature s) {
        setSignature(s.set.stream());
        topCLocality = s.topCLocality;
        topRLocality = s.topRLocality;
    }

    void setSignature(Stream s) {
        set.clear();
        addAll(s);
    }
    // comparison

    @Override
    public boolean equals(@Nullable Object obj) {
        if (obj == null) {
            return false;
        }
        if (obj == this) {
            return true;
        }
        if (obj instanceof Signature) {
            return set.equals(((Signature) obj).set);
        }
        return false;
    }

    /**
     * @param p
     *        element to check
     * @return true iff signature contains given element
     */
    boolean contains(OWLEntity p) {
        return set.contains(p);
    }

    /**
     * @param p
     *        element to check
     * @return true iff signature contains given element
     */
    boolean contains(OWLObjectInverseOf p) {
        return set.contains(p.getNamedProperty());
    }

    /** @return size of the signature */
    int size() {
        return set.size();
    }

    /** clear the signature */
    void clear() {
        set.clear();
    }

    /** @return elements of signature */
    Stream getSignature() {
        return set.stream();
    }

    /** @return true iff concepts are treated as TOPs */
    public boolean topCLocal() {
        return topCLocality;
    }

    /** @return true iff concepts are treated as BOTTOMs */
    boolean botCLocal() {
        return !topCLocality;
    }

    /** @return true iff roles are treated as TOPs */
    public boolean topRLocal() {
        return topRLocality;
    }

    /** @return true iff roles are treated as BOTTOMs */
    boolean botRLocal() {
        return !topRLocality;
    }

    Set intersect(Signature s1, Signature s2) {
        Set ret = new HashSet<>(s1.set);
        ret.retainAll(s2.set);
        return ret;
    }
}