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