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
Methods in net.sf.tweety.arg.dung.ldo.syntax that return PlPredicate Modifier and Type Method Description PlPredicateLdoArgument. 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
Methods in net.sf.tweety.logics.pl.syntax that return PlPredicate Modifier and Type Method Description PlPredicatePlPredicate. clone()PlPredicateProposition. 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()
-