Package | Description |
---|---|
net.sf.tweety.arg.dung.ldo.syntax | |
net.sf.tweety.logics.pl.syntax |
Modifier and Type | Field and Description |
---|---|
private PropositionalPredicate |
LdoArgument.predicate
The name of the proposition
|
Modifier and Type | Method and Description |
---|---|
PropositionalPredicate |
LdoArgument.getPredicate() |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<PropositionalPredicate> |
LdoFormula.getPredicateCls() |
java.util.Set<PropositionalPredicate> |
LdoRelation.getPredicates() |
java.util.Set<PropositionalPredicate> |
AbstractLdoModality.getPredicates() |
java.util.Set<PropositionalPredicate> |
LdoNegation.getPredicates() |
java.util.Set<PropositionalPredicate> |
LdoArgument.getPredicates() |
abstract java.util.Set<PropositionalPredicate> |
LdoFormula.getPredicates() |
java.util.Set<PropositionalPredicate> |
AbstractGraphLdoModality.getPredicates() |
java.util.Set<PropositionalPredicate> |
LdoAssociativeFormula.getPredicates() |
Modifier and Type | Field and Description |
---|---|
private PropositionalPredicate |
Proposition.predicate
The name of the proposition
|
Modifier and Type | Method and Description |
---|---|
PropositionalPredicate |
PropositionalPredicate.clone() |
PropositionalPredicate |
Proposition.getPredicate() |
Modifier and Type | Method and Description |
---|---|
java.lang.Class<PropositionalPredicate> |
PropositionalFormula.getPredicateCls() |
java.util.Set<PropositionalPredicate> |
SpecialFormula.getPredicates() |
java.util.Set<PropositionalPredicate> |
Proposition.getPredicates() |
java.util.Set<PropositionalPredicate> |
AssociativePropositionalFormula.getPredicates() |
abstract java.util.Set<PropositionalPredicate> |
PropositionalFormula.getPredicates() |
java.util.Set<PropositionalPredicate> |
Negation.getPredicates() |