ai.libs.jaicore.logic.fol.structure

Class DNFFormula

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<Monom>

ai.libs.jaicore.logic.fol.structure.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

Constructor Summary

Constructors

Constructor and Description
DNFFormula()
DNFFormula(Clause m)
DNFFormula(java.util.Collection<Monom> m)
DNFFormula(Monom m)
DNFFormula(java.util.Set<Monom> monoms, java.util.Map<VariableParam,? extends LiteralParam> mapping)

Method Summary

Modifier and Type	Method and 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.Set

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

DNFFormula

public DNFFormula()

DNFFormula

public DNFFormula(Monom m)

DNFFormula

public DNFFormula(Clause m)

DNFFormula

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

DNFFormula

public DNFFormula(java.util.Set<Monom> monoms,
                  java.util.Map<VariableParam,? extends LiteralParam> mapping)

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)