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 Description DNFFormula()
DNFFormula(Clause m)
DNFFormula(Monom m)
DNFFormula(java.util.Collection<Monom> m)
DNFFormula(java.util.Set<Monom> monoms, java.util.Map<VariableParam,? extends LiteralParam> mapping)
-
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.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString
-
-
-
-
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)
-
-