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 _

R

r - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r1 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r2 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r3 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r4 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r5 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r6 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r7 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

r8 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

rand - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

For randomization.

rand - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

For randomization.

rand - Variable in class net.sf.tweety.logics.pl.util.RandomPlBeliefSetSampler

for generating random numbers

rand - Variable in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler

rand - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver

For randomization

random - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator

Random numbers generator.

random - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

Random numbers generator.

random - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator

Random numbers generator.

random - Variable in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator

Random numbers generator.

random - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator

The random number generator.

random - Static variable in class net.sf.tweety.math.probability.Probability

for sampling probabilities.

random - Static variable in class net.sf.tweety.math.probability.ProbabilityFunction

For random sampling.

RANDOM_SEED1 - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest

RANDOM_SEED1 - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

RANDOM_SEED2 - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest

RANDOM_SEED2 - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

RANDOM_SEED3 - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest

RANDOM_SEED3 - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

RANDOM_SEED4 - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest

RANDOM_SEED4 - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

randomFormula() - Method in class net.sf.tweety.logics.pl.util.CnfSampler

Samples a random formula (a disjunction of literals).

randomFormula() - Method in class net.sf.tweety.logics.pl.util.RandomPlBeliefSetSampler

Returns a random formula.

RandomIncisionFunction<T extends Formula> - Class in net.sf.tweety.beliefdynamics.kernels

This class implements an incision function that just randomly selects a minimal incision.

RandomIncisionFunction() - Constructor for class net.sf.tweety.beliefdynamics.kernels.RandomIncisionFunction

RandomKernelContractionOperator - Class in net.sf.tweety.beliefdynamics.operators

This class implements a simple kernel base contraction for propositional logic with an incision function that randomly selects its incisions.

RandomKernelContractionOperator() - Constructor for class net.sf.tweety.beliefdynamics.operators.RandomKernelContractionOperator

Creates a new contraction operator.

RandomLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries

A baseline agent for argumentation games who always returns some random move.

