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

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
`java.lang.Class<PlPredicate>`	LdoFormula.`getPredicateCls()`
`java.util.Set<PlPredicate>`	AbstractGraphLdoModality.`getPredicates()`
`java.util.Set<PlPredicate>`	AbstractLdoModality.`getPredicates()`
`java.util.Set<PlPredicate>`	LdoArgument.`getPredicates()`
`java.util.Set<PlPredicate>`	LdoAssociativeFormula.`getPredicates()`
`abstract java.util.Set<PlPredicate>`	LdoFormula.`getPredicates()`
`java.util.Set<PlPredicate>`	LdoNegation.`getPredicates()`
`java.util.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
`java.lang.Class<PlPredicate>`	PlFormula.`getPredicateCls()`
`java.util.Set<PlPredicate>`	AssociativePlFormula.`getPredicates()`
`java.util.Set<PlPredicate>`	CardinalityConstraint.`getPredicates()`
`java.util.Set<PlPredicate>`	Equivalence.`getPredicates()`
`java.util.Set<PlPredicate>`	Implication.`getPredicates()`
`java.util.Set<PlPredicate>`	Negation.`getPredicates()`
`abstract java.util.Set<PlPredicate>`	PlFormula.`getPredicates()`
`java.util.Set<PlPredicate>`	Proposition.`getPredicates()`
`java.util.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
`java.util.Set<PlPredicate>`	ExistsQuantifiedFormula.`getPredicates()`
`java.util.Set<PlPredicate>`	ForallQuantifiedFormula.`getPredicates()`