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