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

p - Variable in class net.sf.tweety.arg.prob.reasoner.ProbabilisticRankingReasoner: The probability used for all arguments to instantiate a probabilistic argumentation framework
p - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
p - Variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure: The p-norm parameter.
p - Variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop: The p-norm parameter.
p - Variable in class net.sf.tweety.logics.pcl.analysis.GeneralizedMeMachineShop: Parameter p for p-norm.
p - Variable in class net.sf.tweety.math.norm.PNorm: The parameter of this p-norm.
p - Variable in class net.sf.tweety.math.norm.ProbabilisticPNorm: The parameter for the p-norm.
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
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
parameters - Variable in class net.sf.tweety.plugin.AbstractTweetyPlugin: valid parameters for this plugin
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.
params - Variable in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator: The parameters for generation.
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.
parens(String) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer: Puts str in parentheses.
parens(String) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter: Puts str in parentheses.
parens(String) - Method in class net.sf.tweety.logics.ml.writer.MleanCoPWriter: Puts a string in parentheses.
parent - Variable in class net.sf.tweety.arg.delp.semantics.DialecticalTree: The parent node; null if this node is a root
parent - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: The measure from where this process has been dispatched.
parent - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
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 - Variable in class net.sf.tweety.arg.dung.syntax.DungTheory: explicit listing of direct attackers and attackees (for efficiency reasons)
parents(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
parentsByChild - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework: Maps an argument to the arguments of its acceptance condition
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
parseAction(List<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a list of actionnames or a list of actions.
parseActionFormula(Stack<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a simple formula as a list of string tokens or formulas into an action query.
parseActionName(String) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser
parseAllInDirectory(String) - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
parseAlwaysFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form always A which is converted to caused - if !A
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
parseArgument() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IdentifierNode
parseArgument() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
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
parseAssociativeFormula(BitSet, int, int, PlSignature) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator: Parses an associate formula from the given bitset starting at index idx, with the given number of terms and the given signature
parseAtomic(List<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseAtomic(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a simple formula as a list of String tokens or formulas into a fol formula.
parseAtomic(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
parseAtomic(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a simple formula as a list of String tokens or formulas into a fol formula.
parseAtomic(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseAxiom(List<Object>) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses an ALC axiom as a list of String tokens or formulas.
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.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.
parseCausedFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form caused A (if B)? (after C)?
parseCausesFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form A causes B if C which is converted to caused B if + after A && C
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
parseConcept(Object) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses an atomic concept, top concept or bottom concept from a String token.
parseConcept(List<Object>) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses a complex concept as a list of String tokens or formulas.
ParseConceptAssertionTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
parseCondensedProbabilityDistribution(Reader) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
parseConjunction(List<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseConjunction(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a simple conjunction as a list of String tokens or formulas into a fol formula.
parseConjunction(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses a conjunction as a list of String tokens or formulas into a fol formula.
parseConjunction(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a simple conjunction as a list of String tokens or formulas into a fol formula.
parseConjunction(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseDefaultFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form default A (if B)? which is converted to the causal law caused A if A && B
parseDisjunction(List<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseDisjunction(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a disjunction as a list of String tokens or formulas into a fol formula.
parseDisjunction(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses a disjunction as a list of String tokens or formulas into a fol formula.
parseDisjunction(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a disjunction as a list of String tokens or formulas into a fol formula.
parseDisjunction(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
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
parseEquivalence(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses an equivalence as a list of String tokens or formulas into a fol formula.
parseEquivalence(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses an equivalence as a list of String tokens or formulas into a fol formula.
parseEquivalence(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses an equivalence as a list of String tokens or formulas into a fol formula.
parseEquivalence(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
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
parseFolFormula(String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a FolFormula from a string using the FolParser class
ParseForallQuantificationTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.AndNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.CNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IdentifierNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IffNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.ImpNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.NegNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.OrNode
parseFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.XorNode
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.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.
parseFormula(BitSet, int, PlSignature) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator: Reads the next formula of the given bitset, starting at the given index.
parseFormulaFromFile(String) - Method in class net.sf.tweety.commons.Parser: Parses the file of the given filename into a formula of the given type.
parseImplication(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses an implication as a list of String tokens or formulas into a fol formula.
parseImplication(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses an implication as a list of String tokens or formulas into a fol formula.
parseImplication(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses an implication as a list of String tokens or formulas into a fol formula.
parseImplication(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseIncludedFiles(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses formulas of an included TPTP problem file.
parseIndividual(Object) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses an individual from a String token.
parseInertialFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form inertial A which is converted to the causal law caused A if A after A
parseInterpretation(String, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner: Constructs a Herbrand interpretation from the given string
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
parseLpT(String[], ActionSignature) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator: Parses the resulting answer sets of an lp_T(D) program as a set.
parseLpTSingleLine(String, ActionSignature) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator: Utility function parsing a single answer set to a map from timestamp to the set of atoms with that particular timestamp.
parseMayCauseFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form A may cause B if C which is converted to caused B if B after A && C
ParseModalFormulaTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
parseModalization(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a formula containing at least one modal operator as a list of String tokens or formulas.
parseNegation(List<Object>) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseNegation(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a simple formula as a list of String tokens or formulas into a fol formula.
parseNegation(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
parseNegation(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a simple formula as a list of String tokens or formulas into a fol formula.
parseNegation(List<Object>) - Method in class net.sf.tweety.logics.pl.parser.PlParser: Parses a simple formula as a list of String tokens or formulas into a propositional formula.
parseNonexecutableFormula(String, String) - Method in class net.sf.tweety.action.description.parser.CLawParser: Parses a string containing a single causal law of the form nonexecutable A if B which is converted to caused - after A && B
parseOutput(String) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver: This method parses the output data of an OpenOpt run
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
parseProposition(BitSet, int, PlSignature) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator: Parses a proposition in bitset s starting from idx.
parseQuantification(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a quantified formula as a list of String tokens or formulas.
parseQuantification(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses a quantified formula as a list of String tokens or formulas.
parseQuantification(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a quantified formula as a list of String tokens or formulas.
parseQuotedStrings() - Method in class net.sf.tweety.arg.delp.TestKBParsing
parser - Variable in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
parser - Variable in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
parser - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator: A parser for parsing the files.
parser - Variable in class net.sf.tweety.logics.dl.test.DlParserTest
parser - Variable in class net.sf.tweety.logics.dl.test.DlReasonerTest
parser - Variable in class net.sf.tweety.logics.fol.test.FolParserTest
parser - Variable in class net.sf.tweety.logics.ml.MleanCoPTest
parser - Variable in class net.sf.tweety.logics.ml.MlParserTest
parser - Variable in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
parser - Variable in class net.sf.tweety.logics.pl.test.PlParserTest
parser - Variable in class net.sf.tweety.logics.pl.util.TextfileIterator: for parsing belief bases
parser - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
parser - Static variable in class net.sf.tweety.lp.asp.analysis.ClingoTest
parser - Static variable in class net.sf.tweety.lp.asp.analysis.DLVTest
parser - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
parser - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
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
PARSER_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestFormulaParsing
PARSER_STOCKS - Static variable in class net.sf.tweety.arg.delp.TestFormulaParsing
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)*
parseResult(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver: Parses output from Clingo solver to AnswerSetList.
parseResult(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver: Processes a string containing answer sets and returns an AnswerSetList.
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.
parseRole(Object) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses a role from a String token.
ParseRoleAssertionTest() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
parserTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
ParserTest() - Method in class net.sf.tweety.arg.aba.ABATest
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) - Method in class net.sf.tweety.action.signature.parser.ActionSignatureParser: Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and adds it to the signature.
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.
parseSpecialFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IdentifierNode
parseSpecialFormula() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
parseStatement() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.ACNode
parseStatement() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
parseStatement() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.SNode
parseTermlist(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.FolParser: Parses a term list as a list of String tokens or terms into a list of terms.
parseTermlist(List<Object>) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parses a term list as a list of String tokens or terms into a list of terms.
parseTermlist(List<Object>) - Method in class net.sf.tweety.logics.ml.parser.MlParser: Parses a term list as a list of String tokens or terms into a list of terms.
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) - Method in class net.sf.tweety.action.signature.parser.ActionSignatureParser: Parses an action declaration of the form "action" "(" ACTIONNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" or a fluent declaration of the form "fluent" "(" FLUENTNAME ("(" SORTNAME ("," SORTNAME)* ")")? ")" and adds them to the signature.
parseTypeDeclaration(String, DlSignature) - Method in class net.sf.tweety.logics.dl.parser.DlParser: Parses an atomic concept declaration of the form "concept" "(" CONCEPTNAME ")" or an atomic role declaration of the form "role" "(" ROLENAME ")" and modifies the given signature accordingly.
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.
parseTypes(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Parse signature of a problem file.
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
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
partition(ClBeliefSet, Set<PossibleWorld>) - Method in class net.sf.tweety.logics.cl.reasoner.ZReasoner: Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.
partitions - Variable in class net.sf.tweety.machinelearning.GridSearchParameterLearner: The number of partitions of each parameter interval.
PASemantics - Interface in net.sf.tweety.arg.prob.semantics: This interface contains common methods for probabilistic argumentation semantics.
PATH_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestDeLP
PATH_HOBBES - Static variable in class net.sf.tweety.arg.delp.TestDeLP
path_to_exec - Variable in class net.sf.tweety.arg.dung.reasoner.ProboReasoner: The path to the executable
pathToMarco - Variable in class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator: The MARCO executable.
pathToMimus - Variable in class net.sf.tweety.logics.pl.sat.MimusMusEnumerator: The Mimus executable.
pathToOctave - Static variable in class net.sf.tweety.math.opt.solver.OctaveSqpSolver: Path to Octave
pathToSolver - Variable in class net.sf.tweety.lp.asp.reasoner.ClingoSolver: String representation of Clingo binary path, meaning the location of the clingo, clasp and grinco executables on the hard drive.
pathToSolver - Variable in class net.sf.tweety.lp.asp.reasoner.DLVSolver: String representation of DLV binary path.
pathToTmp - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator: the path to a folder where intermediate results (all formulas up to the required length) are stored
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>) - 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() - 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() - Constructor for class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
penalty - Variable in class net.sf.tweety.math.opt.OptimizationProblem: penalty for converted absolute values.
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.
pfg - Variable in class net.sf.tweety.arg.aspic.AspicTest
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
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.
PlBeliefSet.PlFormulaHashCodeComparator - Class in net.sf.tweety.logics.pl.syntax: Comparator for sorting propositional formulas by comparing hash codes.
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
PlCollectors.MapAccumulator<R extends AssociativePlFormula,T> - Class in net.sf.tweety.arg.adf.util
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
PlFormulaHashCodeComparator() - Constructor for class net.sf.tweety.logics.pl.syntax.PlBeliefSet.PlFormulaHashCodeComparator
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
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.
plugin - Static variable in class net.sf.tweety.cli.plugins.CliMain: the called plugin
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.
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
populationIncreaseCrossOver - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: How many new individuals are created by cross-over (per pair of individuals)
populationIncreaseMutation - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: How many new individuals are created by mutation (per individual)
populationSize - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer: Population size
populationSize - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: The size of the population
pos_votes - Variable in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework: The number of positive votes of arguments
positiveInstances - Variable in class net.sf.tweety.commons.postulates.PostulateEvaluationReport: the instances that satisfy the given postulate (and are applicable)
positiveMinimum - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue: This minimum contains those kappa sums of conditionals that are falsified in a world, that is verified by the Conditional of this kappa value.
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
possibleAttacks - Variable in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator: The set of possible attacks.
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.
possibleWorlds - Variable in class net.sf.tweety.logics.ml.semantics.KripkeModel: The possible worlds of this model.
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.
postulates - Variable in class net.sf.tweety.commons.postulates.PostulateEvaluator: the list of postulates the approach is evaluated against
power - Variable in class net.sf.tweety.math.term.Power: The power.
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
pre - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultRule: The prerequisite of the default rule
pre - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
precision - Variable in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics: Precision of comparisons between values.
precision - Variable in class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner: The computation is aborted when the given precision is reached for at least numOfPositive number of consecutive tests.
precision - Variable in class net.sf.tweety.math.opt.GradientDescentRootFinder: The precision of the approximation.
precision - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer: The precision of the optimization
precision - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer: The precision
precision - Variable in class net.sf.tweety.math.opt.solver.GradientDescent: The precision of the approximation.
precision - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: If an iteration improves less than this value the algorithm ends.
PRECISION - Static variable in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking: 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.NewtonRootFinder: The precision of the approximation.
PRECISION - Static variable in class net.sf.tweety.math.opt.RootFinder: The precision for finding roots.
PRECISION - Static variable in class net.sf.tweety.math.opt.solver.BfgsSolver
PRECISION - Static variable in class net.sf.tweety.math.opt.solver.HessianGradientDescent
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.
predCredibilityPrefix - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision: a prefix used to mark the prioritzed version of predicates
predicate - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument: The name of the proposition
predicate - Variable in class net.sf.tweety.logics.dl.syntax.AtomicConcept: The predicate that represents this atomic concept.
predicate - Variable in class net.sf.tweety.logics.dl.syntax.AtomicRole: The predicate that represents this atomic role.
predicate - Variable in class net.sf.tweety.logics.fol.syntax.FolAtom: The predicate of this atom
predicate - Variable in class net.sf.tweety.logics.pl.syntax.Proposition: The name of the proposition
predicate - Variable in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment: The predicate of this instance assignment.
predicate - Variable in class net.sf.tweety.lp.asp.syntax.ASPAtom: The predicate identifying the atom
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.
predicates - Variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld: The set of predicates this reference world bases on.
predicates_whitelist - Variable in class net.sf.tweety.lp.asp.parser.InstantiateVisitor: List of predicates that is used to represent Clingo #show statements.
PREF__AGGR_DESCRIPTION - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__AGGR_IDENTIFIER - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__AGGR_RULES - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__CALL_PARAMETER - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__DYN_DESCRIPTION - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__DYN_IDENTIFIER - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__DYN_RULES - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__UP_DESCRIPTION - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
PREF__UP_IDENTIFIER - Static variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
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
PreferredReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
PreferredReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.PreferredReasoner
premise - Variable in class net.sf.tweety.logics.cl.syntax.Conditional: The premise of this conditional.
premise - Variable in class net.sf.tweety.logics.rcl.syntax.RelationalConditional: The premise of the conditional.
premise - Variable in class net.sf.tweety.lp.nlp.syntax.NLPRule
premise - Variable in class net.sf.tweety.machinelearning.assoc.AssociationRule: The premise of the rule.
premises - Variable in class net.sf.tweety.arg.aspic.syntax.InferenceRule: The rule's premises
premset_comp - Variable in class net.sf.tweety.arg.aspic.order.LastLinkOrder
premset_comp - Variable in class net.sf.tweety.arg.aspic.order.WeakestLinkOrder
prepareOptimizationProblem(PartialProbabilityAssignment, DungTheory, OptimizationProblem, Map<Collection<Argument>, FloatVariable>, Map<Collection<Argument>, FloatVariable>, Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
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(DeductiveArgumentNode, Set<DeductiveArgumentNode>, int) - Method in class net.sf.tweety.arg.deductive.semantics.ArgumentTree: Returns a string representation of the subtree rooted at the given node.
prevCharIsCR - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
prevCharIsCR - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
prevCharIsCR - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
prevCharIsCR - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
prevCharIsCR - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
prevCharIsLF - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
prevCharIsLF - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
prevCharIsLF - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
prevCharIsLF - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
prevCharIsLF - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
previousValue - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: The previous value of the measure.
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.TruthValue - Enum in net.sf.tweety.logics.pl.semantics: The three truth values.
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.TPTPWriter
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.
printDescription() - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
printDescription() - Method in class net.sf.tweety.logics.fol.writer.SPASSWriter: Generates a generic description part for a SPASS problem file.
printDescription() - Method in class net.sf.tweety.logics.ml.writer.SPASSWriter: Generates a generic description part for a SPASS problem file.
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.TPTPWriter
printer - Variable in class net.sf.tweety.logics.fol.test.Prover9Test
printer - Variable in class net.sf.tweety.logics.fol.test.SPASSTest
printer - Variable in class net.sf.tweety.logics.fol.test.TPTPTest
printer - Variable in class net.sf.tweety.logics.ml.SPASSTest
printFormula(RelationalFormula) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer: Creates a representation of a formula in Prover9 format.
printFormula(RelationalFormula) - Method in class net.sf.tweety.logics.fol.writer.SPASSWriter
printFormula(RelationalFormula) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter: Creates a TPTP representation of a formula.
printFormula(RelationalFormula) - Method in class net.sf.tweety.logics.ml.writer.MleanCoPWriter: Creates a representation of a formula in MleanCoP format.
printFormula(RelationalFormula) - Method in class net.sf.tweety.logics.ml.writer.SPASSWriter
printFormulas(FolBeliefSet, RelationalFormula) - Method in class net.sf.tweety.logics.fol.writer.SPASSWriter: Prints the axioms declaration and conjectures declaration for a SPASS input file.
printFormulas(MlBeliefSet, RelationalFormula) - Method in class net.sf.tweety.logics.ml.writer.SPASSWriter: Prints the axioms declaration and conjectures declaration for a SPASS input file.
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.TPTPWriter
printResults(File, BenchmarkResult, PrintStream) - Method in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
printRule(ASPRule) - Method in class net.sf.tweety.lp.asp.writer.ClingoWriter: Creates string representation of a single rule in Clingo format.
printSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.writer.SPASSWriter: Prints the symbols declaration for a SPASS input file.
printSignature(FolSignature) - Method in class net.sf.tweety.logics.ml.writer.SPASSWriter: Prints the symbols declaration for a SPASS input file.
printStatus() - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
printUsage(CmdLineParser, PrintStream) - Static method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
printVar(Variable) - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer: Crates a type check or type def for a variable
printVar(Variable) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter: Crates a type check or type def for a variable
PRIORITY - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
PRO - net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
prob - Variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Uncertainty on sub graphs.
prob - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState: The probability function on opponent models
prob - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState: The probability function on opponent models
prob - Variable in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
prob - Variable in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Maps divisions to probabilities
prob - Variable in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery: Maps LdoFormulas to probabilities
prob - Variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler: The probability function modeling the random decisions.
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.prob.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.prob.reasoner.ProbabilisticRankingReasoner: Creates a new reasoner.
ProbabilisticRankingReasonerExample - Class in net.sf.tweety.arg.prob.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.prob.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
probabilities - Variable in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: The probabilities of the interpretations.
probabilities - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: The probabilities of the interpretations.
probabilities - Variable in class net.sf.tweety.math.probability.ProbabilityFunction: The probabilities of the objects.
probability - Variable in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional: The probability of this conditional.
probability - Variable in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional: The probability of the formula.
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.
probabilityTerm(Argument, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.AbstractPASemantics: Constructs the term expressing the probability of the given argument wrt.
probabilityTerm(FolFormula, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics: Constructs the term expressing the probability of the given formula "f" wrt.
probInputFiles - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
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.ProblemInconsistentException
ProboProblem - Enum in net.sf.tweety.arg.dung.reasoner: This enum contains all supported problems for probo-based reasoner.
ProboProblem(ProboProblem.SubProblem, Semantics) - Constructor for enum net.sf.tweety.arg.dung.reasoner.ProboProblem: Creates a new problem.
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
probOutFile - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
probOutWriter - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
probParser - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
probProp - Variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler: The probability function used to sample propositions
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 - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
process - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: true if the sequence is a process
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
processes - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree: all processes of the process tree
processing - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
processTreeTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
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
prog - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
program - Variable in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase
program - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
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
progressMap - Variable in class net.sf.tweety.logics.cl.rules.EvaluateRule: stores the old values of the kappa and is used to realize if some progress in calculation occured
projectAnswerSet() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision: Projects the answer set of the credibility program to the original alphabet
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.
PROP - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
prop_idx - Variable in class net.sf.tweety.logics.pl.parser.DimacsParser: An array representation of the propositions (for index mapping)
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.
PROPLOGIC__CALL_PARAMETER - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
PROPLOGIC__QUERY_DESCRIPTION - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
PROPLOGIC__QUERY_IDENTIFIER - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
PROPLOGIC__REASONER_DESCRIPTION - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
PROPLOGIC__REASONER_IDENTIFIER - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
PROPLOGIC__REASONER_SOLVERENUM - Static variable in class net.sf.tweety.logics.pl.plugin.PlPlugin
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
PropositionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
props - Variable in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
protGenerator - Variable in class net.sf.tweety.agents.sim.GameSimulator: The protocol generator.
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.
prover - Variable in class net.sf.tweety.logics.ml.MleanCoPTest
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
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(Argument, Double) - Method in class net.sf.tweety.arg.dung.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
put(T, R) - Method in class net.sf.tweety.arg.adf.util.Cache
putAll(Map<? extends Argument, ? extends Double>) - Method in class net.sf.tweety.arg.dung.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
putGenerator(NicePossibleWorld, Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure: Processes the generator of the given Conditional cond for the PossibleWorld npw and saves it in the worldData data structure if it is not equal CG_ONE.

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