ai.libs.jaicore.logic.fol.structure

Class CNFFormula

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<Clause>

ai.libs.jaicore.logic.fol.structure.CNFFormula

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Clause>, java.util.Collection<Clause>, java.util.Set<Clause>

public class CNFFormula
extends java.util.HashSet<Clause>

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	entailedBy(Monom m)
Monom	extractMonom()
java.util.Set<ConstantParam>	getConstantParams()
java.util.Set<VariableParam>	getVariableParams()
boolean	hasDisjunctions()
boolean	isObviouslyContradictory()

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

CNFFormula

public CNFFormula()

CNFFormula

public CNFFormula(Clause c)

CNFFormula

public CNFFormula(Monom m)

CNFFormula

public CNFFormula(java.util.Collection<Clause> c)

CNFFormula

public CNFFormula(java.util.Set<Clause> clauses,
                  java.util.Map<VariableParam,? extends LiteralParam> mapping)

Method Detail

getVariableParams

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

getConstantParams

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

hasDisjunctions

public boolean hasDisjunctions()

extractMonom

public Monom extractMonom()

isObviouslyContradictory

public boolean isObviouslyContradictory()

entailedBy

public boolean entailedBy(Monom m)