Package ai.libs.jaicore.logic.fol.structure

Class DNFFormula

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Monom>, java.util.Collection<Monom>, java.util.Set<Monom>
    public class DNFFormula
extends java.util.HashSet<Monom>
    See Also:
    Serialized Form

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean entailedBy​(Monom m)  
      Clause extractClause()  
      java.util.Set<ConstantParam> getConstantParams()  
      java.util.Set<VariableParam> getVariableParams()  
      boolean hasConjunctions()  

      • Methods inherited from class java.util.HashSet

        add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

      • Methods inherited from class java.util.AbstractSet

        equals, hashCode, removeAll

      • Methods inherited from class java.util.AbstractCollection

        addAll, containsAll, retainAll, toArray, toArray, toString

      • Methods inherited from class java.lang.Object

        finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray

      • Methods inherited from interface java.lang.Iterable

        forEach

      • Methods inherited from interface java.util.Set

        addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

    • Constructor Detail

      • DNFFormula

        public DNFFormula()

      • DNFFormula

        public DNFFormula​(Monom m)

      • DNFFormula

        public DNFFormula​(Clause m)

      • DNFFormula

        public DNFFormula​(java.util.Collection<Monom> m)

    • Method Detail

      • getVariableParams

        public java.util.Set<VariableParam> getVariableParams()

      • getConstantParams

        public java.util.Set<ConstantParam> getConstantParams()

      • hasConjunctions

        public boolean hasConjunctions()

      • extractClause

        public Clause extractClause()

      • entailedBy

        public boolean entailedBy​(Monom m)