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

Packages that use PlPredicate

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

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

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

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

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

Modifier and Type	Method	Description
Class<PlPredicate>	PlFormula.getPredicateCls()
Set<PlPredicate>	AssociativePlFormula.getPredicates()
Set<PlPredicate>	Equivalence.getPredicates()
Set<PlPredicate>	Implication.getPredicates()
Set<PlPredicate>	Negation.getPredicates()
abstract Set<PlPredicate>	PlFormula.getPredicates()
Set<PlPredicate>	Proposition.getPredicates()
Set<PlPredicate>	SpecialFormula.getPredicates()