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

Packages that use PlPredicate
Package Description

net.sf.tweety.arg.dung.ldo.syntax

net.sf.tweety.logics.pl.syntax

net.sf.tweety.logics.qbf.syntax

Uses of PlPredicate in net.sf.tweety.arg.dung.ldo.syntax

Fields in net.sf.tweety.arg.dung.ldo.syntax declared as PlPredicate
Modifier and Type	Field	Description
`private PlPredicate`	LdoArgument.`predicate`	The name of the proposition

Methods in net.sf.tweety.arg.dung.ldo.syntax that return PlPredicate
Modifier and Type	Method	Description
`PlPredicate`	LdoArgument.`getPredicate()`

Methods in net.sf.tweety.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 net.sf.tweety.logics.pl.syntax

Fields in net.sf.tweety.logics.pl.syntax declared as PlPredicate
Modifier and Type	Field	Description
`private PlPredicate`	Proposition.`predicate`	The name of the proposition

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
`java.lang.Class<PlPredicate>`	PlFormula.`getPredicateCls()`
`java.util.Set<PlPredicate>`	AssociativePlFormula.`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 net.sf.tweety.logics.qbf.syntax

Methods in net.sf.tweety.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()`