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

Packages that use Semantics

Package	Description
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.reasoner
net.sf.tweety.arg.dung.semantics

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.reasoner

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

Modifier and Type	Method and Description
Semantics	ProboProblem.semantics() Returns the semantics of the problem.

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

Modifier and Type	Method and Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics) Creates a reasoner for the given semantics.

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

Constructor and Description
ProboReasoner(String path_to_exec, Semantics semantics) Constructs a new instance of ProboReasoner
ProboReasoner(String path_to_exec, Semantics semantics, net.sf.tweety.commons.util.Shell bash) Constructs a new instance of ProboReasoner
StratifiedLabelingReasoner(Semantics semantics) Creates a new reasoner for the given Dung theory, semantics, and inference type.

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
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.