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