Class AssociativeDlFormula

    • Constructor Detail

      • AssociativeDlFormula

        public AssociativeDlFormula()
        Creates a new (empty) associative formula.
      • AssociativeDlFormula

        public AssociativeDlFormula​(ComplexConcept first,
                                    ComplexConcept second)
        Creates a new associative formula with the two given formulae
        Parameters:
        first - a relational formula.
        second - a relational formula.
      • AssociativeDlFormula

        public AssociativeDlFormula​(java.util.Collection<? extends ComplexConcept> formulas)
        Creates a new associative formula with the given inner formulas.
        Parameters:
        formulas - a collection of formulas.
    • Method Detail

      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface SimpleLogicalFormula
        Returns:
        true if the formula represents a literal in the language or false otherwise
      • getFormulas

        public <C extends SimpleLogicalFormula> java.util.Set<C> getFormulas​(java.lang.Class<C> cls)
        Description copied from interface: AssociativeFormula
        Process the formulas of type C that are children of this associative formula
        Specified by:
        getFormulas in interface AssociativeFormula<ComplexConcept>
        Type Parameters:
        C - the type of formulas
        Parameters:
        cls - the class structure defining the type of formulas which are searched.
        Returns:
        A set of formulas of type C which are members of the associative formula
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • add

        public boolean add​(ComplexConcept... formulas)
        Adds the specified elements to the end of this collection (optional operation).
        Parameters:
        formulas - to be appended to collection
        Returns:
        true if all elements were added, false otherwise
      • addAll

        public boolean addAll​(java.util.Collection<? extends ComplexConcept> c)
        Specified by:
        addAll in interface java.util.Collection<ComplexConcept>
        Specified by:
        addAll in interface java.util.List<ComplexConcept>
      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Collection<ComplexConcept>
        Specified by:
        clear in interface java.util.List<ComplexConcept>
      • contains

        public boolean contains​(java.lang.Object o)
        Specified by:
        contains in interface java.util.Collection<ComplexConcept>
        Specified by:
        contains in interface java.util.List<ComplexConcept>
      • containsAll

        public boolean containsAll​(java.util.Collection<?> c)
        Specified by:
        containsAll in interface java.util.Collection<ComplexConcept>
        Specified by:
        containsAll in interface java.util.List<ComplexConcept>
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<ComplexConcept>
        Specified by:
        isEmpty in interface java.util.List<ComplexConcept>
      • iterator

        public java.util.Iterator<ComplexConcept> iterator()
        Specified by:
        iterator in interface java.util.Collection<ComplexConcept>
        Specified by:
        iterator in interface java.lang.Iterable<ComplexConcept>
        Specified by:
        iterator in interface java.util.List<ComplexConcept>
      • remove

        public boolean remove​(java.lang.Object o)
        Specified by:
        remove in interface java.util.Collection<ComplexConcept>
        Specified by:
        remove in interface java.util.List<ComplexConcept>
      • removeAll

        public boolean removeAll​(java.util.Collection<?> c)
        Specified by:
        removeAll in interface java.util.Collection<ComplexConcept>
        Specified by:
        removeAll in interface java.util.List<ComplexConcept>
      • retainAll

        public boolean retainAll​(java.util.Collection<?> c)
        Specified by:
        retainAll in interface java.util.Collection<ComplexConcept>
        Specified by:
        retainAll in interface java.util.List<ComplexConcept>
      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<ComplexConcept>
        Specified by:
        size in interface java.util.List<ComplexConcept>
      • toArray

        public java.lang.Object[] toArray()
        Specified by:
        toArray in interface java.util.Collection<ComplexConcept>
        Specified by:
        toArray in interface java.util.List<ComplexConcept>
      • toArray

        public <T> T[] toArray​(T[] a)
        Specified by:
        toArray in interface java.util.Collection<ComplexConcept>
        Specified by:
        toArray in interface java.util.List<ComplexConcept>
      • addAll

        public boolean addAll​(int index,
                              java.util.Collection<? extends ComplexConcept> c)
        Specified by:
        addAll in interface java.util.List<ComplexConcept>
      • indexOf

        public int indexOf​(java.lang.Object o)
        Specified by:
        indexOf in interface java.util.List<ComplexConcept>
      • lastIndexOf

        public int lastIndexOf​(java.lang.Object o)
        Specified by:
        lastIndexOf in interface java.util.List<ComplexConcept>
      • listIterator

        public java.util.ListIterator<ComplexConcept> listIterator()
        Specified by:
        listIterator in interface java.util.List<ComplexConcept>
      • listIterator

        public java.util.ListIterator<ComplexConcept> listIterator​(int index)
        Specified by:
        listIterator in interface java.util.List<ComplexConcept>
      • subList

        public java.util.List<ComplexConcept> subList​(int fromIndex,
                                                      int toIndex)
        Specified by:
        subList in interface java.util.List<ComplexConcept>