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

Packages that use Semantics

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.prover
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.dung.test

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

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

Modifier and Type	Method and Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getReasonerForSemantics(net.sf.tweety.commons.BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a reasoner for the given semantics.

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

Constructor and Description
StratifiedLabelingReasoner(net.sf.tweety.commons.BeliefBase beliefBase, Semantics semantics, int inferenceType) Creates a new reasoner for the given Dung theory, semantics, and inference type.

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

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

Modifier and Type	Method and Description
Collection<DungTheory>	Division.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this division, 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 Semantics in net.sf.tweety.arg.dung.ldo.semantics

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

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 Semantics in net.sf.tweety.arg.dung.ldo.syntax

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

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

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

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

Modifier and Type	Method and Description
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 Semantics in net.sf.tweety.arg.dung.semantics

Fields in net.sf.tweety.arg.dung.semantics declared as Semantics

Modifier and Type	Field and Description
static Semantics	Semantics.ADMISSIBLE_SEMANTICS
static Semantics	Semantics.CF2_SEMANTICS
static Semantics	Semantics.COMPLETE_SEMANTICS
static Semantics	Semantics.CONFLICTFREE_SEMANTICS
static Semantics	Semantics.GROUNDED_SEMANTICS
static Semantics	Semantics.IDEAL_SEMANTICS
static Semantics	Semantics.PREFERRED_SEMANTICS
static Semantics	Semantics.SEMISTABLE_SEMANTICS
static Semantics	Semantics.STABLE_SEMANTICS
static Semantics	Semantics.STAGE_SEMANTICS

Methods in net.sf.tweety.arg.dung.semantics that return Semantics

Modifier and Type	Method and Description
Semantics	Problem.semantics() Returns the semantics of the problem.
static Semantics	Semantics.valueOf(String name) Returns the enum constant of this type with the specified name.
static Semantics[]	Semantics.values() Returns an array containing the constants of this enum type, in the order they are declared.

Uses of Semantics in net.sf.tweety.arg.dung.test

Methods in net.sf.tweety.arg.dung.test that return Semantics

Modifier and Type	Method and Description
static Semantics	StratifiedLabelingsCli.getSemantics(String sem)