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 Description CNFFormula()
CNFFormula(Clause c)
CNFFormula(Monom m)
CNFFormula(java.util.Collection<Clause> c)
CNFFormula(java.util.Set<Clause> clauses, java.util.Map<VariableParam,? extends LiteralParam> mapping)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString
-
-
-
-
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)
-
-