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
WARN - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
WARN
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.
WEAK_REINSTATEMENT - Static variable in class org.tweetyproject.arg.dung.principles.Principle
The weak reinstatement principle
WEAKDOMINANCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The WEAKDOMINANCE postulate
WEAKEN - Enum constant in enum org.tweetyproject.preferences.Operation
 
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 extends Invertable> - 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
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 A semantics satisfies weak reinstatement if for all extensions E it holds that: if E strongly defends an argument a, then a is in E An argument a is strongly defended by E iff some argument in E \ {a} defends a see: Baroni, P., and Giacomin, M.
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
 
WeightAtLevel() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
 
WeightAtLevelTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest
weight at level test
weightedComponentCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedComponentCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedComponentCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
 
WeightedComponentCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure
 
weightedComponentCountWorksWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedComponentCountWorksWithTwoComponent() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedCycleCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedCycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedCycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedCycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedCycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedCycleCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
 
WeightedCycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure
 
weightedCycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedDirectedEdge<S extends Node,T extends Number> - Class in org.tweetyproject.graphs
 
WeightedDirectedEdge(S, S, T) - Constructor for class org.tweetyproject.graphs.WeightedDirectedEdge
Creates a new weighted direct edge.
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
WeightedEdge<S extends Node,T extends Number> - Interface in org.tweetyproject.graphs
Interface for weighted edges.
weightedInSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedInSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedInSumInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
 
WeightedInSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure
 
weightedInSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedOutSumExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
weightedOutSumExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedOutSumInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
 
WeightedOutSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure
 
weightedOutSumWorkedWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
 
WeightedSetSupport - Class in org.tweetyproject.arg.bipolar.syntax
 
WeightedSetSupport(ArgumentSet, ArgumentSet, double) - Constructor for class org.tweetyproject.arg.bipolar.syntax.WeightedSetSupport
 
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 extends Formula> - 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
 
where(Argument) - Method in interface org.tweetyproject.arg.adf.reasoner.query.ConditionlessTaskStep
 
WindowInconsistencyMeasurementProcess<S extends Formula> - 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
 
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.
witness(int[], int[]) - Method in interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState
 
witness(int[], int[]) - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver
 
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
 
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
 
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(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
 
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
 
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
 
writeToFile(AbstractDialecticalFramework, File) - Static method in class org.tweetyproject.arg.adf.io.KppADFFormatWriter
 
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