W-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

W

WAD - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: WAD
WAD - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Weakly Admissible semantics
WARN - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: WARN
WCO - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: WCO
WCO - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Weakly Complete semantics
WCONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
WCONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
wDefence(Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself from all attacks.
wDefence(Extension<DungTheory>, Set<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself from a set of attackers.
wDefence(Extension<DungTheory>, Set<Argument>, Set<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself and specific arguments from a set of attackers.
wDefence(Argument, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend a specific argument from all attacks.
WEAK_DIRECTIONALITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The weak directionality principle
WEAK_REINSTATEMENT - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The weak reinstatement principle
WeakDirectionalityPrinciple - Class in org.tweetyproject.arg.dung.principles: Weak Directionality Principle
WeakDirectionalityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.WeakDirectionalityPrinciple
WEAKDOMINANCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The WEAKDOMINANCE postulate
WEAKEN - Enum constant in enum org.tweetyproject.preferences.Operation: Operation to weaken a preference.
weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.Functions: weakens the given element in the function
weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.LevelingFunction: weakens the given element in the leveling function
weakenElement(T) - Method in class org.tweetyproject.preferences.ranking.RankingFunction: weakens the given element in the ranking function
weakenElementInLF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder: weakens the given element in this preference order in its leveling function
weakenElementInRF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder: weakens the given element in this preference order in its ranking function
WeakestLinkOrder<T> - Class in org.tweetyproject.arg.aspic.order
WeakestLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class org.tweetyproject.arg.aspic.order.WeakestLinkOrder: Constructs a new weakest link ordering
WEAKLY_ADMISSIBLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
WEAKLY_COMPLETE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
WEAKLY_GROUNDED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
WEAKLY_PREFERRED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
WeaklyAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for weak admissibility the reasoner reduces the number of sets we have to check by computing candidate sets instead of checking all sets.
WeaklyAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner
WeaklyCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for weakly complete semantics as described in: see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
WeaklyCompleteReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
WeaklyGroundedReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for weakly grounded semantics a set of arguments E is w-grounded iff it is w-complete and minimal Note: unlike the grounded extension which is unique, there can be more than one w-grounded extension see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
WeaklyGroundedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
WeaklyPreferredReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for weakly preferred semantics see: Baumann, Brewka, Ulbricht: Revisiting the foundations of abstract argumentation-semantics based on weak admissibility and weak defense.
WeaklyPreferredReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
weakNeg() - Method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: J: Weak negation
WeakNegation - Class in org.tweetyproject.logics.translators.adfrevision: This class models a weak negation for 3-valued propositional logic as proposed in [Heyninck 2020] Adapted from the class "Negation"
WeakNegation(PlFormula) - Constructor for class org.tweetyproject.logics.translators.adfrevision.WeakNegation: Creates a new negation with the given formula.
WeakReinstatementPrinciple - Class in org.tweetyproject.arg.dung.principles: Weak Reinstatement Principle
WeakReinstatementPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
WeakSemanticsExample - Class in org.tweetyproject.arg.dung.examples: Example usage of the reasoner for weak semantics
WeakSemanticsExample() - Constructor for class org.tweetyproject.arg.dung.examples.WeakSemanticsExample
weight - Variable in class org.tweetyproject.lp.asp.semantics.AnswerSet: weight
WeightAtLevel() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
WeightAtLevelTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: weight at level test
WeightedApxWriter - Class in org.tweetyproject.arg.weighted.writer: * Writes an weighted abstract argumentation framework into a file of the APX format including the weight value of each attack.
WeightedApxWriter() - Constructor for class org.tweetyproject.arg.weighted.writer.WeightedApxWriter: Default
WeightedArgumentationFramework<T> - Class in org.tweetyproject.arg.weighted.syntax: This class implements a weighted abstract argumentation theory (WAF) using a C-Semiring.
WeightedArgumentationFramework() - Constructor for class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: default constructor returns classic Dung style AF using a Boolean Semiring
WeightedArgumentationFramework(Semiring<T>) - Constructor for class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Constructor for WAF with specific Semiring
WeightedArgumentationFramework(Semiring<T>, Graph<Argument>) - Constructor for class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Constructor for WAF from a graph with a specific Semiring.
WeightedArgumentationFramework(Semiring<T>, Graph<Argument>, Map<String, T>) - Constructor for class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Constructs a Weighted Argumentation Framework using the specified semiring, graph, and weight map.
weightedComponentCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted component count inconsistency measure on the first example graph (hunterExample13G1).
weightedComponentCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted component count inconsistency measure on the second example graph (hunterExample13G2).
WeightedComponentCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: Implements an inconsistency measure for Dung's argumentation frameworks based on the weighted count of connected components within the framework.
WeightedComponentCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure
weightedComponentCountWorksWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted component count inconsistency measure on a graph with cycles (hunterExample14G1).
weightedComponentCountWorksWithTwoComponent() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted component count inconsistency measure on a framework with two components (twoComponentFramework).
weightedCycleCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on the first example graph (hunterExample13G1).
weightedCycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on the second example graph (hunterExample13G2).
weightedCycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on a graph with cycles (hunterExample14G1).
weightedCycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on a different graph with cycles (hunterExample14G2).
weightedCycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on the tenth example graph (hunterExample10).
WeightedCycleCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: This class provides an inconsistency measure for Dung's argumentation frameworks based on the count and structure of cycles within the framework.
WeightedCycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure
weightedCycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted cycle count inconsistency measure on a framework with two components (twoComponentFramework).
WeightedDirectedEdge<S,T> - Class in org.tweetyproject.graphs: The `WeightedDirectedEdge` class represents a directed edge between two nodes in a graph, with an associated weight.
WeightedDirectedEdge(S, S, T) - Constructor for class org.tweetyproject.graphs.WeightedDirectedEdge: Creates a new weighted directed edge connecting two nodes with a given weight.
WeightedDungTheory - Class in org.tweetyproject.arg.dung.syntax: Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings
WeightedDungTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: initialize a new weighted argumentation theory
WeightedDungTheoryGeneratorExample - Class in org.tweetyproject.arg.weighted.examples: WeightedDungTheoryGeneratorExample class
WeightedDungTheoryGeneratorExample() - Constructor for class org.tweetyproject.arg.weighted.examples.WeightedDungTheoryGeneratorExample: Default Constructor
WeightedEdge<S,T> - Interface in org.tweetyproject.graphs: Interface for weighted edges.
weightedInSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the WeightedInSumInconsistencyMeasure.inconsistencyMeasure(T) method using the first example framework hunterExample13G1.
weightedInSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the WeightedInSumInconsistencyMeasure.inconsistencyMeasure(T) method using the second example framework hunterExample13G2.
WeightedInSumInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: Implements an inconsistency measure for Dung's argumentation frameworks based on the weighted sum of incoming attacks to each argument.
WeightedInSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure
weightedInSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the WeightedInSumInconsistencyMeasure.inconsistencyMeasure(T) method to verify that it works correctly with cyclic DungTheory frameworks.
weightedOutSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted out-sum inconsistency measure on the first example graph (hunterExample13G1).
weightedOutSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted out-sum inconsistency measure on the second example graph (hunterExample13G2).
WeightedOutSumInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: This class implements an inconsistency measure for Dung's argumentation frameworks based on the weighted sum of outgoing attacks from each argument.
WeightedOutSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure
weightedOutSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the weighted out-sum inconsistency measure on a graph with cycles (hunterExample14G1).
WeightedReasonerExample - Class in org.tweetyproject.arg.weighted.examples: WeightedReasonerExample class
WeightedReasonerExample() - Constructor for class org.tweetyproject.arg.weighted.examples.WeightedReasonerExample: Default
WeightedSemiring - Class in org.tweetyproject.math.algebra: This class represents a Weighted Semiring, where elements are interpreted as weights or costs.
WeightedSemiring() - Constructor for class org.tweetyproject.math.algebra.WeightedSemiring: Constructs a WeightedSemiring instance.
WeightedSemiring(double) - Constructor for class org.tweetyproject.math.algebra.WeightedSemiring: Constructs a WeightedSemiring instance with a max weight.
WeightedSemiringDungTheoryGenerator<T> - Class in org.tweetyproject.arg.weighted.util: Implements a customizable weighted Dung theory generator
WeightedSemiringDungTheoryGenerator(DungTheoryGenerator, Semiring<T>) - Constructor for class org.tweetyproject.arg.weighted.util.WeightedSemiringDungTheoryGenerator: Constructs a WeightedSemiringDungTheoryGenerator with the specified DungTheoryGenerator and Semiring.
WeightedSetSupport - Class in org.tweetyproject.arg.bipolar.syntax: Represents a weighted support relationship between two argument sets.
WeightedSetSupport(ArgumentSet, ArgumentSet, double) - Constructor for class org.tweetyproject.arg.bipolar.syntax.WeightedSetSupport: Constructs a new WeightedSetSupport instance.
weights - Variable in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: listing of weights of every edge in the argumentation graph
WeightVector - Interface in org.tweetyproject.preferences.aggregation: This interface is used for
WellFoundedReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner: This reasoner for ABA theories performs inference on the ideal extension.
WellFoundedReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner: Default
WF - Enum constant in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics: well founded
WGR - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: WGR
WGR - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Weakly Grounded semantics
where(Argument) - Method in interface org.tweetyproject.arg.adf.reasoner.query.ConditionlessTaskStep: where
WindowInconsistencyMeasurementProcess<S> - Class in org.tweetyproject.logics.commons.analysis.streams: This inconsistency measurement process keeps a window of a number of previous formulas in memory and computes the inconsistency value from this window using an ordinary inconsistency measure.
WindowInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
witness() - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState: Returns a witness of the satisfiability of all the clauses in the state, or null if the state is unsatisfiable.
witness() - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
witness() - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
witness(int[]) - Method in interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState: Retrieves the truth values of the given literals in the current SAT solver state.
witness(int[]) - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
witness(int[]) - Method in interface org.tweetyproject.sat.SatSolver: Returns the truth assignment of the given variables assuming no assumptions.
witness(int[], int[]) - Method in interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState: Retrieves the truth values of the given literals in the current SAT solver state, considering the specified assumptions.
witness(int[], int[]) - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver: Returns a witness (truth assignment) for the given literals under the given assumptions.
witness(int[], int[]) - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
witness(int[], int[]) - Method in class org.tweetyproject.sat.picosat.PicosatSatSolver
witness(int[], int[]) - Method in interface org.tweetyproject.sat.SatSolver: Returns the truth assignment of the given variables under the specified assumptions.
witness(Collection<? extends Literal>) - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
witness(Collection<? extends Literal>) - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
witness(Collection<? extends Literal>) - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
WPR - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: WPR
WPR - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Weakly Preferred semantics
write(String, EAFTheory) - Static method in class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Write EAFTheory to EdgeList file format
write(String, PEAFTheory) - Static method in class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Writes a PEAFTheory in EdgeList format
write(String, PEAFTheory, Set<BArgument>) - Static method in class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Writes a PEAFTheory and the query to a EdgeList format given the path
write(Map<Argument, AcceptanceCondition>) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter: Write acceptanceConditions
write(AspicArgumentationTheory<T>, File) - Method in class org.tweetyproject.arg.aspic.writer.AspicWriter: Writes the given ASPIC+ theory to disk.
write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter: Writes the given file into an abstract argumentation framework
write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.ApxWriter
write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.CnfWriter
write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.Iccma23Writer
write(DungTheory, File) - Method in class org.tweetyproject.arg.dung.writer.TgfWriter
write(WeightedArgumentationFramework, File) - Method in class org.tweetyproject.arg.weighted.writer.WeightedApxWriter: Writes the weighted argumentation framework to a file.
write(WeightedArgumentationFramework, File, int) - Method in class org.tweetyproject.arg.weighted.writer.WeightedApxWriter: Writes the weighted argumentation framework to a file.
write(WeightedArgumentationFramework, File, int, Boolean) - Method in class org.tweetyproject.arg.weighted.writer.WeightedApxWriter: Writes the weighted argumentation framework to a file with the specified precision.
write(WeightedArgumentationFramework, File, Boolean) - Method in class org.tweetyproject.arg.weighted.writer.WeightedApxWriter: Writes the weighted argumentation framework to a file.
writeArguments(Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter: Writes the given collection of arguments into a string of the form [arg1,...,argn].
writeLabeling(Labeling) - Static method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter: Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
Writer - Class in org.tweetyproject.commons: This class represents an abstract writer for writing objects into the file system.
Writer() - Constructor for class org.tweetyproject.commons.Writer: Creates a new empty writer.
Writer(Object) - Constructor for class org.tweetyproject.commons.Writer: Creates a new writer for the given object.
WriterTest() - Method in class org.tweetyproject.arg.dung.ProboTest: Tests the functionality of the AbstractDungWriter to ensure it correctly formats arguments into a string based on a DungTheory object.
writeTo(AbstractDialecticalFramework, OutputStream) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter: The OutputStream is not closed by this method, it is up to the caller.
writeToFile(String) - Method in class org.tweetyproject.commons.Writer: Writes the object into the given file.
writeToFile(String, PreferenceOrder<T>) - Method in class org.tweetyproject.preferences.io.POWriter: Write to file
writeToFile(AbstractDialecticalFramework, File) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter: Write to file
writeToString() - Method in class org.tweetyproject.commons.Writer: Writes the object into a string.
writeToString() - Method in class org.tweetyproject.logics.ml.writer.MlWriter
writeToString() - Method in class org.tweetyproject.logics.pl.writer.PlWriter
writeToString() - Method in class org.tweetyproject.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
writeToString() - Method in class org.tweetyproject.logics.rpcl.writers.DefaultProbabilityDistributionWriter
WrongArityTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
WrongCharacterOrderTest() - Method in class org.tweetyproject.logics.ml.MlParserTest

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form