public class Monom extends LiteralSet
| Constructor and Description |
|---|
Monom() |
Monom(java.util.Collection<Literal> set) |
Monom(java.util.Collection<Literal> set,
boolean deep) |
Monom(java.util.Collection<Literal> literals,
java.util.Map<? extends LiteralParam,? extends LiteralParam> mapping) |
Monom(Literal l) |
Monom(java.lang.String literals) |
| Modifier and Type | Method and Description |
|---|---|
CNFFormula |
asCNF() |
static Monom |
fromCNFFormula(CNFFormula formula) |
java.util.Map<VariableParam,VariableParam> |
getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet conclusion) |
boolean |
implies(LiteralSet conclusion) |
boolean |
isConsistent() |
boolean |
isContradictory() |
java.lang.String |
toString() |
add, containsGroundEqualityPredicateThatEvaluatesTo, containsLiteralWithPredicatename, containsPositiveAndNegativeVersionOfLiteral, getConstantParams, getInterpretedLiterals, getLiteralsWithPropertyName, getNegativeLiterals, getParameters, getPositiveLiterals, getVariableParams, hasVariables, toPropositionalSetadd, clear, clone, contains, isEmpty, iterator, remove, size, spliteratoraddAll, containsAll, retainAll, toArray, toArrayfinalize, getClass, notify, notifyAll, wait, wait, waitpublic Monom()
public Monom(Literal l)
public Monom(java.lang.String literals)
public Monom(java.util.Collection<Literal> set)
public Monom(java.util.Collection<Literal> set, boolean deep)
public Monom(java.util.Collection<Literal> literals, java.util.Map<? extends LiteralParam,? extends LiteralParam> mapping)
public static Monom fromCNFFormula(CNFFormula formula)
public java.lang.String toString()
toString in class java.util.AbstractCollection<Literal>public boolean isContradictory()
public boolean isConsistent()
isConsistent in class LiteralSetpublic boolean implies(LiteralSet conclusion) throws java.lang.InterruptedException
implies in class LiteralSetconclusion - Another literal set that may be concluded by this literal set.java.lang.InterruptedExceptionpublic java.util.Map<VariableParam,VariableParam> getImplyingMappingThatMapsFromConclusionVarsToPremiseVars(LiteralSet conclusion) throws java.lang.InterruptedException
getImplyingMappingThatMapsFromConclusionVarsToPremiseVars in class LiteralSetjava.lang.InterruptedExceptionpublic CNFFormula asCNF()