P-Index

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

P

pageRank(Graph<? extends Node>, Node, double, double) - Static method in class net.sf.tweety.graphs.util.GraphUtil: Computes the PageRank of the given node in the given graph.
PAInconsistencyMeasure - Class in net.sf.tweety.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 net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure: Creates a new inconsinstency measure which uses the given norm and measures wrt.
PAInconsistencyMeasureExample - Class in net.sf.tweety.arg.prob.examples: Example code for the PAInconsistencyMeasure.
PAInconsistencyMeasureExample() - Constructor for class net.sf.tweety.arg.prob.examples.PAInconsistencyMeasureExample
Pair<E,F> - Class in net.sf.tweety.commons.util: This class implements a simple pair of elements.
Pair() - Constructor for class net.sf.tweety.commons.util.Pair: Initializes an empty pair.
Pair(E, F) - Constructor for class net.sf.tweety.commons.util.Pair: Initializes the elements of this pair with the given parameters
Parallel - net.sf.tweety.logics.bpm.syntax.GatewayType
ParallelMultiple - net.sf.tweety.logics.bpm.syntax.EventType
PARAM_ARGUMENT - Static variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator: Key for the simulation parameter which refers to the argument of the dialogue.
PARAM_ARGUMENT - Static variable in class net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator: Key for the simulation parameter which refers to the semantics used.
PARAM_UNIVERSALTHEORY - Static variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator: Key for the simulation parameter which refers to the universal theory generated.
PARAM_UNIVERSALTHEORY - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator: Key for the simulation parameter which refers to the universal theory generated.
ParameterisedArgumentativeSelectiveRevisionOperator - Class in net.sf.tweety.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 net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator: Constructs a new selective revision operator using the given attack relations and a asp solver.
ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType - Enum in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
ParameterSet - Class in net.sf.tweety.machinelearning: A set of parameters that can be given to a trainer to specifiy the training task.
ParameterSet() - Constructor for class net.sf.tweety.machinelearning.ParameterSet
ParameterTrainer<S extends Observation,T extends Category> - Class in net.sf.tweety.machinelearning: Performs a parameter training on a given trainer, i.e.
ParameterTrainer(Trainer<S, T>) - Constructor for class net.sf.tweety.machinelearning.ParameterTrainer: Creates a new parameter trainer for the given trainer.
PAREN_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
PAREN_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
PAREN_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
PAREN_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
PARENTHESES_LEFT() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
PARENTHESES_RIGHT() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
parents(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
parents(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
parents(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
PARevisionOperator - Class in net.sf.tweety.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 net.sf.tweety.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) - Static method in class net.sf.tweety.preferences.io.POParser
parse(Reader) - Method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Parses the given file into an abstract argumentation framework
parse(Reader) - Method in class net.sf.tweety.arg.dung.parser.ApxParser
parse(Reader) - Method in class net.sf.tweety.arg.dung.parser.CnfParser
parse(Reader) - Method in class net.sf.tweety.arg.dung.parser.TgfParser
parse(String) - Static method in class net.sf.tweety.preferences.io.POParser
parse(String) - Static method in class net.sf.tweety.preferences.io.UPParser
parseAnswerSet(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseAnswerSet(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseArgumentList(String) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Returns a collection view of the given set of arguments
parseArguments(Parameters) - Method in class net.sf.tweety.arg.delp.semantics.CriterionOptionHandler
parseBeliefBase(Reader) - Method in class net.sf.tweety.action.description.parser.CLawParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.action.description.parser.CParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.aba.parser.AbaParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.adf.parser.KppADFFormatParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser: Read an entire piece of text and send each line to the actual parser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.arg.dung.parser.AbstractDungParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.commons.Parser: Parses the given reader into a belief base of the given type.
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.cl.parser.ClParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.dl.parser.DlParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.fol.parser.FolParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.ml.parser.MlParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.pcl.parser.PclParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.pl.parser.DimacsParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.pl.parser.PlParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.qbf.parser.QbfParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.qbf.parser.QCirParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.qbf.parser.QdimacsParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.rcl.parser.RclParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser
parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.RpclParser
parseBeliefBase(String) - Method in class net.sf.tweety.commons.Parser: Parses the given text into a belief base of the given type.
parseBeliefBaseFromFile(String) - Method in class net.sf.tweety.commons.Parser: Parses the file of the given filename into a belief base of the given type.
ParseBeliefBaseFromFileTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
ParseBeliefBaseFromFileTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
ParseBeliefBaseFromFileTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
ParseBeliefBaseFromFileTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
ParseBeliefBaseTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
parseBoolean(String) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Parses the given string (either "YES" or "NO") to a boolean value.
parseComments() - Method in class net.sf.tweety.arg.delp.TestKBParsing
ParseComplexEquivalenceTest1() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
ParseComplexEquivalenceTest2() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
ParseConceptAssertionTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
parseCondensedProbabilityDistribution(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
parseDoubleNegation() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseEmpty() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parseEmptyPreds() - Method in class net.sf.tweety.arg.delp.TestKBParsing
ParseEquivalenceTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
ParseException - Exception in net.sf.tweety.arg.delp.parser: This exception is thrown when parse errors are encountered.
ParseException - Exception in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: This exception is thrown when parse errors are encountered.
ParseException - Exception in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser: This exception is thrown when parse errors are encountered.
ParseException - Exception in net.sf.tweety.lp.asp.parser: This exception is thrown when parse errors are encountered.
ParseException - Exception in net.sf.tweety.preferences.io
ParseException() - Constructor for exception net.sf.tweety.arg.delp.parser.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException: The following constructors are for use by you for whatever purpose you can think of.
ParseException() - Constructor for exception net.sf.tweety.preferences.io.ParseException
ParseException(String) - Constructor for exception net.sf.tweety.arg.delp.parser.ParseException
ParseException(String) - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
ParseException(String) - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
ParseException(String) - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException
ParseException(String) - Constructor for exception net.sf.tweety.preferences.io.ParseException
ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.arg.delp.parser.ParseException
ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.lp.asp.parser.ParseException
ParseException(Token, int[][], String[]) - Constructor for exception net.sf.tweety.preferences.io.ParseException
ParseExistsQuantificationTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
parseExtensionList(String) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Returns a collection view of the given set of extensions (=sets of arguments)
parseFile(String) - Static method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
ParseForallQuantificationTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
parseFormula(Reader) - Method in class net.sf.tweety.action.description.parser.CLawParser
parseFormula(Reader) - Method in class net.sf.tweety.action.description.parser.CParser
parseFormula(Reader) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.aba.parser.AbaParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.adf.parser.KppADFFormatParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
parseFormula(Reader) - Method in class net.sf.tweety.arg.dung.parser.AbstractDungParser
parseFormula(Reader) - Method in class net.sf.tweety.commons.Parser: Parses the given reader into a formula of the given type.
parseFormula(Reader) - Method in class net.sf.tweety.logics.cl.parser.ClParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.dl.parser.DlParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.fol.parser.FolParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.ml.parser.MlParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.pcl.parser.PclParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.pl.parser.DimacsParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.pl.parser.PlParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.qbf.parser.QbfParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.qbf.parser.QCirParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.rcl.parser.RclParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser
parseFormula(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.RpclParser
parseFormula(String) - Method in class net.sf.tweety.action.description.parser.CLawParser
parseFormula(String) - Method in class net.sf.tweety.action.description.parser.CParser
parseFormula(String) - Method in class net.sf.tweety.commons.Parser: Parses the given text into a formula of the given type.
parseFormulaFromFile(String) - Method in class net.sf.tweety.commons.Parser: Parses the file of the given filename into a formula of the given type.
parseKnownKBs() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parseLabeling(String) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Returns a labeling parsed from the given string
parseLabelingList(String) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Returns a collection view of the given set of labelings
ParseModalFormulaTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
ParseNestedQuantifiedFormulaTest() - Method in class net.sf.tweety.logics.qbf.test.QbfTest
parseProbabilityDistribution(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
parseProgram(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseProgram(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseQDimacsOutput(String) - Method in class net.sf.tweety.logics.qbf.parser.QdimacsParser: Parses the answer from a given QDIMACS output file.
ParseQuantifiedFormulaTest() - Method in class net.sf.tweety.logics.qbf.test.QbfTest
parseQuotedStrings() - Method in class net.sf.tweety.arg.delp.TestKBParsing
Parser<T extends BeliefBase,S extends Formula> - Class in net.sf.tweety.commons: This class models an abstract parser for belief bases and formulas.
Parser() - Constructor for class net.sf.tweety.commons.Parser
parseRequirement(String, Set<Variable>) - Method in class net.sf.tweety.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 net.sf.tweety.action.grounding.parser.GroundingRequirementsParser: Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*
ParserException - Exception in net.sf.tweety.commons: This class models a general exception for parsing.
ParserException(Exception) - Constructor for exception net.sf.tweety.commons.ParserException: Creates a new parser exception with the given sub exception.
ParserException(String) - Constructor for exception net.sf.tweety.commons.ParserException: Creates a new parser exception with the given message.
ParseRoleAssertionTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
ParserTest() - Method in class net.sf.tweety.arg.dung.ProboTest
ParserTest1() - Method in class net.sf.tweety.arg.aspic.AspicTest
ParserTest2() - Method in class net.sf.tweety.arg.aspic.AspicTest
parseRule(Reader) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseRule(String) - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
parseSignature(Reader) - Method in class net.sf.tweety.action.signature.parser.ActionSignatureParser: Parses the given reader into a signature of the given type.
parseSignature(String) - Method in class net.sf.tweety.action.signature.parser.ActionSignatureParser: Parses the given text into a signature of the given type.
parseSignature(String) - Method in class net.sf.tweety.logics.fol.parser.FolParser: This function parses only the sorts declaration and type declaration parts of a belief base.
parseSignatureFromFile(String) - Method in class net.sf.tweety.action.signature.parser.ActionSignatureParser: Parses the file of the given filename into a signature.
parseSimple() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseSimpleOrder(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser: Extracts and Constructs a SimpleAspicOrder out of a string
parseSortDeclaration(String, FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
parseTooLong() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parseTooMuch() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseTooMuch2() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseTooMuch3() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseTooShort() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parseTypeDeclaration(String, FolSignature) - Method in class net.sf.tweety.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 net.sf.tweety.arg.delp.TestFormulaParsing
parseUnknownConstantAsPredicate() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseUnknownPred() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
parseUnknownToken() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parseUnknownVariableAsPredicate() - Method in class net.sf.tweety.arg.delp.TestFormulaParsing
partial(Set<Argument>, Set<Argument>, AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
PartialProbabilityAssignment - Class in net.sf.tweety.arg.prob.syntax: A partial probability assignment for abstract argumentation theories.
PartialProbabilityAssignment() - Constructor for class net.sf.tweety.arg.prob.syntax.PartialProbabilityAssignment
partials(List<Argument>, AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation: Goes through all possible partial interpretations respecting the order of the given list of arguments.
PASemantics - Interface in net.sf.tweety.arg.prob.semantics: This interface contains common methods for probabilistic argumentation semantics.
PAUpdateOperator - Class in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax: This class models a belief set on probabilistic conditional logic, i.e.
PclBeliefSet() - Constructor for class net.sf.tweety.logics.pcl.syntax.PclBeliefSet: Creates a new (empty) conditional belief set.
PclBeliefSet(Collection<? extends ProbabilisticConditional>) - Constructor for class net.sf.tweety.logics.pcl.syntax.PclBeliefSet: Creates a new conditional belief set with the given collection of conditionals.
PclBeliefSetQuadraticErrorMinimizationMachineShop - Class in net.sf.tweety.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 net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop: Creates a new machine shop based on the given culpability measure.
PclDefaultConsistencyTester - Class in net.sf.tweety.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 net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
PclParser - Class in net.sf.tweety.logics.pcl.parser: This class implements a parser for probabilistic conditional logic.
PclParser() - Constructor for class net.sf.tweety.logics.pcl.parser.PclParser
peekNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
PenalizingCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis: This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
PenalizingCreepingMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
PENALTY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The PENALTY postulate
Perceivable - Interface in net.sf.tweety.agents: A perceivable object is some event occuring in an environment and perceivable by an agent.
PerceivableStructuredArgumentationFramework - Class in net.sf.tweety.agents.dialogues.structured: This class packs a structured argumentation framework into a perceivable object.
PerceivableStructuredArgumentationFramework() - Constructor for class net.sf.tweety.agents.dialogues.structured.PerceivableStructuredArgumentationFramework
percentageVirtualArguments - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T3Configuration: The percentage of virtual arguments in the view of an agent.
percentageVirtualAttacks - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T3Configuration: The percentage of attacks a virtual argument retains from the original attacks.
permutations(Set<Set<E>>) - Method in class net.sf.tweety.commons.util.SetTools: Computes all permutations of elements in partitions as follows.
PingService - Class in net.sf.tweety.web.services: Provides a simple ping service that always returns the request sent to it.
PingService() - Constructor for class net.sf.tweety.web.services.PingService
Pipeline - Class in net.sf.tweety.arg.adf.reasoner.sat: Handles all the different building blocks of the SAT centered model computation.
Pipeline.Builder - Class in net.sf.tweety.arg.adf.reasoner.sat: It is safe to use the builder after the build call if the used processors are stateless.
PlBeliefSet - Class in net.sf.tweety.logics.pl.syntax: This class represents a knowledge base of propositional formulae.
PlBeliefSet() - Constructor for class net.sf.tweety.logics.pl.syntax.PlBeliefSet: Creates a new (empty) knowledge base.
PlBeliefSet(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.PlBeliefSet: Creates a new knowledge base with the given set of formulas.
PlCollectors - Class in net.sf.tweety.arg.adf.util: A helper class providing some comfort functions dealing with stream collecting of PlFormula.
PlCollectors() - Constructor for class net.sf.tweety.arg.adf.util.PlCollectors
PlExample - Class in net.sf.tweety.logics.pl.examples: Some general examples for using basic propositional logic classes like PlParser and SimplePlReasoner.
PlExample() - Constructor for class net.sf.tweety.logics.pl.examples.PlExample
PlException - Exception in net.sf.tweety.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 net.sf.tweety.logics.pl.error.PlException
PlException(LanguageException.LanguageExceptionReason, String) - Constructor for exception net.sf.tweety.logics.pl.error.PlException
PlFormula - Class in net.sf.tweety.logics.pl.syntax: This class represents the common ancestor for propositional formulae.
PlFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.PlFormula
PlFormulaGenerator - Class in net.sf.tweety.arg.aspic.ruleformulagenerator
PlFormulaGenerator() - Constructor for class net.sf.tweety.arg.aspic.ruleformulagenerator.PlFormulaGenerator
PlMusEnumerator - Class in net.sf.tweety.logics.pl.sat: This abstract class models a MUS enumerator for propositional logic, i.e.
PlMusEnumerator() - Constructor for class net.sf.tweety.logics.pl.sat.PlMusEnumerator
PlParser - Class in net.sf.tweety.logics.pl.parser: This class implements a parser for propositional logic.
PlParser() - Constructor for class net.sf.tweety.logics.pl.parser.PlParser
PlParserFactory - Class in net.sf.tweety.logics.pl.parser: Manages and creates different parsers for propositional logic.
PlParserFactory() - Constructor for class net.sf.tweety.logics.pl.parser.PlParserFactory
PlParserFactory.Format - Enum in net.sf.tweety.logics.pl.parser: An enumeration of all available knowledge base formats.
PlParserTest - Class in net.sf.tweety.logics.pl.test: JUnit Test class for PlParser.
PlParserTest() - Constructor for class net.sf.tweety.logics.pl.test.PlParserTest
PlParserTest() - Method in class net.sf.tweety.arg.aba.AbaTest
PlPlugin - Class in net.sf.tweety.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 net.sf.tweety.logics.pl.plugin.PlPlugin: actually used constructor, initializing start parameters for this plugin
PlPlugin(String[]) - Constructor for class net.sf.tweety.logics.pl.plugin.PlPlugin: non-empty constructor in case of problems concerning jspf
PlPredicate - Class in net.sf.tweety.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 net.sf.tweety.logics.pl.syntax.PlPredicate: Default-Ctor for dynamic instantiation
PlPredicate(String) - Constructor for class net.sf.tweety.logics.pl.syntax.PlPredicate: Ctor: Creates a new propositional predicate with the given name.
PlSignature - Class in net.sf.tweety.logics.pl.syntax: This class captures the signature of a specific propositional language.
PlSignature() - Constructor for class net.sf.tweety.logics.pl.syntax.PlSignature: Creates a new (empty) propositional signature.
PlSignature(int) - Constructor for class net.sf.tweety.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 net.sf.tweety.logics.pl.syntax.PlSignature: Creates a new propositional signature with the given set of propositions.
PlSignature(PlSignature) - Constructor for class net.sf.tweety.logics.pl.syntax.PlSignature: Creates a new propositional signature that is a copy of the given signature.
PluginOutput - Class in net.sf.tweety.plugin: This class provides the output for each plugin to be used in the CLI.
PluginOutput() - Constructor for class net.sf.tweety.plugin.PluginOutput
PluginOutput(ArrayList<OutputField>) - Constructor for class net.sf.tweety.plugin.PluginOutput
PluralityScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation: Creates an aggregator with plurality scoring
PluralityScoringPreferenceAggregator() - Constructor for class net.sf.tweety.preferences.aggregation.PluralityScoringPreferenceAggregator: calls the super-constructor with argument used for plurality scoring aggregation
PLUS - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
PLUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
PLUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
PlWindowInconsistencyMeasurementProcess - Class in net.sf.tweety.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 net.sf.tweety.logics.pl.analysis.PlWindowInconsistencyMeasurementProcess
PlWriter - Class in net.sf.tweety.logics.pl.writer: This class implements a writer for propositional formulas and belief bases.
PlWriter(PlBeliefSet) - Constructor for class net.sf.tweety.logics.pl.writer.PlWriter
PlWriter(PlFormula) - Constructor for class net.sf.tweety.logics.pl.writer.PlWriter
PM - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
PmInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis: This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.
PmInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis: This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.
PmInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.PmInconsistencyMeasure
PmInconsistencyMeasure(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure: Creates a new inconsistency measure based on the given solver.
PmMeasureExample - Class in net.sf.tweety.logics.pl.examples
PmMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.PmMeasureExample
PNorm - Class in net.sf.tweety.math.norm: The p-norm.
PNorm(int) - Constructor for class net.sf.tweety.math.norm.PNorm: Creates a new p-norm with the given parameter.
POChanger<T> - Class in net.sf.tweety.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 net.sf.tweety.preferences.io.POChanger
PodlaszewskiCaminadaDungTheoryGenerator - Class in net.sf.tweety.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 net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator: Creates a new generator that generates frameworks of the given numComponents >= 0.
Pool - Class in net.sf.tweety.logics.bpm.syntax
Pool(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Pool
POParser - Class in net.sf.tweety.preferences.io
POParser() - Constructor for class net.sf.tweety.preferences.io.POParser
POParser(InputStream) - Constructor for class net.sf.tweety.preferences.io.POParser
POParser(InputStream, String) - Constructor for class net.sf.tweety.preferences.io.POParser
POParser(Reader) - Constructor for class net.sf.tweety.preferences.io.POParser
POParser(POParserTokenManager) - Constructor for class net.sf.tweety.preferences.io.POParser
POParserConstants - Interface in net.sf.tweety.preferences.io: Token literal values and constants.
POParserTokenManager - Class in net.sf.tweety.preferences.io
POParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.preferences.io.POParserTokenManager
POParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.preferences.io.POParserTokenManager
popNode() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
Possibility - Class in net.sf.tweety.logics.ml.syntax: This class models the possibility modality.
Possibility(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.Possibility: Creates a new possibility formula with the given inner formula
POSSIBILITY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
PossibleWorld - Class in net.sf.tweety.logics.pl.semantics: This class represents a possible world of propositional logic, i.e.
PossibleWorld() - Constructor for class net.sf.tweety.logics.pl.semantics.PossibleWorld: Creates a new empty possible world.
PossibleWorld(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.logics.pl.semantics.PossibleWorld: Creates a new possible world with the given set of propositions.
PossibleWorldDistance - Class in net.sf.tweety.logics.pl.analysis: This class refines interpretation distances to distance on possible worlds.
PossibleWorldDistance() - Constructor for class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
PossibleWorldIterator - Class in net.sf.tweety.logics.pl.semantics: Iterates effectively over all interpretation sets worlds of a given signature.
PossibleWorldIterator() - Constructor for class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator: Creates new iterator.
PossibleWorldIterator(PlSignature) - Constructor for class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator: Creates new iterator for the given signature.
Postulate<S extends Formula> - Interface in net.sf.tweety.commons.postulates: Models a general (rationality) postulate, i.e.
PostulateEvaluatable<S extends Formula> - Interface in net.sf.tweety.commons.postulates: Classes implementing this interface can be evaluated wrt.
PostulateEvaluationReport<S extends Formula> - Class in net.sf.tweety.commons.postulates: Summarises the results of a postulate evaluation.
PostulateEvaluationReport(PostulateEvaluatable<S>, List<Postulate<S>>) - Constructor for class net.sf.tweety.commons.postulates.PostulateEvaluationReport: Creates a new evaluation report for the given approach and set of postulates
PostulateEvaluator<T extends Formula,U extends BeliefSet<T,?>> - Class in net.sf.tweety.commons.postulates: Evaluates some approach (reasoner, measure, etc.) wrt.
PostulateEvaluator(BeliefSetIterator<T, U>, PostulateEvaluatable<T>) - Constructor for class net.sf.tweety.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 net.sf.tweety.commons.postulates.PostulateEvaluator: Creates a new evaluator for the given evaluatable and belief base generator.
postVerification(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework, boolean) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.AdmissibleVerifier
postVerification(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework, boolean) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.CompleteVerifier
postVerification(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework, boolean) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.GrounderStableVerifier
postVerification(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework, boolean) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.verifier.Verifier: Gets called after every verify call.
Power - Class in net.sf.tweety.math.term: This class represents a term raised to some power.
Power(Term, Term) - Constructor for class net.sf.tweety.math.term.Power: Creates a new power term with the given term and power.
POWriter<T> - Class in net.sf.tweety.preferences.io
POWriter() - Constructor for class net.sf.tweety.preferences.io.POWriter
PR - net.sf.tweety.arg.dung.semantics.Semantics
PR - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
precision - Variable in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics: Precision of comparisons between values.
precision - Variable in class net.sf.tweety.math.opt.rootFinder.GradientDescentRootFinder: The precision of the approximation.
precision - Variable in class net.sf.tweety.math.opt.solver.GradientDescent: The precision of the approximation.
PRECISION - Static variable in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking: Precision for comparing values.
PRECISION - Static variable in class net.sf.tweety.arg.rankings.util.LexicographicDoubleTupleComparator: Precision for comparing values.
PRECISION - Static variable in class net.sf.tweety.arg.rankings.util.LexicographicIntTupleComparator: Precision for comparing values.
PRECISION - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop: The precision for finding the minimal consistent knowledge base.
PRECISION - Static variable in class net.sf.tweety.math.opt.rootFinder.NewtonRootFinder: The precision of the approximation.
PRECISION - Static variable in class net.sf.tweety.math.opt.rootFinder.RootFinder: The precision for finding roots.
PRECISION - Static variable in class net.sf.tweety.math.probability.Probability: The precision for probabilities.
PRECISIONCULP - Static variable in class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop: The precision for comparing culpability values.
PRECISIONOPT - Static variable in class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop: The precision for comparing culpability values.
Predicate - Class in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.Predicate
Predicate(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Predicate: Initializes a predicate of arity zero with the given name;
Predicate(String, int) - Constructor for class net.sf.tweety.logics.commons.syntax.Predicate: Initializes a predicate with the given name and of the given arity.
Predicate(String, List<Sort>) - Constructor for class net.sf.tweety.logics.commons.syntax.Predicate: Initializes a predicate with the given name and the given list of argument sorts.
PreferenceAggregator<T> - Interface in net.sf.tweety.preferences.aggregation: This interface is meant to be used for the aggregation of some generic preference orders
PreferenceHandling - Class in net.sf.tweety.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 net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
PreferenceHandling(ASPSolver, int) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
PreferenceOrder<T> - Class in net.sf.tweety.preferences: This class extends the BinaryRelation-class with a check for totality and transitivity
PreferenceOrder() - Constructor for class net.sf.tweety.preferences.PreferenceOrder: Creates an empty HashSet of preference order.
PreferenceOrder(Collection<? extends Triple<T, T, Relation>>) - Constructor for class net.sf.tweety.preferences.PreferenceOrder: generates a preference order with a given set of elements
PreferencesIntegerBugExample - Class in net.sf.tweety.preferences
PreferencesIntegerBugExample() - Constructor for class net.sf.tweety.preferences.PreferencesIntegerBugExample
PreferencesPlugin - Class in net.sf.tweety.preferences.plugin: The CLI-Plugin for the Preferences-Package
PreferencesPlugin() - Constructor for class net.sf.tweety.preferences.plugin.PreferencesPlugin: Default empty constructor initializing this plugins parameter
PreferencesPlugin(String[]) - Constructor for class net.sf.tweety.preferences.plugin.PreferencesPlugin: non-empty constructur in case of errors in JSPF
PREFERRED_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
preferredCountInconsistencyMeasure() - Method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
PreferredCountInconsistencyMeasure<T extends DungTheory> - Class in net.sf.tweety.arg.dung.analysis
PreferredCountInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.analysis.PreferredCountInconsistencyMeasure
PreferredReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner: This reasoner for ABA theories performs inference on the preferred extensions.
PreferredReasoner - Class in net.sf.tweety.arg.adf.reasoner
PreferredReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential: a set of arguments S is preferred iff it is maximal wrt.
PreferredReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.necessity: a set of arguments S is preferred iff it is maximal wrt set inclusion admissible.
PreferredReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.PreferredReasoner
PreferredReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.PreferredReasoner
PreferredReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.necessity.PreferredReasoner
PreferredReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.PreferredReasoner
PreferredReasoning() - Method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest
PreferredReasoning() - Method in class net.sf.tweety.arg.bipolar.NecessityArgumentationTest
prepareState(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.AdmissibleVerifier
prepareState(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.CompleteVerifier
prepareState(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.GrounderStableVerifier
prepareState(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.verifier.Verifier: Gets called exactly once for each SatSolverState before the first use in verify.
prettyPrint() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Pretty print of the framework.
prettyPrint() - Method in class net.sf.tweety.arg.deductive.semantics.ArgumentTree: Returns a string representation of this argument tree.
prettyPrint() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Pretty print of the theory.
prettyPrint() - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport
prettyPrintTupledValues() - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner: Prints the tupled values computed by previous calls of getModel oder getModels in a human-readable way.
PriestWorld - Class in net.sf.tweety.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 net.sf.tweety.logics.pl.semantics.PriestWorld: Creates a new world where all propositions get the truth value FALSE.
PriestWorld(PriestWorld) - Constructor for class net.sf.tweety.logics.pl.semantics.PriestWorld: Creates a new world which is a copy of the given world
PriestWorld.TruthValue - Enum in net.sf.tweety.logics.pl.semantics: The three truth values.
primaFacie() - Method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest
PRIME_IMPLICATE - net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
PrInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class models the P inconsistency measure from e.g.
PrInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.PrInconsistencyMeasure: Creates a new drastic inconsistency measure.
printAntecedenceVerificationMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils: Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
printBase(FolBeliefSet) - Method in interface net.sf.tweety.logics.fol.writer.FolWriter: Prints formatted representation of a knowledge base.
printBase(FolBeliefSet) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
printBase(FolBeliefSet) - Method in class net.sf.tweety.logics.fol.writer.StandardFolWriter
printBase(FolBeliefSet) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter
printBase(PlBeliefSet) - Method in class net.sf.tweety.logics.qbf.writer.QdimacsWriter
printConditionalVerificationMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils: Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
printConfiguration() - Method in class net.sf.tweety.cli.plugins.CliMain: This function allows to print the content of the current configuration file.
printConstraintMatrix(PrintStream, PclBeliefSet, Set<PossibleWorld>) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils: Print constraint matrix for belief set and possible worlds to output stream.
printEquivalence(FolFormula, FolFormula) - Method in interface net.sf.tweety.logics.fol.writer.FolWriter: Prints an Equivalence.
printEquivalence(FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
printEquivalence(FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.writer.StandardFolWriter
printEquivalence(FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter
printHelpText() - Static method in class net.sf.tweety.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 net.sf.tweety.logics.pcl.util.MatlabUtils: Print optimization problem corresponding to ME consolidation.
printMinimumViolationProblem(PrintStream, int, String) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils: Print optimization problem corresponding to minimal violation measure.
printProblem(FolBeliefSet, RelationalFormula) - Method in class net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.lp.asp.writer.ClingoWriter: Prints program
printQuery(RelationalFormula) - Method in class net.sf.tweety.logics.ml.writer.MleanCoPWriter: Prints the query.
printQuery(FolFormula) - Method in interface net.sf.tweety.logics.fol.writer.FolWriter: Prints formatted representation of a query.
printQuery(FolFormula) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
printQuery(FolFormula) - Method in class net.sf.tweety.logics.fol.writer.StandardFolWriter
printQuery(FolFormula) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter
printVariables(Set<Proposition>, List<Proposition>) - Method in class net.sf.tweety.logics.qbf.writer.QdimacsWriter
PRIORITY - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
PRO - net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
ProbabilisticAggregatingNorm - Class in net.sf.tweety.math.norm: This distance function uses an aggregator on a probabilistically normalized distance for probabilities of each value.
ProbabilisticAggregatingNorm(AggregationFunction, int) - Constructor for class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm: Creates a new distance function with the given aggregator.
ProbabilisticArgumentationFramework - Class in net.sf.tweety.arg.prob.syntax: This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.
ProbabilisticArgumentationFramework() - Constructor for class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Default constructor; initializes empty sets of arguments and attacks
ProbabilisticArgumentationFramework(Graph<Argument>) - Constructor for class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Creates a new PAF from the given graph, all arguments and attacks have probability 1.
ProbabilisticConditional - Class in net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional: Creates a new probabilistic conditional using the given conditional and probability.
ProbabilisticConditional(PlFormula, PlFormula, Probability) - Constructor for class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional: Creates a new probabilistic conditional with the given premise, conclusion, and probability.
ProbabilisticConditional(PlFormula, Probability) - Constructor for class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional: Creates a new probabilistic conditional with a tautological premise and given conclusion and probability.
ProbabilisticExtension - Class in net.sf.tweety.arg.prob.semantics: This class implements a probabilistic interpretation for Dung argumentation frameworks, cf.
ProbabilisticExtension() - Constructor for class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Creates a new probabilistic extension for the given theory.
ProbabilisticLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries: An agent in a game of argumentation lotteries.
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Creates a new lottery agent
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics, byte) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Creates a new lottery agent
ProbabilisticLotteryAgent(String, DungTheory, SubgraphProbabilityFunction, UtilityFunction, Semantics, byte, double) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Creates a new lottery agent
ProbabilisticLotteryAgentGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim: Generates lottery agents.
ProbabilisticLotteryAgentGenerator(String) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
ProbabilisticLotteryAgentGenerator(String, byte) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
ProbabilisticLotteryAgentGenerator(String, byte, double) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
ProbabilisticPNorm - Class in net.sf.tweety.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 net.sf.tweety.math.norm.ProbabilisticPNorm: Creates a new p-norm distance function where distances are normalized.
ProbabilisticRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner: Implements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra; 2018].
ProbabilisticRankingReasoner(Semantics, Probability, boolean) - Constructor for class net.sf.tweety.arg.rankings.reasoner.ProbabilisticRankingReasoner: Creates a new reasoner.
ProbabilisticRankingReasonerExample - Class in net.sf.tweety.arg.rankings.examples: Example code for using graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra; 2018].
ProbabilisticRankingReasonerExample() - Constructor for class net.sf.tweety.arg.rankings.examples.ProbabilisticRankingReasonerExample
ProbabilisticSum - Class in net.sf.tweety.math.func.fuzzy: Represents the probabilistic sum in fuzzy logic, i.e., S(x,y)=x+y-xy
ProbabilisticSum() - Constructor for class net.sf.tweety.math.func.fuzzy.ProbabilisticSum
probability(Collection<? extends T>) - Method in class net.sf.tweety.math.probability.ProbabilityFunction: Gets the probability of the given object.
probability(Argument) - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Computes the probability of the given argument.
probability(Interpretation<PlBeliefSet, PlFormula>) - Method in class net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
probability(FolFormula) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Gets the probability of the given closed formula, i.e.
probability(PlFormula) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: Returns the probability of the given formula
probability(RelationalConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Gets the probability of the given closed relational conditional "re", i.e.
probability(T) - Method in class net.sf.tweety.math.probability.ProbabilityFunction: Gets the probability of the given object.
Probability - Class in net.sf.tweety.math.probability: This class represents a probability, i.e.
Probability(Double) - Constructor for class net.sf.tweety.math.probability.Probability: Creates a new probability with the given value
Probability(Probability) - Constructor for class net.sf.tweety.math.probability.Probability: Creates a new probability from the given probability
PROBABILITY - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
PROBABILITY - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants: RegularExpression Id.
ProbabilityAssignment(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
ProbabilityAssignment(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
ProbabilityAware - Interface in net.sf.tweety.logics.commons.syntax.interfaces
ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PlFormula>> - Class in net.sf.tweety.logics.pcl.semantics: This class represents a probability distribution on some logical language
ProbabilityDistribution(Signature) - Constructor for class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: Creates a new probability distribution.
ProbabilityFunction<T extends java.lang.Comparable<T>> - Class in net.sf.tweety.math.probability: This class represents a probability distribution over some set of objects
ProbabilityFunction() - Constructor for class net.sf.tweety.math.probability.ProbabilityFunction: Creates a new probability function.
ProbabilityFunction(ProbabilityFunction<T>) - Constructor for class net.sf.tweety.math.probability.ProbabilityFunction: Creates a new probability function by copying the given one.
ProblemInconsistentException - Exception in net.sf.tweety.math.opt.problem: This exception is thrown when a problem cannot be solved due to its inconsistency.
ProblemInconsistentException - Exception in net.sf.tweety.math.opt: This exception is thrown when a problem cannot be solved due to its inconsistency.
ProblemInconsistentException() - Constructor for exception net.sf.tweety.math.opt.problem.ProblemInconsistentException
ProblemInconsistentException() - Constructor for exception net.sf.tweety.math.opt.ProblemInconsistentException
ProboProblem - Enum in net.sf.tweety.arg.dung.reasoner: This enum contains all supported problems for probo-based reasoner.
ProboProblem.SubProblem - Enum in net.sf.tweety.arg.dung.reasoner: The actual computational sub-problem.
ProboReasoner - Class in net.sf.tweety.arg.dung.reasoner: This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.
ProboReasoner(String, Semantics) - Constructor for class net.sf.tweety.arg.dung.reasoner.ProboReasoner: Constructs a new instance of ProboReasoner
ProboReasoner(String, Semantics, Shell) - Constructor for class net.sf.tweety.arg.dung.reasoner.ProboReasoner: Constructs a new instance of ProboReasoner
ProboTest - Class in net.sf.tweety.arg.dung
ProboTest() - Constructor for class net.sf.tweety.arg.dung.ProboTest
probRecursionDecay - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration: The probability that an argument appearing in depth n does not appear in depth n+1.
process(I) - Method in interface net.sf.tweety.arg.adf.transform.processor.Processor
process(List<Program>, Collection<AnswerSet>) - Method in interface net.sf.tweety.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 net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
process(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.processor.KBipolarStateProcessor
process(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.processor.RelativeKBipolarStateProcessor
process(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.processor.StateProcessor
process(SatSolverState, SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.processor.InterpretationProcessor: Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.
process(SatSolverState, SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.processor.MaximizeInterpretationProcessor
process(Disjunction) - Method in class net.sf.tweety.arg.adf.transform.processor.ClauseSplittingProcessor
Processor<I,O> - Interface in net.sf.tweety.arg.adf.transform.processor
Product - Class in net.sf.tweety.math.term: This class models a product of two terms.
Product() - Constructor for class net.sf.tweety.math.term.Product: Creates a new (empty) product.
Product(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.Product: Creates a new product with the given list of terms.
Product(Term, Term) - Constructor for class net.sf.tweety.math.term.Product: Creates a new product with the given terms.
ProductAggregator - Class in net.sf.tweety.math.func: This aggregation function models the product function.
ProductAggregator() - Constructor for class net.sf.tweety.math.func.ProductAggregator
ProductNorm - Class in net.sf.tweety.math.func.fuzzy: Represents the product-norm in fuzzy logic, i.e., T(x,y)=xy
ProductNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.ProductNorm
Program - Class in net.sf.tweety.lp.asp.syntax: This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.
Program() - Constructor for class net.sf.tweety.lp.asp.syntax.Program: Creates a new empty program.
Program(Collection<ASPRule>) - Constructor for class net.sf.tweety.lp.asp.syntax.Program: Creates a new program with the given rules.
Program(ASPLiteral, Set<ASPRule>) - Constructor for class net.sf.tweety.lp.asp.syntax.Program: Creates a new program with the given query and rules.
Program(Program) - Constructor for class net.sf.tweety.lp.asp.syntax.Program: Copy-Constructor
Program() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ProgramTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
projectToT2BeliefState() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState: Returns a T2-belief state that is a projection of this belief state, i.e.
PROPAGATION1 - net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
PROPAGATION2 - net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
PROPAGATION3 - net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
PropagationRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner: This class implements the argument ranking approach of [Delobelle.
PropagationRankingReasoner(boolean) - Constructor for class net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner: Creates a new PropagationRankingReasoner with the given parameters.
PropagationRankingReasoner(double, boolean, PropagationRankingReasoner.PropagationSemantics) - Constructor for class net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner: Creates a new PropagationRankingReasoner with the given parameters.
PropagationRankingReasoner.PropagationSemantics - Enum in net.sf.tweety.arg.rankings.reasoner: The three propagation semantics: PROPAGATION1 ("Propa_epsilon") PROPAGATION2 ("Propa_{1+epsilon}") PROPAGATION3 ("Propa_{1->epsilon}")
properDefeater() - Method in class net.sf.tweety.arg.delp.TestDTree
propertyChange(PropertyChangeEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView: Reacts to property change events to keep the view up to date.
propertyChange(PropertyChangeEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView: Reacts to property change events to keep the view up to date.
Proposition - Class in net.sf.tweety.logics.pl.syntax: This class represents a simple proposition in propositional logic.
Proposition() - Constructor for class net.sf.tweety.logics.pl.syntax.Proposition: Default-Ctor for dynamic instantiation
Proposition(String) - Constructor for class net.sf.tweety.logics.pl.syntax.Proposition: Creates a new proposition of the given name.
Proposition(Proposition) - Constructor for class net.sf.tweety.logics.pl.syntax.Proposition
PropositionalFormulaGeneratorTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
PropositionalMapping - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings: Contains the propositional representation of the arguments and links of some ADF.
PropositionalMapping(AbstractDialecticalFramework) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping: Creates propositional representations for the arguments and links of the provided ADF.
PropositionalTransformer - Class in net.sf.tweety.arg.adf.transform: Transforms an AcceptanceCondition into a PlFormula.
PropositionalTransformer(Function<Argument, Proposition>) - Constructor for class net.sf.tweety.arg.adf.transform.PropositionalTransformer
PropositionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
Protocol - Interface in net.sf.tweety.agents: A protocol gives instructions in which order agents have to be asked for actions in a multi-agent system.
ProtocolGenerator<T extends Protocol,S extends Agent,R extends MultiAgentSystem<S>> - Interface in net.sf.tweety.agents.sim: Generates protocols for simulation.
ProtocolListener - Interface in net.sf.tweety.agents: A protocol listener listens on a protocol and is notified whenever an action is executed.
protocolTerminated() - Method in interface net.sf.tweety.agents.ProtocolListener: This method is called when the protocol terminates.
ProtocolTerminatedException - Exception in net.sf.tweety.agents: A ProtocolTerminatedException is thrown when a protocol is asked to perform a step but has already terminated.
ProtocolTerminatedException() - Constructor for exception net.sf.tweety.agents.ProtocolTerminatedException: Creates a new ProtocolTerminatedException.
Prover9FolReasoner - Class in net.sf.tweety.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 net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner: Constructs a new instance pointing to a specific Prover9
Prover9FolReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner: Constructs a new instance pointing to a specific Prover9.
Prover9Test - Class in net.sf.tweety.logics.fol.test: JUnitTest to test Prover9
Prover9Test() - Constructor for class net.sf.tweety.logics.fol.test.Prover9Test
Prover9Writer - Class in net.sf.tweety.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 net.sf.tweety.logics.fol.writer.Prover9Writer: creates new Prover9Writer
Prover9Writer(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.Prover9Writer: creates new Prover9Writer
provided() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
pushNode(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
put(Collection<? extends Constant>, Integer) - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
put(K, V) - Method in class net.sf.tweety.arg.adf.util.CacheMap
put(K, V) - Method in class net.sf.tweety.arg.adf.util.LazyMap
put(Argument, Boolean) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.Interpretation.Builder
put(Argument, Double) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
put(Argument, Integer) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
put(Argument, L) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping: Sets the social value of the given argument
put(Argument, ArgumentStatus) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
put(Predicate, InstanceAssignment) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
put(Proposition, Double) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
put(T, Probability) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
put(T, Probability) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
put(T, Probability) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
putAll(Map<? extends K, ? extends V>) - Method in class net.sf.tweety.arg.adf.util.CacheMap
putAll(Map<? extends K, ? extends V>) - Method in class net.sf.tweety.arg.adf.util.LazyMap
putAll(Map<? extends Argument, ? extends Double>) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
putAll(Map<? extends Argument, ? extends Integer>) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
putAll(Map<? extends Argument, ? extends ArgumentStatus>) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
putAll(Map<? extends Predicate, ? extends InstanceAssignment>) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
putAll(Map<? extends Proposition, ? extends Double>) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
putAll(Map<? extends T, ? extends Probability>) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
putAll(Map<? extends T, ? extends Probability>) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
putAll(Map<? extends T, ? extends Probability>) - Method in class net.sf.tweety.math.probability.ProbabilityFunction

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