Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

W

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.util.AnswerSet
 
weight - Variable in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
A parameter for adjusting the aggregation.
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(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
 
write - Variable in class net.sf.tweety.lp.asp.reasoner.SolveTime
nanoseconds to transfer program to solver
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 - 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.
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.
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(String) - Method in class net.sf.tweety.commons.Writer
Writes the object into the given file.
writeToFile - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
 
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.ModalWriter
 
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.ModalParserTest
 
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links