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 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.

Method parameters in net.sf.tweety.logics.pl.analysis with type arguments of type SpecialFormula

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.

Uses of SpecialFormula in net.sf.tweety.logics.pl.syntax

Subclasses of SpecialFormula in net.sf.tweety.logics.pl.syntax

Modifier and Type	Class and Description
class	Contradiction A contradictory formula.
class	Tautology A tautological formula.