G-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

G

GameProtocol - Interface in org.tweetyproject.agents.sim: Classes implementing this interface represent protocols for games in the game theoretic meaning.
GameSimulator<S,T,R> - Class in org.tweetyproject.agents.sim: This class implements a game simulator.
GameSimulator(MultiAgentSystemGenerator<T, R>, ProtocolGenerator<S, T, R>, List<AgentGenerator<T, R>>) - Constructor for class org.tweetyproject.agents.sim.GameSimulator: Creates a new GameSimulator for the given MultiAgentSystemGenerator and AgentGenerators.
GAMMA_PARAMETER - Static variable in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer: The gamma parameter for learning
gammaOperator(ArrayList<PlFormula>, ArrayList<PlFormula>, PlSignature, FourValuedWorld) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics: Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation
gammaPrimeOperator(Collection<FourValuedWorld>, ArrayList<PlFormula>, ArrayList<PlFormula>, PlSignature) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics: Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones
Gateway - Class in org.tweetyproject.logics.bpm.syntax: A class to represent gateways of all kinds in a BPMN Model
Gateway() - Constructor for class org.tweetyproject.logics.bpm.syntax.Gateway: Create a new instance
GatewayType - Enum in org.tweetyproject.logics.bpm.syntax: Possible types of gateways in a BPMN model
GCF_GreedyKApproximationReasoner - Class in org.tweetyproject.arg.dung.reasoner: Starting from the empty set, this algorithms greedily determines an approximation to a k-stable extension by iteratively adding arguments (without introducing conflicts) that add the maximal number of arguments to the range.
GCF_GreedyKApproximationReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.GCF_GreedyKApproximationReasoner
gDefence(T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself from all attacks up to a specified threshold gamma.
gDefence(T, Extension<DungTheory>, Set<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself from a set of attackers up to a specified threshold gamma.
gDefence(T, Extension<DungTheory>, Set<Argument>, Set<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself and specific arguments from a set of attackers up to a specified threshold gamma.
gDefence(T, Argument, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Determines if the given extension can defend itself and argument a from all attacks up to a specified threshold gamma.
geLowerCut(DungTheory, double) - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension: Returns the lower cut of this probabilistic extension wrt.
GEN_SPEC - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory: Factory type for creating an instance of GeneralizedSpecificity.
GeneralAbaReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner: This is an abstract generalization over non-flat ABA reasoners.
GeneralAbaReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner: Default
GeneralAbaReasonerFactory<T> - Class in org.tweetyproject.web.services.aba: The GeneralAbaReasonerFactory class is an abstract factory class for creating instances of Argumentation-Based Argumentation (ABA) reasoners with different semantics.
GeneralAbaReasonerFactory() - Constructor for class org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory
GeneralAbaReasonerFactory.Semantics - Enum in org.tweetyproject.web.services.aba: An enumeration of all available semantics for ABA reasoners.
GeneralComparator<T,R> - Class in org.tweetyproject.comparator: This abstract class is the common ancestor for semantical approaches to ranking, i.e.
GeneralComparator() - Constructor for class org.tweetyproject.comparator.GeneralComparator: Default COnstructor
GeneralConstraintSatisfactionProblem - Class in org.tweetyproject.math.opt.problem: generalization of CSP
GeneralConstraintSatisfactionProblem() - Constructor for class org.tweetyproject.math.opt.problem.GeneralConstraintSatisfactionProblem: constructor
GeneralConstraintSatisfactionProblem(Collection<? extends OptProbElement>) - Constructor for class org.tweetyproject.math.opt.problem.GeneralConstraintSatisfactionProblem: Constructor
GeneralEdge<T> - Class in org.tweetyproject.graphs: The `GeneralEdge` class represents a general structure for edges in a graph.
GeneralEdge() - Constructor for class org.tweetyproject.graphs.GeneralEdge: Default Constructor
GeneralGraph<T> - Interface in org.tweetyproject.graphs: The `GeneralGraph` interface represents a general structure for graphs where each graph consists of nodes and edges.
GeneralizedMeMachineShop - Class in org.tweetyproject.logics.pcl.analysis: Uses the generalized ME-model of a knowledge base to repair it, cf.
GeneralizedMeMachineShop(int) - Constructor for class org.tweetyproject.logics.pcl.analysis.GeneralizedMeMachineShop: Creates a new machine shop with the given norm.
GeneralizedMeReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner: Creates a new generalized ME-reasoner
GeneralizedSpecificity - Class in org.tweetyproject.arg.delp.semantics: This class implements the generalized specificity criterion used to compare two arguments.
GeneralizedSpecificity() - Constructor for class org.tweetyproject.arg.delp.semantics.GeneralizedSpecificity: Default Constructor
GeneralMathException - Exception Class in org.tweetyproject.math: This class is represents a general math exception;
GeneralMathException() - Constructor for exception class org.tweetyproject.math.GeneralMathException: Creates a new general math exception.
GeneralMathException(String) - Constructor for exception class org.tweetyproject.math.GeneralMathException: Creates a new general math exception.
GeneralValuedBitSet - Class in org.tweetyproject.logics.translators.adfconditional: Similar to the ThreeValuedBitSet but with arbitrary values allowed Can be used for 4-valued interpretations but also for anything above that!
GeneralValuedBitSet(int, int) - Constructor for class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet: Creates a new bitset with the specified size and all values set to 0
generate() - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator: Generates a candidate interpretation by initializing the SAT solver state (if not already initialized) and delegating the generation to the abstract AbstractCandidateGenerator.generate(SatSolverState) method.
generate() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator: Generates a new candidate interpretation.
generate(LotteryGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DummyAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
generate(LotteryGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
generate(GroundedGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
generate(GroundedGameSystem, SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameProtocolGenerator
generate(SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
generate(SimulationParameters) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator
generate(SimulationParameters) - Method in interface org.tweetyproject.agents.sim.MultiAgentSystemGenerator: Generates a new multi-agent system.
generate(SatSolverState) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
generate(SatSolverState) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
generate(SatSolverState) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
generate(R, SimulationParameters) - Method in interface org.tweetyproject.agents.sim.ProtocolGenerator: Generates a new protocol.
generate(S, SimulationParameters) - Method in interface org.tweetyproject.agents.sim.AgentGenerator: Generates a new agent for the given multi-agent system.
generateParseException() - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Generate ParseException.
generateParseException() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Generate ParseException.
generateParseException() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Generate a ParseException when an error occurs during parsing.
generateParseException() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
generateParseException() - Method in class org.tweetyproject.preferences.io.POParser: Generates a ParseException that describes the parsing error that occurred.
generateParseException() - Method in class org.tweetyproject.preferences.io.UPParser: Generate ParseException.
generatePreferenceOrder() - Method in class org.tweetyproject.preferences.ranking.Functions: this method returns a preference order made out of an ranking function
generatePreferenceOrder() - Method in class org.tweetyproject.preferences.ranking.LevelingFunction: this method returns a preference order made out of this leveling function
generatePreferenceOrder() - Method in class org.tweetyproject.preferences.ranking.RankingFunction: this method returns a preference order made out of an ranking function
GEQ - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator: Represents the "greater than or equal to" operator (>=).
get() - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser: retrieve the constructed Petri net
get() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BpmnModelParser: retrieve the parsed instance of the BpmnModel class
get() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Term
get() - Method in class org.tweetyproject.logics.commons.syntax.StringTerm
get() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
get() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser: Get the reachability graph after parsing
get(boolean, boolean) - Static method in enum org.tweetyproject.arg.adf.semantics.link.LinkType: Returns the corresponding LinkType based on the given properties of attacking and supporting.
get(int) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet: Getter
get(int) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
get(int) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
get(int) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
get(int) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
get(int) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
get(int) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
get(int) - Method in class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet: get the value of the bit at position i
get(int) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
get(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
get(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
get(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
get(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
get(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
get(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
get(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
get(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
get(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
get(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
get(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
get(Object) - Method in class org.tweetyproject.preferences.ranking.Functions: returns the value to a given key
get(String) - Static method in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: Get the AnalysisType by giving the keyword
get(Division) - Method in class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery: Returns the probability of the given outcome.
get(LdoFormula) - Method in class org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery: Returns the probability of the given outcome.
get(Argument) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping: Returns the social value of the given argument
get(Triple<T, T, Relation>) - Method in class org.tweetyproject.preferences.PreferenceOrder: checks existence and returns a demanded pair
get(Predicate, Collection<? extends Constant>) - Method in class org.tweetyproject.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 org.tweetyproject.logics.pl.semantics.PriestWorld: Returns the truth value of the given proposition.
get(Proposition) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Returns the truth value of the given proposition.
get(Proposition) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld: Returns the truth value of the given proposition.
get(Proposition) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Returns the truth value of the given proposition.
GET_MODEL - Enum constant in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: get model
GET_MODEL - Enum constant in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command: get model
GET_MODELS - Enum constant in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: get models
GET_MODELS - Enum constant in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command: get models
getABox() - Method in class org.tweetyproject.logics.dl.syntax.DlBeliefSet: Returns the ABox section of the knowledge base.
getAbsolutePathOfNext() - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator: Returns the absolute path of the next file
getAbsoluteValues() - Method in class org.tweetyproject.math.equation.Statement: Returns all absolute values of this statement.
getAbsoluteValues() - Method in class org.tweetyproject.math.term.AbsoluteValue
getAbsoluteValues() - Method in class org.tweetyproject.math.term.AssociativeOperation
getAbsoluteValues() - Method in class org.tweetyproject.math.term.Constant
getAbsoluteValues() - Method in class org.tweetyproject.math.term.Difference
getAbsoluteValues() - Method in class org.tweetyproject.math.term.Fraction
getAbsoluteValues() - Method in class org.tweetyproject.math.term.FunctionalTerm
getAbsoluteValues() - Method in class org.tweetyproject.math.term.Term: Returns all absolute values of this term.
getAbsoluteValues() - Method in class org.tweetyproject.math.term.Variable
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner: Returns the set of acceptable arguments of this reasoner.
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner
getAcceptableArguments(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner
getAcceptanceCondition(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Retrieves the acceptance condition for the specified argument.
getAcceptanceProbability(Division, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given division being acceptable wrt.
getAcceptanceProbability(LdoFormula, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given formula being acceptable wrt.
getAcceptanceProbability(Extension, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given set of arguments being acceptable wrt.
getAcceptanceProbability(Argument, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the probability of the given argument being acceptable wrt.
getAction() - Method in class org.tweetyproject.action.transitionsystem.Transition: Returns the action that causes this transition.
getAction() - Method in class org.tweetyproject.agents.ActionEvent: Return the action
getActionName(String) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the action name predicate with the given name if one exists, null otherwise.
getActionNames() - Method in class org.tweetyproject.action.signature.ActionSignature: Retrieves the set of action names contained in this action signature.
getActions() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery: Retrieves the list of actions associated with this necessarily query in the correct order.
getActions() - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the actions of this MDP
getActionSignature() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery
getActionSignature() - Method in class org.tweetyproject.action.query.syntax.QueryProposition: Returns a new action signature containing all symbols of the inner formula of this proposition.
getActionSignature() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves the action signature of this action query.
getActivities() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: retrieve all nodes in this BPMN model that are Activities
getAddition() - Method in class org.tweetyproject.math.algebra.Semiring: Retrieves the binary addition operation.
getAdditionalArguments() - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner: Returns the additional arguments given to the call of the EProver binary (Default value is "--auto-schedule").
getAdditionalOptions() - Method in class org.tweetyproject.lp.asp.syntax.Program
getAdjacencyMatrix() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getAdjacencyMatrix() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getAdjacencyMatrix() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getAdjacencyMatrix() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getAdjacencyMatrix() - Method in class org.tweetyproject.graphs.DefaultGraph
getAdjacencyMatrix() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the adjacency matrix of this DirHyperGraph (the order of the nodes is the same as returned by "iterator()").
getAdjacencyMatrix() - Method in interface org.tweetyproject.graphs.Graph: Returns the adjacency matrix of this graph (the order of the nodes is the same as returned by "iterator()").
getAdjacencyMatrix() - Method in class org.tweetyproject.graphs.HyperGraph
getAdjacencyMatrix() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getAdjacencyMatrix() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getAdjacencyMatrix() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getAF() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase: Builds the argumentation framework (AF) by generating arguments and attacks between them based on the knowledge base.
getAfterFormula() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw: Retrieves the after formula of this causal law.
getAgent() - Method in class org.tweetyproject.agents.ActionEvent: Return the agent.
getAggregateElements() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Return the elements that the aggregate ranges over.
getAllAdmissbleExtensions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Computes all admissible extensions.
getAllArguments() - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension: Returns the set of all arguments appearing.
getAllAttacks() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of all attacks in the theory
getAllAttacks() - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of all attacks in the theory.
getAllCompletions() - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: Generates all possible completions of the current Dung theory based on uncertain arguments and attacks.
getAllConclusions() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return all conclusions appearing in this argument.
getAllConclusions() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Returns all conclusions appearing in this argument.
getAllConflictFreeExtensions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Computes all context-free extensions.
getAllDeductions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Return all deductions that can be derived from this theory
getAllDeductions(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Return all deductions that can be derived from this theory
getAllExtensions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Computes all possible extensions.
getAllGrounded() - Method in class org.tweetyproject.action.description.syntax.CLaw: Retrieves the set of all grounded instances of this causal law.
getAllGrounded() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
getAllGrounded() - Method in class org.tweetyproject.action.description.syntax.StaticLaw
getAllGrounded() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves the set of all grounded instances of this action query.
getAllGroundedActionNameAtoms() - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature based on all action name predicates.
getAllGroundedFluentAtoms() - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature based on all fluent predicates.
getAllHerbrandInterpretations() - Method in class org.tweetyproject.logics.fol.semantics.HerbrandBase: Return all possible Herbrand interpretations.
getAllHerbrandInterpretations() - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandBase: Returns all possible Herbrand interpretations.
getAllInterpretations(DlSignature) - Method in class org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner: Get all interpretations for the given signature.
getAllItems() - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode: Collects all items in this tree and returns them.
getAllLabelings(Semantics) - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity: shortcut for getting all labelings wrt a semantics
getAllMNCompleteExtensions(DungTheory, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-complete extensions.
getAllMNGroundedExtensions(DungTheory, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-grounded extensions.
getAllMNPreferredExtensions(DungTheory, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all mn-preferred extensions.
getAllModels(IncompleteTheory) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
getAllMStableExtensions(DungTheory, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Returns all m-stable extensions.
getAllPossibleWorlds(Collection<Proposition>) - Static method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld: Return all possible nice worlds
getAllPossibleWorlds(Collection<Proposition>) - Static method in class org.tweetyproject.logics.pl.semantics.PossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(Collection<Proposition>) - Static method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(PlSignature) - Static method in class org.tweetyproject.logics.pl.semantics.PossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPossibleWorlds(PlSignature) - Static method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld: Returns the set of all possible worlds for the given propositional signature.
getAllPropositions() - Method in class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework: Retrieves all propositions from the collection of formulas in this object.
getAllRules() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return all rules appearing in this argument.
getAllRules() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Returns all rules appearing in this argument.
getAllSubs() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: returns the Subs according to the ASPIC+ specification
getAllSubstitutions(Set<Variable>) - Static method in class org.tweetyproject.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 org.tweetyproject.action.grounding.GroundingTools: Calculates all possible substitutions of variables for a given set of constants
getAmount() - Method in class org.tweetyproject.preferences.update.Update: returns the third element of this quadruple
getAnswer() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the answer associated with this object.
getAnswer() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the answer provided by the DeLP response.
getAnswer() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the answer provided by the Dung reasoner response.
getAntColony(ConfigurationProvider) - Method in class org.tweetyproject.math.opt.solver.AntColonyOptimization: Ant colony
getAnyLabeling() - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity
getArgs() - Method in class org.tweetyproject.comparator.LatticePartialOrder: Return the arguments
getArgument() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument: Returns an argument representation (in Dung-style) of this LdoArgument.
getArgument() - Method in interface org.tweetyproject.arg.dung.learning.syntax.AttackConstraint: Retrieves the argument associated with this constraint.
getArgument() - Method in class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint: returns the argument
getArgument() - Method in class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: return the argument the condition is for
getArgument(int) - Method in class org.tweetyproject.arg.dung.writer.Iccma23Writer: Returns the argument mapped to the given integer wrt.
getArgumentationLine() - Method in class org.tweetyproject.arg.delp.semantics.DialecticalTree: Returns the argumentation line which is generated by the path from this node to the root (in reverse)
getArgumentByIdentifier(String) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory: Returns the EArgument object given its identifier
getArgumentId(Argument) - Method in class org.tweetyproject.arg.dung.writer.Iccma23Writer: Returns the mapping of the given argument wrt.
getArgumentLiterals() - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getArgumentNameFromIdentifier(String) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory: Returns the argument's name give its identifier
getArguments() - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getArguments() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Returns an unmodifiable set of all the arguments in this AbstractDialecticalFramework.
getArguments() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory: Expands this system's inference rules into a tree arguments
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Return a list of arguments
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Returns the set of arguments contained in this ArgumentSet.
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Gets arguments of the EAF
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory: Get the insert ordered list of arguments.
getArguments() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: Returns the set of all possible arguments, that can be built in this delp.
getArguments() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedTheory: Retrieves all InducedArguments from the theory.
getArguments() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getArguments() - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity: get the set of arguments of the hidden AF
getArguments() - Method in class org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase: Returns all minimal arguments constructible from the extended logic program
getArguments() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm: Returns an unmodifiable view of the list of arguments for this FunctionalTerm.
getArguments() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
getArguments() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getArguments() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getArguments() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getArguments() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getArgumentsAsSet() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all arguments
getArgumentsOfRank(Integer) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering: Retrieves a collection of arguments that have the specified rank value.
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation: Returns all arguments that have the given status in this interpretation.
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.Extension
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
getArgumentsWithConclusion(DefeasibleLogicProgram, FolFormula) - Static method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner: Returns all arguments with the given conclusion from the delp.
getArgumentTree(DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.Compilation: Returns the argument tree for the given argument.
getArgumentTypes() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
getArgumentTypes() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
getArity() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
getArity() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
getASCIITree() - Method in class org.tweetyproject.arg.bipolar.syntax.PEAFTheory: Returns an ascii tree for debug purposes.
getAssumptions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Return the assumptions
getAssumptions() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return all assumptions employed by this deduction
getAssumptions() - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase
getAssumptions() - Method in class org.tweetyproject.arg.lp.syntax.Argument: Returns the set of assumptions, i.e.
getAtom() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Retrieves the atom of this literal.
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral: Return The atom representing the literal.
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getAtoms() - Method in class org.tweetyproject.action.description.syntax.CLaw: Retrieves the set of propositions (atoms) contained in all formulas within this law.
getAtoms() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
getAtoms() - Method in class org.tweetyproject.action.description.syntax.StaticLaw
getAtoms() - Method in class org.tweetyproject.action.signature.FolAction: Returns all atoms, e.g.
getAtoms() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
getAtoms() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getAtoms() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
getAtoms() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
getAtoms() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getAtoms() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getAtoms() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula: Processes the set of all atoms which appear in this formula
getAtoms() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of atoms contained in the inner formula.
getAtoms() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
getAtoms() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
getAtoms() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
getAtoms() - Method in class org.tweetyproject.logics.fol.semantics.HerbrandBase: Return all atoms of this Herbrand base.
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.Implication
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getAtoms() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getAtoms() - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandBase: Return all atoms of this Herbrand base.
getAtoms() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getAtoms() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.Implication
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.Negation
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getAtoms() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
getAtoms() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
getAtoms() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
getAtoms() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getAtoms() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getAtoms() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
getAtoms() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getAtoms() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getAtoms() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getAtoms() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getAttacked() - Method in interface org.tweetyproject.arg.bipolar.syntax.Attack: Returns the entity that is being attacked.
getAttacked() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack: returns the attacked argument of this attack relation.
getAttacked() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack: Get the arguments that receive this attack
getAttacked() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack: returns the attacked argument of this attack relation.
getAttacked() - Method in class org.tweetyproject.arg.dung.syntax.Attack: returns the attacked argument of this attack relation.
getAttacked() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: returns the attacked element of this attack relation.
getAttacked() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack: returns the attacked argument of this attack relation.
getAttacked(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Computes the set {A | (arg,A) in attacks for some arg in args}.
getAttacked(Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of Arguments/Attacks attacked by 'ext'
getAttacked(Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of arguments/attacks directly attacked by some argument in 'ext'.
getAttacked(Collection<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Computes the set of arguments collectively attacked by arguments.
getAttacked(BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (argument,A) in attacks}.
getAttacked(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Computes the set {A | (argument,A) in attacks}.
getAttacked(Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of Arguments/Attacks attacked by 'argument'
getAttacked(Argument) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of arguments/attacks directly attacked by 'arg'.
getAttacked(ExtendedAttack) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of arguments/attacks attacked by 'attack'.
getAttacker() - Method in interface org.tweetyproject.arg.bipolar.syntax.Attack: Returns the entity that is initiating the attack.
getAttacker() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack: returns the attacking argument of this attack relation.
getAttacker() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack: Get the arguments that originate this attack
getAttacker() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack: returns the attacking set of arguments of this attack relation.
getAttacker() - Method in class org.tweetyproject.arg.dung.syntax.Attack: returns the attacking argument of this attack relation.
getAttacker() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: returns the attacking argument of this attack relation.
getAttackers() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack: returns the attacking argument of this attack relation.
getAttackers(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Computes the set {A | (A,arg) in attacks for some arg in args}.
getAttackers(Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of attackers of 'entities'
getAttackers(Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of arguments that attack some member of the given set of arguments/attacks.
getAttackers(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (A,argument) in attacks}.
getAttackers(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Computes the set {A | (A,argument) in attacks}.
getAttackers(Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of attackers of 'argument'
getAttackers(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Computes the set {A | (A,argument) in attacks}.
getAttackers(Attack) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of attackers of 'attack'
getAttackers(DungEntity) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory: Computes the set of arguments that attack the given argument/attack.
getAttackingArguments(Argument) - Method in class org.tweetyproject.arg.lp.semantics.AttackRelation: Returns all arguments from the knowledgebase, that attack argument a.
getAttackingCandidates(DungTheory, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets, which attack any argument in ext
getAttackingConclusions(AspicArgument<T>, RuleFormulaGenerator<T>) - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner: Returns all "attacking conclusions" of the given argument.
getAttackingSets(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: Computes the set {S | (S, argument) in attacks}.
getAttackOpportunities(DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument: Computes the set of literals that disagree with the conclusion of a subargument of this argument
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Returns all attacks of this theory.
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all attacks
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Gets attacks of the EAF
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: Returns all attacks of this theory.
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
getAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory: Get the insert ordered list of attacks.
getAttacks() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Returns all attacks of this theory.
getAttacks() - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
getAttacks() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Return all attacks
getAttacks() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the attacks information in the Dung reasoner request.
getAttacks() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the attacks information in the Dung reasoner response.
getBackend_timeout() - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Gets the backend timeout setting for the service.
getBackGroundAtoms() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Retrieves a copy of the set of background atoms currently defined in the causal model.
getBeginColumn() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Retrieves the column number where the current token begins.
getBeginColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Retrieves the column number where the current token begins.
getBeginColumn() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token beginning column number
getBeginColumn() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Gets the beginning column number of the current token.
getBeginLine() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Retrieves the line number where the current token begins.
getBeginLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get token beginning line number.
getBeginLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Retrieves the line number where the current token begins.
getBeginLine() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token beginning line number
getBeginLine() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Gets the beginning line number of the current token.
getBeliefs() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase
getBeliefs() - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase: Retrieves all beliefs (propositional formulas) stored in this knowledge base.
getBeliefSetFromADF(AbstractDialecticalFramework, int) - Method in class org.tweetyproject.logics.translators.adfcl.ConverterADF2CL: Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"
getBeliefState() - Method in class org.tweetyproject.agents.dialogues.oppmodels.ArguingAgent: Returns the belief state of the agent.
getBeliefsWithoutStructuralEquations() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase: Retrieves all propositional formulas of this knowledge base excluding the structural equations.
getBidirectionalAttacks() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Returns all bidirectional attacks of this theory.
getBinaryAttacks() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of all binary attacks, i.e., the attacks between arguments
getBinarybase() - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld: Returns the binary base of this world, i.e.
getBinarybase() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Returns the binary base of this world, i.e.
getBinaryLocation() - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner: Return the path of the EProver binary
getBinaryLocation() - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner: Return the path of the Prover9 binaries.
getBinaryLocation() - Method in class org.tweetyproject.logics.pl.analysis.CmdLineImSolver: Return the path of the Prover9 binaries.
getBinomialEncoding(Collection<Proposition>, int) - Static method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Returns a naive SAT encoding of the given cardinality constraint.
getBipartitions(Set<E>) - Method in class org.tweetyproject.commons.util.SetTools: Computes every bipartition of the given set, e.g.
getBody() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Return the body of this rule
getBooleanAnswer() - Method in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type: Returns the boolean representation of the answer type.
getBpmnModel() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser: Return the parsed BpmnModel
getCallee(AbaReasonerCalleeFactory.Command, GeneralAbaReasoner<T>, AbaTheory<T>, Assumption<T>) - Static method in class org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory: Creates a new callee instance based on the provided command, ABA reasoner, ABA theory, and assumption.
getCallee(DungReasonerCalleeFactory.Command, AbstractExtensionReasoner, DungTheory) - Static method in class org.tweetyproject.web.services.dung.DungReasonerCalleeFactory: Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.
getCanonicalOrdering() - Method in class org.tweetyproject.logics.pl.syntax.PlBeliefSet: Force ordering on belief set based on comparison of hash codes.
getCategories() - Method in class org.tweetyproject.machinelearning.TrainingSet: Returns the collection of categories present in this training set.
getCausalModel() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase
getCharacteristicProbabilisticExtension(DungTheory, AbstractArgumentationInterpretation) - Static method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension: Returns the characteristic probabilistic extension of the given interpretation, i.e.
getChild() - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
getChild(S) - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode: Returns the child for the given item (if it does not exist, null is returned) and increments the freq
getChildren() - Method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
getChildren() - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
getChildren() - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
getChildren() - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
getChildren() - Method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition
getChildren() - Method in class org.tweetyproject.arg.adf.syntax.Argument
getChildren(Set<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Return the children of the node
getChildren(Set<T>) - Method in class org.tweetyproject.graphs.HyperGraph: Return the children of the node
getChildren(Node) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getChildren(Node) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getChildren(Node) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getChildren(Node) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getChildren(Node) - Method in class org.tweetyproject.graphs.DefaultGraph
getChildren(Node) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the set of children (node connected via an undirected edge or a directed edge where the given node is the parent) of the given node.
getChildren(Node) - Method in interface org.tweetyproject.graphs.Graph: Returns the set of children (node connected via an undirected edge or a directed edge where the given node is the parent) of the given node.
getChildren(Node) - Method in class org.tweetyproject.graphs.HyperGraph
getChildren(Node) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getChildren(Node) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getChildren(Node) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getClaim() - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgument: Returns the claim of this argument.
getClaim() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument: Returns the claim of this argument, which is a propositional logic formula.
getClaim() - Method in class org.tweetyproject.arg.dung.syntax.Claim
getClaim() - Method in class org.tweetyproject.arg.dung.syntax.ClaimArgument
getClaim() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure: Returns the claim of this argument structure, i.e.
getClaims() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
getClaims() - Method in class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory
getClaims(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory: get all claims of a given extension
getClassical() - Method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue: Return classical value
getClassical() - Method in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue: Return "TRUE" iff 4-valued TruthValue is also "TRUE"
getClassical() - Method in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue: Return"TRUE" iff 3-valued TruthValue is also "TRUE"
getClassical() - Method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: J: Return "True" iff TruthValue is True (!) Compared to the original PriestWorld, return False if value is Both/Undecided (!)
getClosure(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.
getCmd() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the command for the ABA reasoner post request.
getCmd() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the command type for the DeLP request.
getCmd() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the command type in the Dung reasoner request.
getCmd() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the command associated with this post.
getCmd() - Method in class org.tweetyproject.web.services.Post: Retrieves the command string of this Post object.
getColumn() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Deprecated.
getColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Deprecated.
getColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Deprecated.
getColumn() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Deprecated.
getColumn() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Deprecated.
getCommand() - Method in class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin: This class returns the parameter used to call this plugin
getCommand() - Method in class org.tweetyproject.logics.pl.plugin.PlPlugin: returns the parameter used to call this plugin from the tweety cli
getCommand() - Method in class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin
getCommand() - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin: returns the command this plugin is called with
getCommand() - Method in interface org.tweetyproject.plugin.TweetyPlugin: returns the keyword used in the cli to call this plugin
getCommand() - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin
getCommand(String) - Static method in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: Gets the Command enum based on the provided ID.
getCommand(String) - Static method in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command: Retrieves the Command enum based on the provided ID.
getCommands() - Static method in class org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory: Gets an array of all supported commands.
getCommands() - Static method in class org.tweetyproject.web.services.dung.DungReasonerCalleeFactory: Retrieves an array of all available Command enums.
getCommands() - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Gets the list of commands associated with the service.
getComparisonCriterion() - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner: returns the comparison criterion used in this program
getCompcriterion() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the completeness criterion specified in the DeLP request.
getCompcriterion() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the completeness criterion specified in the DeLP response.
getComplement() - Method in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction: Returns the complement of the current faction.
getComplementGraph(int) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getComplementGraph(int) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getComplementGraph(int) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getComplementGraph(int) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getComplementGraph(int) - Method in class org.tweetyproject.graphs.DefaultGraph
getComplementGraph(int) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the complement DirHyperGraph of this DirHyperGraph, i.e.
getComplementGraph(int) - Method in interface org.tweetyproject.graphs.Graph: Returns the complement graph of this graph, i.e.
getComplementGraph(int) - Method in class org.tweetyproject.graphs.HyperGraph
getComplementGraph(int) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getComplementGraph(int) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getComplementGraph(int) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getCompleteAssociatedDungTheory() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: constructs the complete associated dung theory of this bipolar argumentation framework i.e.
getCompleteConjunction(PlSignature) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorld: Returns the complete conjunction representing this possible world wrt.
getComplexAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of complex attacks in this bipolar argumentation framework i.e.
getComponent(DungTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: finds the set of arguments S = {a | there exists an edge between a and argument}
getComponents() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getComponents(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Finds all components of a graph.
getConcept() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion: Returns the concept involved in this concept assertion.
getConcept() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction: Return the concept of the existential restriction.
getConcept() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction: Return the concept of the universal restriction.
getConcept(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the concept with the given name.
getConceptDomain(ComplexConcept) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation: Returns the subset of the domain that belongs to the given concept (i.e.
getConcepts() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the atomic concepts of the signature.
getConclusion() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getConclusion() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return the conclusion of this deduction
getConclusion() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getConclusion() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Returns Conc according to the ASPIC+ specification
getConclusion() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getConclusion() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule: Retrieves the conclusion (claim) of the rule.
getConclusion() - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument: returns the conclusion of this argument
getConclusion() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getConclusion() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedArgument: Returns the conclusion of this induced argument.
getConclusion() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
getConclusion() - Method in class org.tweetyproject.commons.util.rules.Derivation: Returns the conclusion of this derivation.
getConclusion() - Method in interface org.tweetyproject.commons.util.rules.Rule: Returns the conclusion of this rule.
getConclusion() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getConclusion() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getConclusion() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule: Return the default's conclusion
getConclusion() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getConclusion() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getConclusion() - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule: Returns the conclusion of this rule.
getConclusions() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalStatement: Retrieves the conclusions of this causal statement.
getConclusions() - Method in class org.tweetyproject.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 org.tweetyproject.commons.util.rules.RuleSet: Returns all conclusions of all rules of this rule set.
getCondition() - Method in interface org.tweetyproject.arg.dung.learning.syntax.AttackConstraint: Retrieves the condition associated with this attack constraint.
getCondition() - Method in class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint: returns condition
getCondition() - Method in class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: return the acceptance condition
getConditionalGenerators(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Processes the Map form PossibleWorlds to the Generators of the given Conditional
getConditionalProbability() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
getConditionalProbability() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
getConditionalProbability() - Method in interface org.tweetyproject.arg.bipolar.syntax.Support: Returns the conditional probability of the support.
getConditionals() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Return An unmodifiable set of all conditionals in this ConditionalStructure
getConditionForArgument(Argument, Input) - Method in class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: compute the acceptance condition with respect to the labeling and its semantics for the given argument
getConflictbase() - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld: Returns the conflict base of this world, i.e.
getConflictbase() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Returns the conflict base of this world, i.e.
getConflictFreeCandidateSets(DungTheory, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets of bbase, that contain only arguments in candidates and all arguments are relevant an argument is considered relevant iff it attacks any argument in the same component as the given argument A
getConflictFreeSets(DungTheory, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all conflict-free sets of bbase, that contain only arguments in candidates
getConflicts(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: computes the set of conflicts occurring inside ext
getConflicts(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure: Return the conflicts of the prime implicants
getConjunctionOfAllQueries() - Method in class org.tweetyproject.action.query.syntax.SActionQuerySet: Returns a conjunction of all contained queries.
getConjunctions() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula: Return conjunctions
getConstant(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Get the constant with the given name.
getConstants() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns the constants of this first-order logic signature.
getConstants() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure: Return all constants that appear in this structure.
getConstraintTerms() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Return the constraint terms of this rule.
getContent() - Method in class org.tweetyproject.web.services.Ping: Gets the content of the Ping object.
getControlMatrix() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Retrieve a matrix that specifies for each pair of marking and transition how likely that transition is going to occur at that marking, based on the probability function that describes this graph.
getControlVector() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk: Return the controlVector
getCorrespondingFolSignature() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Translates this DlSignature to a FolSignature, i.e.
getCredibilityOrder() - Method in class org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet: Returns the credibility order of this belief set.
getCriteria() - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter: Getter of criteria
getCurrentDirectory() - Method in interface org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler: Returns the current directory where file operations are being performed.
getCurrentDiretory() - Method in interface org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler: Return the File
getCurrentSize() - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
getCurrentState() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk: Return the currentState
getCyclesExcludingSelfLoops(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Finds the cycles of an graph order-sensitively, excluding self-loops (cycles of length one).
getCyclesIncludingSelfLoops(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Finds the cycles of an graph order-sensitively, including self-loops (cycles of length one).
getCygwinShell(String) - Static method in class org.tweetyproject.commons.util.Shell: a wrapper around the cygwin shell
getDataset() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
getDatasetWithNames() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
getDeactivatedArguments(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework: computes the set of deactivated arguments of argumentSet a set of arguments S deactivates an argument a iff either S attacks a or S does not support a
getDeductiveArguments() - Method in class org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase: Computes all deductive arguments.
getDeductiveArguments(PlFormula) - Method in class org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase: Computes all deductive arguments for the given claim.
getDeductiveComplexAttacks() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of deductive complex attacks (d-attacks) in this bipolar argumentation framework i.e.
getDefaultEnumerator() - Static method in class org.tweetyproject.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 org.tweetyproject.math.opt.solver.Solver: Returns the default solver for non-linear (general) optimization problems.
getDefaultGraph() - Method in class org.tweetyproject.comparator.Order: Return the directed defaultGraph that represents the order
getDefaultification(Program) - Static method in class org.tweetyproject.lp.asp.syntax.Program: Creates the defaultification p_d of a given program p.
getDefaultIntegerLinearSolver() - Static method in class org.tweetyproject.math.opt.solver.Solver: Returns the default solver for integer linear optimization problems.
getDefaultLinearSolver() - Static method in class org.tweetyproject.math.opt.solver.Solver: Returns the default solver for linear optimization problems.

If a default solver for linear problems has been configured this solver is returned by this method.
getDefaultMetaVariable() - Method in class org.tweetyproject.arg.delp.semantics.CriterionOptionHandler: Returns the default meta-variable for this option handler.
getDefaultReasoner() - Static method in class org.tweetyproject.logics.fol.reasoner.FolReasoner: Returns the default theorem prover
getDefaultReasoner() - Static method in class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner: Returns the default reasoner for modal logic
getDefaults() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultTheory: Return all the default rules
getDefaultSolver() - Static method in class org.tweetyproject.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 org.tweetyproject.machinelearning.TrainingParameter: Returns the default value of this parameter.
getDefeasibleRules() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Returns the DefRules according to ASPIC+ specification, i.e.
getDefeasibleSubs() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Determines subarguments with defeasible toprules, premises do not count as subrules
getDefeaters(DefeasibleLogicProgram, ComparisonCriterion) - Method in class org.tweetyproject.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.
getDefendedArguments(Argument) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Retrieves the set of arguments defended by the given argument.
getDefendedNotIn(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: computes the set of arguments outside of ext, which are defended by ext
getDefensibleArguments(ArgumentationKnowledgeBase) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner: Returns the set of defensible arguments, i.e.
getDescription() - Method in class org.tweetyproject.plugin.parameter.CommandParameter: returns the description for this parameter
getDeviation(PclBeliefSet, ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure: Returns the deviation of the given conditional in the nearest consistent belief set.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment: Returns the current dialogue trace.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment: Returns the current dialogue trace.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment: Returns the current dialogue trace.
getDirection() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Return the ark direction, from place to transition or vice versa
getDirectSubs() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: The argument's direct children, whose conclusions fit its prerequisites
getDirectSupported(BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (argument,A) in supports}.
getDirectSupporters(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Computes the set {A | (A,argument) in supports}.
getDirEdge(Set<Argument>, Node) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Return the edge between the two
getDirEdge(Set<T>, Node) - Method in class org.tweetyproject.graphs.HyperGraph: Get a directed edge.
getDisagreementSubargument(FolFormula, DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument: Computes the disagreement subargument of this argument for the given literal
getDisjunctions() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula: Return disjunction
getDividers(DungTheory, Semantics) - Method in class org.tweetyproject.arg.dung.divisions.Division: Returns the dividers for this division, i.e.
getDividers(DungTheory, Semantics) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula: Returns the dividers for this formula, i.e.
getDivisions(Collection<Extension<DungTheory>>, DungTheory) - Static method in class org.tweetyproject.arg.dung.divisions.Division: Returns all divisions of all given extensions and the given aaf.
getDivisions(Extension<DungTheory>, DungTheory) - Static method in class org.tweetyproject.arg.dung.divisions.Division: Returns all divisions of aaf that arise from the given extension.
getDomainElements() - Method in interface org.tweetyproject.preferences.BinaryRelation: returns a set of the single elements in this binary relation
getDomainElements() - Method in class org.tweetyproject.preferences.PreferenceOrder: (re-)computes a set of single elements in this preference order
getDoubleAnswer() - Method in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type: Returns the `Double` representation of the answer type.
getDualCoNorm() - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
getDualCoNorm() - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm
getDualCoNorm() - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm
getDualCoNorm() - Method in class org.tweetyproject.math.func.fuzzy.TNorm: Returns the dual T-conorm of this T-norm.
getDualNorm() - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum
getDualNorm() - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm
getDualNorm() - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum
getDualNorm() - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm: Returns the dual T-norm of this T-conorm.
getDungTheory() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: This method translates this delp into an abstract Dung theory.
getDungTheory() - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: compute Dung Theory only containing attacks with weights greater than zero
getDungTheory(double) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: compute Dung Theory only containing attacks with weight above the given threshold
getDungTheory(int, List<List<Integer>>) - Static method in class org.tweetyproject.web.services.Utils: Creates a DungTheory from the given number of arguments and attack relations.
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner: Computes the Dung theory from which the answer will be derived
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner
getDungTheory(AspicArgumentationTheory<T>, T) - Method in class org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner
getDynamicLaws() - Method in class org.tweetyproject.action.description.syntax.CActionDescription: Retrieves a set of all dynamic laws contained in this action description.
getEdge(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getEdge(SerialisationNode, SerialisationNode) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getEdge(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getEdge(Argument, Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getEdge(Node, Node) - Method in class org.tweetyproject.graphs.HyperGraph
getEdge(BpmnNode, BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getEdge(PetriNetNode, PetriNetNode) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getEdge(Marking, Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getEdge(T, T) - Method in class org.tweetyproject.graphs.DefaultGraph
getEdge(T, T) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the corresponding edge (a,b) if a and b are adjacent.
getEdge(T, T) - Method in interface org.tweetyproject.graphs.Graph: Returns the corresponding edge (a,b) if a and b are adjacent.
getEdges() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getEdges() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getEdges() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getEdges() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getEdges() - Method in class org.tweetyproject.graphs.DefaultGraph
getEdges() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the edges of this DirHyperGraph.
getEdges() - Method in interface org.tweetyproject.graphs.GeneralGraph: Returns the edges of this graph.
getEdges() - Method in interface org.tweetyproject.graphs.Graph: Returns the edges of this graph.
getEdges() - Method in class org.tweetyproject.graphs.HyperGraph
getEdges() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getEdges() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getEdges() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getElapsedTime() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult: Returns the time elapsed during the computation, in milliseconds.
getElement() - Method in class org.tweetyproject.preferences.update.Update: returns the fourth element of this quadruple
getElements() - Method in class org.tweetyproject.agents.dialogues.DialogueTrace: Returns all elements mentioned in this dialogue trace.
getElements() - Method in class org.tweetyproject.comparator.Order: Returns the elements appearing in this order.
getElements() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Return the choice elements of this choice atom
getElements() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement: Return the optimization elements of this optimization statement
getElementsByValue(int) - Method in class org.tweetyproject.preferences.ranking.Functions: returns an entry set of all elements in this ranking function with the same rank (= value)
getEmail() - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Retrieves the email address associated with this response.
getEmail() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the email associated with the request.
getEmail() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the email associated with this object.
getEmail() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the email associated with the DeLP request.
getEmail() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the email associated with the DeLP response.
getEmail() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the email associated with the Dung reasoner request.
getEmail() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the email associated with the Dung reasoner response.
getEmail() - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Gets the email address associated with this response.
getEmail() - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Retrieves the email address associated with this response.
getEmail() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the email address associated with this post.
getEmail() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Retrieves the email address associated with the inconsistency report or request.
getEmptySymbol() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
getEmptySymbol() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
getEmptySymbol() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
getEmptySymbol() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
getEmptySymbol() - Method in class org.tweetyproject.logics.dl.syntax.Union
getEmptySymbol() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
getEmptySymbol() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
getEmptySymbol() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
getEmptySymbol() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
getEmptySymbol() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
getEmptySymbol() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
getEmptySymbol() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getEnabledTransitions() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Retrieve the transitions that are enabled in the current state (token distribution) of the net
getEndColumn() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Get token end column number.
getEndColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get token end column number.
getEndColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Retrieves the column number where the current token ends.
getEndColumn() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token end column number
getEndColumn() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Gets the end column number of the current token.
getEndLine() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Get token end line number.
getEndLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get token end line number.
getEndLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Retrieves the line number where the current token ends.
getEndLine() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token end line number
getEndLine() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Gets the end line number of the current token.
getEntry(int, int) - Method in class org.tweetyproject.math.matrix.Matrix: Returns the entry with the given coordinates.
getEnvironment() - Method in class org.tweetyproject.agents.MultiAgentSystem: Returns the environment of this multi-agent system.
getEpistemicLabeling() - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension: Returns the epistemic labeling of this probabilistic extension, i.e.
getEpistemicProbability(Argument) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the epistemic probability of the given argument, i.e.
getEpistemicProbability(Attack) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the epistemic probability of the given attack, i.e.
getEquivalenceClasses() - Method in class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet: Determines the equivalence classes of this belief set, i.e.
getEquivalenceClasses(FolSignature) - Method in class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet: Determines the equivalence classes of this belief set wrt.
getEquivalentTheories(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence: Computes the 'equivalence class' of the given Argumentation Framework, i.e., the set of all argumentation frameworks that are strongly equivalent wrt.
getEta() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get the eta (the root) argument
getEta() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: returns the special argument eta
getEvidenceSupportedArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: returns all arguments that have evidential support in this framework
getExamples(int, int) - Method in class org.tweetyproject.arg.dung.learning.ExampleFinder: compute a tree like structure of examples.
getExamples(int, int) - Method in class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder: compute a tree like structure of examples.
getExpectedUtility(ArgumentationLottery) - Method in class org.tweetyproject.arg.prob.lotteries.UtilityFunction: Returns the expected utility of the given lottery.
getExpectedUtility(LdoArgumentationLottery) - Method in class org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction: Returns the expected utility of the given lottery.
getExplainableAtoms() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Retrieves a copy of the set of explainable atoms currently defined in the causal model.
getExtendedAttacks() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the set of all extended attack, i.e., the attacks from arguments to attacks
getExtension() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode: Return the extension corresponding to this state
getExtension() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence: Computes the corresponding extension as the union of all the sets in the sequence
getExtensions() - Method in class org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis
getExtensions() - Method in interface org.tweetyproject.arg.bipolar.analysis.extensions.ExtensionAnalysis: Computes and returns a list of extensions.
getExtensions() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph: Return the extension that the represented serialisation sequences correspond to
getExtensions() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultProcessTree: Return all extensions (possible sets of facts)
getFaction() - Method in class org.tweetyproject.agents.dialogues.oppmodels.ArguingAgent: Returns the faction of the agent.
getFaction() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator: Returns the faction of the generated agents.
getFacts() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultTheory: Return FoL formulas in default theories
getFacts() - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram: Retrieves a set of facts from the nested logic program.
getFalse(Argument) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getFalsifiyingWorlds(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Retrieves an unmodifiable list of possible worlds that falsify the given conditional.
getFileFormat(String) - Static method in enum org.tweetyproject.arg.dung.parser.FileFormat: Returns the file format instance that corresponds to the given abbrevation
getFileFormats(String) - Static method in enum org.tweetyproject.arg.dung.parser.FileFormat: Returns a collection of file formats parsed from the given string which has to be in the format "[format1,...,formatn]".
getFilter() - Method in interface org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler: Returns the file filter associated with this file handler.
getFilter() - Method in interface org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler: Return the Filter
getFirst() - Method in class org.tweetyproject.commons.util.Pair: returns the first element of this pair
getFirst() - Method in class org.tweetyproject.commons.util.Triple: returns the first element of this triple
getFirstFormula() - Method in class org.tweetyproject.logics.fol.syntax.Implication: Get the left side formula of the implication left => right.
getFirstFormula() - Method in class org.tweetyproject.logics.pl.syntax.Implication: * Get the left side formula of the implication left => right.
getFlowType() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge: Return the flow type
getFluentName(String) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the fluent name predicate with the given name if one exists, null otherwise.
getFluentNames() - Method in class org.tweetyproject.action.signature.ActionSignature: Retrieves the set of fluent names contained in this action signature.
getFol_signature() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the first-order logic (FOL) signature.
getFol_signature() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the fol_signature associated with this object.
getFormat() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the data format for this post.
getFormat() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Retrieves the data format used in the inconsistency evaluation.
getFormat(String) - Static method in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format: Getter Format
getFormula() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves the propositional formula represented by this action query.
getFormula() - Method in class org.tweetyproject.arg.aba.syntax.Assumption: Returns the inner formula of this assumption.
getFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation: Returns the formula within this negation.
getFormula() - Method in class org.tweetyproject.beliefdynamics.mas.InformationObject: Returns the formula of this information object.
getFormula() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
getFormula() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the formula that this quantified formula ranges over.
getFormula() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
getFormula() - Method in class org.tweetyproject.logics.dl.syntax.Complement: Returns the concept that is being negated by this complement.
getFormula() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula: returns formula
getFormula() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: returns formula
getFormula() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getFormula() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getFormula() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula: Returns the inner formula.
getFormula() - Method in class org.tweetyproject.logics.pl.syntax.Negation: Returns the formula within this negation.
getFormula() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula: Return the quantified formula
getFormula() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula: Return the quantified formula
getFormula() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision: Returns the formula within this negation.
getFormula() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation: Returns the formula within this negation.
getFormula() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead: Return the aggregate atom that makes up this rule head.
getFormulaFromAcc(AcceptanceCondition) - Method in class org.tweetyproject.logics.translators.adfcl.ConverterADF2CL: Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name
getFormulas() - Method in class org.tweetyproject.action.description.syntax.CLaw: Returns the set of formulas contained in this causal law, e.g.
getFormulas() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
getFormulas() - Method in class org.tweetyproject.action.description.syntax.StaticLaw
getFormulas() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getFormulas() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getFormulas() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom: Return the formulas
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction: Return the (atomic) role and the concept that are part of the existential restriction.
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction: Return the (atomic) role and the concept that are part of the universal restriction.
getFormulas() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence: Returns the formulas of the equivalence.
getFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Implication: Returns the formulas of the implication.
getFormulas() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence: Returns the formulas of the equivalence.
getFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Implication: Returns the formulas of the implication.
getFormulas() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getFormulas(Class<C>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getFormulas(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getFormulas(Class<C>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula: Process the formulas of type C that are children of this associative formula
getFormulas(Class<C>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getFormulas(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getFormulas(Class<C>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getFormulas(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getFrame() - Method in class org.tweetyproject.commons.Plotter: Return the frame
getFrom() - Method in class org.tweetyproject.action.transitionsystem.Transition: Returns the source state of this transition.
getFrom() - Method in interface org.tweetyproject.arg.adf.semantics.link.Link
getFrom() - Method in class org.tweetyproject.arg.adf.semantics.link.SimpleLink: Returns the source argument from which the link originates.
getFrom() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack: Return the argument that originates the attack
getFroms() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Support: Return the set of arguments that originates the support
getFunction() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Return the aggregate function
getFunctionalTerms() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure: Return all functional terms that appear in this structure.
getFunctions() - Method in class org.tweetyproject.math.opt.rootFinder.RootFinder: Returns the function of this root finder.
getFunctor() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm: Returns the functor associated with this FunctionalTerm.
getFunctor(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Get the functor with the given name.
getFunctors() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getFunctors() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of functors contained in the inner formula.
getFunctors() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns the functors of this first-order logic signature.
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.Implication
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure: Return all functors that appear in this structure.
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getFunctors() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getFunctors() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getFunctors() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getFunctors() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getFunctors() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getFunctors() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getGraphrepresentation() - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: Return Graph representation
getGroundingRequirements() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Returns all grounding requirements, that have to be met, when this action query is grounded.
getGroundProgram(Program) - Method in class org.tweetyproject.lp.asp.grounder.ASPGrounder: Computes an equivalent ground program for the given program.
getGroundProgram(Program) - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder
getHead() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Return head of this rule
getHeadFormula() - Method in class org.tweetyproject.action.description.syntax.CLaw: Retrieves the head formula of this causal law.
getHeuristicValue(ElementOfCombinatoricsProb, Integer, ElementOfCombinatoricsProb, ElementOfCombinatoricsProb[]) - Method in class org.tweetyproject.math.examples.KnapSack: since this class is not used with ant optimization, we do not need this method
getHeuristicValue(ElementOfCombinatoricsProb, Integer, ElementOfCombinatoricsProb, ElementOfCombinatoricsProb[]) - Method in class org.tweetyproject.math.examples.TravelingSalesman
getHeuristicValue(ElementOfCombinatoricsProb, Integer, ElementOfCombinatoricsProb, ElementOfCombinatoricsProb[]) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: for Ant optimization: give a chance between 0 and 1 for accepting solutionComponent to the solution sol
getHGap() - Method in class org.tweetyproject.commons.Plotter: Get the horizontal gap between panels
getHiddenAF() - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity: return the hidden AF should not be used normally
getId() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge: Return the unique identifier
getId() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnEdge: retrieve the ID of this edge
getId() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnElement: retrieve the element's ID
getId() - Method in class org.tweetyproject.logics.petri.syntax.PetriNetNode: Teturn the id
getId() - Method in class org.tweetyproject.logics.petri.syntax.Place: Return the id
getId() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Return the id
getId() - Method in class org.tweetyproject.web.services.Ping: Gets the identifier of the Ping object.
getIdentifier() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule: Returns the name if it has one, else it returns the hashcode
getIdentifier() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Element
getIdentifier() - Method in class org.tweetyproject.plugin.parameter.CommandParameter: returns this parameters name (the identifier)
getIdentifier(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory
getIdentityMatrix(int) - Static method in class org.tweetyproject.math.matrix.Matrix: Returns the identity matrix of the given dimension.
getIfFormula() - Method in class org.tweetyproject.action.description.syntax.CLaw: Retrieves the conditional (if) formula of this causal law.
GetImage() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Get token literal value.
GetImage() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get token literal value.
GetImage() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Get token literal value.
GetImage() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token literal value.
GetImage() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Retrieves the literal value of the current token from the internal buffer.
getImagPart() - Method in class org.tweetyproject.math.ComplexNumber: Returns the imaginary part of this complex number.
getIn() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence: Return the sequence's in set
getIncomingEdges() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnNode: Return all directed edges that lead to this node
getInconsistencyMeasure(InconsistencyMeasureFactory.Measure) - Static method in class org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory: Creates a new inconsistency measure of the given type with default settings.
getInconsistencyMeasureProcess(FormulaStream<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
getInconsistencyMeasureProcess(FormulaStream<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure: Processes the formulas in the given stream one after the other.
getInconsistencyValue() - Method in class org.tweetyproject.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 org.tweetyproject.logics.dl.syntax.ConceptAssertion: Returns the individual involved in this concept assertion.
getIndividual(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the individual with the given name.
getIndividuals() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the individuals of the signature.
getIndividuals() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion: Return the individuals of this assertional axiom
getInducedSubgraphs() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getInducedSubgraphs(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Finds all induced subgraphs.
getInducePro() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getInferenceRule(T, AspicArgumentationTheory<T>) - Method in class org.tweetyproject.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 org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner: Returns the inference type of this reasoner, i.e.
getInfo(DungReasonerPost) - Method in class org.tweetyproject.web.services.RequestController: Handles a POST request to retrieve information about the Dung reasoner services.
getInfoStrings() - Method in interface org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure: Return info strings
getInfoStrings() - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure
getInfoStrings() - Method in class org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure
getInfoStrings() - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure
getInfoStrings() - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure
getInfoStrings() - Method in class org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure
getInitialMarkings() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Return the initialMarkings
getInitialMarkings() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Retrieve the designated initial markings
getInnerActions() - Method in class org.tweetyproject.action.query.syntax.AlwaysQuery
getInnerActions() - Method in class org.tweetyproject.action.query.syntax.HoldsQuery
getInnerActions() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery
getInnerActions() - Method in class org.tweetyproject.action.query.syntax.QueryProposition: Returns the set of all actions contained in this query proposition.
getInnerActions() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves all actions that occur in action sequences within necessarily queries in this action query.
getInnerAtoms() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves all inner atoms that occur in state formulas and actions within this action query.
getInnerFormula() - Method in class org.tweetyproject.action.query.syntax.QueryProposition: Returns the inner formula of this query proposition, e.g.
getInnerFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality: Returns the inner formula of this modality.
getInnerFormulas() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Returns all inner formulas that are contained in query propositions in this action query.
getInnerVariables() - Method in class org.tweetyproject.action.query.syntax.SActionQuery: Retrieves all inner variables that occur in state formulas and actions within this action query.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.CanonicalUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.Defeat: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.DefeatingRebuttal: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectDefeat: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.Rebuttal: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.deductive.semantics.attacks.Undercut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.Attack: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentAttack: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentRebut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.Defeat: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.Rebut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.StrongAttack: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.StrongConfidentAttack: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.StrongUndercut: Returns the singleton instance of this class.
getInstance() - Static method in class org.tweetyproject.arg.lp.semantics.attack.Undercut: Returns the singleton instance of this class.
getIntegerMaximum() - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Get the upper integer bound.
getInterpolants(Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
getInterpolants(Collection<S>, Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.InterpolantEnumerator: Returns the set of all interpolants of K1 wrt.
getInterval() - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter: returns each possible selection argument
getIntervalset() - Method in class org.tweetyproject.math.Interval: Return interval set
getInterventions() - Method in class org.tweetyproject.arg.dung.causal.syntax.InterventionalStatement: Retrieves the interventions of this causal statement.
getIsolatedSets(DungTheory) - Method in class org.tweetyproject.arg.dung.principles.NonInterferencePrinciple: Method for calculating isolated sets in a given theory
A set E is isolated in a theory AF iff there exists no argument a in {AF \ E}, with a attacks E and there exists no argument b in E, with b attacks {AF \ E}.
getIthInstance(int) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the result for the ith instance for the given measure.
getIthInstanceName(int) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the result for the ith instance for the given measure.
getIthResult(String, int) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the result for the ith instance for the given measure.
getJamaMatrix() - Method in class org.tweetyproject.math.matrix.Matrix: Creates the Jama matrix representation of this matrix.
getJustification() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule: Return the default's justification
getJustifiedArguments(ArgumentationKnowledgeBase) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner: Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
getKb() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the knowledge base (KB) for the ABA reasoner post request.
getKb() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the kb associated with this object.
getKb() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the knowledge base (KB) provided in the DeLP request.
getKb() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the knowledge base (KB) provided in the DeLP response.
getKb() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the knowledge base identifier associated with this post.
getKb() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Gets the knowledge base reference or identifier that was used during the evaluation of inconsistency.
getKb_format() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the format of the knowledge base (KB).
getKb_format() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the kb_format associated with this object.
getKernel(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel: computes the kernel of the given AF
getKernelForSemantics(Semantics) - Static method in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel: Returns the corresponding kernel for the specified semantics
getKernels(Collection<PlFormula>, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
getKernels(Collection<T>, T) - Method in interface org.tweetyproject.commons.KernelProvider: Retrieves the set of kernels for the given formula from the given set of formulas.
getKnowledgeBase() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedArgument: Returns the causal knowledge base associated with this argument.
getKnowledgeBase() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedTheory: Retrieves the causal knowledge base associated with this theory.
getLabel() - Method in class org.tweetyproject.graphs.Edge: Returns the label of this edge.
getLabel() - Method in class org.tweetyproject.graphs.HyperDirEdge: Returns the label of this edge.
getLabeling(Semantics) - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity: Ask for a random labeling w.r.t.
getLastAnswerset() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision: Retrieves the collection of the last answer sets obtained from the solver.
getLastProjectedAnswerSet() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision: Retrieves the collection of the last projected answer sets obtained from the solver.
getLdoArgument() - Method in class org.tweetyproject.arg.dung.syntax.Argument
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Retrieves the LdoFormula associated with this argument set.
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
getLdoFormula() - Method in class org.tweetyproject.arg.dung.syntax.Argument
getLdoFormula() - Method in class org.tweetyproject.arg.dung.syntax.Attack
getLdoFormula() - Method in interface org.tweetyproject.arg.dung.syntax.DungEntity: Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
getLdoFormula() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack
getLdoFormula() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
getLeft() - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
getLeft() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
getLeft() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement: Return the left part (the term tuple) of the Aggregate element.
getLeft() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm: Return the left subterm of this arithmetic term.
getLeft() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getLeftGuard() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Get the left relation term (left guard).
getLeftGuard() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Return the left guard (comparison term)
getLeftOperator() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Returns the operator of the left aggregate relation.
getLeftOperator() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Return the left comparison operator.
getLeftTerm() - Method in class org.tweetyproject.math.equation.Statement: Returns the left term of this statement.
getLevel() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Return the level attribute of this constraint.
getLevel() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Return level (priority) of this optimization element.
getLevelingFunction() - Method in class org.tweetyproject.preferences.PreferenceOrder: returns the ranking function for this preference order
getLevelingFunction() - Method in class org.tweetyproject.preferences.ranking.Functions: returns the ranking function
getLevelingFunction() - Method in class org.tweetyproject.preferences.ranking.LevelingFunction: returns this leveling function
getLine() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Deprecated.
getLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Deprecated.
getLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Deprecated.
getLine() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Deprecated.
getLine() - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Deprecated.
getLink(Link) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getLink(Argument, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getListLastDefeasibleRules() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Returns all defeasible subrules of the level where the first defeasible subrule appears, i.e.
getLiteral() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation: Return the default negated literal
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula: Returns all literals, i.e.
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
getLiterals() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.Implication
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.Negation
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns all literals, i.e.
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getLiterals() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
getLiterals() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
getLiterals() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
getLiterals() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
getLiterals() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement: Retrieves a sorted set of all the ASP literals present in the body elements of this rule.
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ASPBodyElement: Returns all literals in this element in form of a SortedSet.
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ASPHead: Returns all literals in this element in form of a SortedSet.
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Retrieves all the literals contained within this rule.
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement: sorted literals
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead: Returns all literals in this element in form of a SortedSet.
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Getter
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getLiteralsWithName(String) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet: Returns all literals of a given name in the AnswerSet.
getLogLevel(String) - Static method in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: Returns the log level described by the given string
getLowerBound() - Method in class org.tweetyproject.machinelearning.TrainingParameter: Returns the lower bound of this parameter.
getLowerBound() - Method in class org.tweetyproject.math.Interval: Returns the lower bound
getLowerBound() - Method in class org.tweetyproject.math.term.Variable: Returns the lower bound of this variable.
getLowerReferenceArguments() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality: Returns the lower reference arguments of this modality.
getMapping(HerbrandInterpretation, Set<Predicate>, Set<Set<Constant>>) - Static method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld: Determines the reference world of the given interpretation wrt.
getMarking() - Method in class org.tweetyproject.arg.delp.semantics.DialecticalTree: Computes the marking of this node by considering the marking of all child nodes
getMarking() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Get the marking of this graph, based on the current token distribution at the places
getMarking(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Retrieve, if present, the marking in this graph that equals the query marking in the sense that both markings describe the same token distribution over places
getMarkingCulpability(Marking) - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure: Retrieve for a particular (non-final) state its local culpability for the global inconsistency A high culpability means that this state features many tokens in non-final places and the state is entered with a high probability
getMarkings() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Retrieve the markings
getMaximalConflictFreeSets(DungTheory, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner: computes all maximal conflict-free sets of bbase
getMaximallyAcceptedArguments(Collection<T>) - Method in class org.tweetyproject.comparator.GeneralComparator: Returns the set of all comparable elements a from the given set that are maximally accepted, i.e.
getMaximums() - Method in class org.tweetyproject.math.equation.Statement: Returns all maximums of this statement.
getMaximums() - Method in class org.tweetyproject.math.term.AssociativeOperation
getMaximums() - Method in class org.tweetyproject.math.term.Constant
getMaximums() - Method in class org.tweetyproject.math.term.Difference
getMaximums() - Method in class org.tweetyproject.math.term.Fraction
getMaximums() - Method in class org.tweetyproject.math.term.FunctionalTerm
getMaximums() - Method in class org.tweetyproject.math.term.Maximum
getMaximums() - Method in class org.tweetyproject.math.term.Minimum
getMaximums() - Method in class org.tweetyproject.math.term.Term: Returns all maximums of this term.
getMaximums() - Method in class org.tweetyproject.math.term.Variable
getMaxLength() - Method in class org.tweetyproject.commons.BeliefSetSampler: Returns the max length of kbs of this sampler.
getMaxNumOfModels() - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
getMaxTime(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the maximum time in the results of the given inconsistency measure, not counting the timed out instances.
getMaxtokens() - Method in class org.tweetyproject.logics.petri.syntax.Place: Return the maximal number of tokens that this place can hold
getMeanState() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk: Return the mean state
getMeanTime(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the mean time in the results of the given inconsistency measure, not counting the timed out instances.
getMeasure() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the measure associated with this post.
getMeasure() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Retrieves the specific measure or metric related to the inconsistency detected.
getMeasure(String) - Static method in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: Getter
getMeasures() - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Retrieves the list of measures related to the inconsistency analysis.
getMediatedAttacks(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of mediated attack from "arg1" to other arguments "y", i.e.
getMessage() - Method in exception class org.tweetyproject.arg.delp.parser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception class org.tweetyproject.lp.asp.parser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception class org.tweetyproject.math.opt.problem.ProblemInconsistentException
getMessage() - Method in exception class org.tweetyproject.math.opt.ProblemInconsistentException
getMessage() - Method in exception class org.tweetyproject.preferences.io.TokenMgrError: Returns a detailed message about the error.
getMetaFramework() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: constructs the meta dung theory of this bipolar argumentation framework by adding meta-arguments for every attack and support relation See Boella et al.
getMiComponents(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
getMiComponents(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator: Computes the maximal (wrt.
getMinimalEvidenceSupportedAttackers(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: computes all subsets which carry out a minimal evidence supported attack on argument
getMinimalEvidentialSupporters(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: computes all subsets which minimal e-support argument
getMinimalForm() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: calculates the minimal form of this argumentation framework ie.
getMinimallyAcceptedArguments(Collection<T>) - Method in class org.tweetyproject.comparator.GeneralComparator: Returns the set of all comparable elements a from the given set that are minimally accepted, i.e.
getMinimalSignature() - Method in class org.tweetyproject.action.description.syntax.CActionDescription
getMinimalSignature() - Method in class org.tweetyproject.action.query.syntax.SActionQuerySet
getMinimalSignature() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
getMinimalSignature() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
getMinimalSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getMinimalSignature() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase: Retrieves the minimal signature of the knowledge base.
getMinimalSignature() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram
getMinimalSignature() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getMinimalSignature() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
getMinimalSignature() - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
getMinimalSignature() - Method in class org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase
getMinimalSignature() - Method in class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment
getMinimalSignature() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getMinimalSignature() - Method in class org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet
getMinimalSignature() - Method in interface org.tweetyproject.commons.BeliefBase: Returns the signature of the language of this knowledge base.
getMinimalSignature() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getMinimalSignature() - Method in class org.tweetyproject.logics.cl.syntax.ClBeliefSet
getMinimalSignature() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram
getMinimalSignature() - Method in class org.tweetyproject.logics.dl.syntax.DlBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.fol.syntax.FolBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.ml.syntax.MlBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork
getMinimalSignature() - Method in class org.tweetyproject.logics.pcl.syntax.PclBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getMinimalSignature() - Method in class org.tweetyproject.logics.pl.syntax.PlBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.rcl.syntax.RclBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultTheory
getMinimalSignature() - Method in class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
getMinimalSignature() - Method in class org.tweetyproject.lp.asp.syntax.Program
getMinimalSignature() - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram: Retrieves the minimal signature of the nested logic program.
getMinimums() - Method in class org.tweetyproject.math.equation.Statement: Returns all minimums of this statement.
getMinimums() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem: Returns all minimums appearing in this problem.
getMinimums() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
getMinimums() - Method in class org.tweetyproject.math.term.AssociativeOperation
getMinimums() - Method in class org.tweetyproject.math.term.Constant
getMinimums() - Method in class org.tweetyproject.math.term.Difference
getMinimums() - Method in class org.tweetyproject.math.term.Fraction
getMinimums() - Method in class org.tweetyproject.math.term.FunctionalTerm
getMinimums() - Method in class org.tweetyproject.math.term.Maximum
getMinimums() - Method in class org.tweetyproject.math.term.Minimum
getMinimums() - Method in class org.tweetyproject.math.term.Term: Returns all minimums of this term.
getMinimums() - Method in class org.tweetyproject.math.term.Variable
getMinLength() - Method in class org.tweetyproject.commons.BeliefSetSampler: Returns the min length of kbs of this sampler.
getMinModelOfDNF(AssociativePlFormula) - Static method in class org.tweetyproject.arg.dung.learning.util.ModelComputation: compute a minimal model of the given formula in DNF
getMinModels(B) - Method in interface org.tweetyproject.logics.pl.analysis.MinimalModelProvider: Constructor
getMinModels(C) - Method in interface org.tweetyproject.logics.pl.analysis.MinimalModelProvider: Constructor
getMinModels(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider
getMinModels(PlFormula) - Method in class org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider
getMinTime(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns the minimum time in the results of the given inconsistency measure, not counting the timed out instances.
getModel() - Method in interface org.tweetyproject.arg.dung.learning.AFLearner: compute an argumentation framework that satisfy the internal acceptance conditions
getModel() - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner: compute a single model that satisfies all attack constraints computation for each argument constraint is independent and thus can be done in parallel
getModel() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
getModel(B) - Method in interface org.tweetyproject.commons.ModelProvider: Returns a single (dedicated) model of the given belief base.
getModel(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner
getModel(AbstractDialecticalFramework) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
getModel(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.ClosureReasoner: Returns a model
getModel(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.AdmissibleReasoner: Return model
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner: Return model
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner: Return model
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.GroundedReasoner: Return model
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.PreferredReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner: Return a model
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.StableReasoner
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.AdmissibleReasoner: Return model
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner: Return model
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner: Return model
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.PreferredReasoner
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.StableReasoner
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner: get one claim sets that fulfill the given semantics
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner: calculates one claim set for a given framework
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
getModel(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: returns the lowest rank of the "getModels" method
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ProboReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleAdmissibleReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleCompleteReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleConflictFreeReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleEagerReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleGroundedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleIdealReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimplePreferredReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSccCompleteReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSccRecursiveReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleStableReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleStageReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: returns one weakly admissible set of bbase
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
getModel(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
getModel(DungTheory, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedAdmissibleReasoner: Returns the empty set as it is always admissible.
getModel(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.FlattenBasedExtendedExtensionReasoner
getModel(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedAdmissibleReasoner: Returns one admissible extension of the given extended theory.
getModel(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedCompleteReasoner: Returns one complete extension of the given extended theory.
getModel(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedConflictFreeReasoner: Returns one conflict-free extension of the given extended theory.
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner
getModel(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner
getModel(SocialAbstractArgumentationFramework) - Method in class org.tweetyproject.arg.social.reasoner.IssReasoner
getModel(WeightedArgumentationFramework<T>, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedConflictFreeReasoner: Returns the empty set as it is always conflict-free.
getModel(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedCompleteReasoner: Returns an alpha-gamma-complete extension for the given weighted argumentation framework.
getModel(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedGroundedReasoner: Computes and returns the unique alpha-gamma-grounded extension for the given weighted argumentation framework.
getModel(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedPreferredReasoner: Computes and returns a single alpha-gamma-preferred extension for the given weighted argumentation framework.
getModel(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedStableReasoner: Computes and returns a single alpha-gamma-stable extension for the given weighted argumentation framework.
getModel(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModel(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.CReasoner
getModel(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner
getModel(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
getModel(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.ZReasoner
getModel(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner
getModel(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
getModel(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
getModel(PclBeliefSet, PlSignature) - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner: Computes the ME-distribution this reasoner bases on.
getModel(PclBeliefSet, PlSignature) - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner: Computes the ME-distribution this reasoner bases on.
getModel(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.sat.SimpleModelEnumerator
getModel(RclBeliefSet) - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner
getModel(RclBeliefSet, FolSignature) - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner: Retrieves the C representation of the given belief set wrt.
getModel(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner
getModel(RpclBeliefSet) - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
getModel(RpclBeliefSet, FolSignature) - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner: Determines the ME distribution of the given knowlege base wrt.
getModel(Program) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
getModel(Program) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
getModel(Program, int) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getModel(Program, int) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getModelOfConjunction(Conjunction) - Static method in class org.tweetyproject.arg.dung.learning.util.ModelComputation: compute the model of a formula in atomic CNF e.g.
getModels() - Method in interface org.tweetyproject.arg.dung.learning.AFLearner: compute all argumentation frameworks that satisfy the internal acceptance conditions
getModels() - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
getModels() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner: compute the set of argumentation frameworks that satisfy all acceptance conditions 1.
getModels() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns the set of models of this formula wrt.
getModels(B) - Method in interface org.tweetyproject.commons.ModelProvider: Returns a characterizing model of the given belief base
getModels(File) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base.
getModels(File) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
getModels(File) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
getModels(String) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base.
getModels(String) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
getModels(String) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
getModels(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SimpleModelEnumerator: Return all models satifying the formulas
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.CompleteReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.IdealReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.PreferredReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.StableReasoner
getModels(AbaTheory<T>) - Method in class org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner
getModels(AbstractDialecticalFramework) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.CAdmissibleReasoner: Return models
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.ClosureReasoner: Return models
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner: Return models
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.DAdmissibleReasoner: Return models
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.AdmissibleReasoner: Return models
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner: Return models
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner: Return models
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.GroundedReasoner: Return models
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.PreferredReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner: Computes all self-supporting argument sets from the given evidential argumentation framework.
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.StableReasoner
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.AdmissibleReasoner: Return models
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner: Return models
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner: Return models
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.PreferredReasoner
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.StableReasoner
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner: get all claim sets that fulfill the given semantics
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner: calculates all claim sets for a given framework
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
getModels(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: compute the ordering over all subsets of theory wrt.
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ProboReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleAdmissibleReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleCompleteReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleConflictFreeReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleEagerReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleGroundedReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleIdealReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimplePreferredReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner: compute the extension with the base semantics of this.semantic
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSccCompleteReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSccRecursiveReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleStableReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleStageReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner: computes all weakly admissible sets of bbase.
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyGroundedReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyPreferredReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
getModels(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
getModels(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.FlattenBasedExtendedExtensionReasoner
getModels(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedAdmissibleReasoner: Returns the collection of admissible extensions of the given extended theory.
getModels(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedCompleteReasoner: Returns the collection of complete extensions of the given extended theory.
getModels(ExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleExtendedConflictFreeReasoner: Returns the collection of conflict-free extensions of the given extended theory.
getModels(RecursiveExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner: Computes all models for the given theory
getModels(RecursiveExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedAdmissibleReasoner: Returns the collection of admissible sets of Dung entities for the given recursive extended theory.
getModels(RecursiveExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedCompleteReasoner: Returns the collection of complete extensions of the given recursive extended theory.
getModels(RecursiveExtendedTheory) - Method in class org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedConflictFreeReasoner: Returns the collection of conflict-free sets of Dung entities for the given recursive extended theory.
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner
getModels(SetAf) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner
getModels(SocialAbstractArgumentationFramework) - Method in class org.tweetyproject.arg.social.reasoner.IssReasoner
getModels(WeightedArgumentationFramework<T>, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedConflictFreeReasoner: Computes all alpha-conflict-free extensions for the given weighted argumentation framework.
getModels(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedAdmissibleReasoner: Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework.
getModels(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedCompleteReasoner: Computes all alpha-gamma-complete extensions for the given weighted argumentation framework.
getModels(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedGroundedReasoner: Computes and returns a collection containing the unique alpha-gamma-grounded extension for the given weighted argumentation framework.
getModels(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedPreferredReasoner: Computes all alpha-gamma-preferred extensions for the given weighted argumentation framework.
getModels(WeightedArgumentationFramework<T>, T, T) - Method in class org.tweetyproject.arg.weighted.reasoner.SimpleWeightedStableReasoner: Computes all alpha-gamma-stable extensions for the given weighted argumentation framework.
getModels(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
getModels(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner
getModels(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
getModels(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
getModels(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.sat.SimpleModelEnumerator
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Contradiction
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Implication
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Negation
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns the set of models of this formula wrt.
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getModels(PlSignature) - Method in class org.tweetyproject.logics.pl.syntax.Tautology
getModels(PlSignature) - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
getModels(PlSignature) - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
getModels(PlSignature) - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
getModels(PlSignature) - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
getModels(RclBeliefSet) - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner
getModels(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner
getModels(RpclBeliefSet) - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
getModels(Program) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
getModels(Program) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
getModels(Program) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
getModels(Program, int) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getModels(Program, int) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver: Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
getModelsOfDNF(AssociativePlFormula) - Static method in class org.tweetyproject.arg.dung.learning.util.ModelComputation: compute all models of a formula in disjunctive normal form
getMultiAgentSystem() - Method in class org.tweetyproject.agents.ActionEvent: Return the multiAgentSystem
getMultiplication() - Method in class org.tweetyproject.math.algebra.Semiring: Retrieves the binary multiplication operation.
getMultiplicator(FolFormula) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld: Returns the multiplicator of this reference world for the given formula, i.e.
getNaiveAtMostOneEncoding(Collection<Proposition>) - Static method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Returns a naive at-most-1 encoding for the given set of atoms.
getName() - Method in class org.tweetyproject.agents.Agent: Returns the name of this agent.
getName() - Method in class org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
getName() - Method in class org.tweetyproject.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
getName() - Method in class org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
getName() - Method in class org.tweetyproject.arg.adf.syntax.Argument
getName() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Returns the name of this literal.
getName() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule: Returns the name
getName() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Argument
getName() - Method in interface org.tweetyproject.arg.dung.equivalence.Equivalence: Return the name of this equivalence notion
getName() - Method in class org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
getName() - Method in class org.tweetyproject.arg.dung.equivalence.SerialisationEquivalence
getName() - Method in class org.tweetyproject.arg.dung.equivalence.StandardEquivalence
getName() - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
getName() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getName() - Method in class org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.AllowingAbstentionPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.DefencePrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.INRAPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.ModularizationPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.NaivetyPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.NonInterferencePrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.SCOOCPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.SemiDirectionalityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.WeakDirectionalityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
getName() - Method in class org.tweetyproject.arg.dung.syntax.Argument: returns the name of the argument
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaAbstraction
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaIndependence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaTotal
getName() - Method in class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence
getName() - Method in interface org.tweetyproject.commons.postulates.Postulate: The textual name of the postulate
getName() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge: Return the (optional) edge label
getName() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnElement: retrieve the element's name
getName() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
getName() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
getName() - Method in class org.tweetyproject.logics.commons.syntax.Sort: Getter name
getName() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
getName() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Returns the name of this atomic concept.
getName() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole: Returns the name of this atomic role.
getName() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getName() - Method in class org.tweetyproject.logics.petri.syntax.PetriNetNode: Return the name
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImAttenuation
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImConsistency
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImContradiction
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImDominance
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImEqualConflict
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImExchange
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImMINormalization
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImMISeparability
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImMonotony
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImNormalization
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImPenalty
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImSuperAdditivity
getName() - Method in class org.tweetyproject.logics.pl.postulates.ImWeakDominance
getName() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getName() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getName() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getName() - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedAction: Returns the name of this action
getName() - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedState: Returns the name of this state
getName() - Method in class org.tweetyproject.machinelearning.TrainingParameter: Returns the name of this parameter.
getName() - Method in class org.tweetyproject.math.term.Variable: Returns the name of this variable.
getNameOfArgument(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory: Returns the name of the argument given EArgument object's reference
getNativeShell() - Static method in class org.tweetyproject.commons.util.Shell: a wrapper for the os' native shell
getNecessaryModels(IncompleteTheory) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner: Computes the set of necessary extensions
getNecessity(PlFormula) - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Gets the necessity measure of the given formula.
getNegations() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Return the negations
getNegative(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework: Returns the number of negative votes of the given argument
getNegativeInstances(Postulate<S>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport: Returns the negative instances for the given postulate
getNeighbors(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getNeighbors(SerialisationNode) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getNeighbors(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getNeighbors(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getNeighbors(Node) - Method in class org.tweetyproject.graphs.HyperGraph
getNeighbors(BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getNeighbors(PetriNetNode) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getNeighbors(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getNeighbors(T) - Method in class org.tweetyproject.graphs.DefaultGraph
getNeighbors(T) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the set of neighbors of the given node.
getNeighbors(T) - Method in interface org.tweetyproject.graphs.Graph: Returns the set of neighbors of the given node.
getNewArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getNextToken() - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Retrieves the next token in the input stream.
getNextToken() - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager: Get the next Token.
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Retrieves the next token from the input stream.
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager: Get the next Token.
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Retrieve the next token from the token stream.
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Get the next Token.
getNextToken() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
getNextToken() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTokenManager
getNextToken() - Method in class org.tweetyproject.preferences.io.POParser: Retrieves the next Token from the input stream.
getNextToken() - Method in class org.tweetyproject.preferences.io.POParserTokenManager: Return the next token
getNextToken() - Method in class org.tweetyproject.preferences.io.UPParser: Get the next Token.
getNextToken() - Method in class org.tweetyproject.preferences.io.UPParserTokenManager: Get the next Token.
getNodeA() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: get first node of the edge
getNodeA() - Method in class org.tweetyproject.graphs.Edge: Returns the first node of this edge.
getNodeA() - Method in class org.tweetyproject.graphs.HyperDirEdge: Returns the first node of this edge.
getNodeB() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: get target of edge
getNodeB() - Method in class org.tweetyproject.graphs.Edge: Returns the second node of this edge.
getNodeB() - Method in class org.tweetyproject.graphs.HyperDirEdge: Returns the second node of this edge.
getNodeForExtension(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph: Return the node of this graph that corresponds to the given extension
getNodes() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getNodes() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getNodes() - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework: Retrieves all the nodes (arguments) of this argumentation framework.
getNodes() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getNodes() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
getNodes() - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
getNodes() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getNodes() - Method in class org.tweetyproject.comparator.Order: Return the bijection between objects and nodes in the defaultGraph
getNodes() - Method in class org.tweetyproject.graphs.DefaultGraph
getNodes() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the nodes of this DirHyperGraph.
getNodes() - Method in interface org.tweetyproject.graphs.GeneralGraph: Returns the nodes of this graph.
getNodes() - Method in interface org.tweetyproject.graphs.Graph: Returns the nodes of this graph.
getNodes() - Method in class org.tweetyproject.graphs.HyperGraph
getNodes() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getNodes() - Method in class org.tweetyproject.logics.ml.semantics.AccessibilityRelation: Returns all interpretations of the accessibility relation.
getNodes() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getNodes() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getNodesOfType(Class<?>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: Retrieve all nodes in this model that are instances of a certain class
getNoIterations() - Method in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult: Returns the number of iterations performed during the analysis.
getNormalizedControlVector() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk: Return the normalized control vector
getNormalizedTagName(Node) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser: Return the node name free of possible namespace prefixes
getNr_of_arguments() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the number of arguments in the Dung reasoner request.
getNr_of_arguments() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the number of arguments in the Dung reasoner response.
getNumberOfArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all the number of arguments
getNumberOfEdges() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getNumberOfEdges() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getNumberOfEdges() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getNumberOfEdges() - Method in class org.tweetyproject.graphs.DefaultGraph
getNumberOfEdges() - Method in interface org.tweetyproject.graphs.Graph: Returns the number of edges in this graph.
getNumberOfEdges() - Method in class org.tweetyproject.graphs.HyperGraph
getNumberOfEdges() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getNumberOfEdges() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getNumberOfEdges() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: the number of edges in this graph
getNumberOfFrameworks() - Method in interface org.tweetyproject.arg.dung.learning.AFLearner: compute the number of argumentation frameworks that satisfy the internal acceptance conditions
getNumberOfFrameworks() - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
getNumberOfFrameworks() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
getNumberOfFrameworks(boolean) - Method in interface org.tweetyproject.arg.dung.learning.AFLearner
getNumberOfFrameworks(boolean) - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
getNumberOfFrameworks(boolean) - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner: computes whether there is more than one argumentation framework that satisfies the internal conditions helpful for break conditions when learning
getNumberOfNodes() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getNumberOfNodes() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getNumberOfNodes() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getNumberOfNodes() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getNumberOfNodes() - Method in class org.tweetyproject.graphs.DefaultGraph
getNumberOfNodes() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the number of nodes in this DirHyperGraph.
getNumberOfNodes() - Method in interface org.tweetyproject.graphs.Graph: Returns the number of nodes in this graph.
getNumberOfNodes() - Method in class org.tweetyproject.graphs.HyperGraph
getNumberOfNodes() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getNumberOfNodes() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getNumberOfNodes() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getNumberOfPathsOfLength(DungTheory, Argument, int) - Method in class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner: Returns the number of linear discussions of the given length in the given DungTheory for the given argument.
getNumericWeight(Attack) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Retrieves the numeric value of the weight associated with a given attack in the framework.
getObj1() - Method in class org.tweetyproject.preferences.Quadruple: returns the first element of this quadruple
getObj2() - Method in class org.tweetyproject.preferences.Quadruple: returns the second element of this quadruple
getObj3() - Method in class org.tweetyproject.preferences.Quadruple: returns the third element of this quadruple
getObj4() - Method in class org.tweetyproject.preferences.Quadruple: returns the fourth element of this quadruple
getObjectToBePrinted() - Method in class org.tweetyproject.commons.Writer: Returns the object of this writer.
getObservations(T) - Method in class org.tweetyproject.machinelearning.TrainingSet: Returns all observations of the given category.
getOccurrenceCount() - Static method in exception class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.ElementNotFoundException: Get the occurrence count of exception thrown.
getOccurrenceCount() - Static method in exception class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.NotAnArgumentException: Get the occurrence count of exception thrown.
getOneElement() - Method in class org.tweetyproject.math.algebra.Semiring: Retrieves the multiplicative identity element.
getOnes(int, int) - Static method in class org.tweetyproject.math.util.OjAlgoMathUtils: Create (m,n)-matrix containing only ones.
getOperation() - Method in class org.tweetyproject.preferences.update.Update: returns the second element of this quadruple
getOperator() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm: Return the arithmetic operator of this arithmetic term.
getOperator() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getOperatorSymbol() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
getOperatorSymbol() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
getOperatorSymbol() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
getOperatorSymbol() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
getOperatorSymbol() - Method in class org.tweetyproject.logics.dl.syntax.Union
getOperatorSymbol() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
getOperatorSymbol() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
getOperatorSymbol() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
getOperatorSymbol() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
getOperatorSymbol() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
getOperatorSymbol() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
getOperatorSymbol() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getOptimalInterpretation(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure: Returns an optimal interpretation as a witness for the inconsistency value.
getOptimizedWorld() - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld: Return The PossibleWorld instance that is used for satification tests etc.
getOptimizeFunction() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement: Return the optimize function of this optimization statement
getOptimum(String) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
getOptimum(Program) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Computes the optimum of a program that contains optimization statements, if there is one.
getOptimumString() - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Returns the optimum of the previously solved program, if there is one.
getOptionalCondition(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: compute the optional acceptance condition for this argument based on its acceptance condition
getOptions() - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder
getOptLiterals() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Return the literals tuple of this optimization element.
getOptTerms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Return the term tuple of this optimization element.
getOrder() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
getOrder() - Method in class org.tweetyproject.comparator.LatticePartialOrder: Return the order
getOrdinaryPremises() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
getOut() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence: Return the sequence's out set
getOutgoing(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: For one particular marking, retrieve all outgoing edges
getOutgoingEdges() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnNode: Return all directed edges leading away from this node
getOutput() - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder
getOutput() - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Return the output
getOutput() - Method in class org.tweetyproject.plugin.PluginOutput: Retrieves the merged output string.
getOutput(StructuredArgumentationFramework) - Method in class org.tweetyproject.arg.saf.reasoner.OutputReasoner: Returns the output this reasoner bases upon.
getOutputVariable() - Method in class org.tweetyproject.logics.qbf.parser.QCirParser: Return the output gate of this QCir problem.
getOutputWhitelist() - Method in class org.tweetyproject.lp.asp.syntax.Program: Returns the whitelist of predicates.
getOverruledArguments(ArgumentationKnowledgeBase) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner: Returns the set of overruled arguments, i.e.
getParallelism() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration: Gets the configured level of parallelism.
getParameter(TrainingParameter) - Method in class org.tweetyproject.machinelearning.ParameterSet: Returns the parameter of this set with the same name as the given parameter (or throws an IllegalArgumentException)
getParameters() - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin: returns all possible parameters
getParameters() - Method in interface org.tweetyproject.plugin.TweetyPlugin: returns parameters allowed with plugin calls
getParameters() - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin
getParameterSet() - Method in class org.tweetyproject.machinelearning.ParameterTrainer
getParameterSet() - Method in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer
getParameterSet() - Method in interface org.tweetyproject.machinelearning.Trainer: Returns the set of parameters for this trainer.
getParents(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Return the arguments' parents
getParents(Node) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getParents(Node) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getParents(Node) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getParents(Node) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getParents(Node) - Method in class org.tweetyproject.graphs.DefaultGraph
getParents(Node) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the set of parents (node connected via an undirected edge or a directed edge where the given node is the child) of the given node.
getParents(Node) - Method in interface org.tweetyproject.graphs.Graph: Returns the set of parents (node connected via an undirected edge or a directed edge where the given node is the child) of the given node.
getParents(Node) - Method in class org.tweetyproject.graphs.HyperGraph: returns all parents without taking indivdual attacks into account
getParents(Node) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getParents(Node) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getParents(Node) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getParser(FileFormat) - Static method in class org.tweetyproject.arg.dung.parser.AbstractDungParser: Retrieves the parser for the given file format.
getParserForFormat(PlParserFactory.Format) - Static method in class org.tweetyproject.logics.pl.parser.PlParserFactory: Retrieves an appropriate parser for the given format.
getPathsOfHigherSize(HashSet<ArrayList<Argument>>, DungTheory) - Static method in class org.tweetyproject.arg.rankings.util.RankingTools: Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.
getPathToGrounder() - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder
getPeafTheory() - Method in class org.tweetyproject.arg.bipolar.inducers.AbstractPEAFInducer: Returns the used PEAFTheory in inducer
getPerceivedDungTheory(Extension<?>) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment: Returns the view of the universal Dung theory restricted to the given set of arguments.
getPerceivedDungTheory(Extension<DungTheory>) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment: Returns the view of the universal Dung theory restricted to the given set of arguments.
getPercepts(Agent) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
getPercepts(Agent) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
getPercepts(Agent) - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
getPercepts(Agent) - Method in interface org.tweetyproject.agents.Environment: Retrieves the current percepts for the given agent.
getPetriNet() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Return the petriNet
getpInside() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getPlace() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Return the place of this ark
getPlaceCulpability(Place) - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure: Retrieve for a particular (non-final) place its local culpability for the global inconsistency A high culpability means that many tokens remain in that place with a high probability
getPlaces() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Return the places
getPlaces() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Return getPlaces
getPlausibleWorlds() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Returns all interpretations that are mapped to 0
getPlausibleWorlds() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Returns all interpretations that are mapped to 1
getPlausibleWorlds() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Returns all interpretations that are mapped to 0
getPolicy(Map<S, Double>, MarkovDecisionProcess<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.algorithms.OfflineAlgorithm: Determines the best policy, given the utilities
getPolicy(MarkovDecisionProcess<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.algorithms.OfflineAlgorithm: Determines the optimal policy for the given MDP.
getPolicy(MarkovDecisionProcess<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyIteration
getPolicy(MarkovDecisionProcess<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.algorithms.ValueIteration
getPositive(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework: Returns the number of positive votes of the given argument
getPositiveFluents() - Method in class org.tweetyproject.action.transitionsystem.State: Creates a set of fluent atoms
getPossibility(PossibleWorld) - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Gets the possibility of the given possible world.
getPossibility(PlFormula) - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Gets the possibility measure of the given formula.
getPossibleInterpretations() - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Returns all interpretations that are mapped to a rank unequal to INFINITY.
getPossibleModels(IncompleteTheory) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner: Computes the set of possible extensions
getPossibleOutcomes() - Method in class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery: Returns the set of possible outcomes.
getPossibleOutcomes() - Method in class org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery: Returns the set of possible outcomes.
getPossibleWorlds() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Return An unmodifiable set of all possible worlds in this ConditionalStructure
getPossibleWorlds() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Returns all interpretations that are mapped to a rank unequal to INFINITY.
getPossibleWorlds() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Returns all interpretations that are mapped to a possibility unequal to zero.
getPredecessors(Map.Entry<T, Integer>) - Method in class org.tweetyproject.preferences.ranking.Functions: returns a set of predecessor elements for the given entry
getPredicate() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getPredicate() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
getPredicate() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Returns the predicate representing this atomic concept.
getPredicate() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole: Returns the predicate representing this atomic role.
getPredicate() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom: Returns the predicate of this atom
getPredicate() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getPredicate() - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment: Returns the predicate of this assignment.
getPredicate() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getPredicate() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getPredicate(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Get the predicate with the given name.
getPredicateCls() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
getPredicateCls() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getPredicateCls() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
getPredicateCls() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getPredicateCls() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getPredicateCls() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
getPredicateCls() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
getPredicateCls() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
getPredicateCls() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
getPredicateCls() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
getPredicateCls() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
getPredicateCls() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getPredicateCls() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getPredicateCls() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getPredicates() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getPredicates() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getPredicates() - Method in class org.tweetyproject.arg.aba.syntax.Negation
getPredicates() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getPredicates() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
getPredicates() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
getPredicates() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getPredicates() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getPredicates() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula: Processes the set of all predicates which appear in this formula
getPredicates() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of predicates contained in the inner formula.
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Returns the set of predicates used in this atomic concept, which in this case is the singleton set containing the predicate representing this concept.
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.Complement: Returns the set of predicates used in this complement, which are the predicates used in the negated concept.
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Return all predicates of this signature.
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns the predicates of this first-order logic signature.
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.Implication
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getPredicates() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getPredicates() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getPredicates() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.Implication
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.Negation
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getPredicates() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
getPredicates() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
getPredicates() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
getPredicates() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getPredicates() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getPredicates() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
getPredicates() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getPredicates() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getPredicates() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getPredicates() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getPreferenceOrderIndex() - Method in class org.tweetyproject.preferences.update.Update: returns the first element of this quadruple
getPreimage(Argument) - Method in class org.tweetyproject.agents.dialogues.oppmodels.RecognitionFunction: Returns the argument which maps to the set containing the given argument.
getPremise() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getPremise() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getPremise() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getPremise() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule: Retrieves the premises (support) of the rule.
getPremise() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getPremise() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
getPremise() - Method in interface org.tweetyproject.commons.util.rules.Rule: Returns the premise of this rule.
getPremise() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getPremise() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getPremise() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getPremise() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getPremise() - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule: Returns the premise of this rule.
getPremises() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalStatement: Retrieves the premises of this causal statement.
getPremises() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedArgument: Returns the premises of this induced argument.
getPremises() - Method in class org.tweetyproject.commons.util.rules.RuleSet: Returns all premises appearing in this rule set.
getPrerequisite() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule: Return the default's prerequisite
getPreviousFile() - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator: Returns the file of the theory previously returned by "next()"
getPriestWorlds() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Returns all interpretations that are mapped to a rank unequal to INFINITY.
getPrimeImplicants() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns the set of prime implicants of this formula.
getPrimeImplicants(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.analysis.PrimeImplicantEnumerator: Return the prime implicants
getPrimeImplicants(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator
getProb(S, A, S) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the probability of the given transition.
getProbability() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack
getProbability() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Support
getProbability() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional: Returns the probability of this conditional.
getProbability() - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional: Returns the probability of this conditional.
getProbability(Argument) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework: Returns the probability of the given argument.
getProbability(Attack) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework: Returns the probability of the given attack.
getProbability(DungTheory) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework: Computes the probability of the given AAF wrt.
getProbability(Episode<S, A>) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the probability of the given episode
getProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: the probability function of this graph, which is null for default
getProbabilityVector() - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner.ProboProblem: Returns the problem instance that corresponds to the given abbreviation.
getProblems(String) - Static method in enum org.tweetyproject.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 org.tweetyproject.logics.rdl.semantics.DefaultProcessTree: Return all processes (sequences of defaults from root to leaf)
getProducts() - Method in class org.tweetyproject.math.term.AssociativeOperation
getProducts() - Method in class org.tweetyproject.math.term.Constant
getProducts() - Method in class org.tweetyproject.math.term.Difference
getProducts() - Method in class org.tweetyproject.math.term.Fraction
getProducts() - Method in class org.tweetyproject.math.term.FunctionalTerm
getProducts() - Method in class org.tweetyproject.math.term.Product
getProducts() - Method in class org.tweetyproject.math.term.Term: Returns all products of this term.
getProducts() - Method in class org.tweetyproject.math.term.Variable
getPropositionalCharacterisation(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner: Creates a propositional representation of the set of labelings of the given Dung theory that are consistent with the given semantics.
getQuantifiedFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula: Return quantified formulas
getQuantifiedFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: Return the quantified formulars
getQuantifiedFormulas() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula: Return formulas
getQuantifierVariables() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getQuantifierVariables() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
getQuantifierVariables() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of variables that are quantified within this formula.
getQuantifierVariables() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getQuantifierVariables() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula: returns all variables
getQuantifierVariables() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
getQuantifierVariables() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: returns variables
getQuantifierVariables() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getQuantifierVariables() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getQuantifierVariables() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula: Return the quantifier variables (propositions)
getQuantifierVariables() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula: Return the quantified variables (propositions)
getQuantifierVariables() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getQuantifierVariables() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getQuery() - Method in class org.tweetyproject.lp.asp.syntax.Program: Returns the query of the program, if there is one.
getQuery() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the query string in the DeLP request.
getQuery() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the query string in the DeLP response.
getQuery_assumption() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the query assumption for the ABA reasoner post request.
getQuery_assumption() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the query_assumption associated with this object.
getRandomDistribution(RpclSemantics, FolSignature, Set<Set<Constant>>) - Static method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns a random distribution on the given signature.
getRandomElement() - Method in class org.tweetyproject.math.algebra.BooleanSemiring: Generates a random Boolean element.
getRandomElement() - Method in class org.tweetyproject.math.algebra.BottleneckSemiring: Generates a random Double element within the specified maximum value.
getRandomElement() - Method in class org.tweetyproject.math.algebra.FuzzySemiring: Generates a random Double element within the specified maximum value.
getRandomElement() - Method in class org.tweetyproject.math.algebra.NonNumericSemiring: Generates a random element from the semiring.
getRandomElement() - Method in class org.tweetyproject.math.algebra.ProbabilisticSemiring: Generates a random Double element within the specified maximum value.
getRandomElement() - Method in class org.tweetyproject.math.algebra.Semiring: Generates a random element of the semiring.
getRandomElement() - Method in class org.tweetyproject.math.algebra.WeightedSemiring: Generates a random element from the semiring within the specified maximum value.
getRankingFunction() - Method in class org.tweetyproject.preferences.ranking.LevelingFunction: returns a new RankingFunction based on this LevelingFunction
getRankingFunction() - Method in class org.tweetyproject.preferences.ranking.RankingFunction: returns the ranking function
getRealPart() - Method in class org.tweetyproject.math.ComplexNumber: Returns the real part of this complex number.
getReasoner(GeneralAbaReasonerFactory.Semantics) - Static method in class org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory: Return a reasoner
getReasoner(AbstractExtensionReasonerFactory.Semantics) - Static method in class org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory: Creates a new reasoner measure of the given semantics with default settings.
getReduct(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: computes the reduct of bbase wrt.
getReduct(Set<ASPLiteral>) - Method in class org.tweetyproject.lp.asp.syntax.Program: Returns the reduct of this program wrt.
getRedundantAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.AdmissibleKernel
getRedundantAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.CompleteKernel
getRedundantAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel: compute the set of redundant attacks, i.e., all attacks that are removed in oder to retrieve the kernel of the given AF
getRedundantAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.GroundedKernel
getRedundantAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.kernel.StableKernel
getReinstatementSet(Argument, Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Computes the reinstatement set for the attack (a,b)
getRelationSymbol() - Method in class org.tweetyproject.math.equation.Equation
getRelationSymbol() - Method in class org.tweetyproject.math.equation.Inequation
getRelationSymbol() - Method in class org.tweetyproject.math.equation.Statement: Returns the relation symbol of this statement.
getReply() - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Retrieves the reply message associated with this response.
getReply() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the reply associated with this object.
getReply() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the reply message in the DeLP response.
getReply() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the reply message in the Dung reasoner response.
getReply() - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Gets the reply message associated with this response.
getReply() - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Retrieves the reply message associated with this response.
getReply() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Returns the reply associated with this response.
getRepresentation() - Method in class org.tweetyproject.math.examples.KnapSack: since this class is not used with ant optimization, we do not need this method
getRepresentation() - Method in class org.tweetyproject.math.examples.TravelingSalesman
getRepresentation() - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: for Ant optimization: represent the problem as an adjacence matrix
getRepresentation(CombinatoricsProblem) - Static method in class org.tweetyproject.math.opt.solver.AntColonyOptimization: Return represntation
getRepresentationStructure() - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld: Return The representation structure as a set of (proposition, boolean)
getRestriction(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getRestriction(Collection<SerialisationNode>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getRestriction(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getRestriction(Collection<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getRestriction(Collection<BpmnNode>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getRestriction(Collection<PetriNetNode>) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getRestriction(Collection<Marking>) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getRestriction(Collection<T>) - Method in class org.tweetyproject.graphs.DefaultGraph
getRestriction(Collection<T>) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns copy of this DirHyperGraph consisting only of the given nodes and all corresponding edges.
getRestriction(Collection<T>) - Method in interface org.tweetyproject.graphs.GeneralGraph: Returns a copy of this graph that contains only the specified nodes and all corresponding edges between them.
getRestriction(Collection<T>) - Method in class org.tweetyproject.graphs.HyperGraph
getResult() - Method in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult: Returns the result of the analysis.
getResult() - Method in class org.tweetyproject.preferences.events.UpdateEvent: returns the result for this update event
getReward(S, A, S) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the reward of the given transition.
getRight() - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
getRight() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
getRight() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement: Returns the right part (the literals tuple) of the Aggregate element.
getRight() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm: Return the right subterm of this arithmetic term.
getRight() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getRightGuard() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Return the right relation term (right guard).
getRightGuard() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Return the right guard (comparison term)
getRightOperator() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Returns the operator of the right aggregate relation.
getRightOperator() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Return the right comparison operator.
getRightTerm() - Method in class org.tweetyproject.math.equation.Statement: Returns the right term of this statement.
getRole() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction: Return the (atomic) role of the existential restriction.
getRole() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion: Return the role that the individuals assertional axiom
getRole() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction: Return the (atomic) role of the universal restriction.
getRole(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the role with the given name.
getRoleDomain(AtomicRole) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation: Returns the subset of the domain that belongs to the given role (i.e.
getRoles() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Get the role names of the signature.
getRoot() - Method in class org.tweetyproject.arg.deductive.semantics.ArgumentTree: Returns the root node of this tree.
getRule() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return the rule
getRuleFormula(DefeasibleInferenceRule<FolFormula>) - Method in class org.tweetyproject.arg.aspic.ruleformulagenerator.FolFormulaGenerator
getRuleFormula(DefeasibleInferenceRule<PlFormula>) - Method in class org.tweetyproject.arg.aspic.ruleformulagenerator.PlFormulaGenerator
getRuleFormula(DefeasibleInferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.ruleformulagenerator.RuleFormulaGenerator: Transforms a defeasible ASPIC inference rule into a corresponding formula of type T
getRuleFormulaGenerator() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory: Returns the generator to transform rules into words of the language they range over
getRules() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Return the rules
getRules() - Method in class org.tweetyproject.arg.aba.syntax.Deduction: Return all rules used in this deduction
getRulesWithConclusion(Formula) - Method in class org.tweetyproject.commons.util.rules.RuleSet: Returns all rules this set with the given conclusion
getRulesWithHead(FolFormula) - Method in class org.tweetyproject.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 org.tweetyproject.arg.delp.syntax.DelpArgument: Returns all defeasible rules of the support of this argument with the given literal as head
getSamplerSignature() - Method in class org.tweetyproject.commons.BeliefSetSampler: Returns the signature of this sampler.
getSatEncoding() - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Returns a SAT encoding of this cardinality constraint.
getSatEncoding(String) - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Returns a SAT encoding of this cardinality constraint.
getSATEncoding(Collection<PlFormula>, int) - Method in class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
getSATEncoding(Collection<PlFormula>, int) - Method in class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure
getSATEncoding(Collection<PlFormula>, int) - Method in class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure
getSATEncoding(Collection<PlFormula>, int) - Method in class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure
getSatisfactionRatio() - Method in class org.tweetyproject.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 org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in class org.tweetyproject.logics.rpcl.semantics.AveragingSemantics
getSatisfactionStatement(RelationalProbabilisticConditional, FolSignature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable>) - Method in interface org.tweetyproject.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 org.tweetyproject.arg.prob.semantics.AbstractPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.CoherentPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.FoundedPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.JustifiablePASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.NeutralPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.OptimisticPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in interface org.tweetyproject.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 org.tweetyproject.arg.prob.semantics.RationalPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.SemiFoundedPASemantics
getSatisfactionStatements(DungTheory, Map<Collection<Argument>, FloatVariable>) - Method in class org.tweetyproject.arg.prob.semantics.SemiOptimisticPASemantics
getSatSolver() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration: Gets the configured IncrementalSatSolver.
getScreen() - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns the screened rules that are contained in every remainder set.
getScriptLocation() - Method in class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner: Get the mleancop.sh path.
getSecond() - Method in class org.tweetyproject.commons.util.Pair: returns the second element of this pair
getSecond() - Method in class org.tweetyproject.commons.util.Triple: returns the second element of this triple
getSecondFormula() - Method in class org.tweetyproject.logics.fol.syntax.Implication: Get the right side formula of the implication left => right
getSecondFormula() - Method in class org.tweetyproject.logics.pl.syntax.Implication: Get the right side formula of the implication left => right
getSelections() - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter: returns each possible selection argument
getSemantics() - Method in class org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the semantics.
getSemantics() - Method in class org.tweetyproject.arg.dung.learning.syntax.Input: return the semantics of this input labeling
getSemantics() - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: get the semantic of OrderingSemanticsReasoner instance
getSemantics() - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: Return the semantics of this reasoner
getSemantics() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph: Return the semantics of this serialisation graph
getSemantics() - Method in class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery: Returns the used semantics.
getSemantics() - Method in class org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery: Returns the used semantics.
getSemantics() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the semantics of this distribution.
getSemantics() - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Returns the list of semantics.
getSemantics() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the semantics to be used in the ABA reasoner post request.
getSemantics() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the semantics associated with this object.
getSemantics() - Static method in class org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory: Gets an array of all available semantics.
getSemantics() - Static method in class org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory: Returns an array of all available semantics.
getSemantics() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the semantics specified in the Dung reasoner request.
getSemantics() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the semantics specified in the Dung reasoner response.
getSemantics() - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Gets the list of semantic elements associated with the service.
getSemantics(String) - Static method in enum org.tweetyproject.arg.dung.semantics.Semantics: Returns the semantics whose abbreviation matched the given string.
getSemantics(String) - Static method in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics: Gets the Semantics enumeration based on the provided identifier.
getSemantics(String) - Static method in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
getSemiring() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Retrieves the semiring used in the framework.
getSequenceFlows() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: retrieve all edges in this BPMN model that are Sequence Flows
getSequenceFlowSuccessors(BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: For one particular nodes, retrieve all successors in the sequence flow of the BPMN model
getSequences(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: Computes the set of serialisation sequences that each correspond to some extension wrt.
getSequentialCounterEncoding(Collection<Proposition>, int, String) - Static method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Returns a SAT encoding of the given cardinality constraint based on the method of [Sinz.
getSerialisableReasonerForSemantics(Semantics) - Static method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: Returns a reasoner for the given semantics.
getSerialisationGraph(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: Creates a graph, visualizing the transition states of the serialisation process, which creates all serialisable extensions according to the specified semantics of the specified framework.
getSignature() - Method in class org.tweetyproject.action.description.parser.CParser: Returns the signature of the action.
getSignature() - Method in class org.tweetyproject.action.description.syntax.CLaw
getSignature() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
getSignature() - Method in class org.tweetyproject.action.description.syntax.StaticLaw
getSignature() - Method in class org.tweetyproject.action.query.syntax.SActionQuery
getSignature() - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem: Returns the action signature of this transition system.
getSignature() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getSignature() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getSignature() - Method in class org.tweetyproject.arg.aba.syntax.Negation
getSignature() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Retrieves the signature of this argument set.
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
getSignature() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
getSignature() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule: Retrieves the signature of the rule, which includes the signature of both the premises and the conclusion.
getSignature() - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Return the signature
getSignature() - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument: Always null.
getSignature() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getSignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
getSignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
getSignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
getSignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
getSignature() - Method in class org.tweetyproject.arg.dung.syntax.Argument
getSignature() - Method in class org.tweetyproject.arg.dung.syntax.Attack
getSignature() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack
getSignature() - Method in class org.tweetyproject.arg.lp.syntax.Argument
getSignature() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
getSignature() - Method in class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
getSignature() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
getSignature() - Method in class org.tweetyproject.beliefdynamics.mas.InformationObject
getSignature() - Method in class org.tweetyproject.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 org.tweetyproject.commons.Formula: Returns the signature of the language of this formula.
getSignature() - Method in class org.tweetyproject.commons.FormulaSampler: Returns the signature of this sampler.
getSignature() - Method in interface org.tweetyproject.commons.util.rules.Rule
getSignature() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnFormula
getSignature() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Return An unmodifiable Collection containing all propositions that altogether form the signature of the ConditionalStructure
getSignature() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Returns the signature of the first-order language this ranking function is defined on.
getSignature() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
getSignature() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getSignature() - Method in class org.tweetyproject.logics.dl.parser.DlParser: Return the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Returns the description logic signature for this atomic concept, which includes the predicate representing this concept.
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.Complement: Returns the description logic signature for this complement, which is the signature of the negated concept.
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
getSignature() - Method in class org.tweetyproject.logics.fol.parser.FolParser: Returns the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.fol.parser.TPTPParser: Returns the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
getSignature() - Method in class org.tweetyproject.logics.ml.parser.MlParser: Returns the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getSignature() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getSignature() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Returns the signature of the underlying language.
getSignature() - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld: Returns the signature of this world.
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.Implication
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.Negation
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
getSignature() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
getSignature() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
getSignature() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
getSignature() - Method in class org.tweetyproject.logics.rcl.parser.RclParser: Returns the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getSignature() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getSignature() - Method in class org.tweetyproject.logics.rpcl.parser.RpclParser: Returns the signature of this parser.
getSignature() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the signature of the underlying language.
getSignature() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Returns the signature of this world.
getSignature() - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld: Returns the signature of this world.
getSignature() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Returns the signature of the first-order language this PD is defined on.
getSignature() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
getSignature() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Returns the signature of this world.
getSignature() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Returns the signature of the first-order language this ranking function is defined on.
getSignature() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getSignature() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getSignature() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getSignature(Collection<? extends PlFormula>) - Static method in class org.tweetyproject.logics.pl.syntax.PlSignature: Returns the set of atoms appearing in the given collection of formulas.
getSimpleReasonerForSemantics(Semantics) - Static method in class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner: Creates a reasoner for the given semantics.
getSimpleReasonerForSemantics(Semantics) - Static method in class org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner: Returns a simple extended theory reasoner for the given semantics
getSimpleReasonerForSemantics(Semantics) - Static method in class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner: Returns a simple recursive extended theory reasoner for the given semantics
getSimpleReasonerForSemantics(Semantics) - Static method in class org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner: Creates a reasoner for the given semantics.
getSingelAtomConclusions(Set<PlFormula>) - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase: Returns all 1-atom-conclusions of this instance if the specified set of formulas is used as premises.
getSolidlyDefended(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
getSolver() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the solver specified in the Dung reasoner request.
getSolver() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the solver specified in the Dung reasoner response.
getSort() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Term
getSort() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
getSort(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Get the sort with the given name.
getSortedNodes() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: Return getSortedNodes
getSortingType() - Method in class org.tweetyproject.comparator.NumericalPartialOrder: Return the sorting type that is used for ranking values (descending, ascending or sorted lexicographically)
getSorts() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns the sorts of this first-order logic signature.
getSource() - Method in class org.tweetyproject.beliefdynamics.mas.InformationObject: Returns the source of this information object.
getSourceBeliefBase() - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.RemainderSets: Returns the belief base that seeded this remainder set.
getSourceBeliefBase() - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns the original program p for which this set represents the set of remainder sets.
getSourceRef() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge: Return the id of the source node
getStandardDivisions(DungTheory) - Static method in class org.tweetyproject.arg.dung.divisions.Division: Returns the standard set of divisions of the given argumentation theory, i.e.
getStarConflicts(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure: Computes all *-conflicts of a given belief base.
getStartingPoint() - Method in class org.tweetyproject.math.opt.rootFinder.RootFinder: Returns the starting point of this finder.
getState(Set<FolAtom>) - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem: Returns the state that maps the given fluents to true, if it exists, otherwise null.
getStates() - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem: Creates a HashSet with all states contained in this transition system.
getStates() - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the states of this MDP
getStaticLaws() - Method in class org.tweetyproject.action.description.syntax.CActionDescription: Retrieves a set of all static laws contained in this action description.
getStats(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns a list containing statistics about the given inconsistency measure: number of timeouts, mean time, median time and min and max time.
getStatus() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult: Returns the status of the inconsistency measure result.
getStatus() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the status associated with this object.
getStatus() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the status of the DeLP response.
getStatus() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the status of the Dung reasoner response.
getStatus() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Gets the current status of the response.
getStrictClosure() - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: Computes the strict closure of the program, i.e., the set of all strictly derivable literals.
getStringBuilder(ArgumentSet, ArgumentSet) - Static method in class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Utility method for getStringBuilder
getStringBuilder(ArgumentSet, ArgumentSet, String) - Static method in class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Combines arguments and builds the first line
getStrongestInterpolant(Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
getStrongestInterpolant(Collection<S>, Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.InterpolantEnumerator: Returns the strongest interpolant (up to semantical equivalence) of K1 wrt.
getStronglyConnectedComponents() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getStronglyConnectedComponents() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getStronglyConnectedComponents() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getStronglyConnectedComponents() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getStronglyConnectedComponents() - Method in class org.tweetyproject.graphs.DefaultGraph
getStronglyConnectedComponents() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the strongly connected components of this DirHyperGraph.
getStronglyConnectedComponents() - Method in interface org.tweetyproject.graphs.Graph: Returns the strongly connected components of this graph.
getStronglyConnectedComponents() - Method in class org.tweetyproject.graphs.HyperGraph
getStronglyConnectedComponents() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getStronglyConnectedComponents() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getStronglyConnectedComponents() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getStronglyConnectedComponents(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: * Returns the strongly connected components of the given graph.
getStructuralEquations() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Retrieves a copy of the set of structural equations currently defined in the causal model.
getStyle(SerialisationNode) - Method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
getSubgraphProbabilityFunction() - Method in class org.tweetyproject.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 org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getSubgraphs() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
getSubgraphs() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getSubgraphs() - Method in class org.tweetyproject.graphs.DefaultGraph
getSubgraphs() - Method in interface org.tweetyproject.graphs.Graph: Returns the set of sub graphs of this graph.
getSubgraphs() - Method in class org.tweetyproject.graphs.HyperGraph
getSubgraphs() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
getSubgraphs() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
getSubgraphs() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
getSubgraphs(SetAf) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Returns the set of sub graphs of the given graph.
getSubgraphs(GeneralGraph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Returns the set of sub graphs of the given graph.
getSubgraphs(HyperGraph<T>) - Method in class org.tweetyproject.graphs.HyperGraph: Returns the set of sub graphs of the given graph.
getSubGraphs() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getSubGraphs() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns the set of sub DirHyperGraphs of this DirHyperGraph.
getSubgraphsHelper(SetAf) - Static method in class org.tweetyproject.arg.setaf.syntax.SetAf: Return the subgraphs of the SetAf
getSubTerms() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin
getSubTerms() - Method in class org.tweetyproject.logics.cl.kappa.KappaSum
getSubTerms() - Method in interface org.tweetyproject.logics.cl.kappa.KappaTerm: Processes all the sub-terms
getSubTerms() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
getSuccessors(Map.Entry<T, Integer>) - Method in class org.tweetyproject.preferences.ranking.Functions: returns a set of successor elements for the given entry
getSuccessors(Interpretation<FolBeliefSet, FolFormula>) - Method in class org.tweetyproject.logics.ml.semantics.AccessibilityRelation: Returns all interpretations that are accessible to a given interpretation i.
GetSuffix(int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream: Retrieves a suffix of the internal buffer.
getSums() - Method in class org.tweetyproject.math.term.AssociativeOperation
getSums() - Method in class org.tweetyproject.math.term.Constant
getSums() - Method in class org.tweetyproject.math.term.Difference
getSums() - Method in class org.tweetyproject.math.term.Fraction
getSums() - Method in class org.tweetyproject.math.term.FunctionalTerm
getSums() - Method in class org.tweetyproject.math.term.Sum
getSums() - Method in class org.tweetyproject.math.term.Term: Returns all sums of this term.
getSums() - Method in class org.tweetyproject.math.term.Variable
getSupport() - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgument: Returns the support of this argument.
getSupport() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument: Returns the support of this argument, i.e., the set of rules that provide the basis for the claim.
getSupport() - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument: returns the support of this argument
getSupported() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport: returns the supported argument of this support relation.
getSupported() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport: returns the supported argument of this support relation.
getSupported() - Method in interface org.tweetyproject.arg.bipolar.syntax.Support: Returns the argument that is supported by the supporter.
getSupported(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from an element of ext to A
getSupported(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: Computes the set {A | there is a sequence of direct supports from argumentSet to A}
getSupported(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from argument to A
getSupportedAttacks(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Calculates the set of supported attack from "arg1" to other arguments "y", i.e.
getSupporter() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport: returns the supporting argument of this support relation.
getSupporter() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport: returns the supporting set of arguments of this support relation.
getSupporter() - Method in interface org.tweetyproject.arg.bipolar.syntax.Support: Returns the argument that provides support to another argument.
getSupporters(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Computes the set {A | there is a sequence of direct supports from A to argument
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework: Returns all supports of this theory.
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all supports
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Gets supports of the EAF
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: Returns all supports of this theory.
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
getSupports() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory: Get the insert ordered list of supports.
getSupports(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all supports invloving argument arg
getSymbolArrow() - Method in class org.tweetyproject.arg.aba.parser.AbaParser: Gets the symbol used to separate the head and body in rules.
getSymbolComma() - Method in class org.tweetyproject.arg.aba.parser.AbaParser: Gets the symbol used for separating assumptions.
getSymbolTrue() - Method in class org.tweetyproject.arg.aba.parser.AbaParser: Gets the symbol representing 'true' in rules.
getSyntacticModule(Formula) - Method in class org.tweetyproject.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 org.tweetyproject.logics.pl.syntax.PlBeliefSet: Returns the set of syntax components of this belief set, i.e.
getTargetFunction() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem: Returns the target function of this problem.
getTargetRef() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge: Return the id of the target node
getTargetSort() - Method in class org.tweetyproject.logics.commons.syntax.Functor: Returns the sort of this functor
getTBox() - Method in class org.tweetyproject.logics.dl.syntax.DlBeliefSet: Returns the TBox section of the knowledge base.
getTerm() - Method in class org.tweetyproject.math.term.FunctionalTerm: Returns the inner term.
getTerm(int) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom: Retrieves the term at the specified index from the list of arguments.
getTerm(Vector<Term>) - Method in class org.tweetyproject.math.func.EntropyFunction
getTerm(Vector<Term>) - Method in interface org.tweetyproject.math.func.SimpleRealValuedFunction: getTerm
getTerms() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getTerms() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getTerms() - Method in class org.tweetyproject.arg.aba.syntax.Negation
getTerms() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getTerms() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getTerms() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getTerms() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
getTerms() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure
getTerms() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of terms used in the inner formula.
getTerms() - Method in class org.tweetyproject.logics.commons.syntax.Sort
getTerms() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.Implication
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getTerms() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getTerms() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getTerms() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getTerms() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getTerms() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getTerms() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getTerms() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getTerms() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
getTerms() - Method in class org.tweetyproject.math.term.AbsoluteValue
getTerms() - Method in class org.tweetyproject.math.term.AssociativeOperation: Returns the terms of this operation.
getTerms() - Method in class org.tweetyproject.math.term.Constant
getTerms() - Method in class org.tweetyproject.math.term.Difference
getTerms() - Method in class org.tweetyproject.math.term.Exp
getTerms() - Method in class org.tweetyproject.math.term.Fraction
getTerms() - Method in class org.tweetyproject.math.term.Logarithm
getTerms() - Method in class org.tweetyproject.math.term.Power
getTerms() - Method in class org.tweetyproject.math.term.Root
getTerms() - Method in class org.tweetyproject.math.term.Term: Getter Terms
getTerms() - Method in class org.tweetyproject.math.term.Variable
getTerms(Class<C>) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
getTerms(Class<C>) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
getTerms(Class<C>) - Method in class org.tweetyproject.arg.aba.syntax.Negation
getTerms(Class<C>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getTerms(Class<C>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
getTerms(Class<C>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure: Processes the set containing all terms of type C.
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of terms of a specified type used in the inner formula.
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.Sort
getTerms(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.Implication
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.Negation
getTerms(Class<C>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getTerms(Class<C>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getTerms(Class<C>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
getTerms(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getTerms(Class<C>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getTheory() - Method in class org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the theory of this agent.
getTheory() - Method in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent: Returns the theory of this agent.
getTheory() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode: Return the AF corresponding to this state
getTheory() - Method in class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery: Returns the used argumentation theory.
getTheory() - Method in class org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery: Returns the used argumentation theory.
getTheory() - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Returns the theory of this probability function.
getThird() - Method in class org.tweetyproject.commons.util.Triple: returns the third element of this triple
getThreeValuedSet() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: This method calculates a collection of 3-valued worlds based on this 4-valued world INCONSISTENT atoms are replaced by FALSE or TRUE
getTime() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the time value associated with this object.
getTime() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the time taken for the DeLP operation.
getTime() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the time taken for the Dung reasoner operation (in seconds).
getTime() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Retrieves the duration or time taken to analyze the inconsistency.
getTimedOutInstances(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Returns a set of all timed out instances of the dataset wrt.
getTimeout() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the timeout in seconds for the ABA reasoner post request.
getTimeout() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the timeout value associated with this object.
getTimeout() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the timeout value (in seconds) specified in the DeLP request.
getTimeout() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the timeout value (in seconds) specified in the DeLP response.
getTimeout() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the timeout value (in seconds) specified in the Dung reasoner request.
getTimeout() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the timeout value for this post.
getTimoutUnit(String) - Static method in class org.tweetyproject.web.services.Utils: Gets the corresponding TimeUnit based on the provided string representation.
getTo() - Method in class org.tweetyproject.action.transitionsystem.Transition: Returns the target state of this transition.
getTo() - Method in interface org.tweetyproject.arg.adf.semantics.link.Link
getTo() - Method in class org.tweetyproject.arg.adf.semantics.link.SimpleLink: Returns the target argument to which the link points.
getTo() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack: Get the element (attack, support or argument) that originates the attack
getTo() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Support: Return the argument that is targeted
getToken(int) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Retrieves a specific token from the input stream by its index.
getToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Get the specific Token.
getToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Retrieve the next token from the token stream.
getToken(int) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
getToken(int) - Method in class org.tweetyproject.preferences.io.POParser: Retrieves the Token at a specific position relative to the current token.
getToken(int) - Method in class org.tweetyproject.preferences.io.UPParser: Get the specific Token
getTokens() - Method in class org.tweetyproject.logics.petri.syntax.Place: Return the number of tokens currently at this place
getTokens(Place) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Return the tokens at the place at this marking
getTokensByPlace(Place) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Retrieve the number of tokens at the specified place at this marking
getTop() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure: Returns the first basic arguments of this argument structure
getTopRule() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Retruns the TopRule according to ASPIC+ specification
getTotalProbability() - Method in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult: Returns the total probability calculated during the analysis.
getTransition() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Return the transition of this ark
getTransition() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge: Return the transition
getTransitionMatrix() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Retrieve a matrix that specifies for each pair of markings how likely a transition between these markings is going to happen, based on the probability function that describes this graph.
getTransitions() - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem: Creates a HashSet with all transitions contained in this transition system.
getTransitions() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Return the transitions
getTransitions() - Method in class org.tweetyproject.machinelearning.rl.mdp.Episode: Returns all transitions of this episode
getTriple(T, T) - Method in class org.tweetyproject.preferences.PreferenceOrder: returns a pair if it consists of of two given elements
getTrue(Argument) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getTupledValues() - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner: Return the tupled values computed by previous calls of getModel
getTwinModel() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel
getTwoValuedSet() - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld: This method calculates a collection of 2-valued worlds based on this 3-valued world UNDECIDED atoms are replaced by FALSE or TRUE
getTwoValuedSetOfSets(Collection<ThreeValuedWorld>) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: This method takes a set of 3-valued worlds and returns a set of sets of 2-valued worlds where undecided atoms are replaced by False or True
getType() - Method in interface org.tweetyproject.arg.adf.semantics.link.Link
getType() - Method in class org.tweetyproject.arg.adf.semantics.link.SimpleLink: Returns the type of the link, indicating the nature of the connection between the source and target arguments.
getType() - Method in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult: Returns the type of analysis conducted.
getType() - Method in class org.tweetyproject.math.equation.Inequation: Returns the type of this inequation.
getType() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem: Returns the type of this problem.
getUnattacked(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: computes the set of arguments outside of ext, which are not attacked by ext
getUnattackedAttackers(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Returns the set of arguments b such that a is in ext and there is no c in ext such that (c,b) is an attack.
getUnattackedSets(DungTheory) - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple: utility method for calculating unattacked sets in a given theory a set E is unattacked in theory iff there exists no argument a in theory \ E, with a attacks E
getUnboundVariables() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement: Return unbound variables
getUnboundVariables() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
getUnboundVariables() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getUnboundVariables() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Returns the set of unbound variables in the inner formula, excluding the quantified variables.
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.Implication
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.Negation
getUnboundVariables() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getUnboundVariables() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getUnboundVariables() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getUnboundVariables() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
getUndefended(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: computes the set of arguments in ext, which are not defended by ext against outside attackers
getUndefendedAttacks(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Returns the set of attacks (b,a) such that a is in ext and there is no c in ext such that (c,b) is an attack.
getUndefendedAttacks(Collection<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
getUniformDistribution(Set<S>) - Static method in class org.tweetyproject.math.probability.ProbabilityFunction: Returns the uniform distribution on the given interpretations.
getUniformDistribution(Set<S>, Signature) - Static method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Returns the uniform distribution on the given interpretations.
getUniformDistribution(RpclSemantics, FolSignature) - Static method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the uniform distribution on the given signature.
getUniformDistribution(RpclSemantics, FolSignature, Set<Set<Constant>>) - Static method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns the uniform distribution on the given signature.
getUniformProbability() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
getUniformProbability() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
getUniformProbability() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware
getUniformProbability() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
getUniformProbability() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
getUniformProbability() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
getUniformProbability() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
getUniformProbability() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
getUniformProbability() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
getUniformProbability() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns this formula's probability in the uniform distribution.
getUniformProbability() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
getUniformProbability() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
getUnion(Set<Set<E>>) - Method in class org.tweetyproject.commons.util.SetTools: Returns the union of the set of sets.
getUnit_time() - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Gets the unit time associated with this object.
getUnit_time() - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Gets the unit time specified in the DeLP response.
getUnit_time() - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Gets the unit time specified in the Dung reasoner response.
getUnit_timeout() - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Gets the unit timeout for the ABA reasoner post request.
getUnit_timeout() - Method in class org.tweetyproject.web.services.delp.DeLPPost: Gets the unit timeout value specified in the DeLP request.
getUnit_timeout() - Method in class org.tweetyproject.web.services.dung.DungReasonerPost: Gets the unit timeout value specified in the Dung reasoner request.
getUnit_timeout() - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Returns the unit of time for the timeout of this post.
getUnityMultiple(int, double) - Static method in class org.tweetyproject.math.util.OjAlgoMathUtils: Create unity matrix multiplied by scalar.
getUpdate() - Method in class org.tweetyproject.preferences.io.UPParser: Return update
getUpperBound() - Method in class org.tweetyproject.machinelearning.TrainingParameter: Returns the upper bound of this parameter.
getUpperBound() - Method in class org.tweetyproject.math.Interval: Return upperBound
getUpperBound() - Method in class org.tweetyproject.math.term.Variable: Returns the upper bound of this variable.
getUpperCut(DungTheory, double) - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension: Returns the upper cut of this probabilistic extension wrt.
getUpperReferenceArguments() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality: Returns the upper reference arguments of this modality.
getUtilities(MarkovDecisionProcess<S, A>, Policy<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.algorithms.IterativePolicyEvaluation
getUtilities(MarkovDecisionProcess<S, A>, Policy<S, A>, double) - Method in interface org.tweetyproject.machinelearning.rl.mdp.algorithms.PolicyEvaluation: Determines the utilities of the states in the MDP wrt.
getUtility(Agent) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol: Calculates the utility of the given agent based on the disclosed arguments and attacks in the game.
getUtility(Agent) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol
getUtility(Agent) - Method in interface org.tweetyproject.agents.sim.GameProtocol: Returns the utility of the given agent for the final situation.
getUtility(DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction
getUtility(DialogueTrace<Argument, Extension<DungTheory>>, Set<Argument>, Set<Attack>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction
getUtility(DialogueTrace<S, T>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.UtilityFunction: Gives the utility of the given dialogue trace.
getUtility(DialogueTrace<S, T>, Set<S>, Set<Attack>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.UtilityFunction: Gives the utility of the given dialogue trace that takes the additional arguments and attacks into account.
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent: Returns the utility of the agent wrt.
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.agents.dialogues.lotteries.DummyLotteryAgent
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.agents.dialogues.lotteries.RandomLotteryAgent
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.agents.dialogues.lotteries.UtilityBasedLotteryAgent: Returns the utility of a given Dung theory based on the agent's utility function and the specified semantics.
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction: Gets the utility of the given theory wrt.
getUtility(DungTheory, Semantics) - Method in class org.tweetyproject.arg.prob.lotteries.UtilityFunction: Gets the utility of the given theory wrt.
getUtility(Episode<S, A>, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Returns the utility of the given episode with the given discount factor
getValue() - Method in class org.tweetyproject.arg.delp.parser.Token: An optional attribute value of the Token.
getValue() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult: Returns the computed inconsistency value.
getValue() - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: An optional attribute value of the Token.
getValue() - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: An optional attribute value of the token.
getValue() - Method in class org.tweetyproject.lp.asp.parser.Token: An optional attribute value of the token.
getValue() - Method in class org.tweetyproject.machinelearning.TrainingParameter: Returns the actual value of this parameter.
getValue() - Method in class org.tweetyproject.math.probability.Probability: Returns the value of this probability.
getValue() - Method in class org.tweetyproject.math.term.FloatConstant: Get the value of this float.
getValue() - Method in class org.tweetyproject.math.term.IntegerConstant: Get the value of this integer.
getValue() - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter: Getter of value
getValue() - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter: returns the given instantiation argument value for this parameter
getValue() - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter: Retrieves the value of this object.
getValue() - Method in class org.tweetyproject.preferences.io.Token: An optional attribute value of the Token.
getValue() - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Retrieves the numeric value indicating the level of inconsistency found.
getValue(FolAtom, State) - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem: Returns the value of a fluent in a state in this transition system.
getVariables() - Method in class org.tweetyproject.action.query.syntax.AlwaysQuery
getVariables() - Method in class org.tweetyproject.action.query.syntax.HoldsQuery
getVariables() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery
getVariables() - Method in class org.tweetyproject.action.query.syntax.QueryProposition: Returns all variables occurring in the inner formulas and actions of this query proposition.
getVariables() - Method in class org.tweetyproject.logics.fol.parser.FolParser: returns variables
getVariables() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure: Return all variables that appear in this structure.
getVariables() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem: Returns all variables of this problem.
getVariables() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
getVariables() - Method in class org.tweetyproject.math.term.AssociativeOperation
getVariables() - Method in class org.tweetyproject.math.term.Constant
getVariables() - Method in class org.tweetyproject.math.term.Difference
getVariables() - Method in class org.tweetyproject.math.term.Fraction
getVariables() - Method in class org.tweetyproject.math.term.FunctionalTerm
getVariables() - Method in class org.tweetyproject.math.term.Term: Returns all variables in this term.
getVariables() - Method in class org.tweetyproject.math.term.Variable
getVerifyingWorlds(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Retrieves an unmodifiable list of possible worlds that verify the given conditional.
getVGap() - Method in class org.tweetyproject.commons.Plotter: Get the vertical gap between panels
getWarrants(DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner: Computes the subset of the arguments of this program, that are warrants.
getWeakestInterpolant(Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
getWeakestInterpolant(Collection<S>, Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.InterpolantEnumerator: Returns the weakest interpolant (up to semantical equivalence) of K1 wrt.
getWeight() - Method in class org.tweetyproject.graphs.WeightedDirectedEdge: Returns the weight of this edge.
getWeight() - Method in interface org.tweetyproject.graphs.WeightedEdge: Returns the weight of this edge.
getWeight() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula: Returns the weight.
getWeight() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Return the ark weight
getWeight() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule: Return the weight of this constraint.
getWeight() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Return the weight of this optimization element.
getWeight(int) - Method in class org.tweetyproject.preferences.aggregation.BordaWeightVector: returns the weight based on the rank in the ranking function.
getWeight(int) - Method in class org.tweetyproject.preferences.aggregation.SinglePeakWeightVector: checks, whether an element got the highest rank
getWeight(int) - Method in class org.tweetyproject.preferences.aggregation.SingleValeWeightVector: returns the weight of the element
getWeight(int) - Method in interface org.tweetyproject.preferences.aggregation.WeightVector: returns the weight of an
getWeight(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: return weight of the attack between the given arguments
getWeight(Attack) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory: return weight of the given attack, weight is 0 if the attack is not present
getWeight(Attack) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Retrieves the weight of a given attack in the framework.
getWeights() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Retrieves all weights in the framework.
getWinner() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol: Retrieves the winner of the game.
getWinner() - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol
getWinner() - Method in interface org.tweetyproject.agents.sim.GameProtocol: If the game has a winner, this methods returns it.
getWitness(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver
getWitness(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver: 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 org.tweetyproject.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 org.tweetyproject.logics.pl.sat.SimpleDpllSolver
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver: interpretation of formulas
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>) - Method in class org.tweetyproject.logics.pl.sat.MaxSatSolver: Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>, Map<Proposition, Integer>, Map<Integer, Proposition>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver: Return the interpetation
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>, Map<Proposition, Integer>, Map<Integer, Proposition>) - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver
getWitness(Collection<PlFormula>, Map<Proposition, Integer>, Map<Integer, Proposition>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver
getWitness(Collection<PlFormula>, Map<Proposition, Integer>, Map<Integer, Proposition>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver: If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
getWitness(Collection<PlFormula>, Map<Proposition, Integer>, Map<Integer, Proposition>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver
getWitness(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.ConsistencyWitnessProvider: If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
getWitness(BeliefSet<PlFormula, ?>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver
getWitness(BeliefSet<S, ?>) - Method in interface org.tweetyproject.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 org.tweetyproject.logics.pl.sat.SatSolver
getWitness(S) - Method in interface org.tweetyproject.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 org.tweetyproject.logics.cl.semantics.ConditionalStructure: Processes the map from Conditionals to Generators for a given PossibleWorld
getWriter(FileFormat) - Static method in class org.tweetyproject.arg.dung.writer.AbstractDungWriter: Retrieves the writer for the given file format.
getXDimension() - Method in class org.tweetyproject.math.matrix.Matrix: Returns the x dimension of this matrix.
getYDimension() - Method in class org.tweetyproject.math.matrix.Matrix: Returns the y dimension of this matrix.
getZeroElement() - Method in class org.tweetyproject.math.algebra.Semiring: Retrieves the additive identity element.
gfpCardinality - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Strategy using the greatest fixed-point (GFP) cardinality.
gfpCardinality(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: calculates the greatest fix point.
GFR_GreedyKApproximationReasoner - Class in org.tweetyproject.arg.dung.reasoner: Starting from the empty set, this algorithms greedily determines an approximation to a k-stable* extension by iteratively adding arguments that add the maximal number of arguments to the range, until full range is achieved.
GFR_GreedyKApproximationReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.GFR_GreedyKApproximationReasoner
GhostQSolver - Class in org.tweetyproject.logics.qbf.reasoner: A wrapper for the GhostQ (https://www.wklieber.com/ghostq/) solver.
GhostQSolver(String) - Constructor for class org.tweetyproject.logics.qbf.reasoner.GhostQSolver: Constructs a new instance pointing to a specific GhostQSolver
GhostQSolver(String, Shell) - Constructor for class org.tweetyproject.logics.qbf.reasoner.GhostQSolver: Constructs a new instance pointing to a specific GhostQSolver.
giveNames(Map<BArgument, String>, Set<BArgument>) - Static method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory: Helper function to give the names of a set of arguments Static such that it can work with PEAFTheory nodes (EArgument, EAttack and PSupport)
globalclusteringcoefficient(Graph<T>) - Static method in class org.tweetyproject.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 org.tweetyproject.math.opt.solver: Provides a Java binding to the Glpk solver (https://www.gnu.org/software/glpk).
GlpkSolver() - Constructor for class org.tweetyproject.math.opt.solver.GlpkSolver: Constructor
GlpkSolverEx - Class in org.tweetyproject.math.examples: This class implements an example for the Glpk Solver
GlpkSolverEx() - Constructor for class org.tweetyproject.math.examples.GlpkSolverEx: Constructor
GOOD - Enum constant in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement: GOOD
GR - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: GR
GR - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Grounded semantics
gradedDefense(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Implements the graded defense function from Def.
gradedNeutrality(DungTheory, Collection<Argument>, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner: Implements the graded neutrality function from Def.
GradientDescent - Class in org.tweetyproject.math.opt.solver: This class implements the gradient descent method to find an optimum.
GradientDescent(Map<Variable, Term>) - Constructor for class org.tweetyproject.math.opt.solver.GradientDescent: Creates a new gradient descent solver
GradientDescentRootFinder - Class in org.tweetyproject.math.opt.rootFinder: Implements the gradient descent method to find zeros of a (multi-dimensional) function.
GradientDescentRootFinder() - Constructor for class org.tweetyproject.math.opt.rootFinder.GradientDescentRootFinder: Creates a new root finder for the given starting point and the given (multi-dimensional) function
GradientDescentSolverEx - Class in org.tweetyproject.math.examples: This class implements an example for the Gradient Descent Solver
GradientDescentSolverEx() - Constructor for class org.tweetyproject.math.examples.GradientDescentSolverEx: Constructor
Graph<T> - Interface in org.tweetyproject.graphs: Common interface for graphs with nodes of type T
GraphExample - Class in org.tweetyproject.graphs.examples: Example that shows how to construct graphs programmatically.
GraphExample() - Constructor for class org.tweetyproject.graphs.examples.GraphExample: Default Constructor
GraphExample2 - Class in org.tweetyproject.graphs.examples: Another example that shows how to construct graphs programmatically.
GraphExample2() - Constructor for class org.tweetyproject.graphs.examples.GraphExample2: Default Constructor
GraphPlotter<T,S> - Class in org.tweetyproject.graphs.util: A generic class for plotting graphs
GraphPlotter(Plotter, Graph<T>) - Constructor for class org.tweetyproject.graphs.util.GraphPlotter: Create a new instance
GraphStructureInconsistencyMeasure - Class in org.tweetyproject.arg.dung
GraphStructureInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
GraphUtil - Class in org.tweetyproject.graphs.util: This abstract class contains some auxiliary methods for working with graphs.
GraphUtil() - Constructor for class org.tweetyproject.graphs.util.GraphUtil: Default Constructor
GraphUtilTest - Class in org.tweetyproject.graphs.util
GraphUtilTest() - Constructor for class org.tweetyproject.graphs.util.GraphUtilTest
GREATER - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
GREATER - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
GREATER - Static variable in class org.tweetyproject.math.equation.Inequation: greater
GREATER_EQUAL - Static variable in class org.tweetyproject.math.equation.Inequation: greater or equal
GREATER_OR_EQ - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
GREATER_OR_EQ - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
greaterEqualThan() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin
greaterEqualThan() - Method in class org.tweetyproject.logics.cl.kappa.KappaSum
greaterEqualThan() - Method in interface org.tweetyproject.logics.cl.kappa.KappaTerm: Return The minimum value of this kappa term, such that the caller knows the kappa term is greater or equal the returned value.
greaterEqualThan() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
GridSearchParameterLearner<S,T> - Class in org.tweetyproject.machinelearning: A grid-search approach for learning parameters.
GridSearchParameterLearner(Trainer<S, T>, ClassificationTester<S, T>, int, int) - Constructor for class org.tweetyproject.machinelearning.GridSearchParameterLearner: Creates a new grid-search parameter learner with the given arguments.
GringoGrounder - Class in org.tweetyproject.lp.asp.grounder: Invokes Gringo (Part of the Potassco project), an ASP system that grounds logic programs.
GringoGrounder(String) - Constructor for class org.tweetyproject.lp.asp.grounder.GringoGrounder
GringoGrounder(String, Shell) - Constructor for class org.tweetyproject.lp.asp.grounder.GringoGrounder
ground() - Method in class org.tweetyproject.action.description.syntax.CActionDescription: Calculates a new action description containing all ground instances of each law in this action description.
ground() - Method in class org.tweetyproject.action.query.syntax.SActionQuerySet: Creates a new SActionQuerySet consisting of all possible groundings
ground() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: Return ground
ground() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: In general, a delp comprises of rule schemes with variables.
ground() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultTheory: Removes Variables by expanding formulas
ground(Set<Constant>) - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: In general, a delp comprises of rule schemes with variables.
ground(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
GroundAtom(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Parses and returns a ground atom (an atom where all terms are constants) from the input stream.
GROUNDED - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see GroundedAnalysis
GROUNDED - Static variable in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel: GROUNDED kernel
GROUNDED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: class for extension ranking semantics
GROUNDED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
GroundedAnalysis - Class in org.tweetyproject.arg.bipolar.analysis.extensions: Computes the preferred extension of the given PEAF
GroundedAnalysis(NamedPEAFTheory) - Constructor for class org.tweetyproject.arg.bipolar.analysis.extensions.GroundedAnalysis: Construct a GroundedAnalysis
GroundedExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample: GroundedExample
GroundedGameAgentGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Generates new arguing agents for a grounded game.
GroundedGameAgentGenerator(GroundedGameSystem.AgentFaction) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator: Creates a new agent generator.
GroundedGameGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Generates grounded games.
GroundedGameGenerator(DungTheoryGenerator, double, double) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator: Creates a new game generator.
GroundedGameProtocol - Class in org.tweetyproject.agents.dialogues.oppmodels: This class implements a round robin protocol for the grounded game.
GroundedGameProtocol(GroundedGameSystem) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol: Creates a new grounded game protocol for the given grounded game systems.
GroundedGameProtocolGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Creates protocols for a grounded game.
GroundedGameProtocolGenerator() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameProtocolGenerator: Default Constructor
GroundedGameSystem - Class in org.tweetyproject.agents.dialogues.oppmodels: This multi-agent system models a grounded dialogue game between two agents.
GroundedGameSystem(DungTheory) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem: Creates a new grounded game system.
GroundedGameSystem.AgentFaction - Enum in org.tweetyproject.agents.dialogues.oppmodels: The factions of agents in this game.
GroundedGameT1AgentGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Generates agents of type T1.
GroundedGameT1AgentGenerator(GroundedGameSystem.AgentFaction, T1Configuration) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameT2AgentGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Generates agents of type T2.
GroundedGameT2AgentGenerator(GroundedGameSystem.AgentFaction, T2Configuration) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameT3AgentGenerator - Class in org.tweetyproject.agents.dialogues.oppmodels.sim: Generates agents of type T3.
GroundedGameT3AgentGenerator(GroundedGameSystem.AgentFaction, T3Configuration) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator: Creates a new generator for agents of type T1.
GroundedGameUtilityFunction - Class in org.tweetyproject.agents.dialogues.oppmodels: The grounded game utility function u_a^g.
GroundedGameUtilityFunction(DungTheory, Argument, GroundedGameSystem.AgentFaction) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction: Construct utility function.
GroundedKernel - Class in org.tweetyproject.arg.dung.equivalence.kernel: Kernel GK = (A, R') for strong equivalence wrt.
GroundedKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.kernel.GroundedKernel
GroundedReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential: the grounded extension of bbase is the least fixed point of the characteristic function.
GroundedReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity: the grounded extension of bbase is the least fixed point of the characteristic function.
GroundedReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.GroundedReasoner: Default Constructor
GroundedReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner: Default Constructor
GroundedReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
GroundedReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
GroundedTest - Class in Unnamed Package: Shows how a simulation of a multi-agent system can be set up.
GroundedTest - Class in org.tweetyproject.agents.dialogues.examples: Shows how a simulation of a multi-agent system can be set up.
GroundedTest() - Constructor for class GroundedTest
GroundedTest() - Constructor for class org.tweetyproject.agents.dialogues.examples.GroundedTest: Default Constructor
GroundedTest2 - Class in org.tweetyproject.agents.dialogues.examples: Shows how a simulation of a multi-agent system can be set up.
GroundedTest2() - Constructor for class org.tweetyproject.agents.dialogues.examples.GroundedTest2: Default Constructor
GrounderExample - Class in org.tweetyproject.lp.asp.examples: GrounderExample class
GrounderExample() - Constructor for class org.tweetyproject.lp.asp.examples.GrounderExample
groundFolRules() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
GroundGenerator - Class in org.tweetyproject.arg.adf.reasoner.sat.generator: GroundGenerator class
GroundingRequirement - Interface in org.tweetyproject.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 org.tweetyproject.action.grounding.parser: This class parses a list of grounding requirements of the form REQUIREMENT ("," REQUIREMENT)*
GroundingRequirementsParser() - Constructor for class org.tweetyproject.action.grounding.parser.GroundingRequirementsParser
GroundingTools - Class in org.tweetyproject.action.grounding: This class holds common grounding functionality for causal theories using first-order formulas.
GroundingTools() - Constructor for class org.tweetyproject.action.grounding.GroundingTools
GroundReasoner - Class in org.tweetyproject.arg.adf.reasoner: Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, for removal in future versions
GroundReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.GroundReasoner: Deprecated.

Constructs a GroundReasoner with the specified SAT solver.
GT - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator: Represents the "greater than" operator
GurobiOptimizer - Class in org.tweetyproject.math.opt.solver: This class is a wrapper for the Gurobi optimizer (https://www.gurobi.com).
GurobiOptimizer() - Constructor for class org.tweetyproject.math.opt.solver.GurobiOptimizer: Constructor
GurobiTest - Class in org.tweetyproject.math.examples: test for gurobi
GurobiTest() - Constructor for class org.tweetyproject.math.examples.GurobiTest: Constructor

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form