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 extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - 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
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
GeneralAbaReasoner<T extends Formula> - 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
GeneralAbaReasonerFactory - Class in org.tweetyproject.web.spring_services.aba: Main factory for retrieving reasoners for aba.
GeneralAbaReasonerFactory() - Constructor for class org.tweetyproject.web.spring_services.aba.GeneralAbaReasonerFactory
GeneralAbaReasonerFactory.Semantics - Enum in org.tweetyproject.web.spring_services.aba: An enumeration of all available inconsistency measures.
GeneralComparator<T extends Formula,R extends BeliefBase> - 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
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
GeneralEdge<T> - Class in org.tweetyproject.graphs
GeneralEdge() - Constructor for class org.tweetyproject.graphs.GeneralEdge
GeneralGraph<T extends Node> - Interface in org.tweetyproject.graphs
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
GeneralMathException - Exception in org.tweetyproject.math: This class is represents a general math exception;
GeneralMathException() - Constructor for exception org.tweetyproject.math.GeneralMathException: Creates a new general math exception.
GeneralMathException(String) - Constructor for exception 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
generate() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator: Does not return the same candidate on two calls on the same instance.
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
generateParseException() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
generateParseException() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
generateParseException() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
generateParseException() - Method in class org.tweetyproject.preferences.io.POParser
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
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
get(int) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet
get(int) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
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.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.spring_services.aba.AbaReasonerCalleeFactory.Command: *description missing*
GET_MODEL - Enum constant in enum org.tweetyproject.web.spring_services.dung.DungReasonerCalleeFactory.Command: *description missing*
GET_MODELS - Enum constant in enum org.tweetyproject.web.spring_services.aba.AbaReasonerCalleeFactory.Command: *description missing*
GET_MODELS - Enum constant in enum org.tweetyproject.web.spring_services.dung.DungReasonerCalleeFactory.Command: *description missing*
getABox() - Method in class org.tweetyproject.logics.dl.syntax.DlBeliefSet
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: Guaranteed to be non-null if the ADF contains the 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
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
getActions() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery
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
getActivities() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel: retrieve all nodes in this BPMN model that are Activities
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.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 simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
getAfterFormula() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
getAgent() - Method in class org.tweetyproject.agents.ActionEvent
getAggregateElements() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
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.
getAllConclusions() - Method in class org.tweetyproject.arg.aba.syntax.Deduction
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
getAllDeductions(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
getAllExtensions() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Computes all possible extensions.
getAllGrounded() - Method in class org.tweetyproject.action.description.syntax.CLaw
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
getAllGroundedActionNameAtoms() - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature on the basis of all action name predicates contained.
getAllGroundedFluentAtoms() - Method in class org.tweetyproject.action.signature.ActionSignature: Returns the set of all possible grounded atoms in this signature on the basis of all fluent predicates contained.
getAllHerbrandInterpretations() - Method in class org.tweetyproject.logics.fol.semantics.HerbrandBase
getAllHerbrandInterpretations() - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandBase
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
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
getAllRules() - Method in class org.tweetyproject.arg.aba.syntax.Deduction
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.spring_services.aba.AbaReasonerResponse: *description missing*
getAnswer() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getAnswer() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
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
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
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
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
getArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.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: *description missing*
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
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
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
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
getAssumptions() - Method in class org.tweetyproject.arg.aba.syntax.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
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral
getAtom() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
getAtoms() - Method in class org.tweetyproject.action.description.syntax.CLaw
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
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
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
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
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.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(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.setaf.syntax.SetAf: Computes the set {A | (argument,A) in attacks}.
getAttacker() - Method in interface org.tweetyproject.arg.bipolar.syntax.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.
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(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.setaf.syntax.SetAf: Computes the set {A | (A,argument) in attacks}.
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
getAttacks() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getAttacks() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getBackend_timeout() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse: *description missing*
getBackGroundAtoms() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel: *description missing*
getBeginColumn() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
getBeginColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getBeginColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getBeginColumn() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token beginning column number.
getBeginColumn() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
getBeginLine() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
getBeginLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getBeginLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getBeginLine() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token beginning line number.
getBeginLine() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
getBeliefs() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase
getBeliefs() - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase: *description missing*
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: *description missing*
getBidirectionalAttacks() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Returns all bidirectional attacks of this theory.
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
getBinaryLocation() - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
getBinaryLocation() - Method in class org.tweetyproject.logics.pl.analysis.CmdLineImSolver
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
getBooleanAnswer() - Method in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type
getBpmnModel() - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
getCallee(AbaReasonerCalleeFactory.Command, GeneralAbaReasoner<T>, AbaTheory<T>, Assumption<T>) - Static method in class org.tweetyproject.web.spring_services.aba.AbaReasonerCalleeFactory: *description missing*
getCallee(DungReasonerCalleeFactory.Command, AbstractExtensionReasoner, DungTheory) - Static method in class org.tweetyproject.web.spring_services.dung.DungReasonerCalleeFactory: *description missing*
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
getChildren(Set<T>) - Method in class org.tweetyproject.graphs.HyperGraph
getChildren(Node) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
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
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
getClasses() - Method in class org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier
getClassical() - Method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
getClassical() - Method in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue
getClassical() - Method in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue
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.spring_services.aba.AbaReasonerPost: *description missing*
getCmd() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
getCmd() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getCmd() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
getCmd() - Method in class org.tweetyproject.web.spring_services.Post: *description missing*
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.spring_services.aba.AbaReasonerCalleeFactory.Command
getCommand(String) - Static method in enum org.tweetyproject.web.spring_services.dung.DungReasonerCalleeFactory.Command
getCommands() - Static method in class org.tweetyproject.web.spring_services.aba.AbaReasonerCalleeFactory: *description missing*
getCommands() - Static method in class org.tweetyproject.web.spring_services.dung.DungReasonerCalleeFactory: *description missing*
getCommands() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse: *description missing*
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.spring_services.delp.DelpPost: *description missing*
getCompcriterion() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getComplement() - Method in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
getComplementGraph(int) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
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.
getCompleteExtension() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationSequence
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
getConcept() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
getConcept() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
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
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
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: *description missing*
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
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: *description missing*
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: returns condition
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
getConditionals() - Method in class org.tweetyproject.logics.cl.semantics.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
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
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
getConstraintTerms() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getContent() - Method in class org.tweetyproject.web.spring_services.Ping: *description missing*
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
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
getCurrentDiretory() - Method in interface org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler
getCurrentDiretory() - Method in interface org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
getCurrentSize() - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
getCurrentState() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
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
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
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
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.
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 interface org.tweetyproject.arg.dung.equivalence.Equivalence
getDescription() - Method in class org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
getDescription() - Method in class org.tweetyproject.arg.dung.equivalence.StandardEquivalence
getDescription() - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
getDescription() - Method in class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalence
getDescription() - Method in class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByGraphIso
getDescription() - Method in class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByGraphNaiv
getDescription() - Method in class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceBySequenceNaiv
getDescription() - Method in class org.tweetyproject.arg.dung.serialisibility.equivalence.SerialisationEquivalenceByTransitionStateSequenceNaiv
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
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
getDirEdge(Set<T>, Node) - Method in class org.tweetyproject.graphs.HyperGraph
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
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
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.spring_services.Utils: *description missing*
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
getEdge(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
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.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
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
getElements() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
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.spring_services.aba.AbaGetSemanticsResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
getEmail() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
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
getEndColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getEndColumn() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getEndColumn() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token end column number.
getEndColumn() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
getEndLine() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
getEndLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
getEndLine() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
getEndLine() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token end line number.
getEndLine() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
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.
getEquivalence() - Method in class org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier
getEquivalenceClass(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier
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: compute all strongly equivalent theories for the the given theory i.e.
getEquivalentTheories(T) - Method in interface org.tweetyproject.arg.dung.equivalence.EquivalentTheories: Computes all equivalent theories for the the specified object
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: *description missing*
getExtension() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.TransitionState
getExtensions() - Method in class org.tweetyproject.arg.bipolar.analysis.extensions.AbstractExtensionAnalysis
getExtensions() - Method in interface org.tweetyproject.arg.bipolar.analysis.extensions.ExtensionAnalysis
getExtensions() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph
getExtensions() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultProcessTree
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
getFacts() - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
getFalse(Argument) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
getFalsifiyingWorlds(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure
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
getFilter() - Method in interface org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
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
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
getFol_signature() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getFol_signature() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getFormat() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
getFormat() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
getFormat(String) - Static method in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format
getFormula() - Method in class org.tweetyproject.action.query.syntax.SActionQuery
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 folFormula 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
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
getFormula() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
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
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
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
getFormulas() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
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
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.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
getFunctionalTerms() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure
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
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
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
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
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
getHeadFormula() - Method in class org.tweetyproject.action.description.syntax.CLaw
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
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
getId() - Method in class org.tweetyproject.logics.petri.syntax.Place
getId() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
getId() - Method in class org.tweetyproject.web.spring_services.Ping: *description missing*
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
GetImage() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
GetImage() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
GetImage() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
GetImage() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get token literal value.
GetImage() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
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
getIncomingEdges() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnNode
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
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
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.spring_services.RequestController: *description missing*
getInfoStrings() - Method in interface org.tweetyproject.logics.bpm.analysis.BpmnInconsistencyMeasure
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
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
getInnerAtoms() - Method in class org.tweetyproject.action.query.syntax.SActionQuery
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
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
getInterventions() - Method in class org.tweetyproject.arg.dung.causal.syntax.InterventionalStatement: *description missing*
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
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.spring_services.aba.AbaReasonerPost: *description missing*
getKb() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getKb() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
getKb() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getKb() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
getKb() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
getKb_format() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getKb_format() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getKernel(Semantics) - Static method in class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel: Returns a suitable kernel for the specified semantics
getKernel(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel: computes the kernel of the given AF
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: *description missing*
getKnowledgeBase() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedTheory: *description missing*
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
getLastProjectedAnswerSet() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
getLdoArgument() - Method in class org.tweetyproject.arg.dung.syntax.Argument
getLdoFormula() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
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.setaf.syntax.SetAttack
getLeaves() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph
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
getLeft() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
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
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
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
getLevel() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
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
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
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
getLiterals() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
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
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
getMaximalConflictFreeSets(SetAf, Collection<Argument>) - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleNaiveSetAfReasoner: 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
getMeanState() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
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.spring_services.incmes.InconsistencyPost: *description missing*
getMeasure() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
getMeasure(String) - Static method in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
getMeasures() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse: *description missing*
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 error org.tweetyproject.arg.delp.parser.TokenMgrError
getMessage() - Method in error org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in error org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in error org.tweetyproject.lp.asp.parser.TokenMgrError: You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception org.tweetyproject.math.opt.problem.ProblemInconsistentException
getMessage() - Method in exception org.tweetyproject.math.opt.ProblemInconsistentException
getMessage() - Method in error org.tweetyproject.preferences.io.TokenMgrError: You can also modify the body of this method to customize your error messages.
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
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.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
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
getMinModels(C) - Method in interface org.tweetyproject.logics.pl.analysis.MinimalModelProvider
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
getModel(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.AdmissibleReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.GroundedReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.PreferredReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
getModel(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.StableReasoner
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.AdmissibleReasoner
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner
getModel(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner
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(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.SimpleNaiveSetAfReasoner
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(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
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
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.ClosureReasoner
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.DAdmissibleReasoner
getModels(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.AdmissibleReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.GroundedReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.PreferredReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
getModels(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.evidential.StableReasoner
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.AdmissibleReasoner
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner
getModels(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner
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(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.SimpleNaiveSetAfReasoner
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(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.
getModelsGraph(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.
getModelsOfDNF(AssociativePlFormula) - Static method in class org.tweetyproject.arg.dung.learning.util.ModelComputation: compute all models of a formula in disjunctive normal form
getModelsSequences(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: Creates a set of sequences, each sequences is showing the serialisation path to generate the final extension regarding the semantics of the reasoner.
getMultiAgentSystem() - Method in class org.tweetyproject.agents.ActionEvent
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
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 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.CFReinstatementPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
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.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.SemiQualifiedAdmissibilityPrinciple
getName() - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
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
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
getName() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
getName() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
getName() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
getName() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
getName() - Method in class org.tweetyproject.logics.petri.syntax.PetriNetNode
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
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
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(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
getNext(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.TransitionState: compute the successor state for the given extension
getNextToken() - Method in class org.tweetyproject.arg.delp.parser.DelpParser
getNextToken() - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
getNextToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
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
getNextToken() - Method in class org.tweetyproject.preferences.io.POParserTokenManager
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.
getNode(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph: Method to gain access to a node, who is equal to the one specified
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.graphs.Edge: Returns the second node of this edge.
getNodeB() - Method in class org.tweetyproject.graphs.HyperDirEdge: Returns the second node of this edge.
getNodes() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
getNodes() - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework
getNodes() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
getNodes() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
getNodes() - Method in class org.tweetyproject.comparator.Order
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
getNormalizedControlVector() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
getNormalizedTagName(Node) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.RootParser
getNr_of_arguments() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getNr_of_arguments() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getNumberOfArguments() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory: Get all the number of arguments
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.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.
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 org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.ElementNotFoundException: Get the occurrence count of exception thrown.
getOccurrenceCount() - Static method in exception org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.NotAnArgumentException: Get the occurrence count of exception thrown.
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
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
getOptimizeFunction() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
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
getOptTerms() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
getOrder() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
getOrder() - Method in class org.tweetyproject.comparator.LatticePartialOrder
getOrdinaryPremises() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
getOut() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
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
getOutput() - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder
getOutput() - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
getOutput() - Method in class org.tweetyproject.plugin.PluginOutput
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
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
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
getParents(Node) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
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
getpInside() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
getPlace() - Method in class org.tweetyproject.logics.petri.syntax.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
getPlaces() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
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
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.
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
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
getPredicate() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
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
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getPredicates() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
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
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
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
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: *description missing*
getPremises() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedArgument: *description missing*
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
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
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
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
getQuantifiedFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
getQuantifiedFormulas() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
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 variables of this quantified 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
getQuantifierVariables() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
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.spring_services.delp.DelpPost: *description missing*
getQuery() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getQuery_assumption() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getQuery_assumption() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getRandomDistribution(RpclSemantics, FolSignature, Set<Set<Constant>>) - Static method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns a random distribution on the given signature.
getRankingFunction() - Method in class org.tweetyproject.preferences.ranking.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.spring_services.aba.GeneralAbaReasonerFactory: *description missing*
getReasoner(AbstractExtensionReasonerFactory.Semantics) - Static method in class org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory: *description missing*
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.
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.spring_services.aba.AbaGetSemanticsResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse: *description missing*
getReply() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
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
getRepresentationStructure() - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
getRestriction(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
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 copy of this graph consisting only of the given nodes and all corresponding edges.
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
getRight() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
getRightGuard() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
getRightGuard() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
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
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
getRole() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
getRole() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
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.
getRoot() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph
getRule() - Method in class org.tweetyproject.arg.aba.syntax.Deduction
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
getRules() - Method in class org.tweetyproject.arg.aba.syntax.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
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
getSemantics() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph
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.spring_services.aba.AbaGetSemanticsResponse: *description missing*
getSemantics() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getSemantics() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getSemantics() - Static method in class org.tweetyproject.web.spring_services.aba.GeneralAbaReasonerFactory: *description missing*
getSemantics() - Static method in class org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory: *description missing*
getSemantics() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getSemantics() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getSemantics() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse: *description missing*
getSemantics(String) - Static method in enum org.tweetyproject.arg.dung.semantics.Semantics: Returns the semantics, which abbreviation is described by the string.
getSemantics(String) - Static method in enum org.tweetyproject.web.spring_services.aba.GeneralAbaReasonerFactory.Semantics
getSemantics(String) - Static method in enum org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory.Semantics
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
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: Creates a reasoner for the given semantics.
getSerialisationSequences(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph: Returns all sequences of sets of arguments from the root to the specified node
getShallCriteriaBeTrueA() - Method in interface org.tweetyproject.arg.dung.equivalence.DecisionMaker
getShallCriteriaBeTrueB() - Method in interface org.tweetyproject.arg.dung.equivalence.DecisionMaker
getSignature() - Method in class org.tweetyproject.action.description.parser.CParser: *description missing*
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
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
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
getSignature() - Method in class org.tweetyproject.arg.delp.parser.DelpParser
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.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
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
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
getSignature() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
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
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.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.spring_services.dung.DungReasonerPost: *description missing*
getSolver() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
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
getSortingType() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
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
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
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
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
getStatus() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getStatus() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getStatus() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getStatus() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
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.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: *description missing*
getStyle(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.serialisibility.plotting.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.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
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
GetSuffix(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
GetSuffix(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
GetSuffix(int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Get the suffix.
GetSuffix(int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream
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
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
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
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
getSymbolComma() - Method in class org.tweetyproject.arg.aba.parser.AbaParser
getSymbolTrue() - Method in class org.tweetyproject.arg.aba.parser.AbaParser
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
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
getTerm() - Method in class org.tweetyproject.math.term.FunctionalTerm: Returns the inner term.
getTerm(int) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
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
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
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
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.serialisibility.syntax.TransitionState
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.spring_services.aba.AbaReasonerResponse: *description missing*
getTime() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getTime() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getTime() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
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.spring_services.aba.AbaReasonerPost: *description missing*
getTimeout() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse: *description missing*
getTimeout() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
getTimeout() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getTimeout() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getTimeout() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
getTimoutUnit(String) - Static method in class org.tweetyproject.web.spring_services.Utils: *description missing*
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.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
getToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
getToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
getToken(int) - Method in class org.tweetyproject.lp.asp.parser.ASPParser
getToken(int) - Method in class org.tweetyproject.preferences.io.POParser
getToken(int) - Method in class org.tweetyproject.preferences.io.UPParser: Get the specific Token.
getTokens() - Method in class org.tweetyproject.logics.petri.syntax.Place
getTokens(Place) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.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
getTransition() - Method in class org.tweetyproject.logics.petri.syntax.Ark
getTransition() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge
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
getTransitions() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
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
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.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
getUnboundVariables() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
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
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
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.spring_services.aba.AbaReasonerResponse: *description missing*
getUnit_time() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
getUnit_time() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse: *description missing*
getUnit_timeout() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
getUnit_timeout() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
getUnit_timeout() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerPost: *description missing*
getUnit_timeout() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
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
getUpperBound() - Method in class org.tweetyproject.machinelearning.TrainingParameter: Returns the upper bound of this parameter.
getUpperBound() - Method in class org.tweetyproject.math.Interval
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.
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.AdmissibleKernel
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.CompleteKernel
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel: compute the set of 'useless' attacks, i.e.
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.GroundedKernel
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.StableKernel
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.StrongAdmissibleKernel
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.strong.UnchallengedKernel
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
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
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
getValue() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult
getValue() - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
getValue() - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.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
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
getValue() - Method in class org.tweetyproject.preferences.io.Token
getValue() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse: *description missing*
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
getVariables() - Method in class org.tweetyproject.logics.fol.parser.FolParser: returns variables
getVariables() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure
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
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
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
getWeight() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
getWeight() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
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
getWinner() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol
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
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.
gfpCardinality - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver
gfpCardinality(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: calculates the greatest fix point.
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
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
GR - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: GR
GR - Enum constant in enum org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory.Semantics: *description missing*
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
Graph<T extends Node> - 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
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
GraphPlotter<T extends Node,S extends GeneralEdge<T>> - 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
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
greaterEqualThan() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
GridSearchParameterLearner<S extends Observation,T extends Category> - 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
ground() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
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
GROUNDED - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see GroundedAnalysis
GROUNDED - Static variable in class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel: GROUNDED
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
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
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.strong: Kernel SK = (A, R') for strong equivalence wrt.
GroundedKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.strong.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
GroundedReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.GroundedReasoner
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
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
GrounderExample - Class in org.tweetyproject.lp.asp.examples
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
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.
GroundReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.GroundReasoner: Deprecated.
GT - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator
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
GurobiTest - Class in org.tweetyproject.math.examples: test for gurobi
GurobiTest() - Constructor for class org.tweetyproject.math.examples.GurobiTest

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