Uses of Class
net.sf.tweety.arg.dung.DungTheory

Packages that use DungTheory

Package	Description
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.divisions
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.parser
net.sf.tweety.arg.dung.prover
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.dung.util
net.sf.tweety.arg.dung.writer

Uses of DungTheory in net.sf.tweety.arg.dung

Methods in net.sf.tweety.arg.dung that return DungTheory

Modifier and Type	Method and Description
DungTheory	DungTheory.getComplementGraph(int selfloops)

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

Modifier and Type	Method and Description
boolean	DungTheory.add(DungTheory theory) Adds all arguments and attacks of the given theory to this theory
int	DungTheory.compareTo(DungTheory o)

Constructors in net.sf.tweety.arg.dung with parameters of type DungTheory

Constructor and Description
GrossiModgilRankingReasoner(DungTheory theory) Creates a new reasoner for the given Dung theory

Uses of DungTheory in net.sf.tweety.arg.dung.divisions

Methods in net.sf.tweety.arg.dung.divisions that return types with arguments of type DungTheory

Modifier and Type	Method and Description
Collection<DungTheory>	Division.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this division, i.e.

Methods in net.sf.tweety.arg.dung.divisions with parameters of type DungTheory

Modifier and Type	Method and Description
Collection<DungTheory>	Division.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this division, i.e.
static Collection<Division>	Division.getDivisions(Collection<Extension> exts, DungTheory aaf) Returns all divisions of all given extensions and the given aaf.
static Collection<Division>	Division.getDivisions(Extension ext, DungTheory aaf) Returns all divisions of aaf that arise from the given extension.
static Collection<Division>	Division.getStandardDivisions(DungTheory theory) Returns the standard set of divisions of the given argumentation theory, i.e.
static boolean	Division.isDisjoint(Collection<Division> divisions, DungTheory theory, Semantics semantics) Checks whether the given set o divisions is disjoint wrt.
static boolean	Division.isExhaustive(Collection<Division> divisions, DungTheory theory, Semantics semantics) Checks whether the given set of divisions is exhaustive wrt.

Uses of DungTheory in net.sf.tweety.arg.dung.ldo.semantics

Constructors in net.sf.tweety.arg.dung.ldo.semantics with parameters of type DungTheory

Constructor and Description
LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics) Creates a new interpretation
LdoInterpretation(DungTheory theory, Semantics semantics) Creates a new interpretation

Uses of DungTheory in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax that return types with arguments of type DungTheory

Modifier and Type	Method and Description
Collection<DungTheory>	LdoFormula.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e.

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type DungTheory

Modifier and Type	Method and Description
Collection<DungTheory>	LdoFormula.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e.

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

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

Modifier and Type	Method and Description
DungTheory	ApxParser.parse(Reader reader)
DungTheory	TgfParser.parse(Reader reader)
DungTheory	CnfParser.parse(Reader reader)
abstract DungTheory	AbstractDungParser.parse(Reader reader) Parses the given file into an abstract argumentation framework
DungTheory	AbstractDungParser.parseBeliefBase(Reader reader)
DungTheory	DungParser.parseBeliefBase(Reader reader)
static DungTheory	DungParser.Theory()

Methods in net.sf.tweety.arg.dung.parser with parameters of type DungTheory

Modifier and Type	Method and Description
static void	DungParser.Argument(DungTheory dungTheory)
static void	DungParser.Attack(DungTheory dungTheory)
static void	DungParser.Expression(DungTheory dungTheory)

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

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

