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 -
-
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 propositionMethods 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 propositionMethods 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()
-