RandomLotteryAgent(String, DungTheory, UtilityFunction, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.RandomLotteryAgent

Creates a new agent with the given name, theory, and semantics

RandomLotteryAgentGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim

Generates baseline lottery agents.

RandomLotteryAgentGenerator(String) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator

RandomPlBeliefSetSampler - Class in net.sf.tweety.logics.pl.util

This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.

RandomPlBeliefSetSampler(Signature, double) - Constructor for class net.sf.tweety.logics.pl.util.RandomPlBeliefSetSampler

Creates a new sampler for the given signature

randomRoot() - Method in class net.sf.tweety.math.opt.BfgsRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.GradientDescentRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.HessianGradientDescentRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.LbfgsRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.NewtonRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.OptimizationRootFinder

randomRoot() - Method in class net.sf.tweety.math.opt.RootFinder

Determines the values for the variables appearing in the function such the function evaluates to zero.

randomSample(int) - Method in class net.sf.tweety.arg.saf.util.BasicArgumentSampler

randomSample(int, int) - Method in class net.sf.tweety.arg.saf.util.SimpleSafSampler

randomSample(int, int) - Method in class net.sf.tweety.commons.BeliefBaseSampler

This method randomly samples a single belief base of the given signature with the given belief base length.

randomSample() - Method in class net.sf.tweety.commons.BeliefBaseSampler

This method randomly samples a single belief base of the given signature with the default maximum belief base length.

randomSample(int, int, int) - Method in class net.sf.tweety.commons.BeliefBaseSampler

This method randomly samples a total of "numBeliefBases" of the given signature and maximum belief base length.

randomSample(int) - Method in class net.sf.tweety.commons.FormulaSampler

This method randomly samples a single formula of the given signature with the given maximal formula length.

randomSample() - Method in class net.sf.tweety.commons.FormulaSampler

This method randomly samples a single formula of the given signature with the default maximal formula length.

randomSample(int, int) - Method in class net.sf.tweety.commons.FormulaSampler

This method randomly samples a total of "numFormulas" of the given signature and maximal formula length.

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.CnfSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.ContensionSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.HsSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.MiSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.RandomPlBeliefSetSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingPlBeliefSetSampler

randomSample(int, int) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler

RandomSubsetIterator<T> - Class in net.sf.tweety.commons.util

Iterates over all subsets of a given sets in a random order.

RandomSubsetIterator(Set<T>, boolean) - Constructor for class net.sf.tweety.commons.util.RandomSubsetIterator

Creates a new subset iterator for the given set.

rank(Collection<? extends Proposition>) - Method in class net.sf.tweety.agents.dialogues.structured.CountingUtilityFunction

rank(Collection<? extends Proposition>) - Method in class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction

rank(Collection<? extends Proposition>) - Method in class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction

rank(Collection<? extends Proposition>) - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent

Ranks the given collection of propositions wrt.

rank(Collection<? extends Proposition>) - Method in interface net.sf.tweety.agents.dialogues.structured.UtilityFunction

Rank the given collection of propositions.

rank(PossibleWorld) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Gets the rank of the given possible world.

rank(Formula) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Gets the rank of the given formula.

rank(HerbrandInterpretation) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Gets the rank of the given Herbrand interpretation.

rank(FolFormula) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Gets the rank of the given sentence (ground formula).

RankingFunction - Class in net.sf.tweety.logics.cl.semantics

A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.

RankingFunction(PropositionalSignature) - Constructor for class net.sf.tweety.logics.cl.semantics.RankingFunction

Creates a new ranking function mapping each given interpretation to zero.

RankingFunction<T> - Class in net.sf.tweety.preferences.ranking

This class is meant to provide ranking functions to given preference orders and vice versa.

RankingFunction() - Constructor for class net.sf.tweety.preferences.ranking.RankingFunction

constructs a new, empty ranking function caller can use Map-method putAll to fill this empty ranking function

RankingFunction(LevelingFunction<T>) - Constructor for class net.sf.tweety.preferences.ranking.RankingFunction

this constructor creates a ranking function using a given preference order

ranks - Variable in class net.sf.tweety.logics.cl.semantics.RankingFunction

The ranks of the possible worlds.

ranks - Variable in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

The ranks of the Herbrand interpretations.

RationalPASemantics - Class in net.sf.tweety.arg.prob.semantics

P is rational wrt.

RationalPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.RationalPASemantics

RBRA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants

RegularExpression Id.

RBRA - Static variable in interface net.sf.tweety.preferences.io.POParserConstants

RegularExpression Id.

RBRA - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants

RegularExpression Id.

RclBeliefSet - Class in net.sf.tweety.logics.rcl

This class models a belief set on relational conditional logic, i.e.

RclBeliefSet() - Constructor for class net.sf.tweety.logics.rcl.RclBeliefSet

Creates a new (empty) conditional belief set.

RclBeliefSet(Collection<? extends RelationalConditional>) - Constructor for class net.sf.tweety.logics.rcl.RclBeliefSet

Creates a new relational conditional belief set with the given collection of relational conditionals.

RclParser - Class in net.sf.tweety.logics.rcl.parser

This class implements a parser for relational conditional logic.

RclParser() - Constructor for class net.sf.tweety.logics.rcl.parser.RclParser

Creates a new RCL Parser

RclTest - Class in net.sf.tweety.logics.rcl.test

RclTest() - Constructor for class net.sf.tweety.logics.rcl.test.RclTest

RDLJUnitTest - Class in net.sf.tweety.logics.rdl.test

RDLJUnitTest() - Constructor for class net.sf.tweety.logics.rdl.test.RDLJUnitTest

RdlParser - Class in net.sf.tweety.logics.rdl.parser

This class implements a parser for default logic.

RdlParser() - Constructor for class net.sf.tweety.logics.rdl.parser.RdlParser

RDLTest - Class in net.sf.tweety.logics.rdl.test

RDL Test

RDLTest() - Constructor for class net.sf.tweety.logics.rdl.test.RDLTest

read - Variable in class net.sf.tweety.lp.asp.solver.SolveTime

nanoseconds to parse back answer sets (accumulated over all answer sets)

readChar() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Read a character.

readChar() - Static method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Read a character.

readChar() - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Read a character.

readChar() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Read a character.

readChar() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Read a character.

readChar() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Read a character.

readChar() - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Read a character.

realPart - Variable in class net.sf.tweety.math.ComplexNumber

The real part of this complex number.

RealVectorNorm - Interface in net.sf.tweety.math.norm

A norm for real vector spaces.

reasoner - Variable in class net.sf.tweety.arg.saf.OutputReasoner

The reasoner used for computing the extensions of the induced Dung theory.

Reasoner - Class in net.sf.tweety.commons

A reasoner specifies a specific inference operation for a given language.

Reasoner(BeliefBase) - Constructor for class net.sf.tweety.commons.Reasoner

Creates a new reasoner for the given knowledge base.

reasoner - Variable in class net.sf.tweety.logics.ml.IteratingMlnReasoner

The reasoner inside this reasoner.

REASONER_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestQueries

REASONER_COUNTER - Static variable in class net.sf.tweety.arg.delp.TestQueries

REASONER_DTREE - Static variable in class net.sf.tweety.arg.delp.TestQueries

REASONER_HOBBES - Static variable in class net.sf.tweety.arg.delp.TestQueries

REASONER_NIXON - Static variable in class net.sf.tweety.arg.delp.TestQueries

REASONER_STOCKS - Static variable in class net.sf.tweety.arg.delp.TestQueries

ReasonerCompare - Class in net.sf.tweety.logics.cl.test

ReasonerCompare() - Constructor for class net.sf.tweety.logics.cl.test.ReasonerCompare

ReasonerTest() - Method in class net.sf.tweety.arg.aba.ABATest

ReasonerTest() - Method in class net.sf.tweety.arg.aspic.AspicTest

ReasonerTest2() - Method in class net.sf.tweety.arg.aspic.AspicTest

rebut - Variable in class net.sf.tweety.arg.lp.semantics.attack.Attack

rebut - Variable in class net.sf.tweety.arg.lp.semantics.attack.Defeat

Rebut - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the rebut relation.

Rebut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.Rebut

Private constructor.

Rebuttal - Class in net.sf.tweety.arg.deductive.semantics.attacks

This attack notion models the rebuttal relation; A is defeated by B iff claim(B) == \neg claim(A).

Rebuttal() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.Rebuttal

Private constructor.

rec - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState

The recognition function for recognizing ordinary arguments.

recDecrease - Variable in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler

RecognitionFunction - Class in net.sf.tweety.agents.dialogues.oppmodels

This class realizes a recognition function as explained in [Rienstra, Thimm, in preparation].

RecognitionFunction() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction

reduct(Collection<DLPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns the reduct of this program wrt.

ReferenceWorld - Class in net.sf.tweety.logics.rpcl

Instances of this class represent reference worlds, i.e.

ReferenceWorld(Collection<? extends Collection<? extends Constant>>, Collection<Predicate>) - Constructor for class net.sf.tweety.logics.rpcl.ReferenceWorld

Creates a new reference world for the given equivalence classes.

regainIllegalCharacters(String) - Method in class net.sf.tweety.action.query.SActionQuerySatisfactionTester

This function exists mainly for debug reasons to regain a human readable version of the atoms in a logic program or in a resulting stable model.

regainIllegalChars(String) - Method in class net.sf.tweety.action.description.CTransitionSystemCalculator

Regains all illegal characters from answer sets.

registerAsViewListener() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter

Helper method: Registers the presenter as swing listener at the view components.

registerAsViewListener() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

Helper method: Register the presenter with the view components.

ReInit(InputStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParser

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.arg.delp.parser.DelpParser

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.arg.delp.parser.DelpParser

Reinitialise.

ReInit(DelpParserTokenManager) - Method in class net.sf.tweety.arg.delp.parser.DelpParser

Reinitialise.

ReInit(SimpleCharStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Static method in class net.sf.tweety.arg.dung.parser.DungParser

Reinitialise.

ReInit(InputStream, String) - Static method in class net.sf.tweety.arg.dung.parser.DungParser

Reinitialise.

ReInit(Reader) - Static method in class net.sf.tweety.arg.dung.parser.DungParser

Reinitialise.

ReInit(DungParserTokenManager) - Method in class net.sf.tweety.arg.dung.parser.DungParser

Reinitialise.

ReInit(SimpleCharStream) - Static method in class net.sf.tweety.arg.dung.parser.DungParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Static method in class net.sf.tweety.arg.dung.parser.DungParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.arg.dung.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.logics.fol.parser.FolParserB

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.logics.fol.parser.FolParserB

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.logics.fol.parser.FolParserB

Reinitialise.

ReInit(FolParserBTokenManager) - Method in class net.sf.tweety.logics.fol.parser.FolParserB

Reinitialise.

ReInit(SimpleCharStream) - Method in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Reinitialise.

ReInit(InputStream, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Reinitialise.

ReInit(Reader) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Reinitialise.

ReInit(RpclCondensedProbabilityDistributionParserTokenManager) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Reinitialise.

ReInit(SimpleCharStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Reinitialise.

ReInit(InputStream, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Reinitialise.

ReInit(Reader) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Reinitialise.

ReInit(RpclProbabilityDistributionParserTokenManager) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Reinitialise.

ReInit(SimpleCharStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.ASPParser

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.ASPParser

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.ASPParser

Reinitialise.

ReInit(ASPParserTokenManager) - Method in class net.sf.tweety.lp.asp.parser.ASPParser

Reinitialise.

ReInit(SimpleCharStream) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.POParser

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.POParser

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.preferences.io.POParser

Reinitialise.

ReInit(POParserTokenManager) - Method in class net.sf.tweety.preferences.io.POParser

Reinitialise.

ReInit(SimpleCharStream) - Method in class net.sf.tweety.preferences.io.POParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager

Reinitialise parser.

ReInit(Reader, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(Reader, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

Reinitialise.

ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.UPParser

Reinitialise.

ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.UPParser

Reinitialise.

ReInit(Reader) - Method in class net.sf.tweety.preferences.io.UPParser

Reinitialise.

ReInit(UPParserTokenManager) - Method in class net.sf.tweety.preferences.io.UPParser

Reinitialise.

ReInit(SimpleCharStream) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

Reinitialise parser.

ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

Reinitialise parser.

ReInitRounds() - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

ReInitRounds() - Static method in class net.sf.tweety.arg.dung.parser.DungParserTokenManager

ReInitRounds() - Method in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager

ReInitRounds() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

ReInitRounds() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

ReInitRounds() - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager

ReInitRounds() - Method in class net.sf.tweety.preferences.io.POParserTokenManager

ReInitRounds() - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

REL - Static variable in interface net.sf.tweety.preferences.io.POParserConstants

RegularExpression Id.

Relation - Enum in net.sf.tweety.preferences

This enumeration lists the possible relations between two elements in preference orders

Relation() - Constructor for enum net.sf.tweety.preferences.Relation

RelationalBruteForceCReasoner - Class in net.sf.tweety.logics.rcl

This class models a relational brute force c-reasoner for relational conditional logic.

RelationalBruteForceCReasoner(BeliefBase, FolSignature, boolean) - Constructor for class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner

Creates a new relational c-representation reasoner for the given knowledge base.

RelationalBruteForceCReasoner(BeliefBase, FolSignature) - Constructor for class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner

Creates a new simple c-representation reasoner for the given knowledge base.

RelationalConditional - Class in net.sf.tweety.logics.rcl.syntax

Instances of this class represent relational conditionals.

RelationalConditional(FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rcl.syntax.RelationalConditional

Creates a new conditional with the given premise and conclusion.

RelationalConditional(FolFormula) - Constructor for class net.sf.tweety.logics.rcl.syntax.RelationalConditional

Creates a new conditional with the given conclusion and a tautological premise.

RelationalFormula - Class in net.sf.tweety.logics.fol.syntax

This interface models a relational formula, i.e.

RelationalFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.RelationalFormula

RelationalProbabilisticConditional - Class in net.sf.tweety.logics.rpcl.syntax

This class represents a relational probabilistic conditional, i.e.

RelationalProbabilisticConditional(FolFormula, FolFormula, Probability) - Constructor for class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

Creates a new conditional with the given premise, conclusion and probability.

RelationalProbabilisticConditional(FolFormula, Probability) - Constructor for class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

Creates a new conditional with the given conclusion and probability and a tautological premise.

RelationalProbabilisticConditional(RelationalConditional, Probability) - Constructor for class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

Creates a new relational probabilistic conditional with the given conditional and probability

RelationalRankingFunction - Class in net.sf.tweety.logics.rcl.semantics

A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.

RelationalRankingFunction(FolSignature) - Constructor for class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Creates a new ranking function mapping each given interpretation to zero.

relations - Variable in class net.sf.tweety.preferences.PreferenceOrder

a given set of Triples

RelevanceReasoner - Class in net.sf.tweety.logics.cl

Implements the approach from
James P.

RelevanceReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.cl.RelevanceReasoner

Creates a new relevance reasoner for the given knowledge base.

RemainderSets<T extends Formula> - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision

This class represents the set of remainder sets constructed from a belief base.

RemainderSets() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets

remove(Object) - Method in class net.sf.tweety.agents.MultiAgentSystem

remove(Attack) - Method in class net.sf.tweety.arg.dung.DungTheory

Removes the given attack from this Dung theory.

remove(Argument) - Method in class net.sf.tweety.arg.dung.DungTheory

Removes the argument and all its attacks

remove(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

remove(int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

remove(Object) - Method in class net.sf.tweety.arg.dung.semantics.Extension

remove(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling

remove(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking

remove(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

remove(Attack) - Method in class net.sf.tweety.arg.prob.ProbabilisticArgumentationFramework

remove(Argument) - Method in class net.sf.tweety.arg.prob.ProbabilisticArgumentationFramework

remove(Object) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure

remove(Argument) - Method in class net.sf.tweety.arg.social.SocialAbstractArgumentationFramework

remove(Object) - Method in class net.sf.tweety.commons.BeliefSet

remove() - Method in interface net.sf.tweety.commons.InterpretationIterator

remove(Object) - Method in class net.sf.tweety.commons.InterpretationSet

remove(Object) - Method in class net.sf.tweety.commons.SetSignature

remove() - Method in class net.sf.tweety.commons.streams.DefaultFormulaStream

remove() - Method in interface net.sf.tweety.commons.streams.FormulaStream

remove() - Method in class net.sf.tweety.commons.util.SubsetIterator

remove(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

remove(int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

remove(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.Sort

Removes the given term from this sort.

remove(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

remove(int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

remove(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

remove(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

remove() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

remove(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

remove(int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

remove(Object) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld

remove(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

remove(int) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

remove(Object) - Method in class net.sf.tweety.math.Interval

remove(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction

remove(Object) - Method in class net.sf.tweety.preferences.PreferenceOrder

removes specific pair of the set

REMOVE_SELFLOOPS - Static variable in interface net.sf.tweety.graphs.Graph

When inverting a graph, simple remove self loops, but don't add new ones.

removeAll(Collection<?>) - Method in class net.sf.tweety.agents.MultiAgentSystem

removeAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.DungTheory

removeAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

removeAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.semantics.Extension

removeAll(Collection<?>) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure

removeAll(Collection<?>) - Method in class net.sf.tweety.commons.BeliefSet

removeAll(Collection<?>) - Method in class net.sf.tweety.commons.InterpretationSet

removeAll(Collection<?>) - Method in class net.sf.tweety.commons.SetSignature

removeAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

removeAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

removeAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

removeAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

removeAll(Collection<?>) - Method in class net.sf.tweety.math.Interval

removeAll(Collection<?>) - Method in class net.sf.tweety.preferences.PreferenceOrder

removes all given elements from the preference order

removeArgumentType(int) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Removes the argument type at the specified index

removeArgumentType(Sort) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Removes the given Sort from the list of argument types

removeArgumentType(int) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

removeArgumentType(Sort) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

removeBeliefbase(Collection<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

Removes a belief base from the ordered list of belief bases.

removeConditional(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure

Removes the given Conditional from the ConditionalStructure and updates the structure.

removeDefault(DefaultRule) - Method in class net.sf.tweety.logics.rdl.DefaultTheory

removes default rule

removeFact(FolFormula) - Method in class net.sf.tweety.logics.rdl.DefaultTheory

removes fact from knowledge base

removeIllegalCharacters(String) - Method in class net.sf.tweety.action.query.SActionQuerySatisfactionTester

For an easy mapping of formulas to atoms in a logic program, this function changes all symbols, which may occur in a string representation of an action query to unique valid characters in the input language of lparse.

removeIllegalChars(String) - Method in class net.sf.tweety.action.description.CTransitionSystemCalculator

Removes illegal characters from atom names, which are not parsable by an lparse compatible answer set solver.

removeInconsistencyListener(InconsistencyListener) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure

removeInconsistencyListener(InconsistencyListener) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure

Remove a listener from this measure.

removeListener(PropertyChangeListener) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

Removes a property change listener

removeListener(PropertyChangeListener) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

Removes a property change listener

removeListener(UpdateListener<T>) - Method in interface net.sf.tweety.preferences.aggregation.DynamicPreferenceAggregator

The remove-method for listeners for a dynamic preference aggregator

removeListener(UpdateListener<T>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator

removes a listener from this dynamic preference aggregator

removeOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

Removes the given revision operator from the set of selectable revision methods.

removeOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

Removes the given revision operator from the set of selectable revision methods.

removeProtocolListener(ProtocolListener) - Method in class net.sf.tweety.agents.AbstractProtocol

removeProtocolListener(ProtocolListener) - Method in interface net.sf.tweety.agents.Protocol

Removes the given protocol listener from this protocol.

removeTerm(Term) - Method in class net.sf.tweety.math.term.AssociativeOperation

Removes the given term from this operation.

rep - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest2

Number of repetitions per file

repair(BeliefBase) - Method in interface net.sf.tweety.commons.BeliefBaseMachineShop

Repairs the given belief base, i.e.

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMeMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.GeneralizedMeMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop

repair(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop

repair(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression

Compute solution using ojalgos matrix representation.

repair(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix

Compute solution using ojalgos matrix representation.

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop

repair(BeliefBase) - Method in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

RepairTest - Class in net.sf.tweety.logics.pcl.test

RepairTest() - Constructor for class net.sf.tweety.logics.pcl.test.RepairTest

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Conjunction

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Disjunction

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Negation

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Proposition

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula

Replaces the ith instance of the proposition p by f.

replace(Proposition, PropositionalFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula

replaceAllTerms(Map<? extends Term, ? extends Term>) - Method in class net.sf.tweety.math.equation.Statement

Replaces terms according to the given map.

replaceAllTerms(double[], List<Variable>) - Method in class net.sf.tweety.math.term.Term

Replaces terms according to the given map.

replaceAllTerms(Map<? extends Term, ? extends Term>) - Method in class net.sf.tweety.math.term.Term

Replaces terms according to the given map.

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.equation.Equation

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.equation.Inequation

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.equation.Statement

Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.AbsoluteValue

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Constant

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Difference

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Exp

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Fraction

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.FunctionalTerm

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Logarithm

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Maximum

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Minimum

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Power

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Product

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Root

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Sum

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Term

Replaces each occurrence of "toSubstitute" by "substitution" and return the new term.

replaceTerm(Term, Term) - Method in class net.sf.tweety.math.term.Variable

representation - Variable in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

The set saving all the proposition boolean pairs that represent this world assuming the current signature.

requirements - Variable in class net.sf.tweety.action.description.syntax.CLaw

requirements - Variable in class net.sf.tweety.action.query.syntax.SActionQuery

reset() - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment

reset() - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment

reset() - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment

reset() - Method in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment

reset() - Method in interface net.sf.tweety.agents.Environment

Resets the environment, i.e.

reset() - Method in interface net.sf.tweety.commons.InterpretationIterator

Initializes a new reseted iterator.

reset(Signature) - Method in interface net.sf.tweety.commons.InterpretationIterator

Initializes a new reseted iterator for the given signature.

reset(Collection<? extends Formula>) - Method in interface net.sf.tweety.commons.InterpretationIterator

Initializes a new reseted iterator for the given signature derived from the given set of formulas.

reset() - Method in class net.sf.tweety.logics.ml.AbstractMlnReasoner

Resets this reasoner (removes cached files etc.)

reset() - Method in class net.sf.tweety.logics.ml.AlchemyMlnReasoner

reset() - Method in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner

reset() - Method in class net.sf.tweety.logics.ml.IteratingMlnReasoner

reset() - Method in class net.sf.tweety.logics.ml.NaiveMlnReasoner

reset() - Method in class net.sf.tweety.logics.ml.SimpleSamplingMlnReasoner

reset() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

reset(Signature) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

reset(Collection<? extends Formula>) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

reset() - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState

resolvableWith(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula

Checks whether this formula (which must be a conjunction of literals) is resolvable with the given formulas (which is also a conjunction of literals, i.e.

resolve() - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack

Determines whether the attack is successfull

resolveAbsoluteValues() - Method in class net.sf.tweety.math.opt.OptimizationProblem

Resolves all occurrences of absolute values "abs(X)" by replacing "abs(X)" by a new variable "TMPABS" adding constraints "TMPABS - X>= 0" and "TMPABS + X >= 0" (yielding "TMPABS <= abs(X)") introducing a new variable "TMPABSB" adding constraints "X+PENALTY*TMPABSB - TMPABS >= 0" and "-X-TMPABSB*PENALTY - TMPABS >= -PENALTY" (yielding "TMPABS >= abs(X)") adding constraints "TMPABSB<=1"

resolveMaximums() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem

Resolves all occurrences of maximums by substituting a maximum "max{a,b}" by "0.5 a + 0.5 b + abs(a-b)".

resolveMaximums() - Method in class net.sf.tweety.math.opt.OptimizationProblem

resolveMinimums() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem

Resolves all occurrences of minimums by substituting a minimum "min{a,b}" by "0.5 a + 0.5 b - abs(a-b)".

resolveMinimums() - Method in class net.sf.tweety.math.opt.OptimizationProblem

resolveWith(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula

Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.

Result() - Constructor for enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result

result - Variable in class net.sf.tweety.lp.asp.syntax.Arithmetic

the term Z giving the result of the arithmetic expression: Z=X+Y or the third argument of an build-in function #func(X,Y,Z)

result - Variable in class net.sf.tweety.preferences.events.UpdateEvent

RESULT_PATH - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation

RESULT_PATH - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2

retainAll(Collection<?>) - Method in class net.sf.tweety.agents.MultiAgentSystem

retainAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

retainAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.semantics.Extension

retainAll(Collection<?>) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure

retainAll(Collection<?>) - Method in class net.sf.tweety.commons.BeliefSet

retainAll(Collection<?>) - Method in class net.sf.tweety.commons.InterpretationSet

retainAll(Collection<?>) - Method in class net.sf.tweety.commons.SetSignature

retainAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

retainAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

retainAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

retainAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

retainAll(Collection<?>) - Method in class net.sf.tweety.math.Interval

retainAll(Collection<?>) - Method in class net.sf.tweety.preferences.PreferenceOrder

RETURN_SET_PREDICATE() - Constructor for enum net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE

revise(Collection<T>, T) - Method in interface net.sf.tweety.beliefdynamics.BaseRevisionOperator

Revises the given collection of formulas by the given formula.

revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevision

Revises the given belief base with the given formula, the credibility of the formula is higher.

revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevision

Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.

revise(List<Collection<T>>) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevision

Revises the belief bases in the orderer list into one belief base.

revise(List<Collection<T>>) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevisionIterative

revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative

revise(Collection<RevisionComparePresenter.MockFormula>, RevisionComparePresenter.MockFormula) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator

revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator

revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator

revise(Collection<InformationObject<T>>, Collection<InformationObject<T>>) - Method in class net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper

revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

Revises the first collection of formulas by the second collection of formulas.

revise(Collection<PropositionalFormula>, Collection<PropositionalFormula>) - Method in class net.sf.tweety.beliefdynamics.operators.ArgumentativeRevisionOperator

revise(Collection<InformationObject<PropositionalFormula>>, Collection<InformationObject<PropositionalFormula>>) - Method in class net.sf.tweety.beliefdynamics.operators.CrMasArgumentativeRevisionOperator

revise(Collection<InformationObject<PropositionalFormula>>, Collection<InformationObject<PropositionalFormula>>) - Method in class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator

revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator

revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator

revise(Collection<Rule>, Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator

revise(Collection<Rule>, Rule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator

revise(List<Collection<Rule>>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision

revise(Collection<Rule>, Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling

revise(Collection<Rule>, Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator

revision(CredibilityRevision<T>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

Helper method: Runs a revision using the credibility revision operator interface.

revision(MultipleBaseRevisionOperator<T>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

Helper method: Runs a revision of using multiple belief bases with the MultipleBaseRevisionOperator.

revision(BaseRevisionOperator<T>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

Helper method: Runs a revision on BaseRevisionOperator interfaces which only allows the revision with one formula.

revision - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest

RevisionCompareModel - Class in net.sf.tweety.beliefdynamics.gui

The data-model used to compare two different revision approaches.

RevisionCompareModel() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

RevisionComparePresenter - Class in net.sf.tweety.beliefdynamics.gui

This class couples the RevisionCompare View and Model, it needs to know the implementation used to load external belief base files, see FileHandler interface.

RevisionComparePresenter(RevisionCompareModel, RevisionCompareView) - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter

Default Ctor: registers the view as listener to the correct model.

RevisionComparePresenter.DefaultFileHandler - Class in net.sf.tweety.beliefdynamics.gui

does not try to load the file but only return null

RevisionComparePresenter.FileHandler - Interface in net.sf.tweety.beliefdynamics.gui

This interface is used by the RevisionComparePresenter to handle the file loading.

RevisionComparePresenter.MockFormula - Class in net.sf.tweety.beliefdynamics.gui

Mock formula used for functional test.

RevisionComparePresenter.MockOperator - Class in net.sf.tweety.beliefdynamics.gui

Mock revision operator for functional test.

RevisionCompareView - Class in net.sf.tweety.beliefdynamics.gui

The default view for a revision compare.

RevisionCompareView() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

Default Ctor: Creates the view

revisionOperator - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator

The revision operator for the inner revision.

revisionOperator - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator

The revision operator for the inner revision.

RevisionTest - Class in net.sf.tweety.lp.asp.beliefdynamics.revision

Uses the RevisionCompareView in a JFrame to compare the different revision methods in ASP.

RevisionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.RevisionTest

rfg - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser

rfgen - Variable in class net.sf.tweety.arg.aspic.AspicArgumentationTheory

Used to transform ASPIC inference rules into words of the language they range over

rfgen - Variable in class net.sf.tweety.arg.aspic.semantics.AspicAttack

Used to transform ASPIC inference rules into words of the language they range over

rfunc - Variable in class net.sf.tweety.logics.cl.RuleBasedCReasoner

The ranking function representing the c-representation of the given belief base, is null until process() returns true

right - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation

right - Variable in class net.sf.tweety.lp.asp.syntax.Arithmetic

the term Y on the right of the arithmetic expression: Z=X+Y or the second argument of an build-in function #func(X,Y,Z)

right - Variable in class net.sf.tweety.lp.asp.syntax.Comparative

rightGuard - Variable in class net.sf.tweety.lp.asp.syntax.Aggregate

rightIterative - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

use interactive revision for the right method

rightOp - Variable in class net.sf.tweety.lp.asp.syntax.Aggregate

rightOperator - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

the right revision operator

rightOperator - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

the right revision operator

rightResult - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

rightTerm - Variable in class net.sf.tweety.math.equation.Statement

The right term of this statement.

RigidProtocol - Class in net.sf.tweety.agents

This class models a rigid protocol, i.e.

RigidProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.RigidProtocol

Creates a new rigid protocol for the given multi-agent system.

Role - Class in net.sf.tweety.logics.commons.syntax

This class implements a role used in description logics Every role is an predicate consisting of two individuals

Role() - Constructor for class net.sf.tweety.logics.commons.syntax.Role

Role(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Role

Role(String, Set<Pair<Individual, Individual>>) - Constructor for class net.sf.tweety.logics.commons.syntax.Role

roles - Variable in class net.sf.tweety.logics.dl.syntax.DlSignature

Root - Class in net.sf.tweety.math.term

This class represents a the nth root function

Root(Term) - Constructor for class net.sf.tweety.math.term.Root

Creates a new square root.

Root(Term, Term) - Constructor for class net.sf.tweety.math.term.Root

Creates a new root for the given base.

RootFinder - Class in net.sf.tweety.math.opt

Classes which extend this class represent algorithms for finding zero points (roots) of functions.

RootFinder(Term) - Constructor for class net.sf.tweety.math.opt.RootFinder

Creates a new root finder for the given function.

RootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.RootFinder

Creates a new root finder for the given starting point and the given function

RootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.RootFinder

Creates a new root finder for the given starting point and the given (multi-dimensional) function

rootNode - Variable in class net.sf.tweety.arg.deductive.semantics.ArgumentTree

The root node of this tree.

rootNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState

roughUpdate(DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction

Updates this probability function with the given theory using "rough redistribution", cf.

round(double, int, int) - Static method in class net.sf.tweety.logics.pl.test.InconsistencyMeasurementValueDistributionTest

RoundRobinProtocol - Class in net.sf.tweety.agents

This class models a round robin protocol for multi-agent systems.

RoundRobinProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.RoundRobinProtocol

Creates a new (non-rigid) round robin protocol for the given multi-agent system.

RoundRobinProtocol(MultiAgentSystem<? extends Agent>, boolean) - Constructor for class net.sf.tweety.agents.RoundRobinProtocol

Creates a new (non-rigid) round robin protocol for the given multi-agent system.

RpclBeliefSet - Class in net.sf.tweety.logics.rpcl

This class models a belief set on relational probabilistic conditional logic, i.e.

RpclBeliefSet() - Constructor for class net.sf.tweety.logics.rpcl.RpclBeliefSet

Creates a new (empty) conditional belief set.

RpclBeliefSet(Collection<? extends RelationalProbabilisticConditional>) - Constructor for class net.sf.tweety.logics.rpcl.RpclBeliefSet

Creates a new conditional belief set with the given collection of conditionals.

RpclCondensedProbabilityDistributionParser - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

This class implements a parser for condensed relational probability distributions.

RpclCondensedProbabilityDistributionParser() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

RpclCondensedProbabilityDistributionParser(RpclSemantics) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

RpclCondensedProbabilityDistributionParser(RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

RpclCondensedProbabilityDistributionParser(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Constructor with InputStream.

RpclCondensedProbabilityDistributionParser(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Constructor with InputStream and supplied encoding

RpclCondensedProbabilityDistributionParser(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Constructor.

RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Constructor with generated Token Manager.

RpclCondensedProbabilityDistributionParserConstants - Interface in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Token literal values and constants.

RpclCondensedProbabilityDistributionParserTokenManager - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Token Manager.

RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Constructor.

RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Constructor.

RpclMeReasoner - Class in net.sf.tweety.logics.rpcl

General ME-reasoner for RPCL.

RpclMeReasoner(BeliefBase, RpclSemantics, FolSignature, int) - Constructor for class net.sf.tweety.logics.rpcl.RpclMeReasoner

Creates a new reasoner for the given knowledge base.

RpclMeReasoner(BeliefBase, RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.RpclMeReasoner

Creates a new reasoner for the given knowledge base.

RpclMeReasonerTest - Class in net.sf.tweety.logics.rpcl.test

RpclMeReasonerTest() - Constructor for class net.sf.tweety.logics.rpcl.test.RpclMeReasonerTest

RpclMeReasonerTest2 - Class in net.sf.tweety.logics.rpcl.test

RpclMeReasonerTest2() - Constructor for class net.sf.tweety.logics.rpcl.test.RpclMeReasonerTest2

RPCLOGIC__CALL_PARAMETER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INFERENCE_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INFERENCE_ENUM - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INFERENCE_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INPROB_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INPROB_FILES - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__INPROB_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__OUTPUT_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__OUTPUT_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__OUTPUT_VALUE - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PARSER_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PARSER_ENUM - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PARSER_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PROBOUT_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PROBOUT_FILES - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__PROBOUT_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__QUERY_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__QUERY_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__QUERY_VALUE - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__SEMANTICS_DESCRIPTION - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__SEMANTICS_ENUM - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLOGIC__SEMANTICS_IDENTIFIER - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RpclParser - Class in net.sf.tweety.logics.rpcl.parser

This class implements a parser for relational probabilistic conditional logic.

RpclParser() - Constructor for class net.sf.tweety.logics.rpcl.parser.RpclParser

Creates a new RPCL Parser

RPCLPlugin - Class in net.sf.tweety.logics.rpcl.plugin

relational probabilistic conditional logic plugin for the tweety cli skeleton

RPCLPlugin() - Constructor for class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RPCLPlugin(String[]) - Constructor for class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

RpclProbabilityDistribution - Class in net.sf.tweety.logics.rpcl.semantics

Objects of this class represent probability distributions on the interpretations of an underlying first-order signature for a relational probabilistic conditional knowledge base.

RpclProbabilityDistribution(RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

Creates a new probability distribution for the given signature.

RpclProbabilityDistributionParser - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

This class implements a parser for relational probability distributions.

RpclProbabilityDistributionParser() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

RpclProbabilityDistributionParser(RpclSemantics) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

RpclProbabilityDistributionParser(RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

RpclProbabilityDistributionParser(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Constructor with InputStream.

RpclProbabilityDistributionParser(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Constructor with InputStream and supplied encoding

RpclProbabilityDistributionParser(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Constructor.

RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

Constructor with generated Token Manager.

RpclProbabilityDistributionParserConstants - Interface in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Token literal values and constants.

RpclProbabilityDistributionParserTokenManager - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Token Manager.

RpclProbabilityDistributionParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Constructor.

RpclProbabilityDistributionParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Constructor.

RpclSemantics - Interface in net.sf.tweety.logics.rpcl.semantics

This interface describes semantics for relational probabilistic logic.

rule - Variable in class net.sf.tweety.arg.aba.syntax.Deduction

Rule<C extends Formula,P extends Formula> - Interface in net.sf.tweety.commons.util.rules

This interface models a general rule, i.e.

Rule() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

Rule - Class in net.sf.tweety.lp.asp.syntax

This class models a rule for a disjunctive logic program.

Rule() - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Default-Ctor: Creates an empty rule without any head literals or body elements

Rule(Rule) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Copy-Ctor: Makes a deep copy of the given rule

Rule(DLPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Ctor: Create a rule with the given head, cause there are no body elements the created rule is a fact.

Rule(DLPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Ctor: Create a rule with the given head, cause there are no body elements the created rule is a fact.

Rule(DLPLiteral, DLPElement) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Rule(DLPLiteral, List<DLPElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Rule(List<DLPLiteral>, List<DLPElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

Rule(String) - Constructor for class net.sf.tweety.lp.asp.syntax.Rule

rule_comp - Variable in class net.sf.tweety.arg.aspic.order.SimpleAspicOrder

RULE_PREDICATE - Static variable in class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator

RuleAdapter - Class in net.sf.tweety.logics.cl.rules

A simple adapter class that wraps the straightforward methods of the Rule interface, such that the developer can spare the work to implement the setter methods.

RuleAdapter() - Constructor for class net.sf.tweety.logics.cl.rules.RuleAdapter

RuleBasedCReasoner - Class in net.sf.tweety.logics.cl

This is a reasoner using c-representation and rules to solve these c-representations.

RuleBasedCReasoner(Collection<Conditional>) - Constructor for class net.sf.tweety.logics.cl.RuleBasedCReasoner

RuleBasedCReasoner(Collection<Conditional>, boolean) - Constructor for class net.sf.tweety.logics.cl.RuleBasedCReasoner

RuleBasedCReasoner(ClBeliefSet) - Constructor for class net.sf.tweety.logics.cl.RuleBasedCReasoner

RuleBasedCReasoner(ClBeliefSet, boolean) - Constructor for class net.sf.tweety.logics.cl.RuleBasedCReasoner

RuleBasedCReasoner.Rule - Interface in net.sf.tweety.logics.cl

A rule that is applicable by the RuleBasedCReasoner to reason a c-representation given a conditional belief base.

RuleComparator<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order

RuleComparator(List<String>) - Constructor for class net.sf.tweety.arg.aspic.order.RuleComparator

Constructs a new comparator for rules

RuleFormulaGenerator<T extends Invertable> - Class in net.sf.tweety.arg.aspic.ruleformulagenerator

RuleFormulaGenerator() - Constructor for class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator

ruleIndex - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision

a rule index counter used during the creation of the credibility logic program

rules - Variable in class net.sf.tweety.arg.aba.ABATheory

The inference rules

rules - Variable in class net.sf.tweety.arg.aspic.AspicArgumentationTheory

The inference rules this system's arguments will be created from, correesponds to an argumentation theory (AS, KB) with - AS argumentation system = rules with premises (p -> c) - KB knowledge base = rules without premises (-> c)

rules - Variable in class net.sf.tweety.arg.aspic.order.RuleComparator

The name of the rules ordered by size ascending

rules - Variable in class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder

The name of the rules ordered by size ascending

rules - Variable in class net.sf.tweety.logics.cl.RuleBasedCReasoner

A prioritized list of rules, the first rule is applied first and so on.

RuleSet<T extends Rule<?,?>> - Class in net.sf.tweety.commons.util.rules

This class represents a set of rules and provides several auxiliary methods for accessing such a set.

RuleSet() - Constructor for class net.sf.tweety.commons.util.rules.RuleSet

Creates a new empty rule set.

RuleSet(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.util.rules.RuleSet

Creates a new rule set with the given rules

ruleset_comp - Variable in class net.sf.tweety.arg.aspic.order.LastLinkOrder

Comparators for defeasible rules and ordinary premises

ruleset_comp - Variable in class net.sf.tweety.arg.aspic.order.WeakestLinkOrder

Comparators for defeasible rules and ordinary premises

run(int) - Method in class net.sf.tweety.agents.sim.GameSimulator

Simulates the game for the given number of repetitions and returns a map indicating which agent generator won how often.

run(String) - Method in class net.sf.tweety.commons.util.CygwinShell

run(String) - Method in class net.sf.tweety.commons.util.NativeShell

run(String) - Method in class net.sf.tweety.commons.util.Shell

runs command

run() - Method in class net.sf.tweety.graphs.test.GraphTest

run - Static variable in class net.sf.tweety.logics.cl.test.ReasonerCompare

run() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess

run() - Method in class net.sf.tweety.lp.asp.solver.AspInterface.StreamFlusher

run2() - Method in class net.sf.tweety.graphs.test.GraphTest

runDLV(Program, int, String) - Method in class net.sf.tweety.lp.asp.solver.DLV

runDLV(Program, int, String) - Method in class net.sf.tweety.lp.asp.solver.DLVComplex

runRevision(MultipleBaseRevisionOperator<E>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

runRevision(BaseRevisionOperator<E>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

runRevisions() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

runs - Variable in class net.sf.tweety.agents.sim.SimulationResult

The number of simulation runs.

runSimulation(boolean) - Static method in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

runSimulationT1() - Static method in class net.sf.tweety.agents.dialogues.test.GroundedTest

This method shows that with increasing complexity of the T1-belief state of the CONTRA agent (and constant model of the PRO agent), the average utility of the CONTRA agent increases.

runSimulationT2() - Static method in class net.sf.tweety.agents.dialogues.test.GroundedTest

Same as runSimulationT1()

runSimulationT3() - Static method in class net.sf.tweety.agents.dialogues.test.GroundedTest

Same as runSimulationT1()

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 _