Package | Description |
---|---|
net.sf.tweety.arg.dung |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<StratifiedLabeling> |
StratifiedLabelingReasoner.labelings
The set of stratified labelings this reasoner is based upon.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<StratifiedLabeling> |
StratifiedLabelingReasoner.computeLabelings()
Computes the labelings this reasoner bases upon.
|
java.util.Set<StratifiedLabeling> |
StratifiedLabelingReasoner.getLabelings()
Returns the labelings this reasoner bases upon.
|