Modifier and Type	Method and Description
Set<Extension>	ProboSolver.enumerate(Problem problem, DungTheory aaf, FileFormat format) Solves the given enumeration problem on the given AAF with
boolean	ProboSolver.justify(Problem problem, DungTheory aaf, FileFormat format, Argument arg) Solves the given justification problem on the given AAF
String	ProboSolver.solve(Problem problem, DungTheory aaf, FileFormat format, String additionalParameters) Solves the given problem on the given AAF with possibly additional parameters.
abstract boolean	AbstractDungSolver.solveDC(Semantics semantics, DungTheory aaf, Argument arg) Solves the problem of deciding whether an argument (given as additional parameter) is credulously inferred and returns either "true" (if it is credulously inferred) or "false" (if it is not credulously inferred)
boolean	TweetySolver.solveDC(Semantics semantics, DungTheory aaf, Argument arg)
abstract boolean	AbstractDungSolver.solveDE(Semantics semantics, DungTheory aaf, Collection<Argument> args) Solves the problem of deciding whether there is labeling with the set of arguments (given as additional parameter) being the exact set of argument that is labeled in and returns either "true" (there is such a labeling) or "false" (there is no such labeling).
boolean	TweetySolver.solveDE(Semantics semantics, DungTheory aaf, Collection<Argument> args)
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)
abstract boolean	AbstractDungSolver.solveDN(Semantics semantics, DungTheory aaf) Solves the problem of deciding whether there exists a labeling which labels at least one argument in and returns out either "true" (there is such a labeling) or "false" (there is no such labeling).
boolean	TweetySolver.solveDN(Semantics semantics, DungTheory aaf)
abstract boolean	AbstractDungSolver.solveDS(Semantics semantics, DungTheory aaf, Argument arg) Solves the problem of deciding whether an argument (given as additional parameter) is skeptically inferred and returns either "true" (if it is skeptically inferred) or "false" (if it is not skeptically inferred)
boolean	TweetySolver.solveDS(Semantics semantics, DungTheory aaf, Argument arg)
abstract boolean	AbstractDungSolver.solveDX(Semantics semantics, DungTheory aaf) Solves the problem of deciding whether there exists a labeling and returns out either "true" (there is a labeling) or "false" (there is no labeling).
boolean	TweetySolver.solveDX(Semantics semantics, DungTheory aaf)
abstract Collection<Argument>	AbstractDungSolver.solveEC(Semantics semantics, DungTheory aaf) Enumerates all arguments that are credulously inferred.
Collection<Argument>	TweetySolver.solveEC(Semantics semantics, DungTheory aaf)
abstract Collection<Collection<Argument>>	AbstractDungSolver.solveEE(Semantics semantics, DungTheory aaf) Enumerates all sets for which there is a labeling that labels exactly these arguments as in.
Collection<Collection<Argument>>	TweetySolver.solveEE(Semantics semantics, DungTheory aaf)
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)
abstract Collection<Argument>	AbstractDungSolver.solveES(Semantics semantics, DungTheory aaf) Enumerates all arguments that skeptically inferred.
Collection<Argument>	TweetySolver.solveES(Semantics semantics, DungTheory aaf)
abstract Collection<Argument>	AbstractDungSolver.solveSE(Semantics semantics, DungTheory aaf) Returns one extension wrt.
Collection<Argument>	TweetySolver.solveSE(Semantics semantics, DungTheory aaf)

Uses of DungTheory in net.sf.tweety.arg.dung.semantics

Methods in net.sf.tweety.arg.dung.semantics with parameters of type DungTheory

Modifier and Type	Method and Description
boolean	AbstractArgumentationInterpretation.isAcceptable(Argument argument, DungTheory dungTheory) returns true if every attacker on argument is attacked by some accepted argument wrt.
boolean	AbstractArgumentationInterpretation.isAdmissable(DungTheory dungTheory) returns true if every accepted argument of this is defended by some accepted argument wrt.
boolean	AbstractArgumentationInterpretation.isConflictFree(DungTheory dungTheory) returns true if no accepted argument attacks another accepted one in this interpretation wrt.

Constructors in net.sf.tweety.arg.dung.semantics with parameters of type DungTheory

Constructor and Description
Labeling(DungTheory theory, Extension ext) Creates a new labeling from the given extension wrt.

Uses of DungTheory in net.sf.tweety.arg.dung.util

Methods in net.sf.tweety.arg.dung.util that return DungTheory

Modifier and Type	Method and Description
DungTheory	DungTheoryGenerator.generate() Generates a new Dung theory
DungTheory	PodlaszewskiCaminadaDungTheoryGenerator.generate()
DungTheory	FileDungTheoryGenerator.generate()
DungTheory	EnumeratingDungTheoryGenerator.generate()
DungTheory	IsoSafeEnumeratingDungTheoryGenerator.generate()
DungTheory	DefaultDungTheoryGenerator.generate()
DungTheory	DungTheoryGenerator.generate(Argument arg) Generates a new Dung theory where the given argument is enforced to be in the grounded extension
DungTheory	PodlaszewskiCaminadaDungTheoryGenerator.generate(Argument arg)
DungTheory	FileDungTheoryGenerator.generate(Argument arg)
DungTheory	EnumeratingDungTheoryGenerator.generate(Argument arg)
DungTheory	IsoSafeEnumeratingDungTheoryGenerator.generate(Argument arg)
DungTheory	DefaultDungTheoryGenerator.generate(Argument arg)

Constructor parameters in net.sf.tweety.arg.dung.util with type arguments of type DungTheory

Constructor and Description
FileDungTheoryGenerator(File[] files, net.sf.tweety.commons.Parser<DungTheory> parser) Creates a new theory generator for the given files, which can be parsed by the given parser.

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

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

Modifier and Type	Method and Description
void	TgfWriter.write(DungTheory aaf, File f)
void	ApxWriter.write(DungTheory aaf, File f)
void	CnfWriter.write(DungTheory aaf, File f)
abstract void	DungWriter.write(DungTheory aaf, File f) Writes the given file into an abstract argumentation framework