Package | Description |
---|---|
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Field and Description |
---|---|
protected DLPPredicate |
DLPAtom.pred
the predicate identifying the atom
|
Modifier and Type | Method and Description |
---|---|
DLPPredicate |
DLPNeg.getPredicate() |
DLPPredicate |
DLPAtom.getPredicate() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPPredicate> |
Rule.getPredicates() |
java.util.Set<DLPPredicate> |
DLPNot.getPredicates() |
java.util.Set<DLPPredicate> |
DLPNeg.getPredicates() |
java.util.Set<DLPPredicate> |
DLPHead.getPredicates() |
java.util.Set<DLPPredicate> |
DLPElement.getPredicates() |
java.util.Set<DLPPredicate> |
DLPAtom.getPredicates() |
java.util.Set<DLPPredicate> |
Comparative.getPredicates() |
java.util.Set<DLPPredicate> |
Arithmetic.getPredicates() |
java.util.Set<DLPPredicate> |
Aggregate.getPredicates() |