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
 
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.arg.rankings.semantics.NumericalArgumentRanking
 
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(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.
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
 
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.
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.
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
getAntColony(ConfigurationProvider) - Method in class org.tweetyproject.math.opt.solver.AntColonyOptimization
Ant colony
getArgs() - Method in class org.tweetyproject.arg.rankings.semantics.LatticeArgumentRanking
 
getArgument() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
Returns an argument representation (in Dung-style) of this LdoArgument.
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)
getArgumentLiterals() - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.PropositionalMapping
 
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 systems's inference rules into a tree 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.ldo.syntax.LdoArgument
 
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
 
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
Returns all arguments that have the given status in this interpretation.
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
 
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.rankings.semantics.LatticeArgumentRanking
 
getArgumentsOfStatus(ArgumentStatus) - Method in class org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking
 
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
 
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.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.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.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.DeductiveArgumentationFramework
 
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.dung.syntax.DungTheory
Returns all attacks of this theory.
getAttacks() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
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
 
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.
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
 
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
 
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.
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
 
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
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.
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
 
getComparisonCriterion() - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner
returns the comparison criterion used in this program
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.
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.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.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.
getConditionalGenerators(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure
Processes the Map form PossibleWorlds to the Generators of the given Conditional
getConditionals() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure
 
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.OrderingSemanticsReasoner
computes the set of conflicts occurring inside ext
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
 
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
 
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.graphs.orders.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.OrderingSemanticsReasoner
computes the set of arguments outside of ext, which are defended by ext
getDefensibleArguments(ArgumentationKnowledgeBase) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
Returns the set of defensible arguments, i.e.
getDescription() - Method in class org.tweetyproject.plugin.parameter.CommandParameter
returns the description for this parameter
getDeviation(PclBeliefSet, ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
Returns the deviation of the given conditional in the nearest consistent belief set.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
Returns the current dialogue trace.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
Returns the current dialogue trace.
getDialogueTrace() - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
Returns the current dialogue trace.
getDirection() - Method in class org.tweetyproject.logics.petri.syntax.Ark
 
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(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.graphs.orders.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)
getEmpty(Extension, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.OrderingSemanticsReasoner
dummy method used if only one ordering semantics is specified
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.
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.
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.
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
 
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
 
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
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
 
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.plugin.parameter.CommandParameter
returns this parameters name (the identifier)
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.
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.
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
 
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
getKernel(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.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.
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.
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.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
 
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<Argument>) - Method in class org.tweetyproject.arg.rankings.semantics.ArgumentRanking
Returns the set of all arguments a from the given set that are maximally accepted, i.e.
getMaximums() - Method in class 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(String) - Static method in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
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<Argument>) - Method in class org.tweetyproject.arg.rankings.semantics.ArgumentRanking
Returns the set of all arguments a from the given set that are minimally accepted, i.e.
getMinimalSignature() - Method in class 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.
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(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.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.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.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.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.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(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.
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(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.OrderingSemanticsReasoner
compute the ordering over all subsets of theory wrt.
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.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.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.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.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(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.
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.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.TrainingParameter
Returns the name of this parameter.
getName() - Method in class org.tweetyproject.math.term.Variable
Returns the name of this variable.
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.
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.
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.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.graphs.orders.Order
 
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
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
 
getNumberOfEdges() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
the number of edges in this graph
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.
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(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.
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.arg.rankings.semantics.LatticeArgumentRanking
 
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
 
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
 
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
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.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.
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.
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.
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.
getReduct(Set<ASPLiteral>) - Method in class org.tweetyproject.lp.asp.syntax.Program
Returns the reduct of this program wrt.
getReduct(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyAdmissibleReasoner
computes the reduct of bbase 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.
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.preferences.events.UpdateEvent
returns the result for this update event
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.
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.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.
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.
getSignature() - Method in class org.tweetyproject.action.description.parser.CParser
 
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.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.
getSolidlyDefended(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
 
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.arg.rankings.semantics.NumericalArgumentRanking
 
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
 
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
 
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.
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.
getStronglyEquivalentTheories(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
compute all strongly equivalent theories for the the given theory i.e.
getStronglyEquivalentTheoriesNaive(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
compute all strongly equivalent theories for the given theory i.e.
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.DeductiveArgumentationFramework
 
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.NecessityArgumentationFramework
 
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.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
getTimedOutInstances(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport
Returns a set of all timed out instances of the dataset wrt.
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
 
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
 
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
 
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.OrderingSemanticsReasoner
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.OrderingSemanticsReasoner
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.
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.AdmissibleKernel
 
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.CompleteKernel
 
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
compute the set of 'useless' attacks, i.e.
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.GroundedKernel
 
getUselessAttacks(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StableKernel
 
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.
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(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.CmdLineSatSolver
 
getWitness(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.MaxSatSolver
 
getWitness(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver
 
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.MaxSatSolver
Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
getWitness(Collection<PlFormula>, Map<PlFormula, Integer>) - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver
 
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.
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
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 - Static variable in class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
GROUNDED
GROUNDED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
 
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
Kernel SK = (A, R') for strong equivalence wrt.
GroundedKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.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