G-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

G

GameProtocol - Interface in net.sf.tweety.agents.sim: Classes implementing this interface represent protocols for games in the game theoretic meaning.
GameSimulator<S extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - Class in net.sf.tweety.agents.sim: This class implements a game simulator.
GameSimulator(MultiAgentSystemGenerator<T, R>, ProtocolGenerator<S, T, R>, List<AgentGenerator<T, R>>) - Constructor for class net.sf.tweety.agents.sim.GameSimulator: Creates a new GameSimulator for the given MultiAgentSystemGenerator and AgentGenerators.
GAMMA_PARAMETER - Static variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer: The gamma parameter for learning
Gateway - Class in net.sf.tweety.logics.bpm.syntax
Gateway(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Gateway
GatewayType - Enum in net.sf.tweety.logics.bpm.syntax
geLowerCut(DungTheory, double) - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Returns the lower cut of this probabilistic extension wrt.
GEN_SPEC - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
GeneralAbaReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner: This is an abstract generalization over non-flat ABA reasoners.
GeneralAbaReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner
GeneralizedMeMachineShop - Class in net.sf.tweety.logics.pcl.analysis: Uses the generalized ME-model of a knowledge base to repair it, cf.
GeneralizedMeMachineShop(int) - Constructor for class net.sf.tweety.logics.pcl.analysis.GeneralizedMeMachineShop: Creates a new machine shop with the given norm.
GeneralizedMeReasoner - Class in net.sf.tweety.logics.pcl.reasoner: This class implements a generalized maximum entropy reasoner for probabilistic conditional logic as proposed in [Potyka, Thimm, 2014] which also works for inconsistent belief sets.
GeneralizedMeReasoner(int) - Constructor for class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner: Creates a new generalized ME-reasoner
GeneralizedSpecificity - Class in net.sf.tweety.arg.delp.semantics: This class implements the generalized specificity criterion used to compare two arguments.
GeneralizedSpecificity() - Constructor for class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
GeneralMathException - Exception in net.sf.tweety.math: This class is represents a general math exception;
GeneralMathException() - Constructor for exception net.sf.tweety.math.GeneralMathException: Creates a new general math exception.
GeneralMathException(String) - Constructor for exception net.sf.tweety.math.GeneralMathException: Creates a new general math exception.
generate(LotteryGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
generate(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
generate(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameProtocolGenerator
generate(SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
generate(SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
generate(SimulationParameters) - Method in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator: Generates a new multi-agent system.
generate(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.generator.CandidateGenerator: Does not return the same candidate on two calls on the same instance.
generate(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
generate(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.generator.GroundGenerator
generate(SatSolverState, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.generator.ModelGenerator
generate(R, SimulationParameters) - Method in interface net.sf.tweety.agents.sim.ProtocolGenerator: Generates a new protocol.
generate(S, SimulationParameters) - Method in interface net.sf.tweety.agents.sim.AgentGenerator: Generates a new agent for the given multi-agent system.
generateParseException() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
generateParseException() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
generateParseException() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
generateParseException() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
generateParseException() - Method in class net.sf.tweety.preferences.io.POParser
generateParseException() - Method in class net.sf.tweety.preferences.io.UPParser: Generate ParseException.
generatePreferenceOrder() - Method in class net.sf.tweety.preferences.ranking.Functions: this method returns a preference order made out of an ranking function
generatePreferenceOrder() - Method in class net.sf.tweety.preferences.ranking.LevelingFunction: this method returns a preference order made out of this leveling function
generatePreferenceOrder() - Method in class net.sf.tweety.preferences.ranking.RankingFunction: this method returns a preference order made out of an ranking function
GEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
get() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
get() - Method in class net.sf.tweety.logics.commons.syntax.StringTerm
get() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
get(boolean, boolean) - Static method in enum net.sf.tweety.arg.adf.semantics.link.LinkType
get(int) - Method in class net.sf.tweety.arg.adf.util.ThreeValuedBitSet
get(int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
get(int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
get(int) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
get(int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
get(int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
get(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
get(Object) - Method in class net.sf.tweety.arg.adf.util.CacheMap
get(Object) - Method in class net.sf.tweety.arg.adf.util.LazyMap
get(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
get(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
get(Object) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
get(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
get(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
get(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
get(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
get(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
get(Object) - Method in class net.sf.tweety.preferences.ranking.Functions: returns the value to a given key
get(Division) - Method in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Returns the probability of the given outcome.
get(LdoFormula) - Method in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery: Returns the probability of the given outcome.
get(Argument) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping: Returns the social value of the given argument
get(Triple<T, T, Relation>) - Method in class net.sf.tweety.preferences.PreferenceOrder: checks existence and returns a demanded pair
get(Predicate, Collection<? extends Constant>) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld: Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.
get(Proposition) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld: Returns the truth value of the given proposition.
getABox() - Method in class net.sf.tweety.logics.dl.syntax.DlBeliefSet: Returns the ABox section of the knowledge.
getAbsoluteValues() - Method in class net.sf.tweety.math.equation.Statement: Returns all absolute values of this statement.
getAbsoluteValues() - Method in class net.sf.tweety.math.term.AbsoluteValue
getAbsoluteValues() - Method in class net.sf.tweety.math.term.AssociativeOperation
getAbsoluteValues() - Method in class net.sf.tweety.math.term.Constant
getAbsoluteValues() - Method in class net.sf.tweety.math.term.Difference
getAbsoluteValues() - Method in class net.sf.tweety.math.term.Fraction
getAbsoluteValues() - Method in class net.sf.tweety.math.term.FunctionalTerm
getAbsoluteValues() - Method in class net.sf.tweety.math.term.Term: Returns all absolute values of this term.
getAbsoluteValues() - Method in class net.sf.tweety.math.term.Variable
getAcceptableArguments(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner: Returns the set of acceptable arguments of this reasoner.
getAcceptableArguments(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.EeeAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.IaqAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SeeAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SeemAcceptabilityReasoner
getAcceptanceCondition(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: Guaranteed to be non-null if the ADF contains the argument.
getAcceptanceCondition(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
getAcceptanceCondition(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
getAcceptanceProbability(Division, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given division being acceptable wrt.
getAcceptanceProbability(LdoFormula, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given formula being acceptable wrt.
getAcceptanceProbability(Extension, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given set of arguments being acceptable wrt.
getAcceptanceProbability(Argument, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given argument being acceptable wrt.
getAction() - Method in class net.sf.tweety.action.transitionsystem.Transition: Returns the action that causes this transition.
getAction() - Method in class net.sf.tweety.agents.ActionEvent
getActionName(String) - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the action name predicate with the given name if one exists, null otherwise.
getActionNames() - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the set of action names contained in this action signature.
getActions() - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery: Returns the list of actions of this necessarily query in the correct order.
getActionSignature() - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
getActionSignature() - Method in class net.sf.tweety.action.query.syntax.QueryProposition: Returns a new action signature containing all symbols of the inner formula of this proposition.
getActionSignature() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns the action signature of this action query.
getAdditionalArguments() - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner: Returns the additional arguments given to the call of the EProver binary (Default value is "--auto-schedule").
getAdjacencyMatrix() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getAdjacencyMatrix() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getAdjacencyMatrix() - Method in class net.sf.tweety.graphs.DefaultGraph
getAdjacencyMatrix() - Method in interface net.sf.tweety.graphs.Graph: Returns the adjacency matrix of this graph (the order of the nodes is the same as returned by "iterator()").
getAdjacencyMatrix() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getAF() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase: Builds simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
getAfterFormula() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw: Returns the afterFormula of this causal law.
getAgent() - Method in class net.sf.tweety.agents.ActionEvent
getAggregateElements() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getAllAdmissbleExtensions() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: Computes all admissible extensions.
getAllArguments() - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Returns the set of all arguments appearing.
getAllConclusions() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getAllConclusions() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Returns all conclusions appearing in this argument.
getAllConflictFreeExtensions() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: Computes all context-free extensions.
getAllDeductions() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getAllDeductions(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getAllExtensions() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: Computes all possible extensions.
getAllGrounded() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns the set of all grounded instances of this causal law.
getAllGrounded() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
getAllGrounded() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
getAllGrounded() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns the set of all grounded instances of this causal rule.
getAllGroundedActionNameAtoms() - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature on the basis of all action name predicates contained.
getAllGroundedFluentAtoms() - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature on the basis of all fluent predicates contained.
getAllHerbrandInterpretations() - Method in class net.sf.tweety.logics.fol.semantics.HerbrandBase: Computes all possible Herbrand interpretations of this Herbrand base, i.e.
getAllHerbrandInterpretations() - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandBase: Computes all possible Herbrand interpretations of this Herbrand base, i.e.
getAllInterpretations(DlSignature) - Method in class net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner: Get all interpretations for the given signature.
getAllMNCompleteExtensions(DungTheory, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-complete extensions.
getAllMNGroundedExtensions(DungTheory, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-grounded extensions.
getAllMNPreferredExtensions(DungTheory, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-preferred extensions.
getAllMStableExtensions(DungTheory, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all m-stable extensions.
getAllPossibleWorlds(Collection<Proposition>) - Static method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
getAllPossibleWorlds(Collection<Proposition>) - Static method in class net.sf.tweety.logics.pl.semantics.PossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(Collection<Proposition>) - Static method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(PlSignature) - Static method in class net.sf.tweety.logics.pl.semantics.PossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(PlSignature) - Static method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPropositions() - Method in class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework
getAllRules() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getAllRules() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Returns all rules appearing in this argument.
getAllSubs() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: returns the Subs according to the ASPIC+ specification
getAllSubstitutions(Set<Variable>) - Static method in class net.sf.tweety.action.grounding.GroundingTools: Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
getAllSubstitutions(Set<Variable>, Set<Constant>) - Static method in class net.sf.tweety.action.grounding.GroundingTools: Calculates all possible substitutions of variables for a given set of constants
getAmount() - Method in class net.sf.tweety.preferences.update.Update: returns the third element of this quadruple
getArgument() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument: Returns an argument representation (in Dung-style) of this LdoArgument.
getArgumentationLine() - Method in class net.sf.tweety.arg.delp.semantics.DialecticalTree: Returns the argumentation line which is generated by the path from this node to the root (in reverse)
getArguments() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
getArguments() - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
getArguments() - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
getArguments() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Expands this systems's inference rules into a tree arguments
getArguments() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Returns the set of all possible arguments, that can be built in this delp.
getArguments() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getArguments() - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase: Returns all minimal arguments constructible from the extended logic program
getArguments() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
getArguments() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
getArguments() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getArguments() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getArguments() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getArguments() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation: Returns all arguments that have the given status in this interpretation.
getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.dung.semantics.Extension
getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking
getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
getArgumentsWithConclusion(DefeasibleLogicProgram, FolFormula) - Static method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner: Returns all arguments with the given conclusion from the delp.
getArgumentTree(DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation: Returns the argument tree for the given argument.
getArgumentTypes() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
getArgumentTypes() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
getArity() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
getArity() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
getAssumptions() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getAssumptions() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getAssumptions() - Method in class net.sf.tweety.arg.lp.syntax.Argument: Returns the set of assumptions, i.e.
getAtom() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getAtom() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral
getAtom() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getAtoms() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns the set of propositions in all formulas in this law.
getAtoms() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
getAtoms() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
getAtoms() - Method in class net.sf.tweety.action.signature.FolAction: Returns all atoms, e.g.
getAtoms() - Method in class net.sf.tweety.arg.aba.syntax.AbaElement
getAtoms() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getAtoms() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
getAtoms() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
getAtoms() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getAtoms() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getAtoms() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula: Processes the set of all atoms which appear in this formula
getAtoms() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getAtoms() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
getAtoms() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
getAtoms() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
getAtoms() - Method in class net.sf.tweety.logics.fol.semantics.HerbrandBase: Returns all atoms of this Herbrand base.
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.Implication
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getAtoms() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getAtoms() - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandBase: Returns all atoms of this Herbrand base.
getAtoms() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getAtoms() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.Implication
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.Negation
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getAtoms() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
getAtoms() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getAtoms() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getAtoms() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getAtoms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getAtoms() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getAtoms() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getAtoms() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getAttacked() - Method in interface net.sf.tweety.arg.bipolar.syntax.Attack
getAttacked() - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack: returns the attacked argument of this attack relation.
getAttacked() - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack: returns the attacked argument of this attack relation.
getAttacked() - Method in class net.sf.tweety.arg.dung.syntax.Attack: returns the attacked argument of this attack relation.
getAttacked(BipolarEntity) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (argument,A) in attacks}.
getAttacked(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Computes the set {A | (argument,A) in attacks}.
getAttacker() - Method in interface net.sf.tweety.arg.bipolar.syntax.Attack
getAttacker() - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack: returns the attacking argument of this attack relation.
getAttacker() - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack: returns the attacking set of arguments of this attack relation.
getAttacker() - Method in class net.sf.tweety.arg.dung.syntax.Attack: returns the attacking argument of this attack relation.
getAttackers(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (A,argument) in attacks}.
getAttackers(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Computes the set {A | (A,argument) in attacks}.
getAttackingArguments(Argument) - Method in class net.sf.tweety.arg.lp.semantics.AttackRelation: Returns all arguments from the knowledgebase, that attack argument a.
getAttackingCandidates(DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets, which attack any argument in ext
getAttackingConclusions(AspicArgument<T>, RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner: Returns all "attacking conclusions" of the given argument.
getAttackingSets(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Computes the set {S | (S, argument) in attacks}.
getAttackOpportunities(DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: Computes the set of literals that disagree with the conclusion of a subargument of this argument
getAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Returns all attacks of this theory.
getAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework
getAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Returns all attacks of this theory.
getAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
getAttacks() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Returns all attacks of this theory.
getBeginColumn() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
getBeginColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getBeginColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getBeginColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
getBeginColumn() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getBeginLine() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
getBeginLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getBeginLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getBeginLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
getBeginLine() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getBeliefState() - Method in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent: Returns the belief state of the agent.
getBinarybase() - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld: Returns the binary base of this world, i.e.
getBinaryLocation() - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner: Returns the path of the EProver binary.
getBinaryLocation() - Method in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner: Returns the path of the Prover9 binaries.
getBipartitions(Set<E>) - Method in class net.sf.tweety.commons.util.SetTools: Computes every bipartition of the given set, e.g.
getBody() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getBooleanAnswer() - Method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
getCanonicalOrdering() - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet: Force ordering on belief set based on comparison of hash codes.
getCategories() - Method in class net.sf.tweety.machinelearning.TrainingSet: Returns the collection of categories present in this training set.
getCharacteristicProbabilisticExtension(DungTheory, AbstractArgumentationInterpretation) - Static method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Returns the characteristic probabilistic extension of the given interpretation, i.e.
getChild() - Method in class net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
getChildren() - Method in class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
getChildren() - Method in interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
getChildren() - Method in enum net.sf.tweety.arg.adf.syntax.acc.ContradictionAcceptanceCondition
getChildren() - Method in enum net.sf.tweety.arg.adf.syntax.acc.TautologyAcceptanceCondition
getChildren() - Method in class net.sf.tweety.arg.adf.syntax.Argument
getChildren(Node) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getChildren(Node) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getChildren(Node) - Method in class net.sf.tweety.graphs.DefaultGraph
getChildren(Node) - Method in interface net.sf.tweety.graphs.Graph: Returns the set of children (node connected via an undirected edge or a directed edge where the given node is the parent) of the given node.
getChildren(Node) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getClaim() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument: Returns the claim of this argument.
getClaim() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
getClaim() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Returns the claim of this argument structure, i.e.
getClassical() - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
getClosure(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.
getColumn() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream: Deprecated.
getColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Deprecated.
getColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Deprecated.
getColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream: Deprecated.
getColumn() - Method in class net.sf.tweety.preferences.io.SimpleCharStream: Deprecated.
getCommand() - Method in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin: This class returns the parameter used to call this plugin
getCommand() - Method in class net.sf.tweety.logics.pl.plugin.PlPlugin: returns the parameter used to call this plugin from the tweety cli
getCommand() - Method in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
getCommand() - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin: returns the command this plugin is called with
getCommand() - Method in interface net.sf.tweety.plugin.TweetyPlugin: returns the keyword used in the cli to call this plugin
getCommand() - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
getComparisonCriterion() - Method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner: returns the comparison criterion used in this program
getComplement() - Method in enum net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
getComplementGraph(int) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getComplementGraph(int) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getComplementGraph(int) - Method in class net.sf.tweety.graphs.DefaultGraph
getComplementGraph(int) - Method in interface net.sf.tweety.graphs.Graph: Returns the complement graph of this graph, i.e.
getComplementGraph(int) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getCompleteAssociatedDungTheory() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: constructs the complete associated dung theory of this bipolar argumentation framework i.e.
getCompleteConjunction(PlSignature) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld: Returns the complete conjunction representing this possible world wrt.
getComplexAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of complex attacks in this bipolar argumentation framework i.e.
getComponent(DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: finds the set of arguments S = {a | there exists an edge between a and argument}
getComponents() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getComponents(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Finds all components of a graph.
getConcept() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion: Get the concept of this assertional axiom (= the concept that the individual is an instance of).
getConcept() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction: Get the concept of the existential restriction.
getConcept() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction: Get the concept of the universal restriction.
getConcept(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the concept with the given name.
getConceptDomain(ComplexConcept) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation: Returns the subset of the domain that belongs to the given concept (the extension of the concept).
getConcepts() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the atomic concepts of the signature.
getConclusion() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getConclusion() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getConclusion() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getConclusion() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Returns Conc according to the ASPIC+ specification
getConclusion() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getConclusion() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
getConclusion() - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: returns the conclusion of this argument
getConclusion() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getConclusion() - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
getConclusion() - Method in class net.sf.tweety.commons.util.rules.Derivation: Returns the conclusion of this derivation.
getConclusion() - Method in interface net.sf.tweety.commons.util.rules.Rule: Returns the conclusion of this rule.
getConclusion() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getConclusion() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getConclusion() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getConclusion() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getConclusion() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getConclusion() - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule: Returns the conclusion of this rule.
getConclusions() - Method in class net.sf.tweety.arg.lp.syntax.Argument: Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.
getConclusions() - Method in class net.sf.tweety.commons.util.rules.RuleSet: Returns all conclusions of all rules of this rule set.
getConditionalGenerators(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure: Processes the Map form PossibleWorlds to the Generators of the given Conditional
getConditionals() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
getConflictbase() - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld: Returns the conflict base of this world, i.e.
getConflictFreeCandidateSets(DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets of bbase, that contain only arguments in candidates and all arguments are relevant an argument is considered relevant iff it attacks any argument in the same component as the given argument A
getConflictFreeSets(DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets of bbase, that contain only arguments in candidates
getConflicts(Extension, DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: computes the set of conflicts occurring inside ext
getConjunctionOfAllQueries() - Method in class net.sf.tweety.action.query.syntax.SActionQuerySet: Returns a conjunction of all contained queries.
getConjunctions() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getConstant(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Get the constant with the given name.
getConstants() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Returns the constants of this first-order logic signature.
getConstants() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure: Returns all constants that appear in this structure.
getConstraintTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getCorrespondingFolSignature() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Translates this DlSignature to a FolSignature, i.e.
getCredibilityOrder() - Method in class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet: Returns the credibility order of this belief set.
getCriteria() - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
getCurrentDiretory() - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler
getCurrentDiretory() - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
getCyclesExcludingSelfLoops(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Finds the cycles of an graph order-sensitively, excluding self-loops (cycles of length one).
getCyclesIncludingSelfLoops(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Finds the cycles of an graph order-sensitively, including self-loops (cycles of length one).
getCygwinShell(String) - Static method in class net.sf.tweety.commons.util.Shell: a wrapper around the cygwin shell
getDeactivatedArguments(Collection<BArgument>) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: computes the set of deactivated arguments of argumentSet a set of arguments S deactivates an argument a iff either S attacks a or S does not support a
getDeductiveArguments() - Method in class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase: Computes all deductive arguments.
getDeductiveArguments(PlFormula) - Method in class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase: Computes all deductive arguments for the given claim.
getDeductiveComplexAttacks() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of deductive complex attacks (d-attacks) in this bipolar argumentation framework i.e.
getDefaultEnumerator() - Static method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator: Returns the default MUS enumerator.

If a default MUS enumerator has been configured this enumerator is returned by this method.
getDefaultGeneralSolver() - Static method in class net.sf.tweety.math.opt.solver.Solver: Returns the default solver for non-linear (general) optimization problems.
getDefaultGraph() - Method in class net.sf.tweety.graphs.orders.Order
getDefaultIntegerLinearSolver() - Static method in class net.sf.tweety.math.opt.solver.Solver: Returns the default solver for integer linear optimization problems.
getDefaultLinearSolver() - Static method in class net.sf.tweety.math.opt.solver.Solver: Returns the default solver for linear optimization problems.

If a default solver for linear problems has been configured this solver is returned by this method.
getDefaultMetaVariable() - Method in class net.sf.tweety.arg.delp.semantics.CriterionOptionHandler
getDefaultReasoner() - Static method in class net.sf.tweety.logics.fol.reasoner.FolReasoner: Returns the default theorem prover
getDefaultReasoner() - Static method in class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner: Returns the default reasoner for modal logic
getDefaults() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
getDefaultSolver() - Static method in class net.sf.tweety.logics.pl.sat.SatSolver: Returns the default SAT solver.

If a default SAT solver has been configured this solver is returned by this method.
getDefaultValue() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Returns the default value of this parameter.
getDefeasibleRules() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Returns the DefRules according to ASPIC+ specification, i.e.
getDefeasibleSubs() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Determines subarguments with defeasible toprules, premises do not count as subrules
getDefeaters(DefeasibleLogicProgram, ComparisonCriterion) - Method in class net.sf.tweety.arg.delp.semantics.DialecticalTree: Computes the set of arguments which are defeaters for the argument in this tree node and returns the corresponding dialectical tree nodes with these defeaters.
getDefendedNotIn(Extension, DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: computes the set of arguments outside of ext, which are defended by ext
getDefensibleArguments(ArgumentationKnowledgeBase) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner: Returns the set of defensible arguments, i.e.
getDescription() - Method in class net.sf.tweety.plugin.parameter.CommandParameter: returns the description for this parameter
getDeviation(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure: Returns the deviation of the given conditional in the nearest consistent belief set.
getDialogueTrace() - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment: Returns the current dialogue trace.
getDialogueTrace() - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment: Returns the current dialogue trace.
getDialogueTrace() - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment: Returns the current dialogue trace.
getDirectSubs() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: The argument's direct children, whose conclusions fit its prerequisites
getDirectSupported(BipolarEntity) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (argument,A) in supports}.
getDirectSupporters(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (A,argument) in supports}.
getDisagreementSubargument(FolFormula, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: Computes the disagreement subargument of this argument for the given literal
getDisjunctions() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getDividers(DungTheory, Semantics) - Method in class net.sf.tweety.arg.dung.divisions.Division: Returns the dividers for this division, i.e.
getDividers(DungTheory, Semantics) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula: Returns the dividers for this formula, i.e.
getDivisions(Collection<Extension>, DungTheory) - Static method in class net.sf.tweety.arg.dung.divisions.Division: Returns all divisions of all given extensions and the given aaf.
getDivisions(Extension, DungTheory) - Static method in class net.sf.tweety.arg.dung.divisions.Division: Returns all divisions of aaf that arise from the given extension.
getDomainElements() - Method in interface net.sf.tweety.preferences.BinaryRelation: returns a set of the single elements in this binary relation
getDomainElements() - Method in class net.sf.tweety.preferences.PreferenceOrder: (re-)computes a set of single elements in this preference order
getDoubleAnswer() - Method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
getDualCoNorm() - Method in class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
getDualCoNorm() - Method in class net.sf.tweety.math.func.fuzzy.MinimumNorm
getDualCoNorm() - Method in class net.sf.tweety.math.func.fuzzy.ProductNorm
getDualCoNorm() - Method in class net.sf.tweety.math.func.fuzzy.TNorm: Returns the dual T-conorm of this T-norm.
getDualNorm() - Method in class net.sf.tweety.math.func.fuzzy.BoundedSum
getDualNorm() - Method in class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
getDualNorm() - Method in class net.sf.tweety.math.func.fuzzy.ProbabilisticSum
getDualNorm() - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm: Returns the dual T-norm of this T-conorm.
getDungTheory() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: This method translates this delp into an abstract Dung theory.
getDungTheory() - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: compute Dung Theory only containing attacks with weights greater than zero
getDungTheory(double) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: compute Dung Theory only containing attacks with weight above the given threshold
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner: Computes the Dung theory from which the answer will be derived
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.ModuleBasedAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.SimpleAspicReasoner
getDynamicLaws() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Returns a set of all dynamic laws contained in this action description.
getEdge(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getEdge(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getEdge(BpmnNode, BpmnNode) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getEdge(T, T) - Method in class net.sf.tweety.graphs.DefaultGraph
getEdge(T, T) - Method in interface net.sf.tweety.graphs.Graph: Returns the corresponding edge (a,b) if a and b are adjacent.
getEdges() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getEdges() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getEdges() - Method in class net.sf.tweety.graphs.DefaultGraph
getEdges() - Method in interface net.sf.tweety.graphs.Graph: Returns the edges of this graph.
getEdges() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getElement() - Method in class net.sf.tweety.preferences.update.Update: returns the fourth element of this quadruple
getElements() - Method in class net.sf.tweety.agents.dialogues.DialogueTrace: Returns all elements mentioned in this dialogue trace.
getElements() - Method in class net.sf.tweety.graphs.orders.Order: Returns the elements appearing in this order.
getElementsByValue(int) - Method in class net.sf.tweety.preferences.ranking.Functions: returns an entry set of all elements in this ranking function with the same rank (= value)
getEmpty(Extension, DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: dummy method used if only one ordering semantics is specified
getEmptySymbol() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
getEmptySymbol() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
getEmptySymbol() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
getEmptySymbol() - Method in class net.sf.tweety.logics.dl.syntax.Intersection
getEmptySymbol() - Method in class net.sf.tweety.logics.dl.syntax.Union
getEmptySymbol() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
getEmptySymbol() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
getEmptySymbol() - Method in class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction
getEmptySymbol() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
getEmptySymbol() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
getEmptySymbol() - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
getEmptySymbol() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getEndColumn() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
getEndColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getEndColumn() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getEndColumn() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
getEndColumn() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getEndLine() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
getEndLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getEndLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getEndLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
getEndLine() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getEntry(int, int) - Method in class net.sf.tweety.math.matrix.Matrix: Returns the entry with the given coordinates.
getEnvironment() - Method in class net.sf.tweety.agents.MultiAgentSystem: Returns the environment of this multi-agent system.
getEpistemicLabeling() - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Returns the epistemic labeling of this probabilistic extension, i.e.
getEpistemicProbability(Argument) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the epistemic probability of the given argument, i.e.
getEpistemicProbability(Attack) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the epistemic probability of the given attack, i.e.
getEquivalenceClasses() - Method in class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet: Determines the equivalence classes of this belief set, i.e.
getEquivalenceClasses(FolSignature) - Method in class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet: Determines the equivalence classes of this belief set wrt.
getEta() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: returns the special argument eta
getEvidenceSupportedArguments() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: returns all arguments that have evidential support in this framework
getExpectedUtility(ArgumentationLottery) - Method in class net.sf.tweety.arg.prob.lotteries.UtilityFunction: Returns the expected utility of the given lottery.
getExpectedUtility(LdoArgumentationLottery) - Method in class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction: Returns the expected utility of the given lottery.
getExtensions() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree
getFaction() - Method in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent: Returns the faction of the agent.
getFaction() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator: Returns the faction of the generated agents.
getFacts() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
getFacts() - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
getFalse(Argument) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping
getFalsifiyingWorlds(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
getFileFormat(String) - Static method in enum net.sf.tweety.arg.dung.parser.FileFormat: Returns the file format instance that corresponds to the given abbrevation
getFileFormats(String) - Static method in enum net.sf.tweety.arg.dung.parser.FileFormat: Returns a collection of file formats parsed from the given string which has to be in the format "[format1,...,formatn]".
getFilter() - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler
getFilter() - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
getFirst() - Method in class net.sf.tweety.commons.util.Pair: returns the first element of this pair
getFirst() - Method in class net.sf.tweety.commons.util.Triple: returns the first element of this triple
getFluentName(String) - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the fluent name predicate with the given name if one exists, null otherwise.
getFluentNames() - Method in class net.sf.tweety.action.signature.ActionSignature: Returns the set of fluent names contained in this action signature.
getFormat(String) - Static method in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
getFormula() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns the formula represented by this action query.
getFormula() - Method in class net.sf.tweety.arg.aba.syntax.Assumption: Returns the inner formula of this assumption.
getFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation: Returns the formula within this negation.
getFormula() - Method in class net.sf.tweety.beliefdynamics.mas.InformationObject: Returns the formula of this information object.
getFormula() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula
getFormula() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport: Returns the folFormula this quantified formula ranges over
getFormula() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
getFormula() - Method in class net.sf.tweety.logics.dl.syntax.Complement
getFormula() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getFormula() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getFormula() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getFormula() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula: Returns the inner formula of this modal formula.
getFormula() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula: Returns the inner formula.
getFormula() - Method in class net.sf.tweety.logics.pl.syntax.Negation: Returns the formula within this negation.
getFormula() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getFormula() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getFormulas() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns the set of formulas contained in this causal law, e.g.
getFormulas() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
getFormulas() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
getFormulas() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getFormulas() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getFormulas() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula
getFormulas() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
getFormulas() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
getFormulas() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction: Get the role and concept that are part of the existential restriction.
getFormulas() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction: Get the role and concept that are part of the universal restriction.
getFormulas() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence: Returns the formulas of the equivalence.
getFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Implication: Returns the formulas of the implication.
getFormulas() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence: Returns the formulas of the equivalence.
getFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Implication: Returns the formulas of the implication.
getFormulas() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getFormulas(Class<C>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getFormulas(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getFormulas(Class<C>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula: Process the formulas of type C that are children of this associative formula
getFormulas(Class<C>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
getFormulas(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getFormulas(Class<C>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getFormulas(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getFrom() - Method in class net.sf.tweety.action.transitionsystem.Transition: Returns the source state of this transition.
getFrom() - Method in interface net.sf.tweety.arg.adf.semantics.link.Link
getFrom() - Method in class net.sf.tweety.arg.adf.semantics.link.SimpleLink
getFunction() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom: Returns the aggregate function.
getFunctionalTerms() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure: Returns all functional terms that appear in this structure.
getFunctions() - Method in class net.sf.tweety.math.opt.rootFinder.RootFinder: Returns the function of this root finder.
getFunctor() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
getFunctor(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Get the functor with the given name.
getFunctors() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getFunctors() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getFunctors() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Returns the functors of this first-order logic signature.
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.Implication
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure: Returns all functors that appear in this structure.
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getFunctors() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getFunctors() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getFunctors() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getFunctors() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getFunctors() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getFunctors() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getGroundingRequirements() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns all grounding requirements, that have to be met, when this action query is grounded.
getHead() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getHeadFormula() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns the headFormula of this causal law.
getIdentifier() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule: Returns the name if it has one, else it returns the hashcode
getIdentifier() - Method in class net.sf.tweety.plugin.parameter.CommandParameter: returns this parameters name (the identifier)
getIdentityMatrix(int) - Static method in class net.sf.tweety.math.matrix.Matrix: Returns the identity matrix of the given dimension.
getIfFormula() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns the ifFormula of this causal law.
GetImage() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
GetImage() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
GetImage() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
GetImage() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
GetImage() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getImagPart() - Method in class net.sf.tweety.math.ComplexNumber: Returns the imaginary part of this complex number.
getIn() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
getInconsistencyMeasure(InconsistencyMeasureFactory.Measure) - Static method in class net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory: Creates a new inconsistency measure of the given type with default settings.
getInconsistencyMeasureProcess(FormulaStream<S>) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
getInconsistencyMeasureProcess(FormulaStream<S>) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure: Processes the formulas in the given stream one after the other.
getInconsistencyValue() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Returns the current inconsistency value of this stream processing or the last value if the stream processing has finalized.
getIndividual() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion: Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)
getIndividual(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the individual with the given name.
getIndividuals() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the individuals of the signature.
getIndividuals() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion: Get the individuals of this assertional axiom (= the individuals that are instances of the role)
getInducedSubgraphs() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getInducedSubgraphs(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Finds all induced subgraphs.
getInferenceRule(T, AspicArgumentationTheory<T>) - Method in class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator: Transforms a formula of type T into a corresponding defeasible ASPIC inference rule form the knowledge base kb
getInferenceType() - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Returns the inference type of this reasoner, i.e.
getInnerActions() - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery
getInnerActions() - Method in class net.sf.tweety.action.query.syntax.HoldsQuery
getInnerActions() - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
getInnerActions() - Method in class net.sf.tweety.action.query.syntax.QueryProposition: Returns the set of all actions contained in this query proposition.
getInnerActions() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns all actions, which occur in action sequences in necessarily queries in this action query.
getInnerAtoms() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns all inner atoms, which occur in state formulas and actions in this action query.
getInnerFormula() - Method in class net.sf.tweety.action.query.syntax.QueryProposition: Returns the inner formula of this query proposition, e.g.
getInnerFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality: Returns the inner formula of this modality.
getInnerFormulas() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns all inner formulas that are contained in query propositions in this action query.
getInnerVariables() - Method in class net.sf.tweety.action.query.syntax.SActionQuery: Returns all inner variables, which occur in state formulas and actions in this action query.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.CanonicalUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.Defeat: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.DirectDefeat: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.DirectUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.Rebuttal: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.deductive.semantics.attacks.Undercut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.Attack: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.Defeat: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.Rebut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class net.sf.tweety.arg.lp.semantics.attack.Undercut: Returns the singleton instance of this class.
getIntegerMaximum() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Get the upper integer bound.
getInterpolants(Collection<PlFormula>, Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.SimplePlInterpolantEnumerator
getInterpolants(Collection<S>, Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator: Returns the set of all interpolants of K1 wrt.
getInterval() - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter: returns each possible selection argument
getIntervalset() - Method in class net.sf.tweety.math.Interval
getJamaMatrix() - Method in class net.sf.tweety.math.matrix.Matrix: Creates the Jama matrix representation of this matrix.
getJustification() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getJustifiedArguments(ArgumentationKnowledgeBase) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner: Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
getKernels(Collection<PlFormula>, PlFormula) - Method in class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
getKernels(Collection<T>, T) - Method in interface net.sf.tweety.commons.KernelProvider: Retrieves the set of kernels for the given formula from the given set of formulas.
getLastAnswerset() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
getLastProjectedAnswerSet() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
getLdoArgument() - Method in class net.sf.tweety.arg.dung.syntax.Argument
getLdoFormula() - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
getLdoFormula() - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack
getLdoFormula() - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport
getLdoFormula() - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack
getLdoFormula() - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport
getLdoFormula() - Method in class net.sf.tweety.arg.dung.syntax.Argument
getLdoFormula() - Method in class net.sf.tweety.arg.dung.syntax.Attack
getLdoFormula() - Method in interface net.sf.tweety.arg.dung.syntax.DungEntity: Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
getLeft() - Method in class net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
getLeft() - Method in class net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
getLeft() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
getLeft() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement: Returns the left part of the Aggregate element.
getLeft() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm: Returns the left subterm of this arithmetic term.
getLeft() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom: Returns the left (first) term of the comparative atom.
getLeftGuard() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom: Get the left relation term (right guard).
getLeftOperator() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom: Returns the operator of the left aggregate relation.
getLeftTerm() - Method in class net.sf.tweety.math.equation.Statement: Returns the left term of this statement.
getLevel() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getLevelingFunction() - Method in class net.sf.tweety.preferences.PreferenceOrder: returns the ranking function for this preference order
getLevelingFunction() - Method in class net.sf.tweety.preferences.ranking.Functions: returns the ranking function
getLevelingFunction() - Method in class net.sf.tweety.preferences.ranking.LevelingFunction: returns this leveling function
getLine() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream: Deprecated.
getLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Deprecated.
getLine() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Deprecated.
getLine() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream: Deprecated.
getLine() - Method in class net.sf.tweety.preferences.io.SimpleCharStream: Deprecated.
getLink(Link) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping
getLink(Argument, Argument) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping
getListLastDefeasibleRules() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.
getLiteral() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula: Returns all literals, i.e.
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
getLiterals() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.Implication
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.Negation
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Returns all literals, i.e.
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getLiterals() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
getLiterals() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getLiterals() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPBodyElement: Returns all literals in this element in form of a SortedSet.
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead: Returns all literals in this element in form of a SortedSet.
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getLiterals() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getLiteralsWithName(String) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet: Returns all literals of a given name in the AnswerSet.
getLogLevel(String) - Static method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
getLowerBound() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Returns the lower bound of this parameter.
getLowerBound() - Method in class net.sf.tweety.math.Interval: Returns the lower bound
getLowerBound() - Method in class net.sf.tweety.math.term.Variable: Returns the lower bound of this variable.
getLowerReferenceArguments() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality: Returns the lower reference arguments of this modality.
getLpT(CActionDescription, ActionSignature, int) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator: Calculates an extended logic programm lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D.
getMapping(HerbrandInterpretation, Set<Predicate>, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld: Determines the reference world of the given interpretation wrt.
getMarking() - Method in class net.sf.tweety.arg.delp.semantics.DialecticalTree: Computes the marking of this node by considering the marking of all child nodes
getMaximalConflictFreeSets(DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.NaiveReasoner: computes all maximal conflict-free sets of bbase
getMaximallyAcceptedArguments(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.semantics.ArgumentRanking: Returns the set of all arguments a from the given set that are maximally accepted, i.e.
getMaximums() - Method in class net.sf.tweety.math.equation.Statement: Returns all maximums of this statement.
getMaximums() - Method in class net.sf.tweety.math.term.AssociativeOperation
getMaximums() - Method in class net.sf.tweety.math.term.Constant
getMaximums() - Method in class net.sf.tweety.math.term.Difference
getMaximums() - Method in class net.sf.tweety.math.term.Fraction
getMaximums() - Method in class net.sf.tweety.math.term.FunctionalTerm
getMaximums() - Method in class net.sf.tweety.math.term.Maximum
getMaximums() - Method in class net.sf.tweety.math.term.Minimum
getMaximums() - Method in class net.sf.tweety.math.term.Term: Returns all maximums of this term.
getMaximums() - Method in class net.sf.tweety.math.term.Variable
getMaxLength() - Method in class net.sf.tweety.commons.BeliefSetSampler: Returns the max length of kbs of this sampler.
getMaxNumOfModels() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Get the maximum number of models to be generated.
getMeasure(String) - Static method in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
getMediatedAttacks(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of mediated attack from "arg1" to other arguments "y", i.e.
getMessage() - Method in error net.sf.tweety.arg.delp.parser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in error net.sf.tweety.lp.asp.parser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception net.sf.tweety.math.opt.problem.ProblemInconsistentException
getMessage() - Method in exception net.sf.tweety.math.opt.ProblemInconsistentException
getMessage() - Method in error net.sf.tweety.preferences.io.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMetaFramework() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: constructs the meta dung theory of this bipolar argumentation framework by adding meta-arguments for every attack and support relation See Boella et al.
getMiComponents(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
getMiComponents(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator: Computes the maximal (wrt.
getMinimalEvidenceSupportedAttackers(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: computes all subsets which carry out a minimal evidence supported attack on argument
getMinimalEvidentialSupporters(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: computes all subsets which minimal e-support argument
getMinimalForm() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: calculates the minimal form of this argumentation framework ie.
getMinimallyAcceptedArguments(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.semantics.ArgumentRanking: Returns the set of all arguments a from the given set that are minimally accepted, i.e.
getMinimalSignature() - Method in class net.sf.tweety.action.description.syntax.CActionDescription
getMinimalSignature() - Method in class net.sf.tweety.action.query.syntax.SActionQuerySet
getMinimalSignature() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getMinimalSignature() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
getMinimalSignature() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
getMinimalSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getMinimalSignature() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
getMinimalSignature() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
getMinimalSignature() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getMinimalSignature() - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase
getMinimalSignature() - Method in class net.sf.tweety.arg.prob.syntax.PartialProbabilityAssignment
getMinimalSignature() - Method in class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
getMinimalSignature() - Method in interface net.sf.tweety.commons.BeliefBase: Returns the signature of the language of this knowledge base.
getMinimalSignature() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getMinimalSignature() - Method in class net.sf.tweety.logics.cl.syntax.ClBeliefSet
getMinimalSignature() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
getMinimalSignature() - Method in class net.sf.tweety.logics.dl.syntax.DlBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.fol.syntax.FolBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.ml.syntax.MlBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
getMinimalSignature() - Method in class net.sf.tweety.logics.pcl.syntax.PclBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.rcl.syntax.RclBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
getMinimalSignature() - Method in class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet
getMinimalSignature() - Method in class net.sf.tweety.lp.asp.syntax.Program
getMinimalSignature() - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
getMinimums() - Method in class net.sf.tweety.math.equation.Statement: Returns all minimums of this statement.
getMinimums() - Method in class net.sf.tweety.math.opt.problem.ConstraintSatisfactionProblem: Returns all minimums appearing in this problem.
getMinimums() - Method in class net.sf.tweety.math.opt.problem.OptimizationProblem
getMinimums() - Method in class net.sf.tweety.math.term.AssociativeOperation
getMinimums() - Method in class net.sf.tweety.math.term.Constant
getMinimums() - Method in class net.sf.tweety.math.term.Difference
getMinimums() - Method in class net.sf.tweety.math.term.Fraction
getMinimums() - Method in class net.sf.tweety.math.term.FunctionalTerm
getMinimums() - Method in class net.sf.tweety.math.term.Maximum
getMinimums() - Method in class net.sf.tweety.math.term.Minimum
getMinimums() - Method in class net.sf.tweety.math.term.Term: Returns all minimums of this term.
getMinimums() - Method in class net.sf.tweety.math.term.Variable
getMinLength() - Method in class net.sf.tweety.commons.BeliefSetSampler: Returns the min length of kbs of this sampler.
getModel(B) - Method in interface net.sf.tweety.commons.ModelProvider: Returns a single (dedicated) model of the given belief base.
getModel(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner
getModel(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
getModel(DeductiveArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.deductive.ClosureReasoner
getModel(DeductiveArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.deductive.SafetyReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.AdmissibleReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.CompleteReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.ConflictFreeReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.GroundedReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.PreferredReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
getModel(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.StableReasoner
getModel(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.AdmissibleReasoner
getModel(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.CompleteReasoner
getModel(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.GroundedReasoner
getModel(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.PreferredReasoner
getModel(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.StableReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.NaiveReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.QualifiedReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SccCF2Reasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SCF2Reasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SCOOCNaiveReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SemiQualifiedReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleConflictFreeReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleGroundedReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleIdealReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimplePreferredReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleSemiStableReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleStableReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleStageReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.Stage2Reasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: returns one weakly admissible set of bbase
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.CountingRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.MTRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.ProbabilisticRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner
getModel(SocialAbstractArgumentationFramework) - Method in class net.sf.tweety.arg.social.reasoner.IssReasoner
getModel(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModel(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.CReasoner
getModel(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner
getModel(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
getModel(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.ZReasoner
getModel(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner
getModel(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner
getModel(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
getModel(PclBeliefSet, PlSignature) - Method in class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner: Computes the ME-distribution this reasoner bases on.
getModel(PclBeliefSet, PlSignature) - Method in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner: Computes the ME-distribution this reasoner bases on.
getModel(RclBeliefSet) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
getModel(RclBeliefSet, FolSignature) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner: Retrieves the C representation of the given belief set wrt.
getModel(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner
getModel(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
getModel(RpclBeliefSet, FolSignature) - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Determines the ME distribution of the given knowlege base wrt.
getModel(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
getModel(Program) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
getModel(Program, int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getModels() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Returns the set of models of this formula wrt.
getModels(B) - Method in interface net.sf.tweety.commons.ModelProvider: Returns a characterizing model of the given belief base
getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base.
getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
getModels(File) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base.
getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
getModels(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.CompleteReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.FlatAbaReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.IdealReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.PreferredReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.StableReasoner
getModels(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.reasoner.WellFoundedReasoner
getModels(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
getModels(DeductiveArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.deductive.ClosureReasoner
getModels(DeductiveArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.deductive.SafetyReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.AdmissibleReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.CompleteReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.ConflictFreeReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.GroundedReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.PreferredReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
getModels(EvidentialArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.evidential.StableReasoner
getModels(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.AdmissibleReasoner
getModels(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.CompleteReasoner
getModels(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.GroundedReasoner
getModels(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.PreferredReasoner
getModels(NecessityArgumentationFramework) - Method in class net.sf.tweety.arg.bipolar.reasoner.necessity.StableReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.NaiveReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: compute a meta graph for the ordering of the subsets over the given theory
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.QualifiedReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SccCF2Reasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SCF2Reasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SCOOCNaiveReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SemiQualifiedReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleConflictFreeReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleGroundedReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleIdealReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimplePreferredReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleSemiStableReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleStableReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleStageReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.Stage2Reasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all weakly admissible sets of bbase.
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.CountingRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.MTRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.ProbabilisticRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner
getModels(SocialAbstractArgumentationFramework) - Method in class net.sf.tweety.arg.social.reasoner.IssReasoner
getModels(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModels(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner
getModels(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner
getModels(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Implication
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Negation
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Returns the set of models of this formula wrt.
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getModels(PlSignature) - Method in class net.sf.tweety.logics.pl.syntax.Tautology
getModels(PlSignature) - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getModels(PlSignature) - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getModels(RclBeliefSet) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
getModels(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner
getModels(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver
getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
getModels(Program) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
getModels(Program, int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getMultiAgentSystem() - Method in class net.sf.tweety.agents.ActionEvent
getMultiplicator(FolFormula) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld: Returns the multiplicator of this reference world for the given formula, i.e.
getName() - Method in interface net.sf.tweety.action.signature.ActionName: Returns the name of this action.
getName() - Method in interface net.sf.tweety.action.signature.FluentName: Returns the name of this fluent.
getName() - Method in class net.sf.tweety.action.signature.FolAction
getName() - Method in class net.sf.tweety.agents.Agent: Returns the name of this agent.
getName() - Method in class net.sf.tweety.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
getName() - Method in class net.sf.tweety.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
getName() - Method in class net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
getName() - Method in class net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
getName() - Method in class net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
getName() - Method in class net.sf.tweety.arg.adf.syntax.Argument
getName() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule: Returns the name
getName() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getName() - Method in class net.sf.tweety.arg.dung.syntax.Argument: returns the name of the argument
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaAbstraction
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfAttackBranch
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfDefenseBranch
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaAttackVsFullDefense
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaCardinalityPrecedence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaCounterTransitivity
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaDefensePrecedence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaDistDefensePrecedence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaIncreaseOfAttackBranch
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaIncreaseOfDefenseBranch
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaIndependence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaNonAttackedEquivalence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaQualityPrecedence
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaSelfContradiction
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaStrictCounterTransitivity
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaTotal
getName() - Method in class net.sf.tweety.arg.rankings.postulates.RaVoidPrecedence
getName() - Method in interface net.sf.tweety.commons.postulates.Postulate: The textual name of the postulate
getName() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
getName() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
getName() - Method in class net.sf.tweety.logics.commons.syntax.Sort
getName() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
getName() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
getName() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
getName() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImAdjunctionInvariance
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImAttenuation
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImConsistency
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImContradiction
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImDominance
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImEqualConflict
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImExchange
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImIrrelevanceOfSyntax
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImMINormalization
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImMISeparability
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImMonotony
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImNormalization
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImPenalty
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImSafeFormulaIndependence
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImSuperAdditivity
getName() - Method in class net.sf.tweety.logics.pl.postulates.ImWeakDominance
getName() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getName() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getName() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getName() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Returns the name of this parameter.
getName() - Method in class net.sf.tweety.math.term.Variable: Returns the name of this variable.
getNativeShell() - Static method in class net.sf.tweety.commons.util.Shell: a wrapper for the os' native shell
getNegations() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getNegative(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework: Returns the number of negative votes of the given argument
getNegativeInstances(Postulate<S>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport: Returns the negative instances for the given postulate
getNeighbors(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getNeighbors(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getNeighbors(BpmnNode) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getNeighbors(T) - Method in class net.sf.tweety.graphs.DefaultGraph
getNeighbors(T) - Method in interface net.sf.tweety.graphs.Graph: Returns the set of neighbors of the given node.
getNextToken() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
getNextToken() - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
getNextToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
getNextToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
getNextToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
getNextToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Get the next Token.
getNextToken() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
getNextToken() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
getNextToken() - Method in class net.sf.tweety.preferences.io.POParser
getNextToken() - Method in class net.sf.tweety.preferences.io.POParserTokenManager
getNextToken() - Method in class net.sf.tweety.preferences.io.UPParser: Get the next Token.
getNextToken() - Method in class net.sf.tweety.preferences.io.UPParserTokenManager: Get the next Token.
getNodeA() - Method in class net.sf.tweety.graphs.Edge: Returns the first node of this edge.
getNodeB() - Method in class net.sf.tweety.graphs.Edge: Returns the second node of this edge.
getNodes() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getNodes() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getNodes() - Method in class net.sf.tweety.graphs.DefaultGraph
getNodes() - Method in interface net.sf.tweety.graphs.Graph: Returns the nodes of this graph.
getNodes() - Method in class net.sf.tweety.graphs.orders.Order
getNodes() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getNodes() - Method in class net.sf.tweety.logics.ml.semantics.AccessibilityRelation: Returns all interpretations of the accessibility relation.
getNumberOfNodes() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getNumberOfNodes() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getNumberOfNodes() - Method in class net.sf.tweety.graphs.DefaultGraph
getNumberOfNodes() - Method in interface net.sf.tweety.graphs.Graph: Returns the number of nodes in this graph.
getNumberOfNodes() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getNumberOfPathsOfLength(DungTheory, Argument, int) - Method in class net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner: Returns the number of linear discussions of the given length in the given DungTheory for the given argument.
getObj1() - Method in class net.sf.tweety.preferences.Quadruple: returns the first element of this quadruple
getObj2() - Method in class net.sf.tweety.preferences.Quadruple: returns the second element of this quadruple
getObj3() - Method in class net.sf.tweety.preferences.Quadruple: returns the third element of this quadruple
getObj4() - Method in class net.sf.tweety.preferences.Quadruple: returns the fourth element of this quadruple
getObject() - Method in class net.sf.tweety.commons.Writer: Returns the object of this writer.
getObservations(T) - Method in class net.sf.tweety.machinelearning.TrainingSet: Returns all observations of the given category.
getOnes(int, int) - Static method in class net.sf.tweety.math.util.OjAlgoMathUtils: Create (m,n)-matrix containing only ones.
getOperation() - Method in class net.sf.tweety.preferences.update.Update: returns the second element of this quadruple
getOperator() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm: Returns the operator of this arithmetic term.
getOperator() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom: Returns the comparative operator of the atom.
getOperatorSymbol() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
getOperatorSymbol() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
getOperatorSymbol() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
getOperatorSymbol() - Method in class net.sf.tweety.logics.dl.syntax.Intersection
getOperatorSymbol() - Method in class net.sf.tweety.logics.dl.syntax.Union
getOperatorSymbol() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
getOperatorSymbol() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
getOperatorSymbol() - Method in class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction
getOperatorSymbol() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
getOperatorSymbol() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
getOperatorSymbol() - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
getOperatorSymbol() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getOptimalInterpretation(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure: Returns an optimal interpretation as a witness for the inconsistency value.
getOptimizedWorld() - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
getOrder() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
getOrdinaryPremises() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
getOut() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
getOutput() - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver
getOutput() - Method in class net.sf.tweety.plugin.PluginOutput
getOutput(StructuredArgumentationFramework) - Method in class net.sf.tweety.arg.saf.reasoner.OutputReasoner: Returns the output this reasoner bases upon.
getOutputVariable() - Method in class net.sf.tweety.logics.qbf.parser.QCirParser
getOutputWhitelist() - Method in class net.sf.tweety.lp.asp.syntax.Program: Returns the whitelist of predicates.
getOverruledArguments(ArgumentationKnowledgeBase) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner: Returns the set of overruled arguments, i.e.
getParameter(TrainingParameter) - Method in class net.sf.tweety.machinelearning.ParameterSet: Returns the parameter of this set with the same name as the given parameter (or throws an IllegalArgumentException)
getParameters() - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin: returns all possible parameters
getParameters() - Method in interface net.sf.tweety.plugin.TweetyPlugin: returns parameters allowed with plugin calls
getParameters() - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
getParameterSet() - Method in class net.sf.tweety.machinelearning.ParameterTrainer
getParameterSet() - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
getParameterSet() - Method in interface net.sf.tweety.machinelearning.Trainer: Returns the set of parameters for this trainer.
getParents(Node) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getParents(Node) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getParents(Node) - Method in class net.sf.tweety.graphs.DefaultGraph
getParents(Node) - Method in interface net.sf.tweety.graphs.Graph: Returns the set of parents (node connected via an undirected edge or a directed edge where the given node is the child) of the given node.
getParents(Node) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getParser(FileFormat) - Static method in class net.sf.tweety.arg.dung.parser.AbstractDungParser: Retrieves the parser for the given file format.
getParserForFormat(PlParserFactory.Format) - Static method in class net.sf.tweety.logics.pl.parser.PlParserFactory: Retrieves an appropriate parser for the given format.
getPathsOfHigherSize(HashSet<ArrayList<Argument>>, DungTheory) - Static method in class net.sf.tweety.arg.rankings.util.RankingTools: Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.
getPerceivedDungTheory(Extension) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment: Returns the view of the universal Dung theory restricted to the given set of arguments.
getPerceivedDungTheory(Extension) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment: Returns the view of the universal Dung theory restricted to the given set of arguments.
getPercepts(Agent) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
getPercepts(Agent) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
getPercepts(Agent) - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
getPercepts(Agent) - Method in interface net.sf.tweety.agents.Environment: Retrieves the current percepts for the given agent.
getPlausibleWorlds() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Returns all interpretations that are mapped to 0
getPositive(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework: Returns the number of positive votes of the given argument
getPositiveFluents() - Method in class net.sf.tweety.action.transitionsystem.State: Returns the set of fluent atoms that are mapped to true by this state.
getPossibleInterpretations() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction: Returns all interpretations that are mapped to a rank unequal to INFINITY.
getPossibleOutcomes() - Method in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Returns the set of possible outcomes.
getPossibleOutcomes() - Method in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery: Returns the set of possible outcomes.
getPossibleWorlds() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
getPossibleWorlds() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Returns all interpretations that are mapped to a rank unequal to INFINITY.
getPredecessors(Map.Entry<T, Integer>) - Method in class net.sf.tweety.preferences.ranking.Functions: returns a set of predecessor elements for the given entry
getPredicate() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getPredicate() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
getPredicate() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
getPredicate() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
getPredicate() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom: Returns the predicate of this atom
getPredicate() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getPredicate() - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment: Returns the predicate of this assignment.
getPredicate() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getPredicate() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getPredicate(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Get the predicate with the given name.
getPredicateCls() - Method in class net.sf.tweety.arg.aba.syntax.AbaElement
getPredicateCls() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getPredicateCls() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
getPredicateCls() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getPredicateCls() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getPredicateCls() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
getPredicateCls() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
getPredicateCls() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
getPredicateCls() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
getPredicateCls() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getPredicateCls() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getPredicateCls() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getPredicates() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getPredicates() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getPredicates() - Method in class net.sf.tweety.arg.aba.syntax.Negation
getPredicates() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getPredicates() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
getPredicates() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
getPredicates() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getPredicates() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getPredicates() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula: Processes the set of all predicates which appear in this formula
getPredicates() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.Complement
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
getPredicates() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Returns the predicates of this first-order logic signature.
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.Implication
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getPredicates() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getPredicates() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getPredicates() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.Implication
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.Negation
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getPredicates() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
getPredicates() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getPredicates() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getPredicates() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getPredicates() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getPredicates() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getPredicates() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getPredicates() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getPreferenceOrderIndex() - Method in class net.sf.tweety.preferences.update.Update: returns the first element of this quadruple
getPreimage(Argument) - Method in class net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction: Returns the argument which maps to the set containing the given argument.
getPremise() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getPremise() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getPremise() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getPremise() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
getPremise() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getPremise() - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
getPremise() - Method in interface net.sf.tweety.commons.util.rules.Rule: Returns the premise of this rule.
getPremise() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getPremise() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getPremise() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getPremise() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getPremise() - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule: Returns the premise of this rule.
getPremises() - Method in class net.sf.tweety.commons.util.rules.RuleSet: Returns all premises appearing in this rule set.
getPrerequisite() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getPrimeImplicants() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Returns the set of prime implicants of this formula.
getProbability() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional: Returns the probability of this conditional.
getProbability() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional: Returns the probability of this conditional.
getProbability(Argument) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Returns the probability of the given argument.
getProbability(Attack) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Returns the probability of the given attack.
getProbability(DungTheory) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Computes the probability of the given AAF wrt.
getProbabilityVector() - Method in class net.sf.tweety.math.probability.ProbabilityFunction: Returns the vector of probabilities, depending on the order of the domain elements (which can be ordered as they implement Comparable).
getProbabilityVectorAsDoubles() - Method in class net.sf.tweety.math.probability.ProbabilityFunction: Returns the vector of probabilities, depending on the order of the domain elements (which can be ordered as they implement Comparable).
getProblem(String) - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem: Returns the problem instance that corresponds to the given abbreviation.
getProblems(String) - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem: Returns a collection of problems parsed from the given string which has to be in the format "[problem1,...,problemn]".
getProcesses() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree
getProducts() - Method in class net.sf.tweety.math.term.AssociativeOperation
getProducts() - Method in class net.sf.tweety.math.term.Constant
getProducts() - Method in class net.sf.tweety.math.term.Difference
getProducts() - Method in class net.sf.tweety.math.term.Fraction
getProducts() - Method in class net.sf.tweety.math.term.FunctionalTerm
getProducts() - Method in class net.sf.tweety.math.term.Product
getProducts() - Method in class net.sf.tweety.math.term.Term: Returns all products of this term.
getProducts() - Method in class net.sf.tweety.math.term.Variable
getPropositionalCharacterisation(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner: Creates a propositional representation of the set of labelings of the given Dung theory that are consistent with the given semantics.
getQuantifiedFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getQuantifiedFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getQuantifiedFormulas() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getQuantifierVariables() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getQuantifierVariables() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport: Returns the variables of this quantified formula.
getQuantifierVariables() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getQuantifierVariables() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getQuantifierVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getQuery() - Method in class net.sf.tweety.lp.asp.syntax.Program: Returns the query of the program, if there is one.
getRandomDistribution(RpclSemantics, FolSignature, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns a random distribution on the given signature.
getRankingFunction() - Method in class net.sf.tweety.preferences.ranking.LevelingFunction
getRankingFunction() - Method in class net.sf.tweety.preferences.ranking.RankingFunction: returns the ranking function
getRealPart() - Method in class net.sf.tweety.math.ComplexNumber: Returns the real part of this complex number.
getReduct(DungTheory, Extension) - Method in class net.sf.tweety.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes the reduct of bbase wrt.
getRelationSymbol() - Method in class net.sf.tweety.math.equation.Equation
getRelationSymbol() - Method in class net.sf.tweety.math.equation.Inequation
getRelationSymbol() - Method in class net.sf.tweety.math.equation.Statement: Returns the relation symbol of this statement.
getRepresentationStructure() - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
getRestriction(Collection<BArgument>) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getRestriction(Collection<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getRestriction(Collection<BpmnNode>) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getRestriction(Collection<T>) - Method in class net.sf.tweety.graphs.DefaultGraph
getRestriction(Collection<T>) - Method in interface net.sf.tweety.graphs.Graph: Returns copy of this graph consisting only of the given nodes and all corresponding edges.
getResult() - Method in class net.sf.tweety.preferences.events.UpdateEvent: returns the result for this update event
getRight() - Method in class net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
getRight() - Method in class net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
getRight() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
getRight() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement: Returns the right part of the Aggregate element.
getRight() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm: Returns the right subterm of this arithmetic term.
getRight() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom: Returns the right (second) term of the comparative atom.
getRightGuard() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom: Returns the right relation term (right guard).
getRightOperator() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom: Returns the operator of the right aggregate relation.
getRightTerm() - Method in class net.sf.tweety.math.equation.Statement: Returns the right term of this statement.
getRole() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction: Get the role of the existential restriction.
getRole() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion: Get the role that the individuals of this assertional axiom are instances of.
getRole() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction: Get the role of the universal restriction.
getRole(String) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the role with the given name.
getRoleDomain(AtomicRole) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation: Returns the subset of the domain that belongs to the given role (the extension of the role).
getRoles() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Get the role names of the signature.
getRoot() - Method in class net.sf.tweety.arg.deductive.semantics.ArgumentTree: Returns the root node of this tree.
getRule() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getRuleFormula(DefeasibleInferenceRule<FolFormula>) - Method in class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator
getRuleFormula(DefeasibleInferenceRule<PlFormula>) - Method in class net.sf.tweety.arg.aspic.ruleformulagenerator.PlFormulaGenerator
getRuleFormula(DefeasibleInferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.ruleformulagenerator.RuleFormulaGenerator: Transforms a defeasible ASPIC inference rule into a corresponding formula of type T
getRuleFormulaGenerator() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Returns the generator to transform rules into words of the language they range over
getRules() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
getRules() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
getRulesWithConclusion(Formula) - Method in class net.sf.tweety.commons.util.rules.RuleSet: Returns all rules this set with the given conclusion
getRulesWithHead(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Returns all defeasible and strict rules appearing in this program with the given literal as head
getRulesWithHead(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: Returns all defeasible rules of the support of this argument with the given literal as head
getSamplerSignature() - Method in class net.sf.tweety.commons.BeliefSetSampler: Returns the signature of this sampler.
getSatisfactionRatio() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula: Returns the ratio of worlds not satisfying this formula to worlds satisfying this formula.
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics: Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.AbstractPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.CoherentPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.FoundedPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.NeutralPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in interface net.sf.tweety.arg.prob.semantics.PASemantics: Returns the mathematical statement corresponding to the satisfaction of the given theory wrt.
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.RationalPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics
getScreen() - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns the screened rules that are contained in every remainder set.
getScriptLocation() - Method in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner: Get the mleancop.sh path.
getSecond() - Method in class net.sf.tweety.commons.util.Pair: returns the second element of this pair
getSecond() - Method in class net.sf.tweety.commons.util.Triple: returns the second element of this triple
getSelections() - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter: returns each possible selection argument
getSemantics() - Method in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the semantics.
getSemantics() - Method in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Returns the used semantics.
getSemantics() - Method in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery: Returns the used semantics.
getSemantics() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the semantics of this distribution.
getSignature() - Method in class net.sf.tweety.action.description.parser.CParser
getSignature() - Method in class net.sf.tweety.action.description.syntax.CLaw
getSignature() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
getSignature() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
getSignature() - Method in class net.sf.tweety.action.query.syntax.SActionQuery
getSignature() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns the action signature of this transition system.
getSignature() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getSignature() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getSignature() - Method in class net.sf.tweety.arg.aba.syntax.Negation
getSignature() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
getSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack
getSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport
getSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack
getSignature() - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport
getSignature() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
getSignature() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
getSignature() - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: Always null.
getSignature() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getSignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
getSignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
getSignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
getSignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
getSignature() - Method in class net.sf.tweety.arg.dung.syntax.Argument
getSignature() - Method in class net.sf.tweety.arg.dung.syntax.Attack
getSignature() - Method in class net.sf.tweety.arg.lp.syntax.Argument
getSignature() - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
getSignature() - Method in class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework
getSignature() - Method in class net.sf.tweety.beliefdynamics.mas.InformationObject
getSignature() - Method in class net.sf.tweety.commons.BeliefSet: Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).
getSignature() - Method in interface net.sf.tweety.commons.Formula: Returns the signature of the language of this formula.
getSignature() - Method in class net.sf.tweety.commons.FormulaSampler: Returns the signature of this sampler.
getSignature() - Method in interface net.sf.tweety.commons.util.rules.Rule
getSignature() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnFormula
getSignature() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
getSignature() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Returns the signature of the first-order language this ranking function is defined on.
getSignature() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
getSignature() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getSignature() - Method in class net.sf.tweety.logics.dl.parser.DlParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.Complement
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
getSignature() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
getSignature() - Method in class net.sf.tweety.logics.fol.parser.FolParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.fol.parser.TPTPParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
getSignature() - Method in class net.sf.tweety.logics.ml.parser.MlParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getSignature() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getSignature() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: Returns the signature of the underlying language.
getSignature() - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld: Returns the signature of this world.
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.Implication
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.Negation
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
getSignature() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
getSignature() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
getSignature() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
getSignature() - Method in class net.sf.tweety.logics.rcl.parser.RclParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getSignature() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getSignature() - Method in class net.sf.tweety.logics.rpcl.parser.RpclParser: Returns the signature of this parser.
getSignature() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the signature of the underlying language.
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getSignature() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getSignature() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getSignature(Collection<? extends PlFormula>) - Static method in class net.sf.tweety.logics.pl.syntax.PlSignature: Returns the set of atoms appearing in the given collection of formulas.
getSimpleReasonerForSemantics(Semantics) - Static method in class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner: Creates a reasoner for the given semantics.
getSort() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
getSort() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
getSort(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Get the sort with the given name.
getSortingType() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
getSorts() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Returns the sorts of this first-order logic signature.
getSource() - Method in class net.sf.tweety.beliefdynamics.mas.InformationObject: Returns the source of this information object.
getSourceBeliefBase() - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets: Returns the belief base that seeded this remainder set.
getSourceBeliefBase() - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns the original program p for which this set represents the set of remainder sets.
getStandardDivisions(DungTheory) - Static method in class net.sf.tweety.arg.dung.divisions.Division: Returns the standard set of divisions of the given argumentation theory, i.e.
getStarConflicts(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure: Computes all *-conflicts of a given belief base.
getStartingPoint() - Method in class net.sf.tweety.math.opt.rootFinder.RootFinder: Returns the starting point of this finder.
getState(Set<FolAtom>) - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns the state that maps the given fluents to true, if it exists, otherwise null.
getStates() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns all states contained in this transition system.
getStaticLaws() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Returns a set of all static laws contained in this action description.
getStrictClosure() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
getStrictClosure(Set<FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
getStrictClosure(Set<FolFormula>, Set<DefeasibleRule>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
getStrictClosure(Set<FolFormula>, Set<DefeasibleRule>, boolean) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
getStrongestInterpolant(Collection<PlFormula>, Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.SimplePlInterpolantEnumerator
getStrongestInterpolant(Collection<S>, Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator: Returns the strongest interpolant (up to semantical equivalence) of K1 wrt.
getStronglyConnectedComponents() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getStronglyConnectedComponents() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getStronglyConnectedComponents() - Method in class net.sf.tweety.graphs.DefaultGraph
getStronglyConnectedComponents() - Method in interface net.sf.tweety.graphs.Graph: Returns the strongly connected components of this graph.
getStronglyConnectedComponents() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getStronglyConnectedComponents(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Returns the strongly connected components of the given graph.
getSubgraphProbabilityFunction() - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Returns the complete subgraph probability function on the subgraphs of this PAF, assuming independence between probabilities of all arguments and attacks.
getSubgraphs() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
getSubgraphs() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
getSubgraphs() - Method in class net.sf.tweety.graphs.DefaultGraph
getSubgraphs() - Method in interface net.sf.tweety.graphs.Graph: Returns the set of sub graphs of this graph.
getSubgraphs() - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
getSubgraphs(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph: Returns the set of sub graphs of the given graph.
getSubTerms() - Method in class net.sf.tweety.logics.cl.kappa.KappaMin
getSubTerms() - Method in class net.sf.tweety.logics.cl.kappa.KappaSum
getSubTerms() - Method in interface net.sf.tweety.logics.cl.kappa.KappaTerm: Processes all the sub-terms
getSubTerms() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
getSuccessors(Map.Entry<T, Integer>) - Method in class net.sf.tweety.preferences.ranking.Functions: returns a set of successor elements for the given entry
getSuccessors(Interpretation<FolBeliefSet, FolFormula>) - Method in class net.sf.tweety.logics.ml.semantics.AccessibilityRelation: Returns all interpretations that are accessible to a given interpretation i.
GetSuffix(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
GetSuffix(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
GetSuffix(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
GetSuffix(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
GetSuffix(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
getSupport() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument: Returns the support of this argument.
getSupport() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
getSupport() - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument: returns the support of this argument
getSupported() - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport: returns the supported argument of this support relation.
getSupported() - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport: returns the supported argument of this support relation.
getSupported() - Method in interface net.sf.tweety.arg.bipolar.syntax.Support
getSupported(Collection<BArgument>) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from an element of ext to A
getSupported(ArgumentSet) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Computes the set {A | there is a sequence of direct supports from argumentSet to A}
getSupported(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from argument to A
getSupportedAttacks(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of supported attack from "arg1" to other arguments "y", i.e.
getSupporter() - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport: returns the supporting argument of this support relation.
getSupporter() - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport: returns the supporting set of arguments of this support relation.
getSupporter() - Method in interface net.sf.tweety.arg.bipolar.syntax.Support
getSupporters(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from A to argument
getSupports() - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Returns all supports of this theory.
getSupports() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework
getSupports() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Returns all supports of this theory.
getSupports() - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
getSymbolArrow() - Method in class net.sf.tweety.arg.aba.parser.AbaParser
getSymbolComma() - Method in class net.sf.tweety.arg.aba.parser.AbaParser
getSymbolTrue() - Method in class net.sf.tweety.arg.aba.parser.AbaParser
getSyntacticModule(Formula) - Method in class net.sf.tweety.commons.util.rules.RuleSet: Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula.
getSyntaxComponents() - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet: Returns the set of syntax components of this belief set, i.e.
getTargetFunction() - Method in class net.sf.tweety.math.opt.problem.OptimizationProblem: Returns the target function of this problem.
getTargetSort() - Method in class net.sf.tweety.logics.commons.syntax.Functor: Returns the sort of this functor
getTBox() - Method in class net.sf.tweety.logics.dl.syntax.DlBeliefSet: Returns the TBox section of the knowledge.
getTerm() - Method in class net.sf.tweety.math.term.FunctionalTerm: Returns the inner term.
getTerm(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getTerm(Vector<Term>) - Method in class net.sf.tweety.math.func.EntropyFunction
getTerm(Vector<Term>) - Method in interface net.sf.tweety.math.func.SimpleRealValuedFunction
getTerms() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getTerms() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getTerms() - Method in class net.sf.tweety.arg.aba.syntax.Negation
getTerms() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getTerms() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getTerms() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getTerms() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
getTerms() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure
getTerms() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getTerms() - Method in class net.sf.tweety.logics.commons.syntax.Sort
getTerms() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.Implication
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getTerms() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getTerms() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getTerms() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getTerms() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getTerms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getTerms() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getTerms() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getTerms() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
getTerms() - Method in class net.sf.tweety.math.term.AssociativeOperation: Returns the terms of this operation.
getTerms(Class<C>) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
getTerms(Class<C>) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
getTerms(Class<C>) - Method in class net.sf.tweety.arg.aba.syntax.Negation
getTerms(Class<C>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getTerms(Class<C>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
getTerms(Class<C>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure: Processes the set containing all terms of type C.
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.Sort
getTerms(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.Implication
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
getTerms(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getTerms(Class<C>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getTerms(Class<C>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
getTerms(Class<C>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
getTerms(Class<C>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getTheory() - Method in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the theory of this agent.
getTheory() - Method in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Returns the theory of this agent.
getTheory() - Method in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Returns the used argumentation theory.
getTheory() - Method in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery: Returns the used argumentation theory.
getTheory() - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the theory of this probability function.
getThird() - Method in class net.sf.tweety.commons.util.Triple: returns the third element of this triple
getTo() - Method in class net.sf.tweety.action.transitionsystem.Transition: Returns the target state of this transition.
getTo() - Method in interface net.sf.tweety.arg.adf.semantics.link.Link
getTo() - Method in class net.sf.tweety.arg.adf.semantics.link.SimpleLink
getToken(int) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
getToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
getToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
getToken(int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
getToken(int) - Method in class net.sf.tweety.preferences.io.POParser
getToken(int) - Method in class net.sf.tweety.preferences.io.UPParser: Get the specific Token.
getTop() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Returns the first basic arguments of this argument structure
getTopRule() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Retruns the TopRule according to ASPIC+ specification
getTransitions() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns all transitions contained in this transition system.
getTriple(T, T) - Method in class net.sf.tweety.preferences.PreferenceOrder: returns a pair if it consists of of two given elements
getTrue(Argument) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.PropositionalMapping
getTupledValues() - Method in class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner
getType() - Method in interface net.sf.tweety.arg.adf.semantics.link.Link
getType() - Method in class net.sf.tweety.arg.adf.semantics.link.SimpleLink
getType() - Method in class net.sf.tweety.math.equation.Inequation: Returns the type of this inequation.
getType() - Method in class net.sf.tweety.math.opt.problem.OptimizationProblem: Returns the type of this problem.
getUnattacked(Extension, DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: computes the set of arguments outside of ext, which are not attacked by ext
getUnboundVariables() - Method in class net.sf.tweety.arg.aba.syntax.AbaElement
getUnboundVariables() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
getUnboundVariables() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getUnboundVariables() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.Implication
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.Negation
getUnboundVariables() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getUnboundVariables() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getUnboundVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getUnboundVariables() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
getUndefended(Extension, DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner: computes the set of arguments in ext, which are not defended by ext against outside attackers
getUniformDistribution(Set<S>) - Static method in class net.sf.tweety.math.probability.ProbabilityFunction: Returns the uniform distribution on the given interpretations.
getUniformDistribution(Set<S>, Signature) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: Returns the uniform distribution on the given interpretations.
getUniformDistribution(RpclSemantics, FolSignature) - Static method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the uniform distribution on the given signature.
getUniformDistribution(RpclSemantics, FolSignature, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns the uniform distribution on the given signature.
getUniformProbability() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
getUniformProbability() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
getUniformProbability() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware
getUniformProbability() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
getUniformProbability() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
getUniformProbability() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
getUniformProbability() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
getUniformProbability() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
getUniformProbability() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
getUniformProbability() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Returns this formula's probability in the uniform distribution.
getUniformProbability() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
getUniformProbability() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
getUnion(Set<Set<E>>) - Method in class net.sf.tweety.commons.util.SetTools: Returns the union of the set of sets.
getUnityMultiple(int, double) - Static method in class net.sf.tweety.math.util.OjAlgoMathUtils: Create unity matrix multiplied by scalar.
getUpdate() - Method in class net.sf.tweety.preferences.io.UPParser
getUpperBound() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Returns the upper bound of this parameter.
getUpperBound() - Method in class net.sf.tweety.math.Interval
getUpperBound() - Method in class net.sf.tweety.math.term.Variable: Returns the upper bound of this variable.
getUpperCut(DungTheory, double) - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Returns the upper cut of this probabilistic extension wrt.
getUpperReferenceArguments() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality: Returns the upper reference arguments of this modality.
getUtility(Agent) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
getUtility(Agent) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
getUtility(Agent) - Method in interface net.sf.tweety.agents.sim.GameProtocol: Returns the utility of the given agent for the final situation.
getUtility(DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
getUtility(DialogueTrace<Argument, Extension>, Set<Argument>, Set<Attack>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
getUtility(DialogueTrace<S, T>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.UtilityFunction: Gives the utility of the given dialogue trace.
getUtility(DialogueTrace<S, T>, Set<S>, Set<Attack>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.UtilityFunction: Gives the utility of the given dialogue trace that takes the additional arguments and attacks into account.
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the utility of the agent wrt.
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.agents.dialogues.lotteries.DummyLotteryAgent
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.agents.dialogues.lotteries.RandomLotteryAgent
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.agents.dialogues.lotteries.UtilityBasedLotteryAgent
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction: Gets the utility of the given theory wrt.
getUtility(DungTheory, Semantics) - Method in class net.sf.tweety.arg.prob.lotteries.UtilityFunction: Gets the utility of the given theory wrt.
getValue() - Method in class net.sf.tweety.arg.delp.parser.Token
getValue() - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
getValue() - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
getValue() - Method in class net.sf.tweety.lp.asp.parser.Token
getValue() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Returns the actual value of this parameter.
getValue() - Method in class net.sf.tweety.math.probability.Probability: Returns the value of this probability.
getValue() - Method in class net.sf.tweety.math.term.FloatConstant: Get the value of this float.
getValue() - Method in class net.sf.tweety.math.term.IntegerConstant: Get the value of this integer.
getValue() - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
getValue() - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter
getValue() - Method in class net.sf.tweety.preferences.io.Token
getValue(FolAtom, State) - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns the value of a fluent in a state in this transition system.
getVariables() - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery
getVariables() - Method in class net.sf.tweety.action.query.syntax.HoldsQuery
getVariables() - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
getVariables() - Method in class net.sf.tweety.action.query.syntax.QueryProposition: Returns all variables occuring in inner formulas and actions of this query proposition.
getVariables() - Method in class net.sf.tweety.logics.fol.parser.FolParser
getVariables() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure: Returns all variables that appear in this structure.
getVariables() - Method in class net.sf.tweety.math.opt.problem.ConstraintSatisfactionProblem: Returns all variables of this problem.
getVariables() - Method in class net.sf.tweety.math.opt.problem.OptimizationProblem
getVariables() - Method in class net.sf.tweety.math.term.AssociativeOperation
getVariables() - Method in class net.sf.tweety.math.term.Constant
getVariables() - Method in class net.sf.tweety.math.term.Difference
getVariables() - Method in class net.sf.tweety.math.term.Fraction
getVariables() - Method in class net.sf.tweety.math.term.FunctionalTerm
getVariables() - Method in class net.sf.tweety.math.term.Term: Returns all variables in this term.
getVariables() - Method in class net.sf.tweety.math.term.Variable
getVerifyingWorlds(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
getWarrants(DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner: Computes the subset of the arguments of this program, that are warrants.
getWeakestInterpolant(Collection<PlFormula>, Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.SimplePlInterpolantEnumerator
getWeakestInterpolant(Collection<S>, Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.InterpolantEnumerator: Returns the weakest interpolant (up to semantical equivalence) of K1 wrt.
getWeight() - Method in class net.sf.tweety.graphs.WeightedDirectedEdge
getWeight() - Method in interface net.sf.tweety.graphs.WeightedEdge: Returns the weight of this edge.
getWeight() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula: Returns the weight.
getWeight() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
getWeight(int) - Method in class net.sf.tweety.preferences.aggregation.BordaWeightVector: returns the weight based on the rank in the ranking function.
getWeight(int) - Method in class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector: checks, whether an element got the highest rank
getWeight(int) - Method in class net.sf.tweety.preferences.aggregation.SingleValeWeightVector: returns the weight of the element
getWeight(int) - Method in interface net.sf.tweety.preferences.aggregation.WeightVector: returns the weight of an
getWeight(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: return weight of the attack between the given arguments
getWeight(Attack) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: return weight of the given attack, weight is 0 if the attack is not present
getWinner() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
getWinner() - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
getWinner() - Method in interface net.sf.tweety.agents.sim.GameProtocol: If the game has a winner, this methods returns it.
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.arg.adf.sat.IncrementalSatSolver
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.arg.adf.sat.SimpleIncrementalSatSolver
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.LingelingSolver
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.MaxSatSolver
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.Sat4jSolver
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver: If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
getWitness(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.SimpleDpllSolver
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>) - Method in class net.sf.tweety.logics.pl.sat.MaxSatSolver: Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>) - Method in class net.sf.tweety.logics.pl.sat.OpenWboSolver
getWitness(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.ConsistencyWitnessProvider: If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
getWitness(BeliefSet<PlFormula, ?>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
getWitness(BeliefSet<S, ?>) - Method in interface net.sf.tweety.logics.commons.analysis.ConsistencyWitnessProvider: If the belief set is consistent this method returns some model of it or, if it is inconsistent, null.
getWitness(PlFormula) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
getWitness(S) - Method in interface net.sf.tweety.logics.commons.analysis.ConsistencyWitnessProvider: If the formula is consistent this method returns some model of it or, if it is inconsistent, null.
getWorldGenerators(NicePossibleWorld) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure: Processes the map from Conditionals to Generators for a given PossibleWorld
getWriter(FileFormat) - Static method in class net.sf.tweety.arg.dung.writer.AbstractDungWriter: Retrieves the writer for the given file format.
getXDimension() - Method in class net.sf.tweety.math.matrix.Matrix: Returns the x dimension of this matrix.
getYDimension() - Method in class net.sf.tweety.math.matrix.Matrix: Returns the y dimension of this matrix.
GhostQSolver - Class in net.sf.tweety.logics.qbf.reasoner: A wrapper for the GhostQ (https://www.wklieber.com/ghostq/) solver.
GhostQSolver(String) - Constructor for class net.sf.tweety.logics.qbf.reasoner.GhostQSolver: Constructs a new instance pointing to a specific GhostQSolver
GhostQSolver(String, Shell) - Constructor for class net.sf.tweety.logics.qbf.reasoner.GhostQSolver: Constructs a new instance pointing to a specific GhostQSolver.
globalclusteringcoefficient(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil: Returns the global clustering coefficient of the graph (if it is directed it is interpreted as an undirected version).
GlpkSolver - Class in net.sf.tweety.math.opt.solver: Provides a Java binding to the Glpk solver (https://www.gnu.org/software/glpk).
GlpkSolver() - Constructor for class net.sf.tweety.math.opt.solver.GlpkSolver
GlpkSolverEx - Class in net.sf.tweety.math.examples: This class implements an example for the Glpk Solver
GlpkSolverEx() - Constructor for class net.sf.tweety.math.examples.GlpkSolverEx
GR - net.sf.tweety.arg.dung.semantics.Semantics
gradedDefense(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Implements the graded defense function from Def.
gradedNeutrality(DungTheory, Collection<Argument>, int) - Method in class net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Implements the graded neutrality function from Def.
GradientDescent - Class in net.sf.tweety.math.opt.solver: This class implements the gradient descent method to find an optimum.
GradientDescent(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.GradientDescent: Creates a new gradient descent solver
GradientDescentRootFinder - Class in net.sf.tweety.math.opt.rootFinder: Implements the gradient descent method to find zeros of a (multi-dimensional) function.
GradientDescentRootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.GradientDescentRootFinder: Creates a new root finder for the given starting point and the given (multi-dimensional) function
GradientDescentSolverEx - Class in net.sf.tweety.math.examples: This class implements an example for the Gradient Descent Solver
GradientDescentSolverEx() - Constructor for class net.sf.tweety.math.examples.GradientDescentSolverEx
Graph<T extends Node> - Interface in net.sf.tweety.graphs: Common interface for graphs with nodes of type T
GraphAbstractDialecticalFramework - Class in net.sf.tweety.arg.adf.syntax.adf: Internally represented as a graph-like structure.
GraphExample - Class in net.sf.tweety.graphs.examples
GraphExample() - Constructor for class net.sf.tweety.graphs.examples.GraphExample
GraphExample2 - Class in net.sf.tweety.graphs.examples
GraphExample2() - Constructor for class net.sf.tweety.graphs.examples.GraphExample2
GraphStructureInconsistencyMeasure - Class in net.sf.tweety.arg.dung
GraphStructureInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
GraphUtil - Class in net.sf.tweety.graphs.util: This abstract class contains some auxiliary methods for working with graphs.
GraphUtil() - Constructor for class net.sf.tweety.graphs.util.GraphUtil
GraphUtilTest - Class in net.sf.tweety.graphs.util
GraphUtilTest() - Constructor for class net.sf.tweety.graphs.util.GraphUtilTest
GREATER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
GREATER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
GREATER - Static variable in class net.sf.tweety.math.equation.Inequation
GREATER_EQUAL - Static variable in class net.sf.tweety.math.equation.Inequation
GREATER_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
GREATER_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
greaterEqualThan() - Method in class net.sf.tweety.logics.cl.kappa.KappaMin
greaterEqualThan() - Method in class net.sf.tweety.logics.cl.kappa.KappaSum
greaterEqualThan() - Method in interface net.sf.tweety.logics.cl.kappa.KappaTerm
greaterEqualThan() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
GridSearchParameterLearner<S extends Observation,T extends Category> - Class in net.sf.tweety.machinelearning: A grid-search approach for learning parameters.
GridSearchParameterLearner(Trainer<S, T>, ClassificationTester<S, T>, int, int) - Constructor for class net.sf.tweety.machinelearning.GridSearchParameterLearner: Creates a new grid-search parameter learner with the given arguments.
ground() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Calculates a new action description containing all ground instances of each law in this action description.
ground() - Method in class net.sf.tweety.action.query.syntax.SActionQuerySet: Returns a new SActionQuerySet consisting of all possible groundings of the contained queries.
ground() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: In general, a delp comprises of rule schemes with variables.
ground() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory: Removes Variables by expanding formulas
ground(Set<Constant>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: In general, a delp comprises of rule schemes with variables.
GroundAtom(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
GROUNDED_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
GroundedGameAgentGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Generates new arguing agents for a grounded game.
GroundedGameAgentGenerator(GroundedGameSystem.AgentFaction) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator: Creates a new agent generator.
GroundedGameGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Generates grounded games.
GroundedGameGenerator(DungTheoryGenerator, double, double) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator: Creates a new game generator.
GroundedGameProtocol - Class in net.sf.tweety.agents.dialogues.oppmodels: This class implements a round robin protocol for the grounded game.
GroundedGameProtocol(GroundedGameSystem) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol: Creates a new grounded game protocol for the given grounded game systems.
GroundedGameProtocolGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Creates protocols for a grounded game.
GroundedGameProtocolGenerator() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameProtocolGenerator
GroundedGameSystem - Class in net.sf.tweety.agents.dialogues.oppmodels: This multi-agent system models a grounded dialogue game between two agents.
GroundedGameSystem(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem: Creates a new grounded game system.
GroundedGameSystem.AgentFaction - Enum in net.sf.tweety.agents.dialogues.oppmodels: The factions of agents in this game.
GroundedGameT1AgentGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Generates agents of type T1.
GroundedGameT1AgentGenerator(GroundedGameSystem.AgentFaction, T1Configuration) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameT2AgentGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Generates agents of type T2.
GroundedGameT2AgentGenerator(GroundedGameSystem.AgentFaction, T2Configuration) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameT3AgentGenerator - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: Generates agents of type T3.
GroundedGameT3AgentGenerator(GroundedGameSystem.AgentFaction, T3Configuration) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameUtilityFunction - Class in net.sf.tweety.agents.dialogues.oppmodels: The grounded game utility function u_a^g.
GroundedGameUtilityFunction(DungTheory, Argument, GroundedGameSystem.AgentFaction) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction: Construct utility function.
GroundedReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential: the grounded extension of bbase is the least fixed point of the characteristic function.
GroundedReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.necessity: the grounded extension of bbase is the least fixed point of the characteristic function.
GroundedReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.GroundedReasoner
GroundedReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.necessity.GroundedReasoner
GroundedReasoning() - Method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest
GroundedReasoning() - Method in class net.sf.tweety.arg.bipolar.NecessityArgumentationTest
GroundedTest - Class in net.sf.tweety.agents.dialogues.examples
GroundedTest() - Constructor for class net.sf.tweety.agents.dialogues.examples.GroundedTest
GroundedTest2 - Class in net.sf.tweety.agents.dialogues.examples
GroundedTest2() - Constructor for class net.sf.tweety.agents.dialogues.examples.GroundedTest2
GrounderStableVerifier - Class in net.sf.tweety.arg.adf.reasoner.sat.verifier: Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
GrounderStableVerifier(CandidateGenerator, LinkStrategy) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.verifier.GrounderStableVerifier
groundFolRules() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
GroundGenerator - Class in net.sf.tweety.arg.adf.reasoner.sat.generator
GroundGenerator() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.generator.GroundGenerator
GroundingRequirement - Interface in net.sf.tweety.action.grounding: This is a common interface for grounding constraints, which have to be met by a grounder when calculating possible applications of constants to variables.
GroundingRequirementsParser - Class in net.sf.tweety.action.grounding.parser: This class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*
GroundingRequirementsParser() - Constructor for class net.sf.tweety.action.grounding.parser.GroundingRequirementsParser
GroundingTools - Class in net.sf.tweety.action.grounding: This class holds common grounding functionality for causal theories using first-order formulas.
GroundingTools() - Constructor for class net.sf.tweety.action.grounding.GroundingTools
GroundReasoner - Class in net.sf.tweety.arg.adf.reasoner
GroundReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.GroundReasoner
GT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

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