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

P

p - Variable in class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis
P
pageRank(Graph<? extends Node>, Node, double, double) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Computes the PageRank of the given node in the given graph.
PAInconsistencyMeasure - Class in org.tweetyproject.arg.prob.analysis
This inconsistency measure measures the distance between a given partial probability assignment to the set of rational/justifiable probabilistic extensions of a given Dung theory.
PAInconsistencyMeasure(RealVectorNorm, DungTheory, PASemantics) - Constructor for class org.tweetyproject.arg.prob.analysis.PAInconsistencyMeasure
Creates a new inconsinstency measure which uses the given norm and measures wrt.
PAInconsistencyMeasureExample - Class in org.tweetyproject.arg.prob.examples
Example code for the PAInconsistencyMeasure.
PAInconsistencyMeasureExample() - Constructor for class org.tweetyproject.arg.prob.examples.PAInconsistencyMeasureExample
Default
Pair<T1,T2> - Class in org.tweetyproject.arg.adf.util
Pair class
Pair<E,F> - Class in org.tweetyproject.commons.util
This class implements a simple pair of elements.
Pair() - Constructor for class org.tweetyproject.commons.util.Pair
Initializes an empty pair.
Pair(E, F) - Constructor for class org.tweetyproject.commons.util.Pair
Initializes the elements of this pair with the given parameters
Pair(T1, T2) - Constructor for class org.tweetyproject.arg.adf.util.Pair
Constructor
PairTest - Class in org.tweetyproject.arg.adf.util.test
 
PairTest() - Constructor for class org.tweetyproject.arg.adf.util.test.PairTest
 
Parallel - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType
Parallel
ParallelExecution - Class in org.tweetyproject.arg.adf.reasoner.sat.execution
ParallelExecution class
ParallelExecution(Semantics, IncrementalSatSolver, int) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution
 
ParallelMultiple - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType
ParallelMultiple
PARAM_ARGUMENT - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the argument of the dialogue.
PARAM_ARGUMENT - Static variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator
Key for the simulation parameter which refers to the argument of the dialogue.
PARAM_DUMMY_THEORY - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the dummy agent's theory.
PARAM_LOT_PROB - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the probability function for the actual lottery agent.
PARAM_LOT_UTIL - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the utility function for the actual lottery agent.
PARAM_SEM - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the semantics used.
PARAM_UNIVERSALTHEORY - Static variable in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Key for the simulation parameter which refers to the universal theory generated.
PARAM_UNIVERSALTHEORY - Static variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator
Key for the simulation parameter which refers to the universal theory generated.
ParameterisedArgumentativeSelectiveRevisionOperator - Class in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
This class represents a selective revision using the base revision approach from [1] for the inner revision and the sceptical argumentative transformation function from [2].
ParameterisedArgumentativeSelectiveRevisionOperator(ASPSolver, AttackStrategy, AttackStrategy, ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
Constructs a new selective revision operator using the given attack relations and a asp solver.
ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType - Enum in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
Represents the type of transformation to be applied in a logic program or algorithm.
ParameterSet - Class in org.tweetyproject.machinelearning
A set of parameters that can be given to a trainer to specifiy the training task.
ParameterSet() - Constructor for class org.tweetyproject.machinelearning.ParameterSet
Default Constructor
ParameterTrainer<S,T> - Class in org.tweetyproject.machinelearning
Performs a parameter training on a given trainer, i.e.
ParameterTrainer(Trainer<S, T>) - Constructor for class org.tweetyproject.machinelearning.ParameterTrainer
Creates a new parameter trainer for the given trainer.
PAREN_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
PAREN_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
PAREN_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
PAREN_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
PARENTHESES_LEFT() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for the left parenthesis.
PARENTHESES_RIGHT() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for the right parenthesis.
parents(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns a set of parent arguments for the given child argument.
PARevisionOperator - Class in org.tweetyproject.arg.prob.dynamics
This operator implements a revision of some probabilistic assessment of arguments upon the observation of an argumentation theory.
PARevisionOperator(PASemantics, RealVectorNorm, SimpleRealValuedFunction) - Constructor for class org.tweetyproject.arg.prob.dynamics.PARevisionOperator
Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
parse(File) - Method in class org.tweetyproject.arg.adf.io.KppADFFormatParser
 
parse(File) - Static method in class org.tweetyproject.preferences.io.POParser
Parses a PreferenceOrder of type String from a given File.
parse(Reader) - Method in class org.tweetyproject.arg.adf.io.KppADFFormatParser
 
parse(Reader) - Method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Parses the given file into an abstract argumentation framework
parse(Reader) - Method in class org.tweetyproject.arg.dung.parser.ApxParser
 
parse(Reader) - Method in class org.tweetyproject.arg.dung.parser.CnfParser
 
parse(Reader) - Method in class org.tweetyproject.arg.dung.parser.Iccma23Parser
 
parse(Reader) - Method in class org.tweetyproject.arg.dung.parser.TgfParser
 
parse(String) - Method in class org.tweetyproject.arg.adf.io.KppADFFormatParser
 
parse(String) - Static method in class org.tweetyproject.preferences.io.POParser
Parses a PreferenceOrder of type String from a given file path.
parse(String) - Static method in class org.tweetyproject.preferences.io.UPParser
Parses the specified update file to extract a list of updates.
parse(Node) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.AbstractElementParser
Return the parsed element
parse(Node) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BpmnModelParser
Parse the model
parse(Node) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.CollaborationParser
Parse
parseAnswerSet(Reader) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
Parse parseAnswerSet
parseAnswerSet(String) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
Parse AnswerSet
parseArgumentList(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Returns a collection view of the given set of arguments
parseArguments(Parameters) - Method in class org.tweetyproject.arg.delp.semantics.CriterionOptionHandler
Parses the arguments from the command line and sets the corresponding ComparisonCriterion value.
parseBeliefBase(Reader) - Method in class org.tweetyproject.action.description.parser.CLawParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.action.description.parser.CParser
Parses a belief base from the provided reader.
parseBeliefBase(Reader) - Method in class org.tweetyproject.action.query.parser.ActionQueryParser
Parses a belief base from the given reader.
parseBeliefBase(Reader) - Method in class org.tweetyproject.arg.aba.parser.AbaParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.arg.deductive.parser.SimplePlLogicParser
Read an entire piece of text and send each line to the actual parser
parseBeliefBase(Reader) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
Parses a defeasible logic program from the given reader.
parseBeliefBase(Reader) - Method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.commons.Parser
Parses the given reader into a belief base of the given type.
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.cl.parser.ClParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.dl.parser.DlParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.fol.parser.FolParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.ml.parser.MlParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.pcl.parser.PclParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.pl.parser.DimacsParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.pl.parser.PlParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.qbf.parser.QbfParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.qbf.parser.QCirParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.qbf.parser.QdimacsParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.rcl.parser.RclParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.rdl.parser.RdlParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.RpclParser
 
parseBeliefBase(Reader) - Method in class org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued
 
parseBeliefBase(String) - Method in class org.tweetyproject.commons.Parser
Parses the given text into a belief base of the given type.
parseBeliefBaseFromFile(String) - Method in class org.tweetyproject.commons.Parser
Parses the file of the given filename into a belief base of the given type.
ParseBeliefBaseFromFileTest() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
ParseBeliefBaseFromFileTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
ParseBeliefBaseFromFileTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
 
ParseBeliefBaseFromFileTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
ParseBeliefBaseTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
parseBoolean(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Parses the given string (either "YES" or "NO") to a boolean value.
parseComments() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
ParseComplexEquivalenceTest1() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
ParseComplexEquivalenceTest2() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
ParseConceptAssertionTest() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
parseCondensedProbabilityDistribution(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Return parsed CondensedProbabilityDistribution
parseDatasetFromPath(String, Parser<U, T>, int) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Parse all knowledge bases from files in the given folder and add them to the testing dataset.
parseDoubleNegation() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseEmpty() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
parseEmptyPreds() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
ParseEquivalenceTest() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
ParseException - Exception Class in org.tweetyproject.arg.delp.parser
This exception is thrown when parse errors are encountered.
ParseException - Exception Class in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
This exception is thrown when parse errors are encountered.
ParseException - Exception Class in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
This exception is thrown when parse errors are encountered.
ParseException - Exception Class in org.tweetyproject.lp.asp.parser
This exception is thrown when parse errors are encountered.
ParseException - Exception Class in org.tweetyproject.preferences.io
This exception is thrown when parse errors are encountered.
ParseException() - Constructor for exception class org.tweetyproject.arg.delp.parser.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception class org.tweetyproject.lp.asp.parser.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception class org.tweetyproject.preferences.io.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception class org.tweetyproject.arg.delp.parser.ParseException
Constructor with message.
ParseException(String) - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
Constructor with message.
ParseException(String) - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
Constructor with message.
ParseException(String) - Constructor for exception class org.tweetyproject.lp.asp.parser.ParseException
Constructs a new ParseException with a specified detail message.
ParseException(String) - Constructor for exception class org.tweetyproject.preferences.io.ParseException
Constructor with message.
ParseException(Token, int[][], String[]) - Constructor for exception class org.tweetyproject.arg.delp.parser.ParseException
Constructs a new ParseException with the specified details.
ParseException(Token, int[][], String[]) - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
Constructs a new ParseException with the specified details.
ParseException(Token, int[][], String[]) - Constructor for exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
Constructs a new ParseException with detailed information about the parsing error.
ParseException(Token, int[][], String[]) - Constructor for exception class org.tweetyproject.lp.asp.parser.ParseException
Constructs a new ParseException with details about the parsing error.
ParseException(Token, int[][], String[]) - Constructor for exception class org.tweetyproject.preferences.io.ParseException
Constructs a new ParseException with the specified details.
ParseExistsQuantificationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
parseExtensionList(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Returns a collection view of the given set of extensions (=sets of arguments)
parseFile(File) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
Parse the XML file to an instance of the BpmnModel class
parseFile(String) - Static method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest
parsing the file
ParseForallQuantificationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
parseFormula(Reader) - Method in class org.tweetyproject.action.description.parser.CLawParser
 
parseFormula(Reader) - Method in class org.tweetyproject.action.description.parser.CParser
Parses a formula from the given reader.
parseFormula(Reader) - Method in class org.tweetyproject.action.query.parser.ActionQueryParser
Parses a single formula from the given reader.
parseFormula(Reader) - Method in class org.tweetyproject.arg.aba.parser.AbaParser
 
parseFormula(Reader) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
 
parseFormula(Reader) - Method in class org.tweetyproject.arg.deductive.parser.SimplePlLogicParser
 
parseFormula(Reader) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
A formula here is a Literal, that is an Atom or a negated Atom.
parseFormula(Reader) - Method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
 
parseFormula(Reader) - Method in class org.tweetyproject.commons.Parser
Parses the given reader into a formula of the given type.
parseFormula(Reader) - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.cl.parser.ClParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.dl.parser.DlParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.fol.parser.FolParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.ml.parser.MlParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.pcl.parser.PclParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.pl.parser.DimacsParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.pl.parser.PlParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.qbf.parser.QbfParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.qbf.parser.QCirParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.rcl.parser.RclParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.rdl.parser.RdlParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.RpclParser
 
parseFormula(Reader) - Method in class org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued
 
parseFormula(String) - Method in class org.tweetyproject.action.description.parser.CLawParser
 
parseFormula(String) - Method in class org.tweetyproject.action.description.parser.CParser
Parses the given formula string and returns the corresponding Formula object.
parseFormula(String) - Method in class org.tweetyproject.commons.Parser
Parses the given text into a formula of the given type.
parseFormulaFromFile(String) - Method in class org.tweetyproject.commons.Parser
Parses the file of the given filename into a formula of the given type.
parseIgnoreComments(Reader, boolean) - Method in class org.tweetyproject.arg.dung.parser.ApxParser
Parses an argumentation framework from a reader source with options to ignore comments and optionally print commands.
parseJavaStringRepresentation(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Parses a representation of the form "\lt; {a,b,c},[(a,b),(b,c)]\gt;" which is given by DungTheory.toString();
parseKnownKBs() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
parseLabeling(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Returns a labeling parsed from the given string
parseLabelingList(String) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser
Returns a collection view of the given set of labelings
parseListOfBeliefBases(String) - Method in class org.tweetyproject.commons.Parser
Parses the given text into a list of belief bases of the given type.
parseListOfBeliefBases(String, String) - Method in class org.tweetyproject.commons.Parser
Parses the given text into a list of belief bases of the given type.
parseListOfBeliefBasesFromFile(String) - Method in class org.tweetyproject.commons.Parser
Parses the file of the given filename into a list of belief bases of the given type.
parseListOfBeliefBasesFromFile(String, String) - Method in class org.tweetyproject.commons.Parser
Parses the file of the given filename into a list of belief bases of the given type.
ParseModalFormulaTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
 
ParseNestedQuantifiedFormulaTest() - Method in class org.tweetyproject.logics.qbf.test.QbfTest
 
parseProbabilityDistribution(Reader) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
Parses the probability distribution from the provided reader.
parseProgram(Reader) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
parse the program
parseProgram(String) - Method in class org.tweetyproject.lp.asp.parser.AspifParser
Parses output in the aspif format and returns the resulting program.
parseProgram(String) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
Parse the programm
parseProgramFile(String) - Method in class org.tweetyproject.lp.asp.parser.AspifParser
Parses the file of the given filename in the aspif format and returns the resulting program.
parseQDimacsOutput(String) - Method in class org.tweetyproject.logics.qbf.parser.QdimacsParser
Parses the answer from a given QDIMACS output file.
ParseQuantifiedFormulaTest() - Method in class org.tweetyproject.logics.qbf.test.QbfTest
 
parseQuotedStrings() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
Parser<T,S> - Class in org.tweetyproject.commons
This class models an abstract parser for belief bases and formulas.
Parser() - Constructor for class org.tweetyproject.commons.Parser
Deafult Constructor
parseRequirement(String, Set<Variable>) - Method in class org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME | VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.
parseRequirements(String, Set<Variable>) - Method in class org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*
ParserException - Exception Class in org.tweetyproject.commons
This class models a general exception for parsing.
ParserException(Exception) - Constructor for exception class org.tweetyproject.commons.ParserException
Creates a new parser exception with the given sub exception.
ParserException(String) - Constructor for exception class org.tweetyproject.commons.ParserException
Creates a new parser exception with the given message.
ParseRoleAssertionTest() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
ParserTest() - Method in class org.tweetyproject.arg.dung.ProboTest
Prepares and parses argumentation frameworks from files in different formats (TGF and APX), then asserts correct parsing by checking the number of attacks and nodes.
ParserTest1() - Method in class org.tweetyproject.arg.aspic.AspicTest
 
ParserTest2() - Method in class org.tweetyproject.arg.aspic.AspicTest
 
parseRule(Reader) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
Parse the rule
parseRule(String) - Static method in class org.tweetyproject.lp.asp.parser.ASPParser
Parse the rule
parseSignature(Reader) - Method in class org.tweetyproject.action.signature.parser.ActionSignatureParser
Parses the given reader into a signature of the given type.
parseSignature(String) - Method in class org.tweetyproject.action.signature.parser.ActionSignatureParser
Parses the given text into a signature of the given type.
parseSignature(String) - Method in class org.tweetyproject.logics.fol.parser.FolParser
This function parses only the sorts declaration and type declaration parts of a belief base.
parseSignatureFromFile(String) - Method in class org.tweetyproject.action.signature.parser.ActionSignatureParser
Parses the file of the given filename into a signature.
parseSimple() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseSimpleOrder(String) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
Extracts and Constructs a SimpleAspicOrder out of a string
parseSortDeclaration(String, FolSignature) - Method in class org.tweetyproject.logics.fol.parser.FolParser
Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
parseTerm(Term) - Method in class org.tweetyproject.math.opt.solver.GurobiOptimizer
parses a term from tweety to GRB the input term needs to be linear or quadratic
parseTooLong() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
parseTooMuch() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseTooMuch2() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseTooMuch3() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseTooShort() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
parseTypeDeclaration(String, FolSignature) - Method in class org.tweetyproject.logics.fol.parser.FolParser
Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" and modifies the given signature accordingly.
parseUnknownConstant() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseUnknownConstantAsPredicate() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseUnknownPred() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseUnknownToken() - Method in class org.tweetyproject.arg.delp.TestKBParsing
 
parseUnknownVariableAsPredicate() - Method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
parseVars(OptimizationProblem) - Method in class org.tweetyproject.math.opt.solver.GurobiOptimizer
takes all Variables from a tweety problem and maps them to GRB Varaibles
partial(Set<Argument>, Set<Argument>, AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
PartialProbabilityAssignment - Class in org.tweetyproject.arg.prob.syntax
A partial probability assignment for abstract argumentation theories.
PartialProbabilityAssignment() - Constructor for class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment
Default
partials(List<Argument>, AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Goes through all possible partial interpretations respecting the order of the given list of arguments.
partitionInitialSets(DungTheory) - Static method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
Helper function that computed the initial sets of F and labels them in three categories
PASemantics - Interface in org.tweetyproject.arg.prob.semantics
This interface contains common methods for probabilistic argumentation semantics.
PAUpdateOperator - Class in org.tweetyproject.arg.prob.dynamics
This operator implements an update of some probabilistic assessment of arguments upon the observation of an argumentation theory.
PAUpdateOperator(PASemantics, RealVectorNorm, SimpleRealValuedFunction) - Constructor for class org.tweetyproject.arg.prob.dynamics.PAUpdateOperator
Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
PclBeliefSet - Class in org.tweetyproject.logics.pcl.syntax
This class models a belief set on probabilistic conditional logic, i.e.
PclBeliefSet() - Constructor for class org.tweetyproject.logics.pcl.syntax.PclBeliefSet
Creates a new (empty) conditional belief set.
PclBeliefSet(Collection<? extends ProbabilisticConditional>) - Constructor for class org.tweetyproject.logics.pcl.syntax.PclBeliefSet
Creates a new conditional belief set with the given collection of conditionals.
PclBeliefSetQuadraticErrorMinimizationMachineShop - Class in org.tweetyproject.logics.pcl.analysis
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>, OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
Creates a new machine shop based on the given culpability measure.
PclDefaultConsistencyTester - Class in org.tweetyproject.logics.pcl.analysis
This class is capable of checking whether a given conditional knowledge base is consistent by searching for the root of some equivalent multi-dimensional function.
PclDefaultConsistencyTester(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester
Constructor
PclParser - Class in org.tweetyproject.logics.pcl.parser
This class implements a parser for probabilistic conditional logic.
PclParser() - Constructor for class org.tweetyproject.logics.pcl.parser.PclParser
Default Constructor
PEAFInducer - Interface in org.tweetyproject.arg.bipolar.inducers
The interface for PEAFInducers, these create a subset of the graph that is generated from the given PEAF
PEAFTheory - Class in org.tweetyproject.arg.bipolar.syntax
This class implements an abstract argumentation theory in the sense of Probabilistic Evidential Argumentation Frameworks (PrEAF).
PEAFTheory() - Constructor for class org.tweetyproject.arg.bipolar.syntax.PEAFTheory
Default constructor; initializes an empty PEAFTheory
PEAFTheory(Set<BArgument>) - Constructor for class org.tweetyproject.arg.bipolar.syntax.PEAFTheory
Optional constructor; initializes an PEAFTheory with arguments
PEEAFTheory - Class in org.tweetyproject.arg.bipolar.syntax
This class implements an abstract argumentation theory in the sense of Probabilistic Extended Evidential Argumentation Frameworks (PrEEAF).
PEEAFTheory() - Constructor for class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory
Default constructor that initializes an empty PEEAFTheory
PEEAFTheory.Argument - Class in org.tweetyproject.arg.bipolar.syntax
Argument is a class, that is used for PEEAFTheory
PEEAFTheory.Attack - Class in org.tweetyproject.arg.bipolar.syntax
Attack is a class, that is used for PEEAFTheory
PEEAFTheory.Element - Class in org.tweetyproject.arg.bipolar.syntax
Element is the parent of PEEAFTheory.Argument, PEEAFTheory.Support and PEEAFTheory.Attack
PEEAFTheory.ElementNotFoundException - Exception Class in org.tweetyproject.arg.bipolar.syntax
The exception occurs when the element requested is not found.
PEEAFTheory.Exceptions - Class in org.tweetyproject.arg.bipolar.syntax
Helper class for displaying associated exceptions' occurrence
PEEAFTheory.NotAnArgumentException - Exception Class in org.tweetyproject.arg.bipolar.syntax
The exception occurs when the argument requested is not found.
PEEAFTheory.Support - Class in org.tweetyproject.arg.bipolar.syntax
Support is a class, that is used for PEEAFTheory
peekNode() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState
Returns the node currently on the top of the stack without removing it.
PenalizingCreepingMachineShop - Class in org.tweetyproject.logics.pcl.analysis
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
PenalizingCreepingMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.PenalizingCreepingMachineShop
Constructor
PENALTY - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The PENALTY postulate
Perceivable - Interface in org.tweetyproject.agents
A perceivable object is some event occuring in an environment and perceivable by an agent.
PerceivableStructuredArgumentationFramework - Class in org.tweetyproject.agents.dialogues.structured
This class packs a structured argumentation framework into a perceivable object.
PerceivableStructuredArgumentationFramework() - Constructor for class org.tweetyproject.agents.dialogues.structured.PerceivableStructuredArgumentationFramework
Default Constructor
percentageVirtualArguments - Variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration
The percentage of virtual arguments in the view of an agent.
percentageVirtualAttacks - Variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration
The percentage of attacks a virtual argument retains from the original attacks.
performShortCircuitWalk() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
Walk the network until a stationary distribution is figured out This also yields control vectors
performWalk() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
Walk the network until a stationary distribution is figured out This neglects control vectors
permutations(Set<Set<E>>) - Method in class org.tweetyproject.commons.util.SetTools
Computes all permutations of elements in partitions as follows.
pertubate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearch
changes the solution drastically to escape a local minimum
pertubate(Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
changes the solution drastically to escape a local minimum
pessimisticCompletion(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory
constructs pessimistic completion (all attacks but the ones from and to set s are instantiated and no other possible attacks)
PetriNet - Class in org.tweetyproject.logics.petri.syntax
A class to represent a Petri net
PetriNet() - Constructor for class org.tweetyproject.logics.petri.syntax.PetriNet
Default
PetriNetNode - Class in org.tweetyproject.logics.petri.syntax
An abstract class for the two types of nodes in a Petri net, places and transitions
PetriNetNode(String) - Constructor for class org.tweetyproject.logics.petri.syntax.PetriNetNode
Create a new instance
PetriNetNode(String, String) - Constructor for class org.tweetyproject.logics.petri.syntax.PetriNetNode
Create a new instance
PetriNetParser - Class in org.tweetyproject.logics.bpm.parser.bpmn_to_petri
A class to map a BPMN model to a Petri net
PetriNetParser(BpmnModel) - Constructor for class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser
Create a new instance
PetriNetPlotter - Class in org.tweetyproject.logics.petri.plotting
This class is for displaying instances of the PetriNet class graphically
PetriNetPlotter(Plotter, PetriNet) - Constructor for class org.tweetyproject.logics.petri.plotting.PetriNetPlotter
Create a new instance for plotting the BpmnModel
PheromoneImportance - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization
Pheromone Importance
PicosatSatSolver - Class in org.tweetyproject.sat.picosat
This class provides an implementation of the `SatSolver` interface using the PicoSAT SAT solver.
PicosatSatSolver() - Constructor for class org.tweetyproject.sat.picosat.PicosatSatSolver
Initializes a new instance of the PicoSAT SAT solver.
PicosatTest - Class in org.tweetyproject.sat.test
 
PicosatTest() - Constructor for class org.tweetyproject.sat.test.PicosatTest
 
ping(Ping) - Method in class org.tweetyproject.web.services.RequestController
Handles HTTP POST requests for ping operations.
Ping - Class in org.tweetyproject.web.services
Represents a simple data structure for handling "ping" messages.
Ping() - Constructor for class org.tweetyproject.web.services.Ping
Default constructor for the Ping class.
Ping(long, String) - Constructor for class org.tweetyproject.web.services.Ping
Constructor for the Ping class with specified id and content.
pInside - Variable in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
pInside
Place - Class in org.tweetyproject.logics.petri.syntax
A class to describe places in a Petri net
Place(String) - Constructor for class org.tweetyproject.logics.petri.syntax.Place
Create a new instance
Place(String, String) - Constructor for class org.tweetyproject.logics.petri.syntax.Place
Create a new instance
PLACE_TO_TRANSITION - Enum constant in enum org.tweetyproject.logics.petri.syntax.Ark.Direction
PLACE_TO_TRANSITION
PlBeliefSet - Class in org.tweetyproject.logics.pl.syntax
This class represents a knowledge base of propositional formulae.
PlBeliefSet() - Constructor for class org.tweetyproject.logics.pl.syntax.PlBeliefSet
Creates a new (empty) knowledge base.
PlBeliefSet(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.PlBeliefSet
Creates a new knowledge base with the given set of formulas.
PlExample - Class in org.tweetyproject.logics.pl.examples
Some general examples for using basic propositional logic classes like PlParser and SimplePlReasoner.
PlExample() - Constructor for class org.tweetyproject.logics.pl.examples.PlExample
Default Constructor
PlException - Exception Class in org.tweetyproject.logics.pl.error
An Exception for the propositional language, it is thrown if a developer tries to create illegal propositional statements like a predicate with an arity greater than zero.
PlException(LanguageException.LanguageExceptionReason) - Constructor for exception class org.tweetyproject.logics.pl.error.PlException
Constructor
PlException(LanguageException.LanguageExceptionReason, String) - Constructor for exception class org.tweetyproject.logics.pl.error.PlException
Constructor
PlFormula - Class in org.tweetyproject.logics.pl.syntax
This class represents the common ancestor for propositional formulae.
PlFormula() - Constructor for class org.tweetyproject.logics.pl.syntax.PlFormula
Default Constructor
PlFormulaGenerator - Class in org.tweetyproject.arg.aspic.ruleformulagenerator
Implements RuleFormulaGenerator for propositional logic.
PlFormulaGenerator() - Constructor for class org.tweetyproject.arg.aspic.ruleformulagenerator.PlFormulaGenerator
 
plLogic(String[]) - Method in class org.tweetyproject.arg.deductive.DeductiveTest
 
PlMusEnumerator - Class in org.tweetyproject.logics.pl.sat
This abstract class models a MUS enumerator for propositional logic, i.e.
PlMusEnumerator() - Constructor for class org.tweetyproject.logics.pl.sat.PlMusEnumerator
Default Constructor
plotAnalyses(HashMap<DungTheory, SerialisationGraph[]>, String, int, int) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
Plots specified frameworks and their associated serialisation graphs for the specified semantics.
plotAnalyses(Semantics[], DungTheory[], String, int, int) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
Plots specified frameworks and their associated serialisation graphs for the specified semantics.
plotAnalyses(DungTheory, SerialisationGraph[], String, int, int) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
Plots specified analyses of the serialising generation of extensions, each in a separate frame.
plotAnalysesOneFrame(HashMap<DungTheory, SerialisationGraph[]>, String, int, int) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
Plots specified frameworks and their associated serialisation graphs for the specified semantics.
plotAnalysesOneFrame(Semantics[], DungTheory[], String[], int, int) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationAnalysisPlotter
Plots specified frameworks and their associated serialisation graphs for the specified semantics.
plotFramework(Collection<DungTheory>, int, int) - Static method in class org.tweetyproject.arg.dung.util.DungTheoryPlotter
Plots the specified frameworks in a new created frame.
plotFramework(DungTheory, int, int, String) - Static method in class org.tweetyproject.arg.dung.util.DungTheoryPlotter
Plots the specified framework in a new created frame.
plotFramework(DungTheory, Plotter, String) - Static method in class org.tweetyproject.arg.dung.util.DungTheoryPlotter
Plots the specified framework in the frame of the specified plotter.
plotGraph(SerialisationGraph, int, int, String) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
Plots the specified graph in a new created frame.
plotGraph(SerialisationGraph, Plotter, String) - Static method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
Plots the specified graph in the frame of the specified plotter
Plotter - Class in org.tweetyproject.commons
A class for managing and displaying several plots in a single frame
Plotter() - Constructor for class org.tweetyproject.commons.Plotter
Create a new instance
PlotterMultiFrame - Class in org.tweetyproject.commons
This class is responsible for the behavior of a plotter with multiple frames.
PlotterMultiFrame() - Constructor for class org.tweetyproject.commons.PlotterMultiFrame
Default Constructor
PlParser - Class in org.tweetyproject.logics.pl.parser
This class implements a parser for propositional logic.
PlParser() - Constructor for class org.tweetyproject.logics.pl.parser.PlParser
Default Constructor
PlParserFactory - Class in org.tweetyproject.logics.pl.parser
Manages and creates different parsers for propositional logic.
PlParserFactory() - Constructor for class org.tweetyproject.logics.pl.parser.PlParserFactory
Default Constructor
PlParserFactory.Format - Enum in org.tweetyproject.logics.pl.parser
An enumeration of all available knowledge base formats.
PlParserTest - Class in org.tweetyproject.logics.pl.test
JUnit Test class for PlParser.
PlParserTest() - Constructor for class org.tweetyproject.logics.pl.test.PlParserTest
 
PlParserTest() - Method in class org.tweetyproject.arg.aba.AbaTest
 
PlParserThreeValued - Class in org.tweetyproject.logics.translators.adfrevision
Adapted from "PlParser" for the use of 3-valued logic (WeakNegation and Indecision-Operator):
PlParserThreeValued() - Constructor for class org.tweetyproject.logics.translators.adfrevision.PlParserThreeValued
Default Constructor
PlPlugin - Class in org.tweetyproject.logics.pl.plugin
This class provides the JSPF-Plugin for the propositional logic library Currently plugin is loadable but not executed
PlPlugin() - Constructor for class org.tweetyproject.logics.pl.plugin.PlPlugin
actually used constructor, initializing start parameters for this plugin
PlPlugin(String[]) - Constructor for class org.tweetyproject.logics.pl.plugin.PlPlugin
non-empty constructor in case of problems concerning jspf
PlPredicate - Class in org.tweetyproject.logics.pl.syntax
A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.
PlPredicate() - Constructor for class org.tweetyproject.logics.pl.syntax.PlPredicate
Default-Ctor for dynamic instantiation
PlPredicate(String) - Constructor for class org.tweetyproject.logics.pl.syntax.PlPredicate
Ctor: Creates a new propositional predicate with the given name.
PlSignature - Class in org.tweetyproject.logics.pl.syntax
This class captures the signature of a specific propositional language.
PlSignature() - Constructor for class org.tweetyproject.logics.pl.syntax.PlSignature
Creates a new (empty) propositional signature.
PlSignature(int) - Constructor for class org.tweetyproject.logics.pl.syntax.PlSignature
Creates a new propositional signature with the given number of propositions (named "A0"..."Anumvars".
PlSignature(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.logics.pl.syntax.PlSignature
Creates a new propositional signature with the given set of propositions.
PlSignature(PlSignature) - Constructor for class org.tweetyproject.logics.pl.syntax.PlSignature
Creates a new propositional signature that is a copy of the given signature.
PluginOutput - Class in org.tweetyproject.plugin
This class provides the output for each plugin to be used in the CLI.
PluginOutput() - Constructor for class org.tweetyproject.plugin.PluginOutput
Constructs an empty `PluginOutput` object.
PluginOutput(ArrayList<OutputField>) - Constructor for class org.tweetyproject.plugin.PluginOutput
Constructs a `PluginOutput` object with a predefined list of `OutputField` objects.
PluralityScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation
Creates an aggregator with plurality scoring
PluralityScoringPreferenceAggregator() - Constructor for class org.tweetyproject.preferences.aggregation.PluralityScoringPreferenceAggregator
calls the super-constructor with argument used for plurality scoring aggregation
PLUS - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
Represents the addition operator (+).
PLUS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
PLUS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
PlWindowInconsistencyMeasurementProcess - Class in org.tweetyproject.logics.pl.analysis
A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.
PlWindowInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.pl.analysis.PlWindowInconsistencyMeasurementProcess
Default Constructor
PlWriter - Class in org.tweetyproject.logics.pl.writer
This class implements a writer for propositional formulas and belief bases.
PlWriter() - Constructor for class org.tweetyproject.logics.pl.writer.PlWriter
Creates a new empty PlWriter.
PlWriter(PlBeliefSet) - Constructor for class org.tweetyproject.logics.pl.writer.PlWriter
Creates a new PlWriter for the given belief set.
PlWriter(PlFormula) - Constructor for class org.tweetyproject.logics.pl.writer.PlWriter
Creates a new PlWriter for the given formula.
PM - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
PM
PmInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.
PmInconsistencyMeasure - Class in org.tweetyproject.lp.asp.analysis
This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.
PmInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.PmInconsistencyMeasure
Default Constructor
PmInconsistencyMeasure(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure
Creates a new inconsistency measure based on the given solver.
PmMeasureExample - Class in org.tweetyproject.logics.pl.examples
Example code illustrating the Pm inconsistency measure.
PmMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.PmMeasureExample
Default Constructor
PNorm - Class in org.tweetyproject.math.norm
The p-norm.
PNorm(int) - Constructor for class org.tweetyproject.math.norm.PNorm
Creates a new p-norm with the given parameter.
POChanger<T> - Class in org.tweetyproject.preferences.io
This class is meant to provide a structure to change preference orders and compare the results between changes
POChanger(Triple<PreferenceOrder<T>, T, Integer>) - Constructor for class org.tweetyproject.preferences.io.POChanger
Constructor
PodlaszewskiCaminadaDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util
This generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski.
PodlaszewskiCaminadaDungTheoryGenerator(int) - Constructor for class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
Creates a new generator that generates frameworks of the given numComponents >= 0.
Policy<S,A> - Interface in org.tweetyproject.machinelearning.rl.mdp
A policy (map from states to actions) for Markov Decision Process
PolicyEvaluation<S,A> - Interface in org.tweetyproject.machinelearning.rl.mdp.algorithms
The `PolicyEvaluation` interface provides methods to evaluate the utility of states in a Markov Decision Process (MDP) with respect to a given policy.
PolicyIteration<S,A> - Class in org.tweetyproject.machinelearning.rl.mdp.algorithms
The policy iteration algorithm for determining optimal policies
PolicyIteration(PolicyEvaluation<S, A>) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyIteration
Creates a new instance of the policy iteration algorithm, which uses the given policy evaluation algorithm.
PooledIncrementalSatSolver - Class in org.tweetyproject.arg.adf.sat.solver
A decorator which provides a pool of pre computed SatSolverState.
PooledIncrementalSatSolver.Builder - Class in org.tweetyproject.arg.adf.sat.solver
class Builder
POParser - Class in org.tweetyproject.preferences.io
POParser class
POParser() - Constructor for class org.tweetyproject.preferences.io.POParser
Constructor
POParser(InputStream) - Constructor for class org.tweetyproject.preferences.io.POParser
Constructor with InputStream.
POParser(InputStream, String) - Constructor for class org.tweetyproject.preferences.io.POParser
Constructor with InputStream and supplied encoding
POParser(Reader) - Constructor for class org.tweetyproject.preferences.io.POParser
Constructor with reader stream.
POParser(POParserTokenManager) - Constructor for class org.tweetyproject.preferences.io.POParser
Constructor with generated Token Manager.
POParserConstants - Interface in org.tweetyproject.preferences.io
Token literal values and constants.
POParserTokenManager - Class in org.tweetyproject.preferences.io
Token Manager.
POParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.preferences.io.POParserTokenManager
Constructor that initializes the POParserTokenManager with a provided SimpleCharStream.
POParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.preferences.io.POParserTokenManager
Constructor that initializes the POParserTokenManager with a provided SimpleCharStream and a specific lexical state.
popNode() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState
Returns the node on the top of the stack and removes it from the stack.
PossibilisticGammaOperator - Class in org.tweetyproject.logics.translators.adfpossibilistic
This class performs the Gamma Operator for Possibilistic ADFs introduced in [Heyninck 2021]
PossibilisticGammaOperator() - Constructor for class org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator
Default Constructor
Possibility - Class in org.tweetyproject.logics.ml.syntax
This class models the possibility modality.
Possibility(RelationalFormula) - Constructor for class org.tweetyproject.logics.ml.syntax.Possibility
Creates a new possibility formula with the given inner formula.
POSSIBILITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for possibility.
PossibilityDistribution - Class in org.tweetyproject.logics.translators.adfpossibilistic
Models a possibility distribution (PD) as defined in Christoph Beierle / Gabriele Kern-Isberner: Methoden Wissensbasierter Systeme
PossibilityDistribution(PlSignature) - Constructor for class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
Creates a new possibility distribution (PD) mapping each given interpretation to 1.0 (least specific value = maximal entropy).
PossibleWorld - Class in org.tweetyproject.logics.pl.semantics
This class represents a possible world of propositional logic, i.e.
PossibleWorld() - Constructor for class org.tweetyproject.logics.pl.semantics.PossibleWorld
Creates a new empty possible world.
PossibleWorld(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.logics.pl.semantics.PossibleWorld
Creates a new possible world with the given set of propositions.
PossibleWorldDistance - Class in org.tweetyproject.logics.pl.analysis
This class refines interpretation distances to distance on possible worlds.
PossibleWorldDistance() - Constructor for class org.tweetyproject.logics.pl.analysis.PossibleWorldDistance
Default Constructor
PossibleWorldIterator - Class in org.tweetyproject.logics.pl.semantics
Iterates effectively over all interpretation sets worlds of a given signature.
PossibleWorldIterator() - Constructor for class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
Creates new iterator.
PossibleWorldIterator(PlSignature) - Constructor for class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
Creates new iterator for the given signature.
Post - Class in org.tweetyproject.web.services
Represents a generic data structure for HTTP POST requests.
Post() - Constructor for class org.tweetyproject.web.services.Post
Default constructor for the Post class.
Post(String) - Constructor for class org.tweetyproject.web.services.Post
Constructs a Post object with a specific command.
Postulate<S> - Interface in org.tweetyproject.commons.postulates
Models a general (rationality) postulate, i.e.
PostulateEvaluatable<S> - Interface in org.tweetyproject.commons.postulates
Classes implementing this interface can be evaluated wrt.
PostulateEvaluationReport<S> - Class in org.tweetyproject.commons.postulates
Summarises the results of a postulate evaluation.
PostulateEvaluationReport(PostulateEvaluatable<S>, List<Postulate<S>>) - Constructor for class org.tweetyproject.commons.postulates.PostulateEvaluationReport
Creates a new evaluation report for the given approach and set of postulates
PostulateEvaluator<T,U> - Class in org.tweetyproject.commons.postulates
Evaluates some approach (reasoner, measure, etc.) wrt.
PostulateEvaluator(BeliefSetIterator<T, U>, PostulateEvaluatable<T>) - Constructor for class org.tweetyproject.commons.postulates.PostulateEvaluator
Creates a new evaluator for the given evaluatable and belief base generator.
PostulateEvaluator(BeliefSetIterator<T, U>, PostulateEvaluatable<T>, Collection<Postulate<T>>) - Constructor for class org.tweetyproject.commons.postulates.PostulateEvaluator
Creates a new evaluator for the given evaluatable and belief base generator.
Power - Class in org.tweetyproject.math.term
This class represents a term raised to some power.
Power(Term, Term) - Constructor for class org.tweetyproject.math.term.Power
Creates a new power term with the given term and power.
powerSet(Collection<T>) - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory
constructs powerset of generic type
powerSet(Set<E>) - Static method in class org.tweetyproject.commons.util.SetTools
Generates the power set of a given set.
powerSet(Set<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
Return the powerset of
powerSet(Set<T>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory
Return the powerset
powerSet(Set<T>) - Method in class org.tweetyproject.graphs.HyperGraph
Return a powerset.
POWriter<T> - Class in org.tweetyproject.preferences.io
POWriter class
POWriter() - Constructor for class org.tweetyproject.preferences.io.POWriter
Default Constructor
PR - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics
PR
PR - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
PR
PR - Enum constant in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics
preferred
PR - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
Preferred semantics
precision - Variable in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
Precision of comparisons between values.
precision - Variable in class org.tweetyproject.math.opt.rootFinder.GradientDescentRootFinder
The precision of the approximation.
precision - Variable in class org.tweetyproject.math.opt.solver.GradientDescent
The precision of the approximation.
PRECISION - Static variable in class org.tweetyproject.arg.rankings.util.LexicographicDoubleTupleComparator
Precision for comparing values.
PRECISION - Static variable in class org.tweetyproject.arg.rankings.util.LexicographicIntTupleComparator
Precision for comparing values.
PRECISION - Static variable in class org.tweetyproject.comparator.NumericalPartialOrder
Precision for comparing values.
PRECISION - Static variable in class org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop
The precision for finding the minimal consistent knowledge base.
PRECISION - Static variable in class org.tweetyproject.math.opt.rootFinder.NewtonRootFinder
The precision of the approximation.
PRECISION - Static variable in class org.tweetyproject.math.opt.rootFinder.RootFinder
The precision for finding roots.
PRECISION - Static variable in class org.tweetyproject.math.probability.Probability
The precision for probabilities.
PRECISIONCULP - Static variable in class org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
The precision for comparing culpability values.
PRECISIONOPT - Static variable in class org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
The precision for comparing culpability values.
Predicate - Class in org.tweetyproject.logics.commons.syntax
A general predicate which contains an identifier that describes its meaning, an argument count referred as arity and a list of sorts defining the types for the arguments of the predicate.
Predicate() - Constructor for class org.tweetyproject.logics.commons.syntax.Predicate
Constructor
Predicate(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Predicate
Initializes a predicate of arity zero with the given name;
Predicate(String, int) - Constructor for class org.tweetyproject.logics.commons.syntax.Predicate
Initializes a predicate with the given name and of the given arity.
Predicate(String, List<Sort>) - Constructor for class org.tweetyproject.logics.commons.syntax.Predicate
Initializes a predicate with the given name and the given list of argument sorts.
PreferenceAggregator<T> - Interface in org.tweetyproject.preferences.aggregation
This interface is meant to be used for the aggregation of some generic preference orders
PreferenceHandling - Class in org.tweetyproject.lp.asp.beliefdynamics.revision
The implementation orients on the diploma thesis of Mirja Boehmer in this class a variant of the approach "A Preference-Based Framework for Updating Logic Programs" by James P.
PreferenceHandling(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
Constructs a PreferenceHandling instance with the specified ASP solver and a default maximum integer value of 5.
PreferenceHandling(ASPSolver, int) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
Constructs a PreferenceHandling instance with the specified ASP solver and maximum integer value.
PreferenceOrder<T> - Class in org.tweetyproject.preferences
This class extends the BinaryRelation-class with a check for totality and transitivity
PreferenceOrder() - Constructor for class org.tweetyproject.preferences.PreferenceOrder
Creates an empty HashSet of preference order.
PreferenceOrder(Collection<? extends Triple<T, T, Relation>>) - Constructor for class org.tweetyproject.preferences.PreferenceOrder
generates a preference order with a given set of elements
PreferencesIntegerBugExample - Class in org.tweetyproject.preferences
PreferencesIntegerBugExample class
PreferencesIntegerBugExample() - Constructor for class org.tweetyproject.preferences.PreferencesIntegerBugExample
Default Constructor
PreferencesPlugin - Class in org.tweetyproject.preferences.plugin
The CLI-Plugin for the Preferences-Package
PreferencesPlugin() - Constructor for class org.tweetyproject.preferences.plugin.PreferencesPlugin
Default empty constructor initializing this plugins parameter
PreferencesPlugin(String[]) - Constructor for class org.tweetyproject.preferences.plugin.PreferencesPlugin
non-empty constructur in case of errors in JSPF
preferred() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
Return preferred
preferred(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
PREFERRED - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType
see PreferredAnalysis
PREFERRED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
class for extension ranking semantics
PREFERRED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
all semantics
PreferredAnalysis - Class in org.tweetyproject.arg.bipolar.analysis.extensions
Computes the preferred extension of the given PEAF
PreferredAnalysis(NamedPEAFTheory) - Constructor for class org.tweetyproject.arg.bipolar.analysis.extensions.PreferredAnalysis
Constructor
preferredCountInconsistencyMeasure() - Method in class org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
Tests the preferred count inconsistency measure.
PreferredCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis
This class represents an inconsistency measure based on the count of preferred extensions in a Dung theory.
PreferredCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.PreferredCountInconsistencyMeasure
 
PreferredExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample
PreferredExample
PreferredReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner
This reasoner for ABA theories performs inference on the preferred extensions.
PreferredReasoner - Class in org.tweetyproject.arg.adf.reasoner
Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, marked for removal in future versions
PreferredReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
a set of arguments S is preferred iff it is maximal wrt.
PreferredReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity
a set of arguments S is preferred iff it is maximal wrt set inclusion admissible.
PreferredReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.PreferredReasoner
Default
PreferredReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.PreferredReasoner
 
PreferredReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.PreferredReasoner
 
PreferredReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.PreferredReasoner
Deprecated.
Constructs a PreferredReasoner with the given SAT solver.
PreferredReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
 
PreferredReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
 
PreferredReasoning() - Method in class org.tweetyproject.arg.deductive.DeductiveTest
 
PreferredRevisionerADF - Class in org.tweetyproject.logics.translators.adfrevision
This class implements a revision operator for Abstract Dialectical Frameworks (ADFs)
PreferredRevisionerADF() - Constructor for class org.tweetyproject.logics.translators.adfrevision.PreferredRevisionerADF
Default Constructor
PreferredVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier
The PreferredVerifier is a verifier class that checks whether a given interpretation is a preferred interpretation within an abstract dialectical framework (ADF).
PreferredVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier
Constructs a PreferredVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
prepare() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier
Prepares the SAT solver state for verification.
prepare() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
 
prepare() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier
Prepares the SAT solver state by encoding the bipolarity and conflict-free conditions of the abstract dialectical framework.
prepare() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.StableVerifier
 
prepare() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
Performs initializations and must be called before the first Verifier.verify(Interpretation) call.
prepare(SatSolverState) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
 
prettyPrint() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
Pretty print of the framework.
prettyPrint() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory
Print the PEEAF for debugging purposes.
prettyPrint() - Method in class org.tweetyproject.arg.deductive.semantics.ArgumentTree
Returns a string representation of this argument tree.
prettyPrint() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
Pretty print of the graph.
prettyPrint() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Pretty print of the theory.
prettyPrint() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Pretty Prints the extended theory
prettyPrint() - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Pretty prints the recursive extended theory.
prettyPrint() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
Pretty prints the SetAf
prettyPrint() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Pretty print of the theory.
prettyPrint() - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport
Pretty print report.
prettyPrint(boolean, boolean) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport
Prints the results, times and some statistics like average times and the number of timeouts for this InconsistencyMeasureReport in table form.
prettyPrintTupledValues() - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
Prints the tupled values computed by previous calls of getModel oder getModels in a human-readable way.
prettyPrintWithoutNames() - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory
prints string reprsentation without names
PriestWorld - Class in org.tweetyproject.logics.pl.semantics
A three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
PriestWorld() - Constructor for class org.tweetyproject.logics.pl.semantics.PriestWorld
Creates a new world where all propositions get the truth value FALSE.
PriestWorld(PriestWorld) - Constructor for class org.tweetyproject.logics.pl.semantics.PriestWorld
Creates a new world which is a copy of the given world
PriestWorld.TruthValue - Enum in org.tweetyproject.logics.pl.semantics
The three truth values.
PriestWorldAdapted - Class in org.tweetyproject.logics.translators.adfrevision
This class models a three-valued interpretation for propositional logic from Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
PriestWorldAdapted() - Constructor for class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
Creates a new world where all propositions get the truth value FALSE.
PriestWorldAdapted(PriestWorldAdapted) - Constructor for class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
Creates a new world which is a copy of the given world
PriestWorldAdapted.TruthValue - Enum in org.tweetyproject.logics.translators.adfrevision
The three truth values.
PriestWorldIterator - Class in org.tweetyproject.logics.translators.adfrevision
This class iterates effectively over all interpretation sets worlds of a given signature.
PriestWorldIterator() - Constructor for class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
Creates new iterator.
PriestWorldIterator(PlSignature) - Constructor for class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
Creates new iterator for the given signature.
primaFacie() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
 
PRIME_IMPLICATE - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
prime implicate
primeImp - Variable in class org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure
prime implicant enumerator
PrimeImplicantBasedInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
computes the inconsistency measure of the
PrimeImplicantBasedInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure
constructor
PrimeImplicantBasedInconsistencyMeasure(PrimeImplicantEnumerator) - Constructor for class org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure
Constructor
PrimeImplicantEnumerator - Class in org.tweetyproject.logics.pl.analysis
prime implicant enumerator
PrimeImplicantEnumerator() - Constructor for class org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator
Default Constructor
PrimeImplicantTest - Class in org.tweetyproject.logics.pl.examples
PrimeImplicantTest class
PrimeImplicantTest() - Constructor for class org.tweetyproject.logics.pl.examples.PrimeImplicantTest
Default Constructor
Principle - Class in org.tweetyproject.arg.dung.principles
Models a principle for argumentation semantics i.e.
Principle() - Constructor for class org.tweetyproject.arg.dung.principles.Principle
 
PrincipleExample - Class in org.tweetyproject.arg.dung.examples
Example code for checking principles for argumentation semantics
PrincipleExample() - Constructor for class org.tweetyproject.arg.dung.examples.PrincipleExample
 
PrInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis
This class models the P inconsistency measure from e.g.
PrInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.PrInconsistencyMeasure
Creates a new drastic inconsistency measure.
print() - Method in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult
Prints the details of the analysis result to the standard output.
print(Set<ClaimSet>) - Static method in class org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest
 
printAntecedenceVerificationMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils
Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
printASCIITree() - Method in class org.tweetyproject.arg.bipolar.syntax.PEAFTheory
Helper function to print the ascii tree
printBase(FolBeliefSet) - Method in interface org.tweetyproject.logics.fol.writer.FolWriter
Prints formatted representation of a knowledge base.
printBase(FolBeliefSet) - Method in class org.tweetyproject.logics.fol.writer.Prover9Writer
 
printBase(FolBeliefSet) - Method in class org.tweetyproject.logics.fol.writer.StandardFolWriter
 
printBase(FolBeliefSet) - Method in class org.tweetyproject.logics.fol.writer.TPTPWriter
 
printBase(PlBeliefSet) - Method in class org.tweetyproject.logics.qbf.writer.QdimacsWriter
Return Kb in string format
printCollection(Collection<FourValuedWorld>) - Static method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
Return the string representation
printConditionalVerificationMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils
Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
printConfiguration() - Method in class org.tweetyproject.cli.plugins.CliMain
This function allows to print the content of the current configuration file.
printConstraintMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils
Print constraint matrix for belief set and possible worlds to output stream.
printEquivalence(FolFormula, FolFormula) - Method in interface org.tweetyproject.logics.fol.writer.FolWriter
Prints an Equivalence.
printEquivalence(FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.writer.Prover9Writer
 
printEquivalence(FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.writer.StandardFolWriter
 
printEquivalence(FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.writer.TPTPWriter
 
printExamplesToHtmlFile(String) - Static method in class org.tweetyproject.commons.util.ExamplesHTMLGenerator
Generates an overview of example classes and resources in the workspace with HTML formatting and writes it to a HTML file.
printHelpText() - Static method in class org.tweetyproject.cli.plugins.CliMain
prints help text if cli is called with parameter "--help" or empty argument array
printMEConsolidationProblem(PrintStream, int, String) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils
Print optimization problem corresponding to ME consolidation.
printMinimumViolationProblem(PrintStream, int, String) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils
Print optimization problem corresponding to minimal violation measure.
printProblem(FolBeliefSet, RelationalFormula) - Method in class org.tweetyproject.logics.fol.writer.SPASSWriter
Prints the contents of a SPASS problem file for a given knowledge base and a formula.
printProblem(MlBeliefSet, RelationalFormula) - Method in class org.tweetyproject.logics.ml.writer.SPASSWriter
Prints the contents of a SPASS problem file for a given knowledge base and a formula.
printProgram(Program) - Method in class org.tweetyproject.lp.asp.writer.ClingoWriter
Prints the given program in clingo format.
printProgram(Program) - Method in class org.tweetyproject.lp.asp.writer.DLVWriter
Prints the given program in DLV format.
printQuery(RelationalFormula) - Method in class org.tweetyproject.logics.ml.writer.MleanCoPWriter
Prints the query.
printQuery(FolFormula) - Method in interface org.tweetyproject.logics.fol.writer.FolWriter
Prints formatted representation of a query.
printQuery(FolFormula) - Method in class org.tweetyproject.logics.fol.writer.Prover9Writer
 
printQuery(FolFormula) - Method in class org.tweetyproject.logics.fol.writer.StandardFolWriter
 
printQuery(FolFormula) - Method in class org.tweetyproject.logics.fol.writer.TPTPWriter
 
printStatus() - Method in interface org.tweetyproject.arg.dung.learning.AFLearner
print the internal acceptance conditions
printStatus() - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
prints status
printStatus() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
 
printStatus(boolean) - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
print the current status of the acceptance conditions
printStatus(boolean) - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
Returns a representation of this ASP element in clingo (potassco) syntax.
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
 
printToClingo() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
Returns a representation of this ASP element in DLV syntax.
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
 
printToDLV() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
 
printValues() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
Return values as string
printVariables(Set<Proposition>, Map<Proposition, Integer>) - Method in class org.tweetyproject.logics.qbf.writer.QdimacsWriter
Prints the variable mappings for a given set of propositions.
PRIORITY - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory
A placeholder factory type that is not currently used in the ComparisonCriterion.Factory.create(String) method but may be implemented for future use.
PRO - Enum constant in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
The faction that supports the argument or proposition (Pro position).
ProbabilisticAggregatingNorm - Class in org.tweetyproject.math.norm
This distance function uses an aggregator on a probabilistically normalized distance for probabilities of each value.
ProbabilisticAggregatingNorm(AggregationFunction, int) - Constructor for class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
Creates a new distance function with the given aggregator.
ProbabilisticArgumentationFramework - Class in org.tweetyproject.arg.prob.syntax
This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.
ProbabilisticArgumentationFramework() - Constructor for class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
Default constructor; initializes empty sets of arguments and attacks
ProbabilisticArgumentationFramework(Graph<Argument>) - Constructor for class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
Creates a new PAF from the given graph, all arguments and attacks have probability 1.
ProbabilisticConditional - Class in org.tweetyproject.logics.pcl.syntax
This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.
ProbabilisticConditional(Conditional, Probability) - Constructor for class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
Creates a new probabilistic conditional using the given conditional and probability.
ProbabilisticConditional(PlFormula, PlFormula, Probability) - Constructor for class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
Creates a new probabilistic conditional with the given premise, conclusion, and probability.
ProbabilisticConditional(PlFormula, Probability) - Constructor for class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.
ProbabilisticExtension - Class in org.tweetyproject.arg.prob.semantics
This class implements a probabilistic interpretation for Dung argumentation frameworks, cf.
ProbabilisticExtension() - Constructor for class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
Creates a new probabilistic extension for the given theory.
ProbabilisticJustificationAnalysis - Interface in org.tweetyproject.arg.bipolar.analysis
probablisitic justification analysis
ProbabilisticLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries
An agent in a game of argumentation lotteries.
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Creates a new lottery agent
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics, byte) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Creates a new lottery agent
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics, byte, double) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Creates a new lottery agent
ProbabilisticLotteryAgentGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim
Generates lottery agents.
ProbabilisticLotteryAgentGenerator(String) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
Creates a new ProbabilisticLotteryAgentGenerator with the specified name and the default update strategy ProbabilisticLotteryAgent.UPDATE_NAIVE.
ProbabilisticLotteryAgentGenerator(String, byte) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
Creates a new ProbabilisticLotteryAgentGenerator with the specified name and update strategy.
ProbabilisticLotteryAgentGenerator(String, byte, double) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
Creates a new ProbabilisticLotteryAgentGenerator with the specified name, update strategy, and stickiness coefficient.
ProbabilisticPNorm - Class in org.tweetyproject.math.norm
This class implement the p-norm distance function where distances are normalized corresponding to their distance to 0.5.
ProbabilisticPNorm(int, int) - Constructor for class org.tweetyproject.math.norm.ProbabilisticPNorm
Creates a new p-norm distance function where distances are normalized.
ProbabilisticRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner
Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra.
ProbabilisticRankingReasoner(Semantics, Probability, boolean) - Constructor for class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
Creates a new ProbabilisticRankingReasoner.
ProbabilisticRankingReasoner(Semantics, Probability, boolean, InferenceMode) - Constructor for class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
Constructs a new instance of ProbabilisticRankingReasoner with the specified parameters.
ProbabilisticRankingReasonerExample - Class in org.tweetyproject.arg.rankings.examples
Example code for using the probabilistic ranking reasoner based on the ideas from [Thimm, Cerutti, Rienstra.
ProbabilisticRankingReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.ProbabilisticRankingReasonerExample
Default Constructor
ProbabilisticSemiring - Class in org.tweetyproject.math.algebra
This class represents a probabilistic (Viterbi) Semiring, where elements range between [0.0, 1.0].The addition operation corresponds to finding the maximum, 0.0 represents the additive identity, and 1.0 represents the multiplicative identity.
ProbabilisticSemiring() - Constructor for class org.tweetyproject.math.algebra.ProbabilisticSemiring
Constructs a ProbabilisticSemiring instance.
ProbabilisticSum - Class in org.tweetyproject.math.func.fuzzy
Represents the probabilistic sum in fuzzy logic, i.e., S(x,y)=x+y-xy
ProbabilisticSum() - Constructor for class org.tweetyproject.math.func.fuzzy.ProbabilisticSum
Constructor
probability(Collection<? extends T>) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
Gets the probability of the given object.
probability(Argument) - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
Computes the probability of the given argument.
probability(Interpretation<PlBeliefSet, PlFormula>) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Gets the probability of the given Herbrand interpretation (this is just an alias for get(Object o).
probability(FolFormula) - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
 
probability(FolFormula) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
Gets the probability of the given closed formula, i.e.
probability(PlFormula) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Returns the probability of the given formula
probability(RelationalConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
Gets the probability of the given closed relational conditional "re", i.e.
probability(T) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
Gets the probability of the given object.
Probability - Class in org.tweetyproject.math.probability
This class represents a probability, i.e.
Probability(Double) - Constructor for class org.tweetyproject.math.probability.Probability
Creates a new probability with the given value
Probability(Probability) - Constructor for class org.tweetyproject.math.probability.Probability
Creates a new probability from the given probability
PROBABILITY - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
RegularExpression Id.
PROBABILITY - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
RegularExpression Id.
ProbabilityAssignment(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Parses a probability assignment from the input stream.
ProbabilityAssignment(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
Parses and returns a pair consisting of a HerbrandInterpretation and its associated Probability.
ProbabilityAware - Interface in org.tweetyproject.logics.commons.syntax.interfaces
 
ProbabilityDistribution<T> - Class in org.tweetyproject.logics.pcl.semantics
This class represents a probability distribution on some logical language
ProbabilityDistribution(Signature) - Constructor for class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Creates a new probability distribution.
ProbabilityFunction<T> - Class in org.tweetyproject.math.probability
This class represents a probability distribution over some set of objects
ProbabilityFunction() - Constructor for class org.tweetyproject.math.probability.ProbabilityFunction
Creates a new probability function.
ProbabilityFunction(ProbabilityFunction<T>) - Constructor for class org.tweetyproject.math.probability.ProbabilityFunction
Creates a new probability function by copying the given one.
ProblemInconsistentException - Exception Class in org.tweetyproject.math.opt.problem
This exception is thrown when a problem cannot be solved due to its inconsistency.
ProblemInconsistentException - Exception Class in org.tweetyproject.math.opt
This exception is thrown when a problem cannot be solved due to its inconsistency.
ProblemInconsistentException() - Constructor for exception class org.tweetyproject.math.opt.problem.ProblemInconsistentException
 
ProblemInconsistentException() - Constructor for exception class org.tweetyproject.math.opt.ProblemInconsistentException
Constructor
ProboI23Reasoner - Class in org.tweetyproject.arg.dung.reasoner
This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.
ProboI23Reasoner(String, Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
Constructs a new instance of ProboI23Reasoner
ProboI23Reasoner(String, Semantics, Shell) - Constructor for class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
Constructs a new instance of ProboI23Reasoner
ProboProblem - Enum in org.tweetyproject.arg.dung.reasoner
This enum contains all supported problems for probo-based reasoner.
ProboProblem.SubProblem - Enum in org.tweetyproject.arg.dung.reasoner
The actual computational sub-problem.
ProboReasoner - Class in org.tweetyproject.arg.dung.reasoner
This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.
ProboReasoner(String, Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.ProboReasoner
Constructs a new instance of ProboReasoner
ProboReasoner(String, Semantics, Shell) - Constructor for class org.tweetyproject.arg.dung.reasoner.ProboReasoner
Constructs a new instance of ProboReasoner
ProboTest - Class in org.tweetyproject.arg.dung
Tests parsing and writing functionalities for different formats of Dung's argumentation frameworks using the AbstractDungParser and AbstractDungWriter within the TweetyProject framework.
ProboTest() - Constructor for class org.tweetyproject.arg.dung.ProboTest
 
probRecursionDecay - Variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
The probability that an argument appearing in depth n does not appear in depth n+1.
ProbTester - Class in org.tweetyproject.arg.prob
 
ProbTester() - Constructor for class org.tweetyproject.arg.prob.ProbTester
 
process(I) - Method in interface org.tweetyproject.arg.adf.transform.processor.Processor
Process
process(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.KBipolarStateProcessor
Processes the state of the ADF and encodes the relationships into logical clauses.
process(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.RestrictedKBipolarStateProcessor
Processes the SAT encodings for the restricted bipolar or k-bipolar frameworks.
process(Consumer<Clause>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.processor.StateProcessor
Processes the current set of states and translates them into Clause objects.
process(List<Program>, Collection<AnswerSet>) - Method in interface org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.AnswersetProcessing
The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program
process(List<Program>, Collection<AnswerSet>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
 
process(Set<Literal>) - Method in class org.tweetyproject.arg.adf.transform.processor.ClauseSplittingProcessor
 
process(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
 
process(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
Processes the given interpretation by maximizing it into a conflict-free interpretation.
process(Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
 
Process - Class in org.tweetyproject.logics.bpm.syntax
A class to represent processes in a BPMN Model
Process() - Constructor for class org.tweetyproject.logics.bpm.syntax.Process
Create a new instance
Processor<I,O> - Interface in org.tweetyproject.arg.adf.transform.processor
Processor interface
ProcessParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse a process in a BPMN model
ProcessParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.ProcessParser
Create a new instance
Product - Class in org.tweetyproject.math.term
This class models a product of two terms.
Product() - Constructor for class org.tweetyproject.math.term.Product
Creates a new (empty) product.
Product(Collection<? extends Term>) - Constructor for class org.tweetyproject.math.term.Product
Creates a new product with the given list of terms.
Product(Term, Term) - Constructor for class org.tweetyproject.math.term.Product
Creates a new product with the given terms.
ProductAggregator - Class in org.tweetyproject.math.func
This aggregation function models the product function.
ProductAggregator() - Constructor for class org.tweetyproject.math.func.ProductAggregator
Constructor
ProductNorm - Class in org.tweetyproject.math.func.fuzzy
Represents the product-norm in fuzzy logic, i.e., T(x,y)=xy
ProductNorm() - Constructor for class org.tweetyproject.math.func.fuzzy.ProductNorm
Constructor
Program - Class in org.tweetyproject.lp.asp.syntax
This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.
Program() - Constructor for class org.tweetyproject.lp.asp.syntax.Program
Creates a new empty program.
Program(Collection<ASPRule>) - Constructor for class org.tweetyproject.lp.asp.syntax.Program
Creates a new program with the given rules.
Program(ASPLiteral, Set<ASPRule>) - Constructor for class org.tweetyproject.lp.asp.syntax.Program
Creates a new program with the given query and rules.
Program(ASPRule...) - Constructor for class org.tweetyproject.lp.asp.syntax.Program
Creates a new program with the given rules.
Program(Program) - Constructor for class org.tweetyproject.lp.asp.syntax.Program
Copy-Constructor
Program() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
Constructor
ProgramTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest
test 1
projectToT2BeliefState() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
Returns a T2-belief state that is a projection of this belief state, i.e.
PROPAGATION1 - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
The first propagation semantics approach.
PROPAGATION2 - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
The second propagation semantics approach.
PROPAGATION3 - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
The third propagation semantics approach.
PropagationExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
Evaluates the PropagationRankingReasoner against all postulates and prints the results.
PropagationRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner
This class implements the argument ranking approach of [Delobelle.
PropagationRankingReasoner(boolean) - Constructor for class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
Creates a new PropagationRankingReasoner with the given parameters.
PropagationRankingReasoner(double, boolean, PropagationRankingReasoner.PropagationSemantics) - Constructor for class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
Creates a new PropagationRankingReasoner with the given parameters.
PropagationRankingReasoner.PropagationSemantics - Enum in org.tweetyproject.arg.rankings.reasoner
The three propagation semantics: PROPAGATION1 ("Propa_epsilon") PROPAGATION2 ("Propa_{1+epsilon}") PROPAGATION3 ("Propa_{1->epsilon}")
properDefeater() - Method in class org.tweetyproject.arg.delp.TestDTree
 
propertyChange(PropertyChangeEvent) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareView
Reacts to property change events to keep the view up to date.
propertyChange(PropertyChangeEvent) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
Reacts to property change events to keep the view up to date.
Proposition - Class in org.tweetyproject.logics.pl.syntax
This class represents a simple proposition in propositional logic.
Proposition() - Constructor for class org.tweetyproject.logics.pl.syntax.Proposition
Default-Ctor for dynamic instantiation
Proposition(String) - Constructor for class org.tweetyproject.logics.pl.syntax.Proposition
Creates a new proposition of the given name.
Proposition(Proposition) - Constructor for class org.tweetyproject.logics.pl.syntax.Proposition
constructor
PropositionalFormulaGeneratorTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
 
PropositionalMapping - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
Contains the propositional representation of the arguments and links of some ADF.
PropositionalMapping(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
Creates propositional representations for the arguments and links of the provided ADF.
PropositionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
Protocol - Interface in org.tweetyproject.agents
A protocol gives instructions in which order agents have to be asked for actions in a multi-agent system.
ProtocolGenerator<T,S,R> - Interface in org.tweetyproject.agents.sim
Generates protocols for simulation.
ProtocolListener - Interface in org.tweetyproject.agents
A protocol listener listens on a protocol and is notified whenever an action is executed.
protocolTerminated() - Method in interface org.tweetyproject.agents.ProtocolListener
This method is called when the protocol terminates.
ProtocolTerminatedException - Exception Class in org.tweetyproject.agents
A ProtocolTerminatedException is thrown when a protocol is asked to perform a step but has already terminated.
ProtocolTerminatedException() - Constructor for exception class org.tweetyproject.agents.ProtocolTerminatedException
Creates a new ProtocolTerminatedException.
Prover9FolReasoner - Class in org.tweetyproject.logics.fol.reasoner
Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.
Prover9FolReasoner(String) - Constructor for class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
Constructs a new instance pointing to a specific Prover9
Prover9FolReasoner(String, Shell) - Constructor for class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
Constructs a new instance pointing to a specific Prover9.
Prover9Test - Class in org.tweetyproject.logics.fol.test
JUnitTest to test Prover9
Prover9Test() - Constructor for class org.tweetyproject.logics.fol.test.Prover9Test
 
Prover9Writer - Class in org.tweetyproject.logics.fol.writer
Prints single first-order logic formulas and full knowledge bases to Prover9 format (https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).
Prover9Writer() - Constructor for class org.tweetyproject.logics.fol.writer.Prover9Writer
creates new Prover9Writer
Prover9Writer(Writer) - Constructor for class org.tweetyproject.logics.fol.writer.Prover9Writer
creates new Prover9Writer
provided() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
provided builder
pruneDGraph(SimpleGraph<Argument>, Collection<Argument>, Collection<Argument>, Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.independence.Independence
prune the given DAG by removing all leaf nodes, which are not in any of the given sets and removing all outgoing edges from nodes in argsC
pushNode(Node) - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState
Pushes a node onto the stack.
put(Collection<? extends Constant>, Integer) - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
 
put(K, V) - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
put(K, V) - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
put(Argument, Boolean) - Method in class org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
 
put(Argument, Integer) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
 
put(Argument, Integer) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
put(Argument, L) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping
Sets the social value of the given argument
put(Argument, ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
put(Predicate, InstanceAssignment) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
put(Proposition, Double) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
put(T, Double) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
put(T, Probability) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
put(T, Probability) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
put(T, Probability) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
putAll(Map<? extends K, ? extends V>) - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
putAll(Map<? extends K, ? extends V>) - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
putAll(Map<? extends Argument, ? extends Integer>) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
 
putAll(Map<? extends Argument, ? extends Integer>) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
putAll(Map<? extends Argument, ? extends ArgumentStatus>) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
putAll(Map<? extends Predicate, ? extends InstanceAssignment>) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
putAll(Map<? extends Proposition, ? extends Double>) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
putAll(Map<? extends T, ? extends Double>) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
putAll(Map<? extends T, ? extends Probability>) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
putAll(Map<? extends T, ? extends Probability>) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
putAll(Map<? extends T, ? extends Probability>) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
putBufferedEdge(BufferedBpmnEdge) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
Buffer Edge
putIncomingEdge(String, Edge<BpmnNode>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnNode
Add a new incoming edge
putNode(BpmnNode) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
Put node
putOutgoingEdge(String, Edge<BpmnNode>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnNode
Add a new outgoing edge
putProb(S, A, S, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess
Sets the transition probability from s to sp via a to p.
putReward(S, A, S, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess
Sets the reward from s to sp via a to p.
putTokens(Place, int) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
Specify the number of tokens at the place at this marking
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