Uses of Class
net.sf.tweety.logics.pl.syntax.PropositionalPredicate

Packages that use PropositionalPredicate

Package	Description
net.sf.tweety.logics.pl.syntax

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

Methods in net.sf.tweety.logics.pl.syntax that return PropositionalPredicate

Modifier and Type	Method and Description
PropositionalPredicate	PropositionalPredicate.clone()
PropositionalPredicate	Proposition.getPredicate()

Methods in net.sf.tweety.logics.pl.syntax that return types with arguments of type PropositionalPredicate

Modifier and Type	Method and Description
Class<PropositionalPredicate>	PropositionalFormula.getPredicateCls()
Set<PropositionalPredicate>	SpecialFormula.getPredicates()
Set<PropositionalPredicate>	Proposition.getPredicates()
Set<PropositionalPredicate>	AssociativePropositionalFormula.getPredicates()
abstract Set<PropositionalPredicate>	PropositionalFormula.getPredicates()
Set<PropositionalPredicate>	Negation.getPredicates()