A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ 
All Classes All Packages

V

v - Variable in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
The weight vector for the aggregator given via the constructor
v - Variable in class net.sf.tweety.preferences.aggregation.ScoringPreferenceAggregator
The weight vector for the aggregator given via the constructor
v(double, double, double, double) - Method in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
This method implements a weighted linear approach from 'b2' to 'b1' with gradient 'a'; 'x' is the parameter in [0,1].
validateParameter(String) - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin
checks, whether each command parameter given with the plugin call is valid within is this plugin
validateParameter(ArrayList<String>) - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin
This method handels instantiations with array-lists instead of a simple string (e.g.
value - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin
The value of the kappa minimum, is -1 as long as it cannot be evaluated
value - Variable in class net.sf.tweety.logics.cl.kappa.KappaSum
the value of the kappa-sum, it is -1 as long as the sum cannot be evaluated
value - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue
the current value of the kappa, whereby -1 means it is not evaluated yet
value - Variable in class net.sf.tweety.logics.commons.syntax.StringTerm
the value of the term
value - Variable in class net.sf.tweety.logics.commons.syntax.TermAdapter
 
value - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
 
value - Variable in class net.sf.tweety.machinelearning.TrainingParameter
The actual value of the parameter.
value - Variable in class net.sf.tweety.math.probability.Probability
The actual value of the probability.
value - Variable in class net.sf.tweety.plugin.OutputField
 
value - Variable in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
this parameters given value;
value - Variable in class net.sf.tweety.plugin.parameter.FileListCommandParameter
the value each instantiated needs, has to be in selections
value - Variable in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
the value each instantiated needs, has to be in selections
value - Variable in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
the value each instantiated needs, has to be in selections
value - Variable in class net.sf.tweety.plugin.parameter.StringListCommandParameter
this parameters given values
value() - Method in class net.sf.tweety.logics.cl.kappa.KappaMin
The neutral element is zero, that means if the minimum is empty this method returns zero.
value() - Method in class net.sf.tweety.logics.cl.kappa.KappaSum
The neutral element is zero, that means if the sum contains no elements this method returns zero
value() - Method in interface net.sf.tweety.logics.cl.kappa.KappaTerm
 
value() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
 
value() - Method in class net.sf.tweety.math.term.AbsoluteValue
 
value() - Method in class net.sf.tweety.math.term.Constant
 
value() - Method in class net.sf.tweety.math.term.Difference
 
value() - Method in class net.sf.tweety.math.term.Exp
 
value() - Method in class net.sf.tweety.math.term.Fraction
 
value() - Method in class net.sf.tweety.math.term.FunctionalTerm
 
value() - Method in class net.sf.tweety.math.term.Logarithm
 
value() - Method in class net.sf.tweety.math.term.Maximum
 
value() - Method in class net.sf.tweety.math.term.Minimum
 
value() - Method in class net.sf.tweety.math.term.Power
 
value() - Method in class net.sf.tweety.math.term.Product
 
value() - Method in class net.sf.tweety.math.term.Root
 
value() - Method in class net.sf.tweety.math.term.Sum
 
value() - Method in class net.sf.tweety.math.term.Term
Computes the actual value of this term if it contains no variables.
value() - Method in class net.sf.tweety.math.term.Variable
 
valueOf(String) - Static method in enum net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.adf.semantics.LinkType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity.ActSetType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.dung.parser.FileFormat
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.dung.semantics.ArgumentStatus
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.dung.semantics.Semantics
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.commons.InferenceMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.preferences.Operation
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum net.sf.tweety.preferences.Relation
Returns the enum constant of this type with the specified name.
values - Variable in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
Maps the propositions to their values.
values - Variable in class net.sf.tweety.logics.pl.semantics.PriestWorld
The truth values of the propositions.
values() - Static method in enum net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.adf.semantics.LinkType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity.ActSetType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.dung.parser.FileFormat
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.arg.dung.semantics.ArgumentStatus
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
 
values() - Static method in enum net.sf.tweety.arg.dung.semantics.Semantics
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
 
values() - Static method in enum net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
 
values() - Static method in enum net.sf.tweety.commons.InferenceMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.logics.cl.semantics.ConditionalStructure.Generator
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
 
values() - Static method in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
 
values() - Static method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
 
values() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
 
values() - Static method in enum net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
 
values() - Static method in enum net.sf.tweety.preferences.Operation
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class net.sf.tweety.preferences.ranking.Functions
returns a collection containing all values of the map
values() - Static method in enum net.sf.tweety.preferences.Relation
Returns an array containing the constants of this enum type, in the order they are declared.
VAR_CROSSOVER_PROB - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
The probability of taking the average value of a variable in the crossover step.
VAR_MUTATE_PROB - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
The probability of changing the value of a variable in the mutation step.
VAR_MUTATE_STRENGTH - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
The magnitude of changing the value of a variable in the mutation step.
VarConstNeqRequirement - Class in net.sf.tweety.action.grounding
This class represents a single grounding requirement stating that a variable is not allowed to be substituted by a specific constant.
VarConstNeqRequirement(Variable, Constant) - Constructor for class net.sf.tweety.action.grounding.VarConstNeqRequirement
Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.
variable - Variable in class net.sf.tweety.action.grounding.VarConstNeqRequirement
 
Variable - Class in net.sf.tweety.logics.commons.syntax
A Variable is a placeholder for Constants in a generic formula of a logic language.
Variable - Class in net.sf.tweety.math.term
This class models a variable as a mathematical term.
Variable(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Variable
Ctor: Creates a new Variable with the given name and the default Sort "Thing".
Variable(String) - Constructor for class net.sf.tweety.math.term.Variable
Creates a new variable with the given name.
Variable(String, boolean) - Constructor for class net.sf.tweety.math.term.Variable
Creates a new variable with the given name.
Variable(String, double, double) - Constructor for class net.sf.tweety.math.term.Variable
Creates a new variable with the given name and bounds.
Variable(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Variable
Ctor: Creates a new Variable with the given name and sort.
Variable(Variable) - Constructor for class net.sf.tweety.logics.commons.syntax.Variable
Copy-Ctor: Creates a deep copy of the given Variable
Variable() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
 
VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
variables - Variable in class net.sf.tweety.logics.commons.syntax.Sort
The set of variables of this sort
variables - Variable in class net.sf.tweety.logics.fol.parser.FolParser
Keeps track of variables defined.
variables - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser
Keeps track of variables defined.
variables - Variable in class net.sf.tweety.logics.qbf.parser.QbfParser
Keeps track of variables defined.
VariableTest - Class in net.sf.tweety.logics.commons.test
 
VariableTest() - Constructor for class net.sf.tweety.logics.commons.test.VariableTest
 
VarsNeqRequirement - Class in net.sf.tweety.action.grounding
This class represents a single grounding requirement stating that two variables are not allowed to be substituted by the same constant.
VarsNeqRequirement(Variable, Variable) - Constructor for class net.sf.tweety.action.grounding.VarsNeqRequirement
Creates a new grounding requirement for the two given variables that are not allowed to be set to the same constant in one ground instance.
VectorTools - Class in net.sf.tweety.commons.util
This class contains some auxiliary methods for working with vectors.
VectorTools() - Constructor for class net.sf.tweety.commons.util.VectorTools
 
verifier - Variable in class net.sf.tweety.arg.adf.reasoner.Pipeline.Builder
 
verifier - Variable in class net.sf.tweety.arg.adf.reasoner.processor.SatMaximizeInterpretationProcessor
 
Verifier<S> - Interface in net.sf.tweety.arg.adf.reasoner.verifier
 
verifiers - Variable in class net.sf.tweety.arg.adf.reasoner.Pipeline
 
verifies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction
Checks whether the given possible world w verifies the given conditional (B|A), i.e.
verify(Queue<Verifier<S>>, Interpretation) - Method in class net.sf.tweety.arg.adf.reasoner.Pipeline.PipelineIterator
 
verify(SatReasonerContext, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.verifier.SatAdmissibleVerifier
 
verify(SatReasonerContext, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.verifier.SatCompleteVerifier
 
verify(S, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.verifier.GrounderStableVerifier
 
verify(S, Interpretation, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.verifier.Verifier
 
VERIFY_ADMISSIBLE_ENCODING - Static variable in class net.sf.tweety.arg.adf.reasoner.verifier.SatAdmissibleVerifier
 
VerifyAdmissibleSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.encodings
 
VerifyAdmissibleSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.encodings.VerifyAdmissibleSatEncoding
 
verifyingWorlds - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
 
VERY_LARGE_NUMBER - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
A very large number for encoding constraints in the target function.
veryLargeKB() - Method in class net.sf.tweety.arg.delp.TestKBParsing
 
VetoScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
Creates an aggregator for veto scoring
VetoScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.VetoScoringPreferenceAggregator
constructor for a new veto aggregator
view - Variable in class net.sf.tweety.agents.dialogues.structured.SasAgent
The current view of this agent on the overall argumentation, i.e.
view - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
the view showing the revision compare
view - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
the view showing the revision compare
viewPercentageCon - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
The percentage of the arguments known to the CON agent.
viewPercentagePro - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
The percentage of the arguments known to the PRO agent.
virtualArguments - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
The set of virtual arguments assumed to exist.
virtualAttacks - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
The set of virtual attacks assumed to exist between virtual and ordinary arguments.
visit(ASTAggregate, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAggregate, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTAggrElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAggrElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTAggrElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAggrElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTAggrFunc, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAggrFunc, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTAnswerSet, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAnswerSet, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTAriTerm, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTAriTerm, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTArithop, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTArithop, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTBinop, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTBinop, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTBodyList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTBodyList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTBody, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTBody, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTBuiltInAtom, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTBuiltInAtom, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTChoiceElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTChoiceElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTChoiceElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTChoiceElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTChoice, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTChoice, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTClingoMeta, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTClingoMeta, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTHeadElementsList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTHeadElementsList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTHead, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTHead, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTID, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTID, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTLiteral, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTLiteral, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTNAFLiteralList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTNAFLiteralList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTNAFLiteral, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTNAFLiteral, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTNumber, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTNumber, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTOptElementList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTOptElementList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTOptElement, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTOptElement, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTOptFunc, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTOptFunc, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTOpt, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTOpt, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTProgram, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTProgram, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTQuery, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTQuery, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTRuleList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTRuleList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTRule, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTRule, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTString, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTString, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTTermList, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTTermList, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTTerm, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTTerm, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTVar, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTVar, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(ASTWeight, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(ASTWeight, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visit(SimpleNode, Object) - Method in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserVisitor
 
visit(SimpleNode, Object) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
 
visitor - Static variable in class net.sf.tweety.lp.asp.analysis.ClingoTest
 
visitor - Static variable in class net.sf.tweety.lp.asp.analysis.DLVTest
 
visitor - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
 
visitor - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
 
VOIDPRECEDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
The VOIDPRECEDENCE postulate
voteDown(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
Adds a negative vote to the given argument.
voteDown(Argument, int) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
Adds the given number of negative votes to the given argument
voteUp(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
Adds a positive vote to the given argument.
voteUp(Argument, int) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
Adds the given number of positive votes to the given argument
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ 
All Classes All Packages