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

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

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