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 and Interfaces|All Packages|Constant Field Values|Serialized Form

R

R_AD - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_AD
R_CF - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_AD
R_CO - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_CO
R_GR - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_GR
R_PR - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_PR
R_SST - Enum constant in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: R_SST
RaAbstraction - Class in org.tweetyproject.arg.rankings.postulates: The "abstraction" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaAbstraction() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaAbstraction: Default Constructor
RaAdditionOfAttackBranch - Class in org.tweetyproject.arg.rankings.postulates: The "addition of attack branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaAdditionOfAttackBranch() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch: Default Constructor
RaAdditionOfDefenseBranch - Class in org.tweetyproject.arg.rankings.postulates: The "addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaAdditionOfDefenseBranch() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch: Default Constructor
RaAttackVsFullDefense - Class in org.tweetyproject.arg.rankings.postulates: The "attack vs full defense" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaAttackVsFullDefense() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense: Default Constructor
RaCardinalityPrecedence - Class in org.tweetyproject.arg.rankings.postulates: The "cardinality precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaCardinalityPrecedence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence: Default Constructor
RaCounterTransitivity - Class in org.tweetyproject.arg.rankings.postulates: The "counter-transitivity" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaCounterTransitivity() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity: Default Constructor
RaDefensePrecedence - Class in org.tweetyproject.arg.rankings.postulates: The "defense precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaDefensePrecedence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence: Default Constructor
RaDistDefensePrecedence - Class in org.tweetyproject.arg.rankings.postulates: The "distributed-defense precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaDistDefensePrecedence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence: Default Constructor
RaIncreaseOfAttackBranch - Class in org.tweetyproject.arg.rankings.postulates: The "increase of attack branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaIncreaseOfAttackBranch() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch: Default Constructor
RaIncreaseOfDefenseBranch - Class in org.tweetyproject.arg.rankings.postulates: The "increase of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaIncreaseOfDefenseBranch() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch: Default Constructor
RaIndependence - Class in org.tweetyproject.arg.rankings.postulates: The "independence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaIndependence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaIndependence: Default Constructor
RANDOM_SEED1 - Static variable in class GroundedTest
RANDOM_SEED1 - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Random seed for ensuring reproducibility in the first configuration.
RANDOM_SEED1 - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: A fixed random seed to ensure comparability of simulation results.
RANDOM_SEED2 - Static variable in class GroundedTest
RANDOM_SEED2 - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Random seed for ensuring reproducibility in the second configuration.
RANDOM_SEED2 - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: A fixed random seed to ensure comparability of simulation results.
RANDOM_SEED3 - Static variable in class GroundedTest
RANDOM_SEED3 - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Random seed for ensuring reproducibility in the third configuration.
RANDOM_SEED3 - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: A fixed random seed to ensure comparability of simulation results.
RANDOM_SEED4 - Static variable in class GroundedTest
RANDOM_SEED4 - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Random seed for ensuring reproducibility in the fourth configuration.
RANDOM_SEED4 - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: A fixed random seed to ensure comparability of simulation results.
RandomAspicArgumentationTheoryGenerator - Class in org.tweetyproject.arg.aspic.util: Generates random ASPIC argumentation theories.
RandomAspicArgumentationTheoryGenerator(int, int, int, double) - Constructor for class org.tweetyproject.arg.aspic.util.RandomAspicArgumentationTheoryGenerator: Creates a random ASPIC argumentation theory generatir with numPropositions and numFormulas formulas (inference rules).
RandomAspicReasoner<T> - Class in org.tweetyproject.arg.aspic.reasoner: This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.
RandomAspicReasoner(AbstractExtensionReasoner, int, int) - Constructor for class org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner: Creates a new instance.
randomClause() - Method in class org.tweetyproject.logics.pl.util.RandomSatSampler: Generates a random clause with k literals.
RandomDecomposer - Class in org.tweetyproject.arg.adf.reasoner.sat.decomposer: The RandomDecomposer is a concrete implementation of the AbstractDecomposer, designed to randomly partition the arguments of an AbstractDialecticalFramework (ADF).
RandomDecomposer(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.decomposer.RandomDecomposer: Constructs a RandomDecomposer for the specified AbstractDialecticalFramework.
RandomDeductiveKnowledgeBaseGenerator - Class in org.tweetyproject.arg.deductive.util: Generates random Deductive Knowledge Bases.
RandomDeductiveKnowledgeBaseGenerator(int, int, int) - Constructor for class org.tweetyproject.arg.deductive.util.RandomDeductiveKnowledgeBaseGenerator: Creates a random Deductive Knowledge Base Generator
randomElement(Collection<E>) - Method in class org.tweetyproject.commons.util.SetTools: Picks one element uniformly at random from the set (not very efficient).
RandomIncisionFunction<T> - Class in org.tweetyproject.beliefdynamics.kernels: This class implements an incision function that just randomly selects a minimal incision.
RandomIncisionFunction() - Constructor for class org.tweetyproject.beliefdynamics.kernels.RandomIncisionFunction: Default
RandomKernelContractionOperator - Class in org.tweetyproject.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 org.tweetyproject.beliefdynamics.operators.RandomKernelContractionOperator: Creates a new contraction operator.
RandomLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries: A baseline agent for argumentation games who always returns some random move.
RandomLotteryAgent(String, DungTheory, UtilityFunction, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.RandomLotteryAgent: Creates a new agent with the given name, theory, utility function and semantics
RandomLotteryAgentGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim: Generates baseline lottery agents.
RandomLotteryAgentGenerator(String) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator: Create RandomLotteryAgentGenerator with name
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.BfgsRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.GradientDescentRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.HessianGradientDescentRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.NewtonRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.OptimizationRootFinder
randomRoot(List<Term>, Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.RootFinder: Determines the values for the variables appearing in the function such the function evaluates to zero.
randomSample() - Method in class org.tweetyproject.commons.FormulaSampler: This method randomly samples a single formula of the given signature with the default maximal formula length.
randomSample(int) - Method in class org.tweetyproject.arg.saf.util.BasicArgumentSampler
randomSample(int) - Method in class org.tweetyproject.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 org.tweetyproject.commons.FormulaSampler: This method randomly samples a total of "numFormulas" of the given signature and maximal formula length.
RandomSampler - Class in org.tweetyproject.logics.pl.util: This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.
RandomSampler(Signature, double) - Constructor for class org.tweetyproject.logics.pl.util.RandomSampler: Creates a new sampler for the given signature
RandomSampler(Signature, double, int, int) - Constructor for class org.tweetyproject.logics.pl.util.RandomSampler: Creates a new sampler for the given signature
RandomSatSampler - Class in org.tweetyproject.logics.pl.util: A sampler for uniform random k-SAT instances.
RandomSatSampler(Signature, int) - Constructor for class org.tweetyproject.logics.pl.util.RandomSatSampler: Constructs a new sampler
RandomSatSampler(Signature, int, int, int) - Constructor for class org.tweetyproject.logics.pl.util.RandomSatSampler: Constructs a new sampler
RandomSubsetIterator<T> - Class in org.tweetyproject.commons.util: Iterates over all subsets of a given sets in a random order.
RandomSubsetIterator(Set<T>, boolean) - Constructor for class org.tweetyproject.commons.util.RandomSubsetIterator: Creates a new subset iterator for the given set.
rank(Collection<? extends Proposition>) - Method in class org.tweetyproject.agents.dialogues.structured.CountingUtilityFunction
rank(Collection<? extends Proposition>) - Method in class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction
rank(Collection<? extends Proposition>) - Method in class org.tweetyproject.agents.dialogues.structured.MultipleIndicatorUtilityFunction
rank(Collection<? extends Proposition>) - Method in class org.tweetyproject.agents.dialogues.structured.SasAgent: Ranks the given collection of propositions wrt.
rank(Collection<? extends Proposition>) - Method in interface org.tweetyproject.agents.dialogues.structured.UtilityFunction: Rank the given collection of propositions.
rank(HerbrandInterpretation) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Gets the rank of the given Herbrand interpretation.
rank(FolFormula) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Gets the rank of the given sentence (ground formula).
rank(PossibleWorld) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Gets the rank of the given possible world.
rank(PlFormula) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Gets the rank of the given formula.
rank(PlFormula) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Gets the rank of the given formula.
rank(PriestWorldAdapted) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Gets the rank of the given possible world.
RankingFunction - Class in org.tweetyproject.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 org.tweetyproject.preferences.ranking: This class is meant to provide ranking functions to given preference orders and vice versa.
RankingFunction() - Constructor for class org.tweetyproject.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 org.tweetyproject.logics.cl.semantics.RankingFunction: Creates a new ranking function mapping each given interpretation to zero.
RankingFunction(LevelingFunction<T>) - Constructor for class org.tweetyproject.preferences.ranking.RankingFunction: this constructor creates a ranking function using a given preference order
RankingFunctionThreeValued - Class in org.tweetyproject.logics.translators.adfrevision: A ranking function (or ordinal conditional function, OCF) that maps possible worlds of a propositional language to integers.
RankingFunctionThreeValued(PlSignature) - Constructor for class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Creates a new ranking function mapping each given interpretation to zero.
RankingPostulate - Class in org.tweetyproject.arg.rankings.postulates: An abstract postulate for ranking-based semantics in abstract argumentation; the ancestor of all concrete postulates.
RankingPostulate() - Constructor for class org.tweetyproject.arg.rankings.postulates.RankingPostulate: Default Constructor
RankingPostulatesExample - Class in org.tweetyproject.arg.rankings.examples: Example code for evaluating ranking semantics in regard to postulates.
RankingPostulatesExample() - Constructor for class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample: Default Constructor
RankingReasonerTest - Class in org.tweetyproject.arg.rankings: Test class for checking counterexamples for some postulates.
RankingReasonerTest() - Constructor for class org.tweetyproject.arg.rankings.RankingReasonerTest
RankingSemanticsExample - Class in org.tweetyproject.arg.rankings.examples: Example code for the following ranking semantics:
- Categorizer [Besnard, Hunter.
RankingSemanticsExample() - Constructor for class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample: Default Constructor
RankingSemanticsExample2 - Class in org.tweetyproject.arg.rankings.examples: Example code for even more ranking semantics:
- Counting Semantics [Pu, Zhang, G.Luo, J.Luo.
RankingSemanticsExample2() - Constructor for class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample2: Default Constructor
RankingsTest - Class in org.tweetyproject.arg.rankings: Test class for basic ranking functionalities.
RankingsTest() - Constructor for class org.tweetyproject.arg.rankings.RankingsTest
RankingTools - Class in org.tweetyproject.arg.rankings.util: This class contains common utility methods for ranking reasoners.
RankingTools() - Constructor for class org.tweetyproject.arg.rankings.util.RankingTools: Default Constructor
RaNonAttackedEquivalence - Class in org.tweetyproject.arg.rankings.postulates: The "non-attacked equivalence" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaNonAttackedEquivalence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence: Default Constructor
RaQualityPrecedence - Class in org.tweetyproject.arg.rankings.postulates: The "quality precedence" postulate for ranking semantics as proposed in [Amgoud, Ben-Naim.
RaQualityPrecedence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence: Default Constructor
RaSelfContradiction - Class in org.tweetyproject.arg.rankings.postulates: The "self-contradiction" postulate for ranking semantics as proposed in [Matt, Toni.
RaSelfContradiction() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction: Default Constructor
RaStrictAdditionOfDefenseBranch - Class in org.tweetyproject.arg.rankings.postulates: The "strict addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet.
RaStrictAdditionOfDefenseBranch() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch: Default Constructor
RaStrictCounterTransitivity - Class in org.tweetyproject.arg.rankings.postulates: The "strict counter-transitivity" postulate for ranking semantics as proposed by [Amgoud, Ben-Naim.
RaStrictCounterTransitivity() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity: Default Constructor
RationalPASemantics - Class in org.tweetyproject.arg.prob.semantics: P is rational wrt.
RationalPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.RationalPASemantics: Default
RaTotal - Class in org.tweetyproject.arg.rankings.postulates: The "total" postulate for ranking semantics as proposed in [Bonzon, Delobelle, Konieczny, Maudet.
RaTotal() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaTotal: Default Constructor
RaVoidPrecedence - Class in org.tweetyproject.arg.rankings.postulates: The "void precedence" postulate for ranking semantics as proposed by [Amgoud, Ben-Naim.
RaVoidPrecedence() - Constructor for class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence: Default Constructor
RBRA - Static variable in interface org.tweetyproject.preferences.io.POParserConstants: RegularExpression Id.
RBRA - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants: RegularExpression Id.
RclBeliefSet - Class in org.tweetyproject.logics.rcl.syntax: This class models a belief set on relational conditional logic, i.e.
RclBeliefSet() - Constructor for class org.tweetyproject.logics.rcl.syntax.RclBeliefSet: Creates a new (empty) conditional belief set.
RclBeliefSet(Collection<? extends RelationalConditional>) - Constructor for class org.tweetyproject.logics.rcl.syntax.RclBeliefSet: Creates a new relational conditional belief set with the given collection of relational conditionals.
RclExample - Class in org.tweetyproject.logics.rcl.examples: Example code illustrating the use of working with relational conditionals and using c reasoning.
RclExample() - Constructor for class org.tweetyproject.logics.rcl.examples.RclExample: Default constructor for creating an instance of RclExample.
RclParser - Class in org.tweetyproject.logics.rcl.parser: This class implements a parser for relational conditional logic.
RclParser() - Constructor for class org.tweetyproject.logics.rcl.parser.RclParser: Creates a new RCL Parser
RdlExample - Class in org.tweetyproject.logics.rdl.examples: Example code illustrating Reiter's default logic.
RdlExample() - Constructor for class org.tweetyproject.logics.rdl.examples.RdlExample: Default Constructor
RDLJUnitTest - Class in org.tweetyproject.logics.rdl.test
RDLJUnitTest() - Constructor for class org.tweetyproject.logics.rdl.test.RDLJUnitTest
RdlParser - Class in org.tweetyproject.logics.rdl.parser: This class implements a parser for default logic.
RdlParser() - Constructor for class org.tweetyproject.logics.rdl.parser.RdlParser: Default Constructor
ReachabilityGraph - Class in org.tweetyproject.logics.petri.syntax.reachability_graph: A class to describe the graph of reachability between possible markings of a Petri net
ReachabilityGraph(PetriNet) - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Create a new instance
ReachabilityGraphParser - Class in org.tweetyproject.logics.petri.syntax.reachability_graph: ReachabilityGraphParser class
ReachabilityGraphParser(PetriNet) - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser: Constructor
ReachabilityGraphPlotter - Class in org.tweetyproject.logics.petri.plotting: This class is for displaying instances of the ReachabilityGraph class graphically
ReachabilityGraphPlotter(Plotter, ReachabilityGraph) - Constructor for class org.tweetyproject.logics.petri.plotting.ReachabilityGraphPlotter: Create a new instance
readChar() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Read a character.
readChar() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Read a character.
readChar() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Read a character.
readChar() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Read a character
readChar() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reads a single character from the input stream.
RealVectorNorm - Interface in org.tweetyproject.math.norm: A norm for real vector spaces.
Reasoner<O,B,F> - Interface in org.tweetyproject.commons: The general interface for objects that are able to query a belief base with some formula.
ReasonerExample - Class in org.tweetyproject.logics.cl.examples: Compares reasoning with different reasoners.
ReasonerExample() - Constructor for class org.tweetyproject.logics.cl.examples.ReasonerExample: Constructor
ReasonerTest() - Method in class org.tweetyproject.arg.aba.AbaTest
ReasonerTest2() - Method in class org.tweetyproject.arg.aspic.AspicTest
Rebut - Class in org.tweetyproject.arg.lp.semantics.attack: This notion of attack models the rebut relation.
Rebuttal - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the rebuttal relation; A is defeated by B iff claim(B) == \neg claim(A).
Receive - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType: Receive
RecognitionFunction - Class in org.tweetyproject.agents.dialogues.oppmodels: This class realizes a recognition function as explained in [Rienstra, Thimm, in preparation].
RecognitionFunction() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.RecognitionFunction: Default Constructor
RecursiveExtendedTheory - Class in org.tweetyproject.arg.extended.syntax: Implementation of argumentation frameworks with recursive attacks in the sense of Baroni et al.
RecursiveExtendedTheory() - Constructor for class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Initializes a new empty recursive extended theory.
RecursiveExtendedTheoryExample - Class in org.tweetyproject.arg.extended.examples: This class provides an example demonstrating the usage of Recursive Extended Argumentation Frameworks with standard and extended attacks.
RecursiveExtendedTheoryExample() - Constructor for class org.tweetyproject.arg.extended.examples.RecursiveExtendedTheoryExample: Default constructor for the RecursiveExtendedTheoryExample class.
reduceToLeastInformativeWorlds(Collection<FourValuedWorld>, boolean) - Static method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: This method returns the least informative world among a collection of FourValuedWorlds
REDUCT_ADM - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The reduct admissibility principle
ReductAdmissibilityPrinciple - Class in org.tweetyproject.arg.dung.principles: Reduct-Admissibility Principle
ReductAdmissibilityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple
REDUNDANT - Enum constant in enum org.tweetyproject.arg.adf.semantics.link.LinkType: Redundant link: both attacking and supporting
ReferenceWorld - Class in org.tweetyproject.logics.rpcl.semantics: Instances of this class represent reference worlds, i.e.
ReferenceWorld(Collection<? extends Collection<? extends Constant>>, Collection<Predicate>) - Constructor for class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld: Creates a new reference world for the given equivalence classes.
RefineLargerSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: Prevents smaller interpretations from being computed, but also allows different interpretations of at least the same size.
RefineLargerSatEncoding(PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding
RefineUnequalSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: This class implements a SAT encoding for refining unequal interpretations in an Abstract Dialectical Framework (ADF).
RefineUnequalSatEncoding(PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding: Constructs a new RefineUnequalSatEncoding with the specified propositional mapping.
ReInit(InputStream) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Reinitializes the parser with a new input stream.
ReInit(InputStream) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream.
ReInit(InputStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Reinitializes the parser with a new input stream using the default character encoding.
ReInit(InputStream) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, using default values for the starting line (1), starting column (1), buffer size (4096), and character encoding.
ReInit(InputStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Reinitialises the parser with a new input stream.
ReInit(InputStream) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ReInit(InputStream) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream.
ReInit(InputStream) - Method in class org.tweetyproject.preferences.io.POParser: Reinitializes the parser with a new InputStream.
ReInit(InputStream) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream, starting at line 1 and column 1, with a default buffer size.
ReInit(InputStream) - Method in class org.tweetyproject.preferences.io.UPParser: Reinitializes the parser with a new input stream using the default encoding.
ReInit(InputStream, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, starting line, and starting column.
ReInit(InputStream, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, starting line, and starting column, using default values for the buffer size (4096) and character encoding.
ReInit(InputStream, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream, starting line, and starting column.
ReInit(InputStream, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream and specified starting line and column.
ReInit(InputStream, int, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, starting line, starting column, and buffer size.
ReInit(InputStream, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, starting line, starting column, and buffer size, using the default character encoding.
ReInit(InputStream, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream, int, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream, starting line, starting column, and buffer size.
ReInit(InputStream, int, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream, starting at the given line and column, with a specified buffer size.
ReInit(InputStream, String) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Reinitializes the parser with a new input stream and character encoding.
ReInit(InputStream, String) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream and encoding.
ReInit(InputStream, String) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Reinitializes the parser with a new input stream and character encoding.
ReInit(InputStream, String) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream
ReInit(InputStream, String) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Reinitialises the parser with a new input stream and specified encoding.
ReInit(InputStream, String) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream, String) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ReInit(InputStream, String) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream and character encoding.
ReInit(InputStream, String) - Method in class org.tweetyproject.preferences.io.POParser: Reinitializes the parser with a new InputStream and a specified encoding.
ReInit(InputStream, String) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream, specified encoding, starting at the first line and column, and using a default buffer size.
ReInit(InputStream, String) - Method in class org.tweetyproject.preferences.io.UPParser: Reinitializes the parser with a new input stream and a specified encoding.
ReInit(InputStream, String, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, and starting column.
ReInit(InputStream, String, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, character encoding, starting line, and starting column, using a default buffer size of 4096.
ReInit(InputStream, String, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream, String, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream, character encoding, starting line, and starting column.
ReInit(InputStream, String, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream, specified encoding, and starting line and column.
ReInit(InputStream, String, int, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, encoding, starting line, starting column, and buffer size.
ReInit(InputStream, String, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified input stream, character encoding, starting line, starting column, and buffer size.
ReInit(InputStream, String, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(InputStream, String, int, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes the character stream with the specified input stream, character encoding, starting line, starting column, and buffer size.
ReInit(InputStream, String, int, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitializes the lexer with a new input stream, specified encoding, starting at the given line and column, with a specified buffer size.
ReInit(Reader) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Reinitializes the parser with a new reader.
ReInit(Reader) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified reader.
ReInit(Reader) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Reinitialise
ReInit(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream instance with a new Reader, using default values for the starting line, starting column, and buffer size.
ReInit(Reader) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Reinitialises the parser with a new Reader input stream.
ReInit(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(Reader) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ReInit(Reader) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes this SimpleCharStream with a new input reader.
ReInit(Reader) - Method in class org.tweetyproject.preferences.io.POParser: Reinitializes the parser with a new Reader.
ReInit(Reader) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitialises the `SimpleCharStream` with a new `Reader`, starting at the first line and column.
ReInit(Reader) - Method in class org.tweetyproject.preferences.io.UPParser: Reinitializes the parser with a new reader.
ReInit(Reader, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified reader, starting line, and starting column.
ReInit(Reader, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream instance with a new Reader, starting line, and starting column, using a default buffer size of 4096.
ReInit(Reader, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(Reader, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes this SimpleCharStream with a new input reader, starting line, and starting column.
ReInit(Reader, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitialises the `SimpleCharStream` with a new `Reader`, starting at the specified line and column.
ReInit(Reader, int, int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Reinitializes the SimpleCharStream with the specified reader, starting line, starting column, and buffer size.
ReInit(Reader, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Reinitializes the SimpleCharStream instance with a new Reader, starting line, starting column, and buffer size.
ReInit(Reader, int, int, int) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reinitialise
ReInit(Reader, int, int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reinitializes this SimpleCharStream with a new input reader, starting line, starting column, and buffer size.
ReInit(Reader, int, int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Reinitialises the `SimpleCharStream` with a new `Reader`, starting line, starting column, and buffer size.
ReInit(DelpParserTokenManager) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Reinitializes the parser with a new token manager.
ReInit(SimpleCharStream) - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager: Reinitializes the token manager with a new input stream.
ReInit(SimpleCharStream, int) - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager: Reinitializes the token manager with a new input stream and lexical state.
ReInit(RpclCondensedProbabilityDistributionParserTokenManager) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Reinitialise.
ReInit(SimpleCharStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager: Reinitializes the parser with a new input stream.
ReInit(SimpleCharStream, int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager: Reinitializes the parser with a new input stream and switches to the specified lexical state.
ReInit(RpclProbabilityDistributionParserTokenManager) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Reinitialises the parser with a new RpclProbabilityDistributionParserTokenManager.
ReInit(SimpleCharStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Reinitialise parser.
ReInit(SimpleCharStream, int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Reinitialise parser.
ReInit(ASPParserTokenManager) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ReInit(SimpleCharStream) - Method in class org.tweetyproject.lp.asp.parser.ASPParserTokenManager
ReInit(SimpleCharStream, int) - Method in class org.tweetyproject.lp.asp.parser.ASPParserTokenManager
ReInit(POParserTokenManager) - Method in class org.tweetyproject.preferences.io.POParser: Reinitializes the parser with a new POParserTokenManager.
ReInit(SimpleCharStream) - Method in class org.tweetyproject.preferences.io.POParserTokenManager: Reinitializes the parser's state with a new input stream.
ReInit(SimpleCharStream) - Method in class org.tweetyproject.preferences.io.UPParserTokenManager: Reinitializes the parser with a new input stream, resetting to default lexical state.
ReInit(SimpleCharStream, int) - Method in class org.tweetyproject.preferences.io.POParserTokenManager: Reinitializes the parser's state with a new input stream and switches to the specified lexical state.
ReInit(SimpleCharStream, int) - Method in class org.tweetyproject.preferences.io.UPParserTokenManager: Reinitializes the parser with a new input stream and sets the lexical state.
ReInit(UPParserTokenManager) - Method in class org.tweetyproject.preferences.io.UPParser: Reinitializes the parser with a new token manager.
REINSTATEMENT - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The reinstatement principle
ReinstatementPrinciple - Class in org.tweetyproject.arg.dung.principles: Reinstatement Principle
ReinstatementPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple
REL - Static variable in interface org.tweetyproject.preferences.io.POParserConstants: RegularExpression Id.
Relation - Enum in org.tweetyproject.preferences: This enumeration lists the possible relations between two elements in preference orders.
RelationalConditional - Class in org.tweetyproject.logics.rcl.syntax: Instances of this class represent relational conditionals.
RelationalConditional(FolFormula) - Constructor for class org.tweetyproject.logics.rcl.syntax.RelationalConditional: Creates a new conditional with the given conclusion and a tautological premise.
RelationalConditional(FolFormula, FolFormula) - Constructor for class org.tweetyproject.logics.rcl.syntax.RelationalConditional: Creates a new conditional with the given premise and conclusion.
RelationalFormula - Class in org.tweetyproject.logics.commons.syntax: This is the abstract base class for relational formulas, i.e.
RelationalFormula() - Constructor for class org.tweetyproject.logics.commons.syntax.RelationalFormula
RelationalProbabilisticConditional - Class in org.tweetyproject.logics.rpcl.syntax: This class represents a relational probabilistic conditional, i.e.
RelationalProbabilisticConditional(FolFormula, FolFormula, Probability) - Constructor for class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional: Creates a new conditional with the given premise, conclusion and probability.
RelationalProbabilisticConditional(FolFormula, Probability) - Constructor for class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional: Creates a new conditional with the given conclusion and probability and a tautological premise.
RelationalProbabilisticConditional(RelationalConditional, Probability) - Constructor for class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional: Creates a new relational probabilistic conditional with the given conditional and probability
RelationalRankingFunction - Class in org.tweetyproject.logics.rcl.semantics: A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.
RelationalRankingFunction(FolSignature) - Constructor for class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Creates a new ranking function mapping each given interpretation to zero.
RelativeSatEncoding - Interface in org.tweetyproject.arg.adf.reasoner.sat.encodings: A SatEncoding which is relative to a given interpretation.
RemainderSets<T> - Class in org.tweetyproject.lp.asp.beliefdynamics.baserevision: This class represents the set of remainder sets constructed from a belief base.
RemainderSets() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.baserevision.RemainderSets: Default Constructor
remove() - Method in interface org.tweetyproject.commons.InterpretationIterator
remove() - Method in class org.tweetyproject.commons.streams.DefaultFormulaStream
remove() - Method in interface org.tweetyproject.commons.streams.FormulaStream
remove() - Method in class org.tweetyproject.commons.util.SubsetIterator
remove() - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
remove() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
remove() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
remove(int) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
remove(int) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
remove(int) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
remove(int) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
remove(int) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
remove(int) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
remove(int) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
remove(Object) - Method in class org.tweetyproject.agents.MultiAgentSystem
remove(Object) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
remove(Object) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
remove(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
remove(Object) - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet: Deprecated.
remove(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
remove(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Removes the specified argument from this set if it is present.
remove(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
remove(Object) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
remove(Object) - Method in class org.tweetyproject.arg.dung.semantics.Extension
remove(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
remove(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
remove(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
remove(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence: Removed the given initial set from the sequence.
remove(Object) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
remove(Object) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
remove(Object) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
remove(Object) - Method in class org.tweetyproject.commons.BeliefSet
remove(Object) - Method in class org.tweetyproject.commons.InterpretationSet
remove(Object) - Method in interface org.tweetyproject.commons.Signature: Removes the given formula from this signature, if it is present (optional operation).
remove(Object) - Method in class org.tweetyproject.commons.SingleSetSignature
remove(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
remove(Object) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
remove(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
remove(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
remove(Object) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
remove(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
remove(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
remove(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
remove(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
remove(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
remove(Object) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
remove(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
remove(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
remove(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
remove(Object) - Method in class org.tweetyproject.math.Interval
remove(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
remove(Object) - Method in class org.tweetyproject.preferences.PreferenceOrder: removes specific pair of the set
remove(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder: Removes arg
remove(Attack) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Removes the given attack from this argumentation framework.
remove(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Removes the argument and all its attacks and supports
remove(Support) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Removes the given support from this argumentation framework.
remove(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Removes the argument and all its attacks
remove(Argument) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
remove(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Removes the argument and all its attacks
remove(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
remove(Argument) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Removes the argument and all its attacks and the corresponding weights
remove(Attack) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Removes the given attack from this Dung theory.
remove(Attack) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: remove attack from theory and reset weight
remove(Attack) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
remove(Attack) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Removes the given attack from this weighted Dung theory.
remove(SetAttack) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Removes the given attack from this SetAf theory.
remove(Edge<T>) - Method in class org.tweetyproject.graphs.SimpleGraph: remove the given edge from the graph
remove(Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.Sort: Removes the given term from this sort.
remove(T) - Method in class org.tweetyproject.graphs.HyperDirEdge: Removes the specified argument from the node.
remove(T) - Method in class org.tweetyproject.graphs.SimpleGraph: remove the given node from the graph
REMOVE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.DirHyperGraph: When inverting a DirHyperGraph, simple remove self loops, but don't add new ones.
REMOVE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.Graph: When inverting a graph, simple remove self loops, but don't add new ones.
removeAll(Collection<?>) - Method in class org.tweetyproject.agents.MultiAgentSystem
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet: Deprecated.
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Removes from this set all of its elements that are contained in the specified collection.
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
removeAll(Collection<?>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.BeliefSet
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.DualSetSignature
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.InterpretationSet
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
removeAll(Collection<?>) - Method in interface org.tweetyproject.commons.Signature: Removes all of this signature elements that are also contained in the specified collection (optional operation).
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.SingleSetSignature
removeAll(Collection<?>) - Method in class org.tweetyproject.commons.TripleSetSignature
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
removeAll(Collection<?>) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
removeAll(Collection<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
removeAll(Collection<?>) - Method in class org.tweetyproject.math.Interval
removeAll(Collection<?>) - Method in class org.tweetyproject.preferences.PreferenceOrder: removes all given elements from the preference order
removeAllPostulates(Collection<? extends Postulate<T>>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator: Removes all postulates in the given collection.
removeArgument() - Method in class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
removeArgumentType(int) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure: Removes the argument type at the specified index
removeArgumentType(int) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
removeArgumentType(Sort) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure: Removes the given Sort from the list of argument types
removeArgumentType(Sort) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
removeAssumption(PlFormula) - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase: Removes a background assumption from this knowledge base.
removeAttack() - Method in class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
removeBeliefbase(Collection<?>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel: Removes a belief base from the ordered list of belief bases.
removeConditional(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Removes the given Conditional from the ConditionalStructure and updates the structure.
removeDiscardedAttacks() - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
removeDiscardedAttacks(int) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: remove all attacks with weight < threshold
removeIf(Predicate<? super E>) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
removeInconsistencyListener(InconsistencyListener) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
removeInconsistencyListener(InconsistencyListener) - Method in class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure: Remove a listener from this measure.
removeListener(PropertyChangeListener) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel: Removes a property change listener
removeListener(PropertyChangeListener) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Removes a property change listener from this model.
removeListener(UpdateListener<T>) - Method in interface org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator: The remove-method for listeners for a dynamic preference aggregator
removeListener(UpdateListener<T>) - Method in class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator: removes a listener from this dynamic preference aggregator
removeNode(T) - Method in class org.tweetyproject.comparator.Order: Removes the given node and all of its relations.
removeOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel: Removes the given revision operator from the set of selectable revision methods.
removeOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Removes the given revision operator from the set of selectable revision methods.
removePostulate(Postulate<T>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator: Removes the given postulate
removePrimaFacie(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: removes evidential support from argument, does not remove argument itself
removeProtocolListener(ProtocolListener) - Method in class org.tweetyproject.agents.AbstractProtocol
removeProtocolListener(ProtocolListener) - Method in interface org.tweetyproject.agents.Protocol: Removes the given protocol listener from this protocol.
removeSupport() - Method in class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
removeTerm(Term) - Method in class org.tweetyproject.math.term.AssociativeOperation: Removes the given term from this operation.
removeTokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place: Remove tokens
rep - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2: Number of repetitions per file
repair(BeliefBase) - Method in interface org.tweetyproject.commons.BeliefBaseMachineShop: Repairs the given belief base, i.e.
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMeMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.GeneralizedMeMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.MaximumEntropyMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.MinimumViolationMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
repair(BeliefBase) - Method in class org.tweetyproject.logics.pcl.analysis.PenalizingCreepingMachineShop
RepairExample - Class in org.tweetyproject.logics.pcl.examples: Example code illustrating the use of repairing approaches.
RepairExample() - Constructor for class org.tweetyproject.logics.pcl.examples.RepairExample: Default Constructor
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Implication
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Negation
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Replaces the ith instance of the proposition p by f.
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
replace(Proposition, PlFormula, int) - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
replaceAllTerms(double[], List<Variable>) - Method in class org.tweetyproject.math.term.Term: Replaces terms according to the given map.
replaceAllTerms(Map<? extends Term, ? extends Term>) - Method in class org.tweetyproject.math.equation.Statement: Replaces terms according to the given map.
replaceAllTerms(Map<? extends Term, ? extends Term>) - Method in class org.tweetyproject.math.term.Term: Replaces terms according to the given map.
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.equation.Equation
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.equation.Inequation
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.equation.Statement: Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.AbsoluteValue
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Constant
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Difference
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Exp
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Fraction
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.FunctionalTerm
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Logarithm
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Maximum
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Minimum
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Power
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Product
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Root
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Sum
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Term: Replaces each occurrence of "toSubstitute" by "substitution" and return the new term.
replaceTerm(Term, Term) - Method in class org.tweetyproject.math.term.Variable
reply(String) - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Method to set the reply message for this response and return the modified object.
reply(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Sets the reply for this object and returns the instance of AbaReasonerResponse.
reply(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Sets the reply message in the DeLP response.
reply(String) - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Sets the reply message in the Dung reasoner response.
reply(String) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Sets the reply message and returns this instance for method chaining.
reply(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Method to set the reply and return the modified response object.
reply(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Sets the reply property of this response and returns the response object itself for method chaining.
RequestController - Class in org.tweetyproject.web.services: andles HTTP POST requests at the provided endpoints
RequestController() - Constructor for class org.tweetyproject.web.services.RequestController
reset() - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
reset() - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
reset() - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
reset() - Method in interface org.tweetyproject.agents.Environment: Resets the environment, i.e.
reset() - Method in interface org.tweetyproject.commons.InterpretationIterator: Initializes a new reseted iterator.
reset() - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
reset() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
reset() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
reset() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Reinitializes the node stack and mark list.
reset(Collection<? extends Formula>) - Method in interface org.tweetyproject.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 org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
reset(Collection<? extends Formula>) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
reset(Collection<? extends Formula>) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
reset(Signature) - Method in interface org.tweetyproject.commons.InterpretationIterator: Initializes a new reseted iterator for the given signature.
reset(Signature) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
reset(Signature) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
reset(Signature) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
resetFormulaNames() - Method in class org.tweetyproject.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 org.tweetyproject.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.
ResolutionbasedSolverTest - Class in org.tweetyproject.arg.dung.examples: Demonstrates the use of resolution-based solvers on Dung argumentation frameworks.
ResolutionbasedSolverTest() - Constructor for class org.tweetyproject.arg.dung.examples.ResolutionbasedSolverTest
resolvableWith(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Checks whether this formula (which must be a conjunction of literals) is resolvable with the given formula (which is also a conjunction of literals), i.e.
resolveAbsoluteValues() - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.math.opt.problem.OptimizationProblem
resolveMinimums() - Method in class org.tweetyproject.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 org.tweetyproject.math.opt.problem.OptimizationProblem
resolveWith(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.
Response - Class in org.tweetyproject.web.services: Response placeholder class
Response() - Constructor for class org.tweetyproject.web.services.Response
restoreIllegalCharacters(String) - Method in class org.tweetyproject.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.
restrict(Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
restrict(Interpretation, Collection<Argument>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation: Creates a new interpretation with the same assignments as in the given interpretation, but only uses the arguments contained in restriction.
restricted(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
restricted(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer: Creates and returns a restricted InterpretationProcessor that maximizes interpretations based on a given partial interpretation (prefix).
restricted(AbstractDialecticalFramework, PropositionalMapping, Interpretation, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator: Creates a CandidateGenerator that computes conflict-free interpretations which are extensions of the provided partial interpretation.
restricted(AbstractDialecticalFramework, PropositionalMapping, Interpretation, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator: The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
restricted(AbstractDialecticalFramework, PropositionalMapping, Interpretation, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator: Creates a CandidateGenerator that computes two-valued model interpretations which are extensions of the provided prefix (partial interpretation).
RestrictedBipolarSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: This class implements a SAT encoding for restricted bipolar Abstract Dialectical Frameworks (ADF) based on a given partial interpretation.
RestrictedBipolarSatEncoding(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedBipolarSatEncoding: Constructs a new RestrictedBipolarSatEncoding for the given Abstract Dialectical Framework (ADF), propositional mapping, and partial interpretation.
RestrictedKBipolarSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: The RestrictedKBipolarSatEncoding class implements a SAT encoding specifically for restricted bipolar Abstract Dialectical Frameworks (ADFs).
RestrictedKBipolarSatEncoding(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedKBipolarSatEncoding: Constructs a new RestrictedKBipolarSatEncoding with the specified Abstract Dialectical Framework, propositional mapping, and partial interpretation.
RestrictedKBipolarStateProcessor - Class in org.tweetyproject.arg.adf.reasoner.sat.processor: The RestrictedKBipolarStateProcessor is a class that processes SAT encodings for restricted bipolar and k-bipolar argumentation frameworks.
RestrictedKBipolarStateProcessor(AbstractDialecticalFramework, PropositionalMapping, Interpretation) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.processor.RestrictedKBipolarStateProcessor: Constructs a RestrictedKBipolarStateProcessor with the given ADF, propositional mapping, and partial interpretation.
RestServiceCorsApplication - Class in org.tweetyproject.web.services: Main class for starting the REST service with Cross-Origin Resource Sharing (CORS) support.
RestServiceCorsApplication() - Constructor for class org.tweetyproject.web.services.RestServiceCorsApplication
RESULT_PATH - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample: RESULT PATH
RESULT_PATH - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: RESULT PATH
retainAll(Collection<?>) - Method in class org.tweetyproject.agents.MultiAgentSystem
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Retains only the elements in this set that are contained in the specified collection.
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
retainAll(Collection<?>) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
retainAll(Collection<?>) - Method in class org.tweetyproject.commons.BeliefSet
retainAll(Collection<?>) - Method in class org.tweetyproject.commons.InterpretationSet
retainAll(Collection<?>) - Method in class org.tweetyproject.commons.SingleSetSignature: retainAll
retainAll(Collection<?>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
retainAll(Collection<?>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
retainAll(Collection<?>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
retainAll(Collection<?>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
retainAll(Collection<?>) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
retainAll(Collection<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
retainAll(Collection<?>) - Method in class org.tweetyproject.math.Interval
retainAll(Collection<?>) - Method in class org.tweetyproject.preferences.PreferenceOrder
returnLowerCase(String) - Static method in class org.tweetyproject.web.services.Utils: Converts the input string to lowercase.
revertFire() - Method in class org.tweetyproject.logics.petri.syntax.Ark: reverse transition firing for purposes of graph search
revertFire() - Method in class org.tweetyproject.logics.petri.syntax.Transition: Reverse fire transition for purposes of depth-first graph search
revise(Collection<InformationObject<PlFormula>>, Collection<InformationObject<PlFormula>>) - Method in class org.tweetyproject.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
revise(Collection<InformationObject<PlFormula>>, Collection<InformationObject<PlFormula>>) - Method in class org.tweetyproject.beliefdynamics.operators.CrMasSimpleRevisionOperator
revise(Collection<InformationObject<T>>, Collection<InformationObject<T>>) - Method in class org.tweetyproject.beliefdynamics.mas.CrMasRevisionWrapper
revise(Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.beliefdynamics.operators.ArgumentativeRevisionOperator
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
revise(Collection<ASPRule>, Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
revise(Collection<T>, Collection<T>) - Method in class org.tweetyproject.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 org.tweetyproject.beliefdynamics.CredibilityRevisionNonIterative
revise(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.LeviMultipleBaseRevisionOperator
revise(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator: Revises the first collection of formulas by the second collection of formulas.
revise(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator
revise(Collection<T>, T) - Method in interface org.tweetyproject.beliefdynamics.BaseRevisionOperator: Revises the given collection of formulas by the given formula.
revise(Collection<T>, T) - Method in class org.tweetyproject.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 org.tweetyproject.beliefdynamics.LeviBaseRevisionOperator
revise(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator
revise(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.selectiverevision.SelectiveRevisionOperator
revise(List<Collection<ASPRule>>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
revise(List<Collection<T>>) - Method in class org.tweetyproject.beliefdynamics.CredibilityRevision: Revises the belief bases in the orderer list into one belief base.
revise(List<Collection<T>>) - Method in class org.tweetyproject.beliefdynamics.CredibilityRevisionIterative
RevisionCompareModel - Class in org.tweetyproject.beliefdynamics.gui: The data-model used to compare two different revision approaches.
RevisionCompareModel() - Constructor for class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel: Default
RevisionComparePresenter - Class in org.tweetyproject.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 org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter: Default Ctor: registers the view as listener to the correct model.
RevisionComparePresenter.FileHandler - Interface in org.tweetyproject.beliefdynamics.gui: Interface for handling file operations related to formulas.
RevisionCompareView - Class in org.tweetyproject.beliefdynamics.gui: The default view for a revision compare.
RevisionCompareView() - Constructor for class org.tweetyproject.beliefdynamics.gui.RevisionCompareView: Default Ctor: Creates the view
RevisionTest - Class in org.tweetyproject.lp.asp.beliefdynamics.revision: Uses the RevisionCompareView in a JFrame to compare the different revision methods in ASP.
RevisionTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.RevisionTest: Default Constructor
RigidProtocol - Class in org.tweetyproject.agents: This class models a rigid protocol, i.e.
RigidProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class org.tweetyproject.agents.RigidProtocol: Creates a new rigid protocol for the given multi-agent system.
RiveretTheoryLearner - Class in org.tweetyproject.arg.dung.learning: Implementation of the algorithm for learning (grounded) labelings from: Riveret, Régis, and Guido Governatori.
RiveretTheoryLearner(Collection<Argument>, int) - Constructor for class org.tweetyproject.arg.dung.learning.RiveretTheoryLearner: initialize learner for the given set of arguments
RoleAssertion - Class in org.tweetyproject.logics.dl.syntax: This class models a role assertion in description logic, i.e.
RoleAssertion() - Constructor for class org.tweetyproject.logics.dl.syntax.RoleAssertion: Empty default constructor.
RoleAssertion(List<Individual>, AtomicRole) - Constructor for class org.tweetyproject.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given individuals and role.
RoleAssertion(Pair<Individual, Individual>, AtomicRole) - Constructor for class org.tweetyproject.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given role and individuals.
RoleAssertion(Individual, Individual, AtomicRole) - Constructor for class org.tweetyproject.logics.dl.syntax.RoleAssertion: Initializes a role assertion with the given individuals and role.
Root - Class in org.tweetyproject.math.term: This class represents a the nth root function
Root(Term) - Constructor for class org.tweetyproject.math.term.Root: Creates a new square root.
Root(Term, Term) - Constructor for class org.tweetyproject.math.term.Root: Creates a new root for the given base.
RootFinder - Class in org.tweetyproject.math.opt.rootFinder: Classes which extend this class represent algorithms for finding zero points (roots) of functions.
RootFinder() - Constructor for class org.tweetyproject.math.opt.rootFinder.RootFinder: Creates a new root finder for the given function.
RootFinder(List<Term>, Map<Variable, Term>) - Constructor for class org.tweetyproject.math.opt.rootFinder.RootFinder: Creates a new root finder for the given starting point and the given (multi-dimensional) function
rootNode() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Returns the root node of the AST.
RootParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn: Instances of this class serve as the root of a parsing process for a BPMN XML file.
RootParser() - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser: Create a new instance
roughUpdate(DungTheory) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Updates this probability function with the given theory using "rough redistribution", cf.
roundRanking(NumericalPartialOrder<Argument, DungTheory>, int) - Static method in class org.tweetyproject.arg.rankings.util.RankingTools: Rounds values in the given numerical argument ranking to n decimals.
RoundRobinProtocol - Class in org.tweetyproject.agents: This class models a round robin protocol for multi-agent systems.
RoundRobinProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class org.tweetyproject.agents.RoundRobinProtocol: Creates a new (non-rigid) round robin protocol for the given multi-agent system.
RoundRobinProtocol(MultiAgentSystem<? extends Agent>, boolean) - Constructor for class org.tweetyproject.agents.RoundRobinProtocol: Creates a new (non-rigid) round robin protocol for the given multi-agent system.
RpclBeliefSet - Class in org.tweetyproject.logics.rpcl.syntax: This class models a belief set on relational probabilistic conditional logic, i.e.
RpclBeliefSet() - Constructor for class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet: Creates a new (empty) conditional belief set.
RpclBeliefSet(Collection<? extends RelationalProbabilisticConditional>) - Constructor for class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet: Creates a new conditional belief set with the given collection of conditionals.
RpclCondensedProbabilityDistributionParser - Class in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: This class implements a parser for condensed relational probability distributions.
RpclCondensedProbabilityDistributionParser() - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Cnnstructor
RpclCondensedProbabilityDistributionParser(InputStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructor for RpclCondensedProbabilityDistributionParser that takes an InputStream as input.
RpclCondensedProbabilityDistributionParser(InputStream, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructs a new RpclCondensedProbabilityDistributionParser using the specified input stream and character encoding.
RpclCondensedProbabilityDistributionParser(Reader) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructor.
RpclCondensedProbabilityDistributionParser(RpclCondensedProbabilityDistributionParserTokenManager) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructor with generated Token Manager.
RpclCondensedProbabilityDistributionParser(RpclSemantics) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructor
RpclCondensedProbabilityDistributionParser(RpclSemantics, FolSignature) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Constructor
RpclCondensedProbabilityDistributionParserConstants - Interface in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: Token literal values and constants.
RpclCondensedProbabilityDistributionParserTokenManager - Class in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: Token Manager.
RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager: Constructs a new RpclCondensedProbabilityDistributionParserTokenManager with the given input stream.
RpclCondensedProbabilityDistributionParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager: Constructs a new RpclCondensedProbabilityDistributionParserTokenManager with the given input stream and lexical state.
RpclMeReasoner - Class in org.tweetyproject.logics.rpcl.reasoner: General ME-reasoner for RPCL.
RpclMeReasoner(RpclSemantics) - Constructor for class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner: Creates a new reasoner.
RpclMeReasoner(RpclSemantics, int) - Constructor for class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner: Creates a new reasoner.
RpclMeReasonerExample - Class in org.tweetyproject.logics.rpcl.examples: Example code illustrating relational probabilistic conditional logic and reasoning with it.
RpclMeReasonerExample - Class in Unnamed Package: Example code illustrating relational probabilistic conditional logic and reasoning with it.
RpclMeReasonerExample() - Constructor for class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample: Default
RpclMeReasonerExample() - Constructor for class RpclMeReasonerExample
RpclMeReasonerExample2 - Class in org.tweetyproject.logics.rpcl.examples: Example code illustrating relational probabilistic conditional logic and reasoning with it.
RpclMeReasonerExample2() - Constructor for class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample2: Default
RpclParser - Class in org.tweetyproject.logics.rpcl.parser: This class implements a parser for relational probabilistic conditional logic.
RpclParser() - Constructor for class org.tweetyproject.logics.rpcl.parser.RpclParser: Creates a new RPCL Parser
RPCLPlugin - Class in org.tweetyproject.logics.rpcl.plugin: relational probabilistic conditional logic plugin for the tweety cli skeleton
RPCLPlugin() - Constructor for class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin: Constructor
RPCLPlugin(String[]) - Constructor for class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin: Constructs a new plugin
RpclProbabilityDistribution<T> - Class in org.tweetyproject.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 org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution: Creates a new probability distribution for the given signature.
RpclProbabilityDistributionParser - Class in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser: Parser for reading and parsing RPCL (Relational Probabilistic Conditional Logic) probability distributions.
RpclProbabilityDistributionParser() - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Default constructor.
RpclProbabilityDistributionParser(InputStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor for parsing with InputStream.
RpclProbabilityDistributionParser(InputStream, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor for parsing with InputStream and specified encoding.
RpclProbabilityDistributionParser(Reader) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor for parsing with a Reader.
RpclProbabilityDistributionParser(RpclProbabilityDistributionParserTokenManager) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor for the parser with a generated Token Manager.
RpclProbabilityDistributionParser(RpclSemantics) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor that initializes the parser with the given semantics.
RpclProbabilityDistributionParser(RpclSemantics, FolSignature) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Constructor that initializes the parser with the given semantics and signature.
RpclProbabilityDistributionParserConstants - Interface in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser: Token literal values and constants.
RpclProbabilityDistributionParserTokenManager - Class in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser: Token Manager.
RpclProbabilityDistributionParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Constructor.
RpclProbabilityDistributionParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Constructor.
RpclSemantics - Interface in org.tweetyproject.logics.rpcl.semantics: This interface describes semantics for relational probabilistic logic.
RSP_CLEARED - Enum constant in enum org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE: Indicates that the operation was cleared, and no results were returned.
RSP_INCOMPLETE - Enum constant in enum org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE: Indicates that the operation was incomplete and did not return the full set of results.
RSP_SUCCESS - Enum constant in enum org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE: Indicates that the operation completed successfully and returned a complete set of results.
RSP_TRUNCATED - Enum constant in enum org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE: Indicates that the operation was truncated, meaning that only a partial set of results was returned.
Rule<C,P> - Interface in org.tweetyproject.commons.util.rules: This interface models a general rule, i.e.
RuleAdapter - Class in org.tweetyproject.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 org.tweetyproject.logics.cl.rules.RuleAdapter: Constructor
RuleBasedCReasoner - Class in org.tweetyproject.logics.cl.reasoner: This is a reasoner using c-representation and rules to solve these c-representations.
RuleBasedCReasoner() - Constructor for class org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner: Constructor
RuleBasedCReasoner(boolean) - Constructor for class org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner: Constructor
RuleBasedCReasoner.Rule - Interface in org.tweetyproject.logics.cl.reasoner: A rule that is applicable by the RuleBasedCReasoner to reason a c-representation given a conditional belief base.
RuleComparator<T> - Class in org.tweetyproject.arg.aspic.order
RuleComparator(List<String>) - Constructor for class org.tweetyproject.arg.aspic.order.RuleComparator: Constructs a new comparator for rules
RuleFormulaGenerator<T> - Class in org.tweetyproject.arg.aspic.ruleformulagenerator: This class transforms a defeasible ASPIC inference rule into a corresponding formula, i.e.
RuleFormulaGenerator() - Constructor for class org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator
RuleSet<T> - Class in org.tweetyproject.commons.util.rules: This class represents a set of rules and provides several auxiliary methods for accessing such a set.
RuleSet() - Constructor for class org.tweetyproject.commons.util.rules.RuleSet: Creates a new empty rule set.
RuleSet(Collection<? extends T>) - Constructor for class org.tweetyproject.commons.util.rules.RuleSet: Creates a new rule set with the given rules
run() - Method in class org.tweetyproject.graphs.examples.GraphExample: 1st run method
run() - Method in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess
run(int) - Method in class org.tweetyproject.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 org.tweetyproject.commons.util.CygwinShell
run(String) - Method in class org.tweetyproject.commons.util.NativeShell: return
run(String) - Method in class org.tweetyproject.commons.util.Shell: runs command
run2() - Method in class org.tweetyproject.graphs.examples.GraphExample: 2nd run method
RunPossibilityDistribution - Class in org.tweetyproject.logics.translators.adfpossibilistic: This class implements methods to test the class "PossibilityDistribution"
RunPossibilityDistribution() - Constructor for class org.tweetyproject.logics.translators.adfpossibilistic.RunPossibilityDistribution: Default Constructor
runRevisions() - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Executes the revision operations using the selected left and right revision operators.
runServicesWithTimeout(Future<T>, long, TimeUnit) - Static method in class org.tweetyproject.web.services.Utils: Runs a service with a specified timeout and returns the result along with the execution time.
runSimulation(boolean) - Static method in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: Runs a simulation of the multi-agent system where agents engage in a dialogue game based on a Dung theory.
runSimulationT1() - Method in class 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.
runSimulationT1() - Static method in class org.tweetyproject.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 org.tweetyproject.agents.dialogues.examples.GroundedTest: Same as runSimulationT1()
runSimulationT3() - Static method in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Same as runSimulationT1()
runWithTimeout(Callable<T>, long, TimeUnit) - Static method in class org.tweetyproject.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 and Interfaces|All Packages|Constant Field Values|Serialized Form