Class Extension

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Collection<FolFormula> formulas
      The formulas
    • Constructor Summary

      Constructors 
      Constructor Description
      Extension()
      Default constructor
      Extension​(java.util.Collection<FolFormula> formulas)
      Creates a new extension with the given set of formulas.
    • Method Summary

      Modifier and Type Method Description
      boolean add​(FolFormula e)  
      boolean addAll​(java.util.Collection<? extends FolFormula> c)  
      void clear()  
      boolean contains​(java.lang.Object o)  
      boolean containsAll​(java.util.Collection<?> c)  
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      boolean isEmpty()  
      java.util.Iterator<FolFormula> iterator()  
      boolean remove​(java.lang.Object o)  
      boolean removeAll​(java.util.Collection<?> c)  
      boolean retainAll​(java.util.Collection<?> c)  
      boolean satisfies​(FolFormula formula)
      Checks whether this interpretation satisfies the given formula.
      boolean satisfies​(DefaultTheory beliefBase)
      Checks whether this interpretation satisfies the given knowledge base.
      int size()  
      java.lang.Object[] toArray()  
      <T> T[] toArray​(T[] a)  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, spliterator, stream, toArray
      • Methods inherited from interface java.lang.Iterable

        forEach
    • Field Detail

      • formulas

        private java.util.Collection<FolFormula> formulas
        The formulas
    • Constructor Detail

      • Extension

        public Extension()
        Default constructor
      • Extension

        public Extension​(java.util.Collection<FolFormula> formulas)
        Creates a new extension with the given set of formulas.
        Parameters:
        formulas - some formulas.
    • Method Detail

      • satisfies

        public boolean satisfies​(FolFormula formula)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given formula.
        Specified by:
        satisfies in interface Interpretation<DefaultTheory,​FolFormula>
        Parameters:
        formula - a formula .
        Returns:
        "true" if this interpretation satisfies the given formula.
        Throws:
        java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.
      • satisfies

        public boolean satisfies​(DefaultTheory beliefBase)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given knowledge base.
        Specified by:
        satisfies in interface Interpretation<DefaultTheory,​FolFormula>
        Parameters:
        beliefBase - a knowledge base.
        Returns:
        "true" if this interpretation satisfies the given knowledge base.
        Throws:
        java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.
      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<FolFormula>
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<FolFormula>
      • contains

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

        public java.util.Iterator<FolFormula> iterator()
        Specified by:
        iterator in interface java.util.Collection<FolFormula>
        Specified by:
        iterator in interface java.lang.Iterable<FolFormula>
      • toArray

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

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

        public boolean add​(FolFormula e)
        Specified by:
        add in interface java.util.Collection<FolFormula>
      • remove

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

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

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

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

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

        public void clear()
        Specified by:
        clear in interface java.util.Collection<FolFormula>
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface java.util.Collection<FolFormula>
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface java.util.Collection<FolFormula>
        Overrides:
        equals in class java.lang.Object