V-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

V

VacuousReductReasoner - Class in org.tweetyproject.arg.dung.reasoner: Implements a general vacuous reduct reasoner, as proposed in [Thimm.
VacuousReductReasoner(AbstractExtensionReasoner, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.reasoner.VacuousReductReasoner: Creates a new VacuousReductReasoner with the given base and reduct reasoners.
VacuousReductReasonerExample - Class in org.tweetyproject.arg.dung.examples: example for the vacuous reduct reasoner
VacuousReductReasonerExample() - Constructor for class org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
validateAndReturn(Double) - Method in class org.tweetyproject.math.algebra.BottleneckSemiring: Validates and returns the given value if valid.
validateAndReturn(Double) - Method in class org.tweetyproject.math.algebra.FuzzySemiring: Validates and returns the given fuzzy value.
validateAndReturn(Double) - Method in class org.tweetyproject.math.algebra.ProbabilisticSemiring: Validates and returns the given probabilistic value.
validateAndReturn(Double) - Method in class org.tweetyproject.math.algebra.WeightedSemiring: Validates and returns the given value if valid.
validateAndReturn(T) - Method in class org.tweetyproject.math.algebra.Semiring: Validates and returns the given value.
validateParameter(String) - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin: checks, whether each command parameter given with the plugin call is valid within is this plugin
validateParameter(ArrayList<String>) - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin: This method handels instantiations with array-lists instead of a simple string (e.g.
value() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin: The neutral element is zero, that means if the minimum is empty this method returns zero.
value() - Method in class org.tweetyproject.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 org.tweetyproject.logics.cl.kappa.KappaTerm: Return The value of this kappa term or -1 if the kappa-term's evaluate() method returns false.
value() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
value() - Method in class org.tweetyproject.math.term.AbsoluteValue
value() - Method in class org.tweetyproject.math.term.Constant
value() - Method in class org.tweetyproject.math.term.Difference
value() - Method in class org.tweetyproject.math.term.Exp
value() - Method in class org.tweetyproject.math.term.Fraction
value() - Method in class org.tweetyproject.math.term.FunctionalTerm
value() - Method in class org.tweetyproject.math.term.Logarithm
value() - Method in class org.tweetyproject.math.term.Maximum
value() - Method in class org.tweetyproject.math.term.Minimum
value() - Method in class org.tweetyproject.math.term.Power
value() - Method in class org.tweetyproject.math.term.Product
value() - Method in class org.tweetyproject.math.term.Root
value() - Method in class org.tweetyproject.math.term.Sum
value() - Method in class org.tweetyproject.math.term.Term: Computes the actual value of this term if it contains no variables.
value() - Method in class org.tweetyproject.math.term.Variable
value(double) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Sets the numeric value indicating the level of inconsistency detected and returns this response object to facilitate method chaining.
ValueIteration<S,A> - Class in org.tweetyproject.machinelearning.rl.mdp.algorithms: The value iteration algorithm for determining optimal policies
ValueIteration(long) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.algorithms.ValueIteration: Creates a new value iteration algorithm
valueOf(String) - Static method in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType: Deprecated.

Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.adf.semantics.link.LinkType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.parser.FileFormat: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.semantics.ArgumentStatus: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.dung.semantics.Semantics: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.commons.InferenceMode: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.comparator.NumericalPartialOrder.SortingType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.bpm.syntax.EventType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.bpm.syntax.GatewayType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.bpm.syntax.TaskType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.cl.semantics.ConditionalStructure.Generator: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult.Status: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.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 org.tweetyproject.logics.petri.syntax.Ark.Direction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.preferences.Operation: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.preferences.Relation: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType: Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.adf.util.CacheMap
values() - Method in class org.tweetyproject.arg.adf.util.LazyMap
values() - Static method in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.arg.dung.semantics.ArgumentStatus: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
values() - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
values() - Static method in enum org.tweetyproject.arg.dung.semantics.Semantics: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
values() - Static method in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.commons.InferenceMode: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.comparator.NumericalPartialOrder.SortingType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
values() - Static method in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult.Status: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
values() - Static method in enum org.tweetyproject.logics.petri.syntax.Ark.Direction: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
values() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
values() - Static method in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
values() - Static method in enum org.tweetyproject.preferences.Operation: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class org.tweetyproject.preferences.ranking.Functions: returns a collection containing all values of the map
values() - Static method in enum org.tweetyproject.preferences.Relation: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command: Returns an array containing the constants of this enum type, in the order they are declared.
VarConstNeqRequirement - Class in org.tweetyproject.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 org.tweetyproject.action.grounding.VarConstNeqRequirement: Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.
Variable - Class in org.tweetyproject.logics.commons.syntax: A Variable is a placeholder for Constants in a generic formula of a logic language.
Variable - Class in org.tweetyproject.math.term: This class models a variable as a mathematical term.
Variable(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Variable: Ctor: Creates a new Variable with the given name and the default Sort "Thing".
Variable(String) - Constructor for class org.tweetyproject.math.term.Variable: Creates a new variable with the given name.
Variable(String, boolean) - Constructor for class org.tweetyproject.math.term.Variable: Creates a new variable with the given name.
Variable(String, double, double) - Constructor for class org.tweetyproject.math.term.Variable: Creates a new variable with the given name and bounds.
Variable(String, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Variable: Ctor: Creates a new Variable with the given name and sort.
Variable(Variable) - Constructor for class org.tweetyproject.logics.commons.syntax.Variable: Copy-Ctor: Creates a deep copy of the given Variable
Variable() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
VARIABLE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
VARIABLE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
VariableTest - Class in org.tweetyproject.logics.commons.test
VariableTest() - Constructor for class org.tweetyproject.logics.commons.test.VariableTest
VarsNeqRequirement - Class in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.commons.util: This class contains some auxiliary methods for working with vectors.
VectorTools() - Constructor for class org.tweetyproject.commons.util.VectorTools: Default
Verifier - Interface in org.tweetyproject.arg.adf.reasoner.sat.verifier: Is used to verify a certain property of an Interpretation, e.g.
verifies(PossibleWorld, Conditional) - Static method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Checks whether the given possible world w verifies the given conditional (B|A), i.e.
verifies(PriestWorldAdapted, Conditional) - Static method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Checks whether the given possible world w verifies the given conditional (B|A), i.e.
verify(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier: Verifies whether the given interpretation is a complete interpretation.
verify(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
verify(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier: Verifies whether the given interpretation is a preferred interpretation within the framework.
verify(Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.StableVerifier
verify(Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
verifyFramework(DungTheory, Collection<Input>) - Method in class org.tweetyproject.arg.dung.learning.syntax.Entity: verify if the given theory is equivalent to the hidden framework w.r.t.
veryLargeKB() - Method in class org.tweetyproject.arg.delp.TestKBParsing
VetoScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation: Creates an aggregator for veto scoring
VetoScoringPreferenceAggregator(int) - Constructor for class org.tweetyproject.preferences.aggregation.VetoScoringPreferenceAggregator: constructor for a new veto aggregator
visit(ConjunctionAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(ContradictionAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(DisjunctionAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(EquivalenceAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(ExclusiveDisjunctionAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(ImplicationAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(NegationAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(TautologyAcceptanceCondition, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(Argument, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.Visitor
visit(ASTAggregate, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAggregate, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTAggrElementList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAggrElementList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTAggrElement, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAggrElement, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTAggrFunc, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAggrFunc, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTAnswerSet, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAnswerSet, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTAriTerm, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTAriTerm, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTArithop, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTArithop, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTBinop, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTBinop, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTBodyList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTBodyList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTBody, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTBody, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTBuiltInAtom, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTBuiltInAtom, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTChoiceElementList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTChoiceElementList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTChoiceElement, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTChoiceElement, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTChoice, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTChoice, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTClingoID, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTClingoID, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTClingoMeta, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTClingoMeta, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTDlvArithmeticID, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTDlvArithmeticID, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTDlvID, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTDlvID, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTHeadElementsList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTHeadElementsList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTHead, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTHead, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTID, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTID, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTLiteral, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTLiteral, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTNAFLiteralList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTNAFLiteralList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTNAFLiteral, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTNAFLiteral, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTNumber, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTNumber, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTOptElementList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTOptElementList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTOptElement, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTOptElement, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTOptFunc, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTOptFunc, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTOpt, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTOpt, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTProgram, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTProgram, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTQuery, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTQuery, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTRuleList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTRuleList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTRule, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTRule, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTString, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTString, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTTermList, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTTermList, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTTerm, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTTerm, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTVar, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTVar, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(ASTWeight, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(ASTWeight, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
visit(SimpleNode, Object) - Method in interface org.tweetyproject.lp.asp.parser.ASPParserVisitor: Constructor
visit(SimpleNode, Object) - Method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
Visitor<U,D> - Interface in org.tweetyproject.arg.adf.syntax.acc: A general and easy-to-use interface which allows for type-safe operations on the AcceptanceCondition hierarchy.
VisualizeHolds(CausalKnowledgeBase) - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalStatement: Visualizes this causal statement within a given causal knowledge base.
VisualizeHolds(CausalKnowledgeBase) - Method in class org.tweetyproject.arg.dung.causal.syntax.CounterfactualStatement
VisualizeHolds(CausalKnowledgeBase) - Method in class org.tweetyproject.arg.dung.causal.syntax.InterventionalStatement
VOI_KL_DIVERGENCE - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see org.tweetyproject.arg.peaf.analysis.voi.KLDivergenceAnalysis
VOI_MAXIMISE_CHANGE - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see org.tweetyproject.arg.peaf.analysis.voi.MaximiseChangeAnalysis
VOI_MINIMISE_ENTROPY - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see org.tweetyproject.arg.peaf.analysis.voi.MinimiseEntropyAnalysis
VOI_TARGET_OUTPUT - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see org.tweetyproject.arg.peaf.analysis.voi.TargetOutputAnalysis
VOIDPRECEDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The VOIDPRECEDENCE postulate
voteDown(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework: Adds a negative vote to the given argument.
voteDown(Argument, int) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework: Adds the given number of negative votes to the given argument
voteUp(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework: Adds a positive vote to the given argument.
voteUp(Argument, int) - Method in class org.tweetyproject.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 and Interfaces|All Packages|Constant Field Values|Serialized Form