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
All Classes All Packages
All Classes All Packages
V
- 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() - 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.reasoner.ordering.ArgumentDegreeOrdering.DegreeType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.sf.tweety.arg.adf.semantics.link.LinkType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.sf.tweety.arg.adf.syntax.acc.ContradictionAcceptanceCondition
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.sf.tweety.arg.adf.syntax.acc.TautologyAcceptanceCondition
-
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.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.OrderingSemantics
-
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.reasoner.PropagationRankingReasoner.PropagationSemantics
-
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.bpm.syntax.EventType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.sf.tweety.logics.bpm.syntax.GatewayType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum net.sf.tweety.logics.bpm.syntax.TaskType
-
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.IcebergInconsistencyMeasure.ConsequenceOperation
-
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() - 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.reasoner.ordering.ArgumentDegreeOrdering.DegreeType
-
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.link.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.adf.syntax.acc.ContradictionAcceptanceCondition
-
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.syntax.acc.TautologyAcceptanceCondition
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Method in class net.sf.tweety.arg.adf.util.CacheMap
- values() - Method in class net.sf.tweety.arg.adf.util.LazyMap
- 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.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.OrderingSemantics
-
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.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.reasoner.PropagationRankingReasoner.PropagationSemantics
-
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.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.bpm.syntax.EventType
-
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.bpm.syntax.GatewayType
-
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.bpm.syntax.TaskType
-
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.IcebergInconsistencyMeasure.ConsequenceOperation
-
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.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.
- 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 - 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.
- 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 - Interface in net.sf.tweety.arg.adf.reasoner.sat.verifier
-
Is used to verify a certain property of an
Interpretation
, e.g. - 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(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.AdmissibleVerifier
- verify(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.CompleteVerifier
- verify(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.verifier.GrounderStableVerifier
- verify(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.verifier.Verifier
-
Gets called by the
Pipeline
to verify if the computed candidateInterpretation
asserts a certain property. - VerifyAdmissibleSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
- VerifyAdmissibleSatEncoding(Interpretation) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.VerifyAdmissibleSatEncoding
- VerifyAdmissibleSatEncoding(Interpretation, Proposition) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.VerifyAdmissibleSatEncoding
- 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
- visit(ConjunctionAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(ContradictionAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(DisjunctionAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(EquivalenceAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(ExclusiveDisjunctionAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(ImplicationAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(NegationAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(TautologyAcceptanceCondition, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- visit(Argument, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.Visitor
- 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<U,D> - Interface in net.sf.tweety.arg.adf.syntax.acc
-
A general and easy-to-use interface which allows for type-safe operations on the
AcceptanceCondition
hierarchy. - 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
All Classes All Packages