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

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
 
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
 
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
 
rand - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
Random number generator
rand - Static variable in class net.sf.tweety.commons.util.SetTools
For randomisation
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.RandomSampler
for generating random numbers
rand - Variable in class net.sf.tweety.logics.pl.util.RandomSatSampler
For randomisation
rand - Variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
 
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.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).
randomFormula() - Method in class net.sf.tweety.logics.pl.util.RandomSampler
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, 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() - 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() - 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
 
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
 
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.
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
 
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
 
readSolutionFile(File) - Static method in class net.sf.tweety.arg.adf.util.TestUtil
Reads all models from the given solution file and groups them by their semantics.
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.reasoner.OutputReasoner
The reasoner used for computing the extensions of the induced Dung theory.
reasoner - Variable in class net.sf.tweety.logics.dl.test.DlReasonerTest
 
reasoner - Variable in class net.sf.tweety.logics.mln.reasoner.IteratingMlnReasoner
The reasoner inside this reasoner.
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.
REASONER - Static variable in class net.sf.tweety.arg.delp.TestQueries
 
ReasonerBenchmark - Class in net.sf.tweety.arg.adf.reasoner.test
 
ReasonerBenchmark() - Constructor for class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
 
ReasonerBenchmark.LazyModelStorage - Class in net.sf.tweety.arg.adf.reasoner.test
 
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 - 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.SyntacticRandomSampler
 
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
 
reduceCache(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
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.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.
refineLarger(Interpretation) - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
 
refineUnequal(Interpretation) - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
TODO Define functionality
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.
regainIllegalChars(String) - Method in class net.sf.tweety.action.description.reasoner.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
 
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.
ReInitRounds() - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
 
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.ASPCore2ParserTokenManager
 
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
 
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.
relations - Variable in class net.sf.tweety.preferences.PreferenceOrder
a given set of Triples
release(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
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.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(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.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 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.prob.syntax.ProbabilisticArgumentationFramework
 
remove(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.Sort
Removes the given term from this sort.
remove(Disjunction) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
 
remove(Disjunction) - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState
 
remove(T) - Method in class net.sf.tweety.arg.adf.util.Cache
 
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.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.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
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
 
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.syntax.DefaultTheory
removes default rule
removeFact(FolFormula) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
removes fact from knowledge base
removeIllegalCharacters(String) - Method in class net.sf.tweety.action.query.analysis.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.reasoner.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.
removePostulate(Postulate<T>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator
Removes the given postulate
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.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
 
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.
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.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
 
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
 
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() - 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.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(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.
result - Variable in class net.sf.tweety.preferences.events.UpdateEvent
 
Result() - Constructor for enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
 
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.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.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
 
RETURN_SET_PREDICATE() - Constructor for enum net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
 
reusable(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
reuse(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
revise(Collection<RevisionComparePresenter.MockFormula>, RevisionComparePresenter.MockFormula) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
 
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<ASPRule>, ASPRule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator
 
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
 
revision - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
 
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(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.
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.syntax.AspicArgumentationTheory
Used to transform ASPIC inference rules into words of the language they range over
right - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
 
right - Variable in class net.sf.tweety.lp.asp.syntax.AggregateElement
The literal tuple of this aggregate element.
right - Variable in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
The right term of the comparative atom.
rightGuard - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom
A term that the aggregate's resulting value will be compared to using the comparative operator.
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.AggregateAtom
A comparative operator that will be used to compare the aggregate's resulting value with the another value (rightGuard) to produce a truth value.
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 - Variable in class net.sf.tweety.logics.dl.syntax.RoleAssertion
The role of this assertional axiom (= the role that the individuals are instances of).
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
Classes which extend this class represent algorithms for finding zero points (roots) of functions.
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
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
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.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.
round(double, int) - Static method in class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample
Rounds a double value to n decimals.
roundRanking(NumericalArgumentRanking, int) - Static method in class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample
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
 
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
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 - 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_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.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
 
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.syntax.ABATheory
The inference rules
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.reasoner.RuleBasedCReasoner
A prioritized list of rules, the first rule is applied first and so on.
rules - Variable in class net.sf.tweety.lp.asp.syntax.Program
The rules of the programs, including facts (rules with no body) and weak constraint (rules with no head).
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 - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample
 
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
 
runBenchmark(AbstractDialecticalFramework, AbstractDialecticalFrameworkReasoner, List<Map<String, Boolean>>) - Method in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
 
runRevision(BaseRevisionOperator<E>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
runRevision(MultipleBaseRevisionOperator<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.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