Package | Description |
---|---|
net.sf.tweety.logics.pl.analysis | |
net.sf.tweety.logics.pl.syntax |
Modifier and Type | Method and Description |
---|---|
private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>> |
FbInconsistencyMeasure.order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order.
|
Modifier and Type | Method and Description |
---|---|
private boolean |
FbInconsistencyMeasure.hasDuplicate(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Checks whether the selection of substitutions is consistent (no proposition to be
replaced by + and - at the same time).
|
private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>> |
FbInconsistencyMeasure.order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order.
|
Modifier and Type | Class and Description |
---|---|
class |
Contradiction
A contradictory formula.
|
class |
Tautology
A tautological formula.
|