R-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages

R

RaAbstraction - Class in net.sf.tweety.arg.rankings.postulates: The "abstraction" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaAbstraction() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaAbstraction
RaAdditionOfAttackBranch - Class in net.sf.tweety.arg.rankings.postulates: The "addition of attack branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaAdditionOfAttackBranch() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaAdditionOfAttackBranch
RaAdditionOfDefenseBranch - Class in net.sf.tweety.arg.rankings.postulates: The "addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaAdditionOfDefenseBranch() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaAdditionOfDefenseBranch
RaAttackVsFullDefense - Class in net.sf.tweety.arg.rankings.postulates: The "attack vs full defense" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaAttackVsFullDefense() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaAttackVsFullDefense
RaCardinalityPrecedence - Class in net.sf.tweety.arg.rankings.postulates: The "cardinality precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaCardinalityPrecedence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaCardinalityPrecedence
RaCounterTransitivity - Class in net.sf.tweety.arg.rankings.postulates: The "counter-transitivity" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaCounterTransitivity() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaCounterTransitivity
RaDefensePrecedence - Class in net.sf.tweety.arg.rankings.postulates: The "defense precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaDefensePrecedence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaDefensePrecedence
RaDistDefensePrecedence - Class in net.sf.tweety.arg.rankings.postulates: The "distributed-defense precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaDistDefensePrecedence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaDistDefensePrecedence
RaIncreaseOfAttackBranch - Class in net.sf.tweety.arg.rankings.postulates: The "increase of attack branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaIncreaseOfAttackBranch() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaIncreaseOfAttackBranch
RaIncreaseOfDefenseBranch - Class in net.sf.tweety.arg.rankings.postulates: The "increase of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaIncreaseOfDefenseBranch() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaIncreaseOfDefenseBranch
RaIndependence - Class in net.sf.tweety.arg.rankings.postulates: The "independence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaIndependence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaIndependence
RANDOM_SEED1 - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
RANDOM_SEED1 - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
RANDOM_SEED2 - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
RANDOM_SEED2 - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
RANDOM_SEED3 - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
RANDOM_SEED3 - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
RANDOM_SEED4 - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
RANDOM_SEED4 - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
RandomAspicArgumentationTheoryGenerator - Class in net.sf.tweety.arg.aspic.util: Generates random ASPIC argumentation theories.
RandomAspicArgumentationTheoryGenerator() - Constructor for class net.sf.tweety.arg.aspic.util.RandomAspicArgumentationTheoryGenerator
RandomAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner: This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.
RandomAspicReasoner(AbstractExtensionReasoner, int, int) - Constructor for class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner: Creates a new instance.
randomClause() - Method in class net.sf.tweety.logics.pl.util.RandomSatSampler: Generates a random clause with k literals.
randomElement(Collection<E>) - Method in class net.sf.tweety.commons.util.SetTools: Picks one element uniformly at random from the set (not very efficient).
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, utility function 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
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.BfgsRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.GradientDescentRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.HessianGradientDescentRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.NewtonRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.rootFinder.RootFinder: Determines the values for the variables appearing in the function such the function evaluates to zero.
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) - Method in class net.sf.tweety.arg.saf.util.BasicArgumentSampler
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(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.
RandomSampler - Class in net.sf.tweety.logics.pl.util
RandomSampler(Signature, double) - Constructor for class net.sf.tweety.logics.pl.util.RandomSampler: Creates a new sampler for the given signature
RandomSampler(Signature, double, int, int) - Constructor for class net.sf.tweety.logics.pl.util.RandomSampler: Creates a new sampler for the given signature
RandomSatSampler - Class in net.sf.tweety.logics.pl.util: A sampler for uniform random k-SAT instances.
RandomSatSampler(Signature, int) - Constructor for class net.sf.tweety.logics.pl.util.RandomSatSampler: Constructs a new sampler
RandomSatSampler(Signature, int, int, int) - Constructor for class net.sf.tweety.logics.pl.util.RandomSatSampler: Constructs a new sampler
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(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).
rank(PossibleWorld) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Gets the rank of the given possible world.
rank(PlFormula) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Gets the rank of the given 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<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(PlSignature) - Constructor for class net.sf.tweety.logics.cl.semantics.RankingFunction: Creates a new ranking function mapping each given interpretation to zero.
RankingFunction(LevelingFunction<T>) - Constructor for class net.sf.tweety.preferences.ranking.RankingFunction: this constructor creates a ranking function using a given preference order
RankingPostulate - Class in net.sf.tweety.arg.rankings.postulates: An abstract postulate for ranking-based semantics in abstract argumentation; the ancestor of all concrete postulates.
RankingPostulate() - Constructor for class net.sf.tweety.arg.rankings.postulates.RankingPostulate
RankingReasonerTest - Class in net.sf.tweety.arg.rankings: Test class for checking counterexamples for some postulates.
RankingReasonerTest() - Constructor for class net.sf.tweety.arg.rankings.RankingReasonerTest
RankingSemanticsExample - Class in net.sf.tweety.arg.rankings.examples: Example code for ranking semantics.
RankingSemanticsExample() - Constructor for class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample
RankingSemanticsExample2 - Class in net.sf.tweety.arg.rankings.examples: Example code for even more ranking semantics.
RankingSemanticsExample2() - Constructor for class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample2
RankingsTest - Class in net.sf.tweety.arg.rankings: Test class for basic ranking functionalities.
RankingsTest() - Constructor for class net.sf.tweety.arg.rankings.RankingsTest
RankingTools - Class in net.sf.tweety.arg.rankings.util: Common utility methods for ranking reasoners.
RankingTools() - Constructor for class net.sf.tweety.arg.rankings.util.RankingTools
RaNonAttackedEquivalence - Class in net.sf.tweety.arg.rankings.postulates: The "non-attacked equivalence" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaNonAttackedEquivalence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaNonAttackedEquivalence
RaPostulateExample - Class in net.sf.tweety.arg.rankings.examples: Example code for postulates for ranking semantics.
RaPostulateExample() - Constructor for class net.sf.tweety.arg.rankings.examples.RaPostulateExample
RaQualityPrecedence - Class in net.sf.tweety.arg.rankings.postulates: The "quality precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaQualityPrecedence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaQualityPrecedence
RaSelfContradiction - Class in net.sf.tweety.arg.rankings.postulates: The "self-contradiction" postulate for ranking semantics as proposed in [Matt, Toni.
RaSelfContradiction() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaSelfContradiction
RaStrictAdditionOfDefenseBranch - Class in net.sf.tweety.arg.rankings.postulates: The "strict addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaStrictAdditionOfDefenseBranch() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
RaStrictCounterTransitivity - Class in net.sf.tweety.arg.rankings.postulates: The "strict counter-transitivity" postulate for ranking semantics as proposed by [Amgoud, Ben-Naim.
RaStrictCounterTransitivity() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaStrictCounterTransitivity
RationalPASemantics - Class in net.sf.tweety.arg.prob.semantics: P is rational wrt.
RationalPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.RationalPASemantics
RaTotal - Class in net.sf.tweety.arg.rankings.postulates: The "total" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaTotal() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaTotal
RaVoidPrecedence - Class in net.sf.tweety.arg.rankings.postulates: The "void precedence" postulate for ranking semantics as proposed by [Amgoud, Ben-Naim.
RaVoidPrecedence() - Constructor for class net.sf.tweety.arg.rankings.postulates.RaVoidPrecedence
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.syntax: This class models a belief set on relational conditional logic, i.e.
RclBeliefSet() - Constructor for class net.sf.tweety.logics.rcl.syntax.RclBeliefSet: Creates a new (empty) conditional belief set.
RclBeliefSet(Collection<? extends RelationalConditional>) - Constructor for class net.sf.tweety.logics.rcl.syntax.RclBeliefSet: Creates a new relational conditional belief set with the given collection of relational conditionals.
RclExample - Class in net.sf.tweety.logics.rcl.examples: Example code illustrating the use of working with relational conditionals and using c reasoning.
RclExample() - Constructor for class net.sf.tweety.logics.rcl.examples.RclExample
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
RdlExample - Class in net.sf.tweety.logics.rdl.examples: RDL Test
RdlExample() - Constructor for class net.sf.tweety.logics.rdl.examples.RdlExample
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
readChar() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
readChar() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
readChar() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
readChar() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
readChar() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
RealVectorNorm - Interface in net.sf.tweety.math.norm: A norm for real vector spaces.
Reasoner<O,B extends BeliefBase,F extends Formula> - Interface in net.sf.tweety.commons: The general interface for objects that are able to query a belief base with some formula.
ReasonerExample - Class in net.sf.tweety.logics.cl.examples
ReasonerExample() - Constructor for class net.sf.tweety.logics.cl.examples.ReasonerExample
ReasonerTest() - Method in class net.sf.tweety.arg.aba.AbaTest
ReasonerTest2() - Method in class net.sf.tweety.arg.aspic.AspicTest
Rebut - Class in net.sf.tweety.arg.lp.semantics.attack: This notion of attack models the rebut relation.
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).
Receive - net.sf.tweety.logics.bpm.syntax.TaskType
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(Set<ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.Program: Returns the reduct of this program wrt.
REDUNDANT - net.sf.tweety.arg.adf.semantics.link.LinkType
ReferenceWorld - Class in net.sf.tweety.logics.rpcl.semantics: 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.semantics.ReferenceWorld: Creates a new reference world for the given equivalence classes.
RefineLargerSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings: Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.
RefineLargerSatEncoding(Interpretation) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding
RefineUnequalSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
RefineUnequalSatEncoding(Interpretation) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding
regainIllegalCharacters(String) - Method in class net.sf.tweety.action.query.analysis.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.
ReInit(InputStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
ReInit(InputStream) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
ReInit(InputStream) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
ReInit(InputStream) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ReInit(InputStream) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.POParser
ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(InputStream) - Method in class net.sf.tweety.preferences.io.UPParser: Reinitialise.
ReInit(InputStream, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(InputStream, String) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
ReInit(InputStream, String) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
ReInit(InputStream, String) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
ReInit(InputStream, String) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ReInit(InputStream, String) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.POParser
ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(InputStream, String) - Method in class net.sf.tweety.preferences.io.UPParser: Reinitialise.
ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream, String, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(InputStream, String, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(Reader) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
ReInit(Reader) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(Reader) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
ReInit(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(Reader) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
ReInit(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ReInit(Reader) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(Reader) - Method in class net.sf.tweety.preferences.io.POParser
ReInit(Reader) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(Reader) - Method in class net.sf.tweety.preferences.io.UPParser: Reinitialise.
ReInit(Reader, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(Reader, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(Reader, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(Reader, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(Reader, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(Reader, int, int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ReInit(Reader, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ReInit(Reader, int, int, int) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ReInit(Reader, int, int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ReInit(Reader, int, int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ReInit(DelpParserTokenManager) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
ReInit(SimpleCharStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
ReInit(RpclCondensedProbabilityDistributionParserTokenManager) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
ReInit(SimpleCharStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
ReInit(SimpleCharStream, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
ReInit(RpclProbabilityDistributionParserTokenManager) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
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(ASPCore2ParserTokenManager) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ReInit(SimpleCharStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
ReInit(POParserTokenManager) - Method in class net.sf.tweety.preferences.io.POParser
ReInit(SimpleCharStream) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
ReInit(SimpleCharStream) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
ReInit(SimpleCharStream, int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager: Reinitialise parser.
ReInit(UPParserTokenManager) - Method in class net.sf.tweety.preferences.io.UPParser: Reinitialise.
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
RelationalConditional - Class in net.sf.tweety.logics.rcl.syntax: Instances of this class represent relational conditionals.
RelationalConditional(FolFormula) - Constructor for class net.sf.tweety.logics.rcl.syntax.RelationalConditional: Creates a new conditional with the given conclusion and a tautological premise.
RelationalConditional(FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rcl.syntax.RelationalConditional: Creates a new conditional with the given premise and conclusion.
RelationalFormula - Class in net.sf.tweety.logics.commons.syntax: This is the abstract base class for relational formulas, i.e.
RelationalFormula() - Constructor for class net.sf.tweety.logics.commons.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.
RelativeBipolarSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
RelativeBipolarSatEncoding(Interpretation, Link) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.RelativeBipolarSatEncoding
relativeBounded(double, int, Ordering<Argument>, IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.sat.processor.RelativeKBipolarStateProcessor
RelativeKBipolarSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
RelativeKBipolarSatEncoding(Map<Link, Set<Interpretation>>) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.RelativeKBipolarSatEncoding
RelativeKBipolarStateProcessor - Class in net.sf.tweety.arg.adf.reasoner.sat.processor: Decides if an ADF becomes k-bipolar relative to some truth assignments.
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() - Method in interface net.sf.tweety.commons.InterpretationIterator
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() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
remove(int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
remove(int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
remove(int) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
remove(int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
remove(int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
remove(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
remove(Object) - Method in class net.sf.tweety.agents.MultiAgentSystem
remove(Object) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
remove(Object) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
remove(Object) - Method in class net.sf.tweety.arg.adf.util.CacheMap
remove(Object) - Method in class net.sf.tweety.arg.adf.util.LazyMap
remove(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
remove(Object) - 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.StratifiedLabeling
remove(Object) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
remove(Object) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
remove(Object) - Method in class net.sf.tweety.commons.BeliefSet
remove(Object) - Method in class net.sf.tweety.commons.InterpretationSet
remove(Object) - Method in interface net.sf.tweety.commons.Signature: Removes the given formula from this signature, if it is present (optional operation).
remove(Object) - Method in class net.sf.tweety.commons.SingleSetSignature
remove(Object) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
remove(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
remove(Object) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
remove(Object) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
remove(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
remove(Object) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
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(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
remove(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
remove(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
remove(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
remove(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
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(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
remove(Attack) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Removes the given attack from this argumentation framework.
remove(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Removes the argument and all its attacks and supports
remove(Support) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Removes the given support from this argumentation framework.
remove(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Removes the argument and all its attacks
remove(Argument) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
remove(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
remove(Attack) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Removes the given attack from this Dung theory.
remove(Attack) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: remove attack from theory and reset weight
remove(Attack) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
remove(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.Sort: Removes the given term from this sort.
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.aba.semantics.AbaExtension
removeAll(Collection<?>) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
removeAll(Collection<?>) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
removeAll(Collection<?>) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
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.dung.syntax.DungTheory
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.DualSetSignature
removeAll(Collection<?>) - Method in class net.sf.tweety.commons.InterpretationSet
removeAll(Collection<?>) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
removeAll(Collection<?>) - Method in interface net.sf.tweety.commons.Signature: Removes all of this signature elements that are also contained in the specified collection (optional operation).
removeAll(Collection<?>) - Method in class net.sf.tweety.commons.SingleSetSignature
removeAll(Collection<?>) - Method in class net.sf.tweety.commons.TripleSetSignature
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
removeAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
removeAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
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
removeAllPostulates(Collection<? extends Postulate<T>>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Removes all postulates in the given collection.
removeArgument() - Method in class net.sf.tweety.arg.bipolar.BasicFunctionalityTest
removeArgumentType(int) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure: Removes the argument type at the specified index
removeArgumentType(int) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
removeArgumentType(Sort) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure: Removes the given Sort from the list of argument types
removeArgumentType(Sort) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
removeAttack() - Method in class net.sf.tweety.arg.bipolar.BasicFunctionalityTest
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.
removeDiscardedAttacks() - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory
removeDiscardedAttacks(int) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: remove all attacks with weight < threshold
removeIf(Predicate<? super E>) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
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
removeNode(T) - Method in class net.sf.tweety.graphs.orders.Order: Removes the given node and all of its relations.
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.
removePostulate(Postulate<T>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Removes the given postulate
removePrimaFacie(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: removes evidential support from argument, does not remove argument itself
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.
removeSupport() - Method in class net.sf.tweety.arg.bipolar.BasicFunctionalityTest
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.examples.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(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
RepairExample - Class in net.sf.tweety.logics.pcl.examples
RepairExample() - Constructor for class net.sf.tweety.logics.pcl.examples.RepairExample
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Implication
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Negation
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Replaces the ith instance of the proposition p by f.
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
replace(Proposition, PlFormula, int) - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
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.equation.Statement: 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
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 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() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
reset() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
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(Collection<? extends Formula>) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
reset(Signature) - Method in interface net.sf.tweety.commons.InterpretationIterator: Initializes a new reseted iterator for the given signature.
reset(Signature) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
resetFormulaNames() - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Reset the regular expression that restricts which formulas will be parsed to the default value, meaning formulas of all names will be parsed.
resetFormulaRoles() - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Reset the regular expression that restricts which formulas will be parsed to the default value, meaning formulas of any TPTP roles will be parsed.
resolvableWith(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: 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.
resolveAbsoluteValues() - Method in class net.sf.tweety.math.opt.problem.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.problem.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.problem.OptimizationProblem
resolveMinimums() - Method in class net.sf.tweety.math.opt.problem.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.problem.OptimizationProblem
resolveWith(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.
restrict(Interpretation, Collection<Argument>) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation: Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained in restriction.
RESULT_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
RESULT_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
retainAll(Collection<?>) - Method in class net.sf.tweety.agents.MultiAgentSystem
retainAll(Collection<?>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
retainAll(Collection<?>) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
retainAll(Collection<?>) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
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.SingleSetSignature
retainAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
retainAll(Collection<?>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
retainAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
retainAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
retainAll(Collection<?>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
retainAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
retainAll(Collection<?>) - Method in class net.sf.tweety.math.Interval
retainAll(Collection<?>) - Method in class net.sf.tweety.preferences.PreferenceOrder
revise(Collection<InformationObject<PlFormula>>, Collection<InformationObject<PlFormula>>) - Method in class net.sf.tweety.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
revise(Collection<InformationObject<PlFormula>>, Collection<InformationObject<PlFormula>>) - Method in class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator
revise(Collection<InformationObject<T>>, Collection<InformationObject<T>>) - Method in class net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper
revise(Collection<PlFormula>, Collection<PlFormula>) - Method in class net.sf.tweety.beliefdynamics.operators.ArgumentativeRevisionOperator
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
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(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative
revise(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator
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<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator
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>, T) - Method in class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator
revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator
revise(List<Collection<ASPRule>>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
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
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.FileHandler - Interface in net.sf.tweety.beliefdynamics.gui: This interface is used by the RevisionComparePresenter to handle the file loading.
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
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
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.
RiveretTheoryLearner - Class in net.sf.tweety.arg.dung.learning: Implementation of the algorithm for learning (grounded) labelings from: Riveret, Régis, and Guido Governatori.
RiveretTheoryLearner(Collection<Argument>) - Constructor for class net.sf.tweety.arg.dung.learning.RiveretTheoryLearner: initialize learner for the given set of arguments
RoleAssertion - Class in net.sf.tweety.logics.dl.syntax: This class models a role assertion in description logic, i.e.
RoleAssertion() - Constructor for class net.sf.tweety.logics.dl.syntax.RoleAssertion: Empty default constructor.
RoleAssertion(List<Individual>, AtomicRole) - Constructor for class net.sf.tweety.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given individuals and role.
RoleAssertion(Pair<Individual, Individual>, AtomicRole) - Constructor for class net.sf.tweety.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given role and individuals.
RoleAssertion(Individual, Individual, AtomicRole) - Constructor for class net.sf.tweety.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given individuals and role.
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.rootFinder: Classes which extend this class represent algorithms for finding zero points (roots) of functions.
RootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.RootFinder: Creates a new root finder for the given function.
RootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.rootFinder.RootFinder: Creates a new root finder for the given starting point and the given (multi-dimensional) function
rootNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
roughUpdate(DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Updates this probability function with the given theory using "rough redistribution", cf.
roundRanking(NumericalArgumentRanking, int) - Static method in class net.sf.tweety.arg.rankings.util.RankingTools: Rounds values in the given numerical argument ranking to n decimals.
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.syntax: This class models a belief set on relational probabilistic conditional logic, i.e.
RpclBeliefSet() - Constructor for class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet: Creates a new (empty) conditional belief set.
RpclBeliefSet(Collection<? extends RelationalProbabilisticConditional>) - Constructor for class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet: Creates a new conditional belief set with the given collection of conditionals.
RpclCondensedProbabilityDistributionParser - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
RpclCondensedProbabilityDistributionParser() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
RpclCondensedProbabilityDistributionParser(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
RpclCondensedProbabilityDistributionParser(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
RpclCondensedProbabilityDistributionParser(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager) - 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
RpclCondensedProbabilityDistributionParserConstants - Interface in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
RpclCondensedProbabilityDistributionParserTokenManager - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
RpclMeReasoner - Class in net.sf.tweety.logics.rpcl.reasoner: General ME-reasoner for RPCL.
RpclMeReasoner(RpclSemantics) - Constructor for class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Creates a new reasoner.
RpclMeReasoner(RpclSemantics, int) - Constructor for class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Creates a new reasoner.
RpclMeReasonerExample - Class in net.sf.tweety.logics.rpcl.examples
RpclMeReasonerExample() - Constructor for class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample
RpclMeReasonerExample2 - Class in net.sf.tweety.logics.rpcl.examples
RpclMeReasonerExample2() - Constructor for class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample2
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: Constructs a new plugin
RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet,FolFormula>> - 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
RpclProbabilityDistributionParser() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
RpclProbabilityDistributionParser(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
RpclProbabilityDistributionParser(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
RpclProbabilityDistributionParser(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager) - 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
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.
RSP_CLEARED - net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
RSP_INCOMPLETE - net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
RSP_SUCCESS - net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
RSP_TRUNCATED - net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
Rule<C extends Formula,P extends Formula> - Interface in net.sf.tweety.commons.util.rules: This interface models a general rule, i.e.
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.reasoner: This is a reasoner using c-representation and rules to solve these c-representations.
RuleBasedCReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner
RuleBasedCReasoner(boolean) - Constructor for class net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner
RuleBasedCReasoner.Rule - Interface in net.sf.tweety.logics.cl.reasoner: 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
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
run() - Method in class net.sf.tweety.graphs.examples.GraphExample
run() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
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
run2() - Method in class net.sf.tweety.graphs.examples.GraphExample
runRevisions() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
runSimulation(boolean) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
runSimulationT1() - Static method in class net.sf.tweety.agents.dialogues.examples.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.examples.GroundedTest: Same as runSimulationT1()
runSimulationT3() - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest: Same as runSimulationT1()
runWithTimeout(Callable<T>, long, TimeUnit) - Static method in class net.sf.tweety.arg.aspic.examples.DirectionalReasonerTest

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