Package | Description |
---|---|
net.sf.tweety.arg.dung.parser | |
net.sf.tweety.arg.dung.prover | |
net.sf.tweety.arg.dung.writer | |
net.sf.tweety.arg.prob.semantics |
Modifier and Type | Method and Description |
---|---|
static Labeling |
AbstractDungParser.parseLabeling(java.lang.String s)
Returns a labeling parsed from the given string
|
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<Labeling> |
AbstractDungParser.parseLabelingList(java.lang.String s)
Returns a collection view of the given set of labelings
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Labeling> |
TweetySolver.solveEL(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<Labeling> |
AbstractDungSolver.solveEL(Semantics semantics,
DungTheory aaf)
Enumerates all labelings for the given semantics of the given framework.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TweetySolver.solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab) |
abstract boolean |
AbstractDungSolver.solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab)
Solves the problem of deciding whether the given labeling is a valid labeling wrt.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
DungWriter.writeLabeling(Labeling l)
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
|
Modifier and Type | Method and Description |
---|---|
Labeling |
ProbabilisticExtension.getEpistemicLabeling()
Returns the epistemic labeling of this probabilistic extension, i.e.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ProbabilisticExtension.isCongruent(Labeling l)
Checks whether the given labeling is congruent to this probabilistic extension,
i.e.
|