Uses of Class
org.tweetyproject.logics.pl.syntax.PlPredicate

Packages that use PlPredicate

Package	Description
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.adfrevision

Uses of PlPredicate in org.tweetyproject.arg.dung.ldo.syntax

Methods in org.tweetyproject.arg.dung.ldo.syntax that return PlPredicate

Modifier and Type	Method	Description
PlPredicate	LdoArgument.getPredicate()

Methods in org.tweetyproject.arg.dung.ldo.syntax that return types with arguments of type PlPredicate

Modifier and Type	Method	Description
Class<PlPredicate>	LdoFormula.getPredicateCls()
Set<PlPredicate>	AbstractGraphLdoModality.getPredicates()
Set<PlPredicate>	AbstractLdoModality.getPredicates()
Set<PlPredicate>	LdoArgument.getPredicates()
Set<PlPredicate>	LdoAssociativeFormula.getPredicates()
abstract Set<PlPredicate>	LdoFormula.getPredicates()
Set<PlPredicate>	LdoNegation.getPredicates()
Set<PlPredicate>	LdoRelation.getPredicates()

Uses of PlPredicate in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return PlPredicate

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

Methods in org.tweetyproject.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()

Uses of PlPredicate in org.tweetyproject.logics.qbf.syntax

Methods in org.tweetyproject.logics.qbf.syntax that return types with arguments of type PlPredicate

Modifier and Type	Method	Description
Set<PlPredicate>	ExistsQuantifiedFormula.getPredicates()
Set<PlPredicate>	ForallQuantifiedFormula.getPredicates()

Uses of PlPredicate in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision that return types with arguments of type PlPredicate

Modifier and Type	Method	Description
Set<PlPredicate>	Indecision.getPredicates()
Set<PlPredicate>	WeakNegation.getPredicates()