Uses of Class
net.sf.tweety.arg.dung.semantics.Labeling

Packages that use Labeling

Package	Description
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.prover
net.sf.tweety.arg.dung.writer

Uses of Labeling in net.sf.tweety.arg.dung.parser

Methods in net.sf.tweety.arg.dung.parser that return Labeling

Modifier and Type	Method and Description
static Labeling	AbstractDungParser.parseLabeling(String s) Returns a labeling parsed from the given string

Methods in net.sf.tweety.arg.dung.parser that return types with arguments of type Labeling

Modifier and Type	Method and Description
static Collection<Labeling>	AbstractDungParser.parseLabelingList(String s) Returns a collection view of the given set of labelings

Uses of Labeling in net.sf.tweety.arg.dung.prover

Methods in net.sf.tweety.arg.dung.prover that return types with arguments of type Labeling

Modifier and Type	Method and Description
abstract Collection<Labeling>	AbstractDungSolver.solveEL(Semantics semantics, DungTheory aaf) Enumerates all labelings for the given semantics of the given framework.
Collection<Labeling>	TweetySolver.solveEL(Semantics semantics, DungTheory aaf)

Methods in net.sf.tweety.arg.dung.prover with parameters of type Labeling

Modifier and Type	Method and Description
abstract boolean	AbstractDungSolver.solveDL(Semantics semantics, DungTheory aaf, Labeling lab) Solves the problem of deciding whether the given labeling is a valid labeling wrt.
boolean	TweetySolver.solveDL(Semantics semantics, DungTheory aaf, Labeling lab)

Uses of Labeling in net.sf.tweety.arg.dung.writer

Methods in net.sf.tweety.arg.dung.writer with parameters of type Labeling

Modifier and Type	Method and Description
static String	DungWriter.writeLabeling(Labeling l) Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]