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 - Variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer

The gamma parameter for learning

GAMMA_PARAMETER - Static variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer

The gamma parameter for learning

geLowerCut(DungTheory, double) - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension

Returns the lower cut of this probabilistic extension wrt.

gen - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator

for generating Dung theories.

gen - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator

for generating Dung theories.

gen - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser.JJCalls

GEN_SPEC - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory

GeneralABAReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner

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

GeneralizedSpecificity.ActSetType - Enum in net.sf.tweety.arg.delp.semantics

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(int, boolean) - Method in class net.sf.tweety.commons.util.RandomSubsetIterator

Generates a new bit set of the given length.

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(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.

generateBeliefState(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

Generates a belief state for the agent wrt.

generateBeliefState(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator

generateBeliefState(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator

generateBeliefState(GroundedGameSystem, SimulationParameters) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator

generateBeliefState(GroundedGameSystem, SimulationParameters, int, Extension, GroundedGameSystem.AgentFaction) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator

Generates the (sub-)belief state of a T1-belief state.

generateBeliefState(GroundedGameSystem, SimulationParameters, int, Extension, GroundedGameSystem.AgentFaction) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator

Generates the (sub-)belief state of a T2-belief state.

generateBeliefState(GroundedGameSystem, SimulationParameters, int, Extension, GroundedGameSystem.AgentFaction) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator

Generates the (sub-)belief state of a T3-belief state.

generatedSubsets - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator

Only used when avoidDuplicats is set to true.

generateFormulasOfLength(int) - Method in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

Generates all formulas of the given length and stores them in "pathToTemp/length/"

generateName() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument

Generates a unique identifying name for this argument, which describes it and is used to determine equality

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.

generatePossibleAttacks(Set<Argument>) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator

Computes all possible attacks.

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

generateRandomly(int) - Method in class net.sf.tweety.commons.util.RandomSubsetIterator

Generates a random bit set of the given length.

generateString(Random, String, int) - Static method in class net.sf.tweety.arg.delp.TestKBParsing

generateTreeShape(Argument) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator

Generates a Dung theory with a tree shape where the given argument is the root.

Generator() - Constructor for enum net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator

GEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

get() - Method in class net.sf.tweety.arg.adf.util.CacheSupplier

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.LinkType

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.dung.semantics.Labeling

get(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking

get(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

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(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation

TODO define functionality

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

getAcceptanceCondition(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework

getAcceptanceConstraint(Conditional, Map<PossibleWorld, IntegerVariable>) - Method in class net.sf.tweety.logics.cl.reasoner.CReasoner

For the given conditional (B|A) and the given ranks of possible worlds, this method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of the ranks of the interpretations that satisfy AB.

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.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()").

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

Returns all conclusions appearing in this argument.

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.

getAllInstantiations(DlSignature, Predicate, List<Individual>) - Method in class net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner

Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.

getAllInstantiations(FolSignature, Predicate, List<Term<?>>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandBase

Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.

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.GrossiModgilRankingReasoner

Returns all mn-complete extensions.

getAllMNGroundedExtensions(DungTheory, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

Returns all mn-grounded extensions.

getAllMNPreferredExtensions(DungTheory, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

Returns all mn-preferred extensions.

getAllMStableExtensions(DungTheory, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

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(PlSignature) - Static method in class net.sf.tweety.logics.pl.semantics.PossibleWorld

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

Returns all rules appearing in this argument.

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

getArgsRec(AspicArgumentationTheory<T>, T) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner

Gets the arguments recursively

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

getArguments(LinkedList<ASPRule>) - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

Recursively constructions minimal arguments in a bottom-up fashion.

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.dung.semantics.LatticeArgumentRanking

getArgumentsOfStatus(ArgumentStatus) - Method in class net.sf.tweety.arg.dung.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.

getArgumentTree(DeductiveKnowledgeBase, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

Computes the argument tree of the given argument.

getArgumentTree(DeductiveKnowledgeBase, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.reasoner.CompilationReasoner

getArgumentTree(DeductiveKnowledgeBase, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.reasoner.SimpleDeductiveReasoner

getArgumentTree(DeductiveKnowledgeBase, DeductiveArgumentNode, Set<PlFormula>) - Method in class net.sf.tweety.arg.deductive.reasoner.SimpleDeductiveReasoner

Computes the argument tree of 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.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.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

getAtomString(RelationalFormula, int) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator

Utility function representing a given atom, either an actionname or a fluentname, to be used in a rule in an extended logic program.

getAttacked() - Method in class net.sf.tweety.arg.dung.syntax.Attack

returns the attacked argument of this attack relation.

getAttacked(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory

Computes the set {A | (argument,A) in attacks}.

getAttacker() - Method in class net.sf.tweety.arg.dung.syntax.Attack

returns the attacking argument of this attack relation.

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.

getAttackingConclusions(AspicArgument<T>, RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner

Returns all "attacking conclusions" of the given argument.

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.dung.syntax.DungTheory

Returns all attacks of this theory.

getBaseProblem(PclBeliefSet, ProbabilisticConditional, double) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure

Creates the base problem (without target function set) for determining both minimal and maximal incon values.

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

getCanonicalFormulas(int, PlSignature) - Method in class net.sf.tweety.logics.pl.util.HsSampler

For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.

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.parser.KPPADFFormatParser.UnaryNode

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.

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

getCommonView() - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent

Returns the common view of this agent.

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

getCompleteConjunction(PlSignature) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld

Returns the complete conjunction representing this possible world wrt.

getCompleteExtensions(DungTheory, Extension, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner

Auxiliary method to compute all complete extensions

getCompletenessEnforcementRules(Set<FolAtom>, int) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator

Returns rules, that enforce the existence of each atom in the given set in all answer sets of an extended logic program.

getCompletions(DelpArgument, DefeasibleLogicProgram) - Static method in class net.sf.tweety.arg.delp.semantics.ArgumentCompletion

This static method computes all argument completions for the given parameter argument using the strict rules from the parameter delp

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.

getConflictingRules(Program, Program) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling

Helper method: Finds all pairs of conflicting rules in program p1 and p2.

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

getConsistentSetCounts(Collection<S>, Collection<S>, Collection<Collection<S>>, int) - Method in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure

Computes the numbers of consistent subsets for cardinalities |inFormulas|...|inFormulas|+|restFormulas| (the knowledge base considered is inFormulas\cup restFormulas and the formulas in inFormulas have to be part of every considered subset).

getConstant(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature

Get the constant with the given name.

getConstant(String, Sort) - Method in class net.sf.tweety.action.grounding.parser.GroundingRequirementsParser

Returns the constant with the name 'name' of the sort 'sort', if one exists, null otherwise.

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.

getConstraints(Collection<? extends SActionQuery>) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Returns the program C_q which contains a constraint for each query in question.

getConstraintTerms() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

getContol() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

getContol() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

getCorrectModels() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

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 class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler

getCurrentDiretory() - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler

getCurrentDiretory() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler

getCurrentDiretory() - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler

getCygwinShell(String) - Static method in class net.sf.tweety.commons.util.Shell

a wrapper around the cygwin shell

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.

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

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

Returns the default solver for integer linear optimization problems.

getDefaultLinearSolver() - Static method in class net.sf.tweety.math.opt.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

getDefaultNegationRules(Set<FolAtom>, int) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator

Returns rules of an extended logic program for the given set of atoms and a parameter t.

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.

getDefensibleArguments(ArgumentationKnowledgeBase) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner

Returns the set of defensible arguments, i.e.

getDerivableLiterals(Collection<ASPRule>) - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

This method returns the set of conclusions of all rules in the collection of rules given.

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.

getDirection(double[][], double[]) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent

Find the best direction.

getDirectSubs() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument

The argument's direct children, whose conclusions fit its prerequisites

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

getDistance(double[], double[]) - Method in class net.sf.tweety.arg.rankings.reasoner.CategorizerRankingReasoner

Computes the Euclidean distance between to the given arrays.

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.

getDomain() - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation

Returns the domain of this interpretation.

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(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(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory

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

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)

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.pl.syntax.Conjunction

getEmptySymbol() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction

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

getEndTimeInMillis() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

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.

getException() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

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

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 class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler

getFilter() - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler

getFilter() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler

getFilter() - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler

getFirst() - Method in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode

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.

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 class net.sf.tweety.arg.adf.semantics.Link

getFtol() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

getFtol() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

getFunction() - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

Returns the function f.

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

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.

getGtol() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

getGtol() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

getHandle() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState

getHandle() - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState

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.

getHittingSet(Collection<S>, int, Collection<Interpretation<B, S>>) - Method in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure

Determines a hitting set of the given cardinality.

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)

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.

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

getKB(String) - Static method in class net.sf.tweety.arg.delp.Utilities

Get knowledge base as a String from the named test resource.

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.

getKnownArguments() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState

Returns the set of known arguments.

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

getLegalMoves(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState

Returns the set of possible moves in the given situation and the given trace.

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.

getLinkType() - Method in class net.sf.tweety.arg.adf.semantics.Link

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

getLiteralString(FolFormula, int, boolean) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator

Utility function representing a single literal either in a direct manner or using default negation.

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.logics.pcl.analysis.AbstractCreepingMachineShop

Retrieves the lower bound for delta for this machine shop.

getLowerBound() - Method in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

getLowerBound() - Method in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop

getLowerBound() - Method in class net.sf.tweety.logics.pcl.analysis.UnbiasedCreepingMachineShop

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

getMaxFunEvals() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

getMaximallyAcceptedArguments(Collection<Argument>) - Method in class net.sf.tweety.arg.dung.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

getMaximumValue(PclBeliefSet, ProbabilisticConditional, double) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure

Determines the maximal value for the given conditional.

getMaxIter() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

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.

getMdAnticover(List<Set<S>>, int, Set<Set<Set<S>>>) - Method in class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure

Recursively determines sets of minimal correction sets that have an empty intersection (= the complements of maximal consistent sets where the union equals the knowledge base; we call it MD-anticover).

getMeasure(String) - Static method in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure

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

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.

getMinimallyAcceptedArguments(Collection<Argument>) - Method in class net.sf.tweety.arg.dung.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 class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework

getMinimalSignature() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

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.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.ConstraintSatisfactionProblem

Returns all minimums appearing in this problem.

getMinimums() - Method in class net.sf.tweety.math.opt.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

getMinimumValue(PclBeliefSet, ProbabilisticConditional, double) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure

Determines the minimal value for the given conditional.

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(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.AdmissibleInterpretationReasoner

getModel(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.NaiveInterpretationReasoner

getModel(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.SatModelReasoner

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.ProboReasoner

getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner

getModel(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner

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.StratifiedLabelingReasoner

getModel(DungTheory) - Method in class net.sf.tweety.arg.prob.reasoner.ProbabilisticRankingReasoner

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.DiscussionBasedRankingReasoner

getModel(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

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.

getModelCount() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

getModelDifference() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

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(File, String) - Method in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark.LazyModelStorage

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(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.AdmissibleInterpretationReasoner

getModels(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.NaiveInterpretationReasoner

getModels(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.SatModelReasoner

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.ProboReasoner

getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner

getModels(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner

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.StratifiedLabelingReasoner

getModels(DungTheory) - Method in class net.sf.tweety.arg.prob.reasoner.ProbabilisticRankingReasoner

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.DiscussionBasedRankingReasoner

getModels(DungTheory) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

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.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(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.AbstractProtocol

Returns the multi-agent system this protocol operates on.

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.

getMultiplicatorForConjunction(FolFormula) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

Returns the multiplicator of this reference world for the given formula (which is a conjunction of literals or a single literal), 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.parser.KPPADFFormatParser.Node

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

getNecessarilyQueryMinusFirstAction(NecessarilyQuery) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

For a given necessarily query of the form necessarily F after A_0 ; A_1 ; ...

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(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory

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.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.ml.semantics.AccessibilityRelation

Returns all interpretations of the accessibility relation.

getNorm() - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

Returns the norm.

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.

getNumberOfOccurences(FolFormula, Predicate, Collection<? extends Constant>, boolean) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

Determines the number of occurrences of instances of predicate "p" with a constant in "constants".

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.

getNumOfMinmalProofs(PlFormula, Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.PmInconsistencyMeasure

Returns the number of minimal proofs of f in formulas.

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.

getOpenLiterals(Collection<ASPRule>) - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

Returns the set of non-default-negated literals that are part of the premise of some rule but not the conclusion of some other rule

getOpenOptCode() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

Builds the OpenOpt code for the given problem which can be interpreted by a python.

getOpenOptCode(OptimizationProblem) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

Builds the OpenOpt code for the given problem which can be interpreted by a python.

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.pl.syntax.Conjunction

getOperatorSymbol() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction

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

getOutparents(DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner

Returns the set { a in A | a nicht in S und a -> S }

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.

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

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) - Method in class net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner

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 class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment

getPercepts(Agent) - Method in interface net.sf.tweety.agents.Environment

Retrieves the current percepts for the given agent.

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.

getPossibleArguments() - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent

Returns the set of arguments this agent may bring forward.

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.

getPossibleWorld() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState

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.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.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.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.Program

Processes the set of all predicates which appear in this program.

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(AbstractDialecticalFramework, Cache<Argument, PlFormula>) - Method in class net.sf.tweety.arg.adf.reasoner.SatModelReasoner

returns a propositional characterisation of the reasoning problem

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.

getPropositionalCharacterisationBySemantics(DungTheory, Map<Argument, Proposition>, Map<Argument, Proposition>, Map<Argument, Proposition>) - Method in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner

Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.

getPropositionalCharacterisationBySemantics(DungTheory, Map<Argument, Proposition>, Map<Argument, Proposition>, Map<Argument, Proposition>) - Method in class net.sf.tweety.arg.dung.reasoner.SatCompleteReasoner

getPropositionalCharacterisationBySemantics(DungTheory, Map<Argument, Proposition>, Map<Argument, Proposition>, Map<Argument, Proposition>) - Method in class net.sf.tweety.arg.dung.reasoner.SatStableReasoner

getPrototypes(RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Returns the set of instances with prototypes.

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

getQueryPartRules(PlFormula) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculates the translation of an action query to rules of a normal logic program according to the translation sheme presented in [1].

getQueryParts(PlFormula) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculates the set of all subformulas of an action query down to propositions (holds, always, necessarily)

getQueryPropositionPartRules(QueryProposition) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculatesthe translation of a query proposition (holds, always, necessarily) to rules of a normal logic program.

getQueryPropositions(SActionQuery) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculates the set of all query propositions which appear in the given query.

getRandom() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

Returns the random number generator.

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.

getRankConstraint(PossibleWorld, IntegerVariable, Map<Conditional, IntegerVariable>, Map<Conditional, IntegerVariable>) - Method in class net.sf.tweety.logics.cl.reasoner.CReasoner

For the given interpretation "i" and the given kappas, this method computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj-

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.

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<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory

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

getRuleBodyString(FolFormula, int, boolean) - Method in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator

Calculates the representation of an inner formula of a causal rule according to the translation in "Representing Transition Systems by Logic Programs.".

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

getRules() - Method in class net.sf.tweety.lp.asp.syntax.Program

Returns all rules of the program.

getRules(Collection<SActionQuery>) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Returns the basic translation of action query laws to rules in the logic program.

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.semantics.ArgumentCompletion

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

getSatisfied() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation

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.arg.adf.parser.KPPADFFormatParser.BinaryNode

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.dynamics.AbstractPAChangeOperator

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.arg.prob.reasoner.AbstractPafReasoner

The semantics of this reasoner.

getSemantics() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

Returns the semantics of this distribution.

getSet() - Method in class net.sf.tweety.commons.util.SubsetIterator

Returns the set this iterator is iterating over.

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.adf.syntax.Argument

getSignature() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

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.gui.RevisionComparePresenter.MockFormula

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

getSolver() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

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.

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.

getStartingPoint() - Method in class net.sf.tweety.math.opt.RootFinder

Returns the starting point of this finder.

getStartTimeInMillis() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

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.

getStatePartRules(FolFormula) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

This function translates a propositional formula into a logic program according to certain rules.

getStateParts(FolFormula) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculates the set of all possible parts of the propositional formula given.

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.

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(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph

Returns the strongly connected components of the given graph.

getStronglyConnectedComponentsRec(int, S, Stack<S>, Collection<Collection<S>>, Graph<S>, Map<S, Integer>, Map<S, Integer>) - Static method in class net.sf.tweety.graphs.DefaultGraph

Main method for computing the strongly connected components using Tarjan's algorithm.

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.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(Graph<S>) - Static method in class net.sf.tweety.graphs.DefaultGraph

Returns the set of sub graphs of the given graph.

getSubsets(T, S) - Method in class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure

Computes all pairs (k,k') of knowledge bases k,k'\subseteq kb, such that k = k' \cup {pc}.

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

getSymbol() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule

getSymbol() - Method in class net.sf.tweety.arg.delp.syntax.DelpFact

getSymbol() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule

getSymbol() - Method in class net.sf.tweety.arg.delp.syntax.StrictRule

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.

getTabSize(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

getTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

getTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

getTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

getTabSize(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

getTargetFunction() - Method in class net.sf.tweety.math.opt.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

getTerm(PlFormula, Map<Proposition, Variable>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

Returns a mathematical term representation of the given formula by replacing proposition by their given mathematical variables and replacing conjunction, disjunction, and negation by their fuzzy counterparts (taking the given t-norm and t-conorm into account).

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.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 class net.sf.tweety.arg.adf.semantics.Link

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

getTrainer() - Method in class net.sf.tweety.machinelearning.ParameterTrainer

Returns the trainer of this parameter trainer.

getTransitions() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem

Returns all transitions contained in this transition system.

getTransitionSystemRules(TransitionSystem) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Calculates a normal logic program which consists only of facts describing the transition system given.

getTranslateInfo(Class<?>) - Method in class net.sf.tweety.logics.translators.Translator

getTriple(T, T) - Method in class net.sf.tweety.preferences.PreferenceOrder

returns a pair if it consists of of two given elements

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.OptimizationProblem

Returns the type of this problem.

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

getUndecided() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation

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.

getUnsatisfied() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation

getUpdate() - Method in class net.sf.tweety.preferences.io.UPParser

getUpperBound() - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop

Retrieves the upper bound for delta for this machine shop.

getUpperBound() - Method in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

getUpperBound() - Method in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop

getUpperBound() - Method in class net.sf.tweety.logics.pcl.analysis.UnbiasedCreepingMachineShop

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.ArguingAgent

Assess the given dialogue trace with the belief states utility function.

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(Extension, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction

Determines the utility of the given trace with the given grounded extension.

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.

getUtilityFunction() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState

Returns the utility function of this belief state.

getUtilityFunction() - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent

Returns the utility function of this agent.

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.

getValues(double, PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop

Computes the values of the conditionals for step delta

getValues(double, PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

getValues(double, PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop

getValues(double, PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.UnbiasedCreepingMachineShop

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.ConstraintSatisfactionProblem

Returns all variables of this problem.

getVariables() - Method in class net.sf.tweety.math.opt.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

getView() - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent

Returns the view of this agent.

getWarrants(DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner

Computes the subset of the arguments of this program, that are warrants.

getWeakPrototypes(RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Returns the set of instances with weak prototypes.

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

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.NativeLingelingSolver

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.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<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(SatSolverState) - Method in class net.sf.tweety.arg.adf.sat.IncrementalSatSolver

getWitness(SatSolverState) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

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.

getXtol() - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

getXtol() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

getYDimension() - Method in class net.sf.tweety.math.matrix.Matrix

Returns the y dimension of this matrix.

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

gotoNextValidIndex() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator

Sets this.next to the next value actually encoding a belief base (or to this.upperBoundIndex if set).

GR - net.sf.tweety.arg.dung.semantics.Semantics

gradedDefense(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

Implements the graded defense function from Def.

gradedNeutrality(DungTheory, Collection<Argument>, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

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

Implements the gradient descent method to find zeros of a (multi-dimensional) function.

GradientDescentRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.GradientDescentRootFinder

Creates a new root finder for the given starting point and the given (multi-dimensional) function

GradientDescentRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.GradientDescentRootFinder

Creates a new root finder for the given starting point and the given function

Graph<T extends Node> - Interface in net.sf.tweety.graphs

Common interface for graphs with nodes of type T

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

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.

GrossiModgilRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner

This class implements the argument ranking approach of [Grossi, Modgil.

GrossiModgilRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner

GrossiModgilReasonerExample - Class in net.sf.tweety.arg.rankings.examples

Example code for using graded semantics by Grossi/Modgil

GrossiModgilReasonerExample() - Constructor for class net.sf.tweety.arg.rankings.examples.GrossiModgilReasonerExample

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.

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

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

GT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

gtol - Variable in class net.sf.tweety.math.opt.OpenOptRootFinder

gtol - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver

guiGetAnswerSetView() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

guiGetButtons() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

guiGetInput() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

guiGetOperatorControls() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

guiGetRevisionResult() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

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