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 All Packages
All Classes All Packages
All Classes All Packages
W
- WARN - net.sf.tweety.commons.TweetyConfiguration.LogLevel
- WCONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- WCONS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- WEAKEN - net.sf.tweety.preferences.Operation
- weakenElement(T) - Method in class net.sf.tweety.preferences.ranking.Functions
-
weakens the given element in the function
- weakenElement(T) - Method in class net.sf.tweety.preferences.ranking.LevelingFunction
-
weakens the given element in the leveling function
- weakenElement(T) - Method in class net.sf.tweety.preferences.ranking.RankingFunction
-
weakens the given element in the ranking function
- weakenElementInLF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
weakens the given element in this preference order in its leveling function
- weakenElementInRF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
weakens the given element in this preference order in its ranking function
- WeakestLinkOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order
- WeakestLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.WeakestLinkOrder
-
Constructs a new weakest link ordering
- weight - Variable in class net.sf.tweety.graphs.WeightedDirectedEdge
-
The weight of this edge.
- weight - Variable in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
- weight - Variable in class net.sf.tweety.logics.mln.syntax.MlnFormula
-
The weight of the formula (null means that the formula is strict).
- weight - Variable in class net.sf.tweety.lp.asp.semantics.AnswerSet
- weight - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
-
Additional attributes that can be used for weak constraints (rules with empty heads).
- weight - Variable in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
-
A parameter for adjusting the aggregation.
- WeightAtLevel() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- WeightAtLevelTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- WeightedDirectedEdge<S extends Node,T extends java.lang.Number> - Class in net.sf.tweety.graphs
- WeightedDirectedEdge(S, S, T) - Constructor for class net.sf.tweety.graphs.WeightedDirectedEdge
-
Creates a new weighted direct edge.
- WeightedEdge<S extends Node,T extends java.lang.Number> - Interface in net.sf.tweety.graphs
-
Interface for weighted edges.
- WeightedHerbrandInterpretation() - Constructor for class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
- WeightVector - Interface in net.sf.tweety.preferences.aggregation
-
This interface is used for
- WellFoundedReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
- WellFoundedReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.WellFoundedReasoner
- WindowInconsistencyMeasurementProcess<S extends Formula> - Class in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
- windowsize - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
The window size.
- wins - Variable in class net.sf.tweety.agents.sim.SimulationResult
-
The number of wins of each agent generator.
- witnessProvider - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
The witness provider used.
- witnessProvider - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
The witness provider used.
- world - Variable in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
-
Implementation of possible world with a small memory print and fast satisfication tests.
- world - Variable in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- worldData - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
The data of the conditional structure maps to every PossibleWorld a map of Conditionals and their Generators.
- worldProb - Variable in class net.sf.tweety.logics.pl.util.RandomSampler
-
Probability of selecting any world as a model of a formula
- worldProps - Static variable in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- worldRepresentation - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
The object used to sort the literals in the PossibleWorld
- worlds - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
The current candidate 3-valued models.
- worldSorting - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
The object used to sort the Nice Possible worlds
- wrappedRevision - Variable in class net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper
-
The wrapped revision operator.
- write(AspicArgumentationTheory<T>, File) - Method in class net.sf.tweety.arg.aspic.writer.AspicWriter
-
Writes the given ASPIC+ theory to disk.
- write(DungTheory, File) - Method in class net.sf.tweety.arg.dung.writer.AbstractDungWriter
-
Writes the given file into an abstract argumentation framework
- write(DungTheory, File) - Method in class net.sf.tweety.arg.dung.writer.ApxWriter
- write(DungTheory, File) - Method in class net.sf.tweety.arg.dung.writer.CnfWriter
- write(DungTheory, File) - Method in class net.sf.tweety.arg.dung.writer.TgfWriter
- writeAlchemyMlnFile(MarkovLogicNetwork, FolSignature, FolFormula) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
-
Writes the given MLN wrt.
- writeArguments(Collection<Argument>) - Static method in class net.sf.tweety.arg.dung.writer.AbstractDungWriter
-
Writes the given collection of arguments into a string of the form [arg1,...,argn].
- writeLabeling(Labeling) - Static method in class net.sf.tweety.arg.dung.writer.AbstractDungWriter
-
Writes a labeling in the form [[IN1,...,INM],[OUT1,...,OUTN],[UNDEC1,...,UNDECM]]
- writer - Variable in class net.sf.tweety.logics.fol.writer.Prover9Writer
-
output is redirected to this writer
- writer - Variable in class net.sf.tweety.logics.fol.writer.SPASSWriter
-
Output is redirected to this writer.
- writer - Variable in class net.sf.tweety.logics.fol.writer.TPTPWriter
-
Output is redirected to this writer
- writer - Variable in class net.sf.tweety.logics.ml.writer.MleanCoPWriter
-
Output is redirected to this writer.
- writer - Variable in class net.sf.tweety.logics.ml.writer.SPASSWriter
-
Output is redirected to this writer.
- writer - Variable in class net.sf.tweety.lp.asp.writer.ClingoWriter
- Writer - Class in net.sf.tweety.commons
-
This class represents an abstract writer for writing objects into the file system.
- Writer(Object) - Constructor for class net.sf.tweety.commons.Writer
-
Creates a new writer for the given object.
- WriterTest() - Method in class net.sf.tweety.arg.dung.ProboTest
- writeToDisk(String) - Method in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
-
Writes the given log to disk.
- writeToFile - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
- writeToFile(String) - Method in class net.sf.tweety.commons.Writer
-
Writes the object into the given file.
- writeToFile(String, PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.io.POWriter
- writeToString() - Method in class net.sf.tweety.commons.Writer
-
Writes the object into a string.
- writeToString() - Method in class net.sf.tweety.logics.ml.writer.MlWriter
- writeToString() - Method in class net.sf.tweety.logics.pl.writer.PlWriter
- writeToString() - Method in class net.sf.tweety.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
- writeToString() - Method in class net.sf.tweety.logics.rpcl.writers.DefaultProbabilityDistributionWriter
- WrongArityTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
- WrongCharacterOrderTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
All Classes All Packages