Uses of Class
net.sf.tweety.logics.pl.syntax.SpecialFormula
-
Packages that use SpecialFormula Package Description net.sf.tweety.logics.pl.analysis net.sf.tweety.logics.pl.syntax -
-
Uses of SpecialFormula in net.sf.tweety.logics.pl.analysis
Methods in net.sf.tweety.logics.pl.analysis that return types with arguments of type SpecialFormula Modifier and Type Method 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.Method parameters in net.sf.tweety.logics.pl.analysis with type arguments of type SpecialFormula Modifier and Type Method 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. -
Uses of SpecialFormula in net.sf.tweety.logics.pl.syntax
Subclasses of SpecialFormula in net.sf.tweety.logics.pl.syntax Modifier and Type Class Description class
Contradiction
A contradictory formula.class
Tautology
A tautological formula.
-