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
L
- label - Variable in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- label - Variable in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
- labeling - Variable in class net.sf.tweety.arg.dung.semantics.Labeling
-
The actual labeling.
- Labeling - Class in net.sf.tweety.arg.dung.semantics
-
This class models a labeling of an abstract argumentation framework, i.e.
- Labeling() - Constructor for class net.sf.tweety.arg.dung.semantics.Labeling
-
Creates a new labeling.
- Labeling(DungTheory, Extension) - Constructor for class net.sf.tweety.arg.dung.semantics.Labeling
-
Creates a new labeling from the given extension wrt.
- LagrangeSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements a (naive) Langrange solver for optimization problems.
This solver only considers optimization problems without inequations. - LagrangeSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.LagrangeSolver
-
Creates a new Lagrange solver for the given optimization problem
- LagrangeSolver(Set<Map<Variable, Term>>) - Constructor for class net.sf.tweety.math.opt.solver.LagrangeSolver
-
Creates a new Lagrange solver for the given optimization problem
- LanguageException - Exception in net.sf.tweety.logics.commons.error
-
A language exception is thrown if something illegal is tried in a language like setting the arity of a propositional predicate > zero.
- LanguageException() - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
- LanguageException(String, LanguageException.LanguageExceptionReason) - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
- LanguageException(String, LanguageException.LanguageExceptionReason, String) - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
- LanguageException.LanguageExceptionReason - Enum in net.sf.tweety.logics.commons.error
- LanguageExceptionReason(String) - Constructor for enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LARGER_INTERPRETATION - Static variable in class net.sf.tweety.arg.adf.reasoner.processor.SatMaximizeInterpretationProcessor
- LARGER_INTERPRETATION_ENCODING - Static variable in class net.sf.tweety.arg.adf.reasoner.verifier.SatCompleteVerifier
- LargerInterpretationSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.encodings
- LargerInterpretationSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.encodings.LargerInterpretationSatEncoding
- lastAnswersets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
- lastIndexOf(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- lastIndexOf(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- lastIndexOf(Object) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- lastIndexOf(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- lastIndexOf(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- lastIndexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- LastLinkOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order
- LastLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.LastLinkOrder
-
Constructs a new last link ordering
- lastMillis - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
-
The previous timestamp.
- lastProjectedAnswersets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
- LatticeArgumentRanking - Class in net.sf.tweety.arg.rankings.semantics
-
This class models argument ranking by representing the acceptability of arguments in a graph-based structure.
- LatticeArgumentRanking(Collection<Argument>) - Constructor for class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking
-
Creates a new argument ranking with the given arguments which are initially all incomparable.
- LatticeArgumentRanking.LatticeComparator - Class in net.sf.tweety.arg.rankings.semantics
-
Comparator for comparing arguments on the basis of a given LatticeArgumentRanking.
- LatticeComparator(LatticeArgumentRanking) - Constructor for class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking.LatticeComparator
- LazyModelStorage() - Constructor for class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark.LazyModelStorage
- LbfgsRootFinder - Class in net.sf.tweety.math.opt
-
Implements the L-BFGS method to find zeros of a (multi-dimensional) function.
- LbfgsRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.LbfgsRootFinder
-
Creates a new root finder for the given starting point and the given (multi-dimensional) function
- LbfgsRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.LbfgsRootFinder
-
Creates a new root finder for the given starting point and the given function
- LbfgsSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements a wrapper for L-BFGS.
- LbfgsSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.LbfgsSolver
- LBRA - Static variable in interface net.sf.tweety.preferences.io.POParserConstants
-
RegularExpression Id.
- LBRA - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
-
RegularExpression Id.
- LdoArgument - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This class represents an argument in ldo.
- LdoArgument() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
-
Default-Ctor for dynamic instantiation
- LdoArgument(String) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
-
Creates a new proposition of the given name.
- LdoArgument(LdoArgument) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
- LdoArgumentationLottery - Class in net.sf.tweety.arg.prob.lotteries
-
This class implements an argumentation lottery based on the logic of dialectical outcomes, i.e.
- LdoArgumentationLottery(Collection<LdoFormula>, SubgraphProbabilityFunction, Semantics) - Constructor for class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
-
Creates a new lottery for the given set of formulas using the given probability function and semantics.
- LdoAssociativeFormula - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
- LdoAssociativeFormula() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
-
Creates a new (empty) associative formula.
- LdoAssociativeFormula(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
-
Creates a new associative formula with the given inner formulas.
- LdoAssociativeFormula(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
-
Creates a new associative formula with the two given formulae
- LdoBoxModality - Class in net.sf.tweety.arg.dung.ldo.syntax
- LdoBoxModality(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoBoxModality
- LdoConjunction - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This class represents a conjunction in ldo logic.
- LdoConjunction() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
-
Creates a new (empty) conjunction.
- LdoConjunction(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
-
Creates a new conjunction with the given inner formulas.
- LdoConjunction(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
-
Creates a new conjunction with the two given formulae
- LdoDiamondModality - Class in net.sf.tweety.arg.dung.ldo.syntax
- LdoDiamondModality(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality
- LdoDisjunction - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This class represents a disjunction in ldo logic.
- LdoDisjunction() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
-
Creates a new (empty) disjunction.
- LdoDisjunction(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
-
Creates a new disjunction with the given inner formulas.
- LdoDisjunction(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
-
Creates a new disjunction with the two given formulae
- LdoFormula - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf.
- LdoFormula() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- LdoGraphBoxModality - Class in net.sf.tweety.arg.dung.ldo.syntax
- LdoGraphBoxModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
- LdoGraphDiamondModality - Class in net.sf.tweety.arg.dung.ldo.syntax
- LdoGraphDiamondModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality
- LdoInterpretation - Class in net.sf.tweety.arg.dung.ldo.semantics
-
This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.
- LdoInterpretation(DungTheory, Extension, Semantics) - Constructor for class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
-
Creates a new interpretation
- LdoInterpretation(DungTheory, Semantics) - Constructor for class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
-
Creates a new interpretation
- LdoNegation - Class in net.sf.tweety.arg.dung.ldo.syntax
-
This class models classical negation of ldo logic.
- LdoNegation(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
-
Creates a new negation with the given formula.
- LdoRelation - Class in net.sf.tweety.arg.dung.ldo.syntax
-
Creates a relational formula, i.e.
- LdoRelation(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
- LdoUtilityFunction - Class in net.sf.tweety.arg.prob.lotteries
-
A utility function that maps LDO formulas to utilities
- LdoUtilityFunction() - Constructor for class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction
-
Creates a new utility function.
- learnParameters(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.GridSearchParameterLearner
- learnParameters(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
-
Learns the best parameters of the given trainer for the training set.
- left - Variable in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition.Builder
- left - Variable in class net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition
- left - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
- left - Variable in class net.sf.tweety.lp.asp.syntax.AggregateElement
-
The term tuple of the aggregate element.
- left - Variable in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
-
The left term of the comparative atom.
- leftGuard - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
A term that the aggregate's resulting value will be compared to using the comparative operator.
- leftIterative - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
use interactive revision for the left method
- leftOp - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
A comparative operator that will be used to compare the aggregate's resulting value with the another value (leftGuard) to produce a truth value.
- leftOperator - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
the left revision operator
- leftOperator - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
the left revision operator
- leftPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition
- leftPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.EquivalenceAcceptanceCondition
- leftPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.ExclusiveDisjunctionAcceptanceCondition
- leftPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.ImplicationAcceptanceCondition
- leftResult - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- leftTerm - Variable in class net.sf.tweety.math.equation.Statement
-
The left term of this statement.
- LEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
- LER_ASSOCIATIVE_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_CONJUNCTIONS_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_DISJUNCTIONS_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_ILLEGAL_ACCESSS - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_ILLEGAL_PREDICATE - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_INSTANTIATION - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_QUANTIFICATION_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_RULES_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LER_TERM_TYPE_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- LESS - net.sf.tweety.preferences.Relation
- LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- LESS - Static variable in class net.sf.tweety.math.equation.Inequation
- LESS_EQUAL - net.sf.tweety.preferences.Relation
- LESS_EQUAL - Static variable in class net.sf.tweety.math.equation.Inequation
- LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- level - Variable in class net.sf.tweety.lp.asp.semantics.AnswerSet
- level - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
- levelAsInt - Variable in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
-
The log level as integer
- levelAsInt() - Method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
- levelAsString - Variable in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
-
The log level as string
- levelAsString() - Method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
- LevelingFunction<T> - Class in net.sf.tweety.preferences.ranking
-
This class is meant to provide leveling functions to given preference orders and vice versa.
- LevelingFunction() - Constructor for class net.sf.tweety.preferences.ranking.LevelingFunction
-
constructs a new, empty leveling function caller can use Map-method putAll to fill this empty leveling function
- LevelingFunction(PreferenceOrder<T>) - Constructor for class net.sf.tweety.preferences.ranking.LevelingFunction
-
this constructor creates a leveling function using a given preference order
- LeviBaseRevisionOperator<T extends ClassicalFormula> - Class in net.sf.tweety.beliefdynamics
-
This class implements the Levi identity for revision, ie.
- LeviBaseRevisionOperator(BaseContractionOperator<T>, BaseExpansionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator
-
Creates a new Levi base revision with the given contraction and expansion operators.
- LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> - Class in net.sf.tweety.beliefdynamics
-
This class implements the Levi identity for multiple revision, ie.
- LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T>, MultipleBaseExpansionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator
-
Creates a new Levi base revision with the given contraction and expansion operators.
- LEXICAL_ERROR - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
-
Lexical error occurred.
- LEXICAL_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
-
Lexical error occurred.
- LEXICAL_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
-
Lexical error occurred.
- LEXICAL_ERROR - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
-
Lexical error occurred.
- LEXICAL_ERROR - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
-
Lexical error occurred.
- LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.arg.delp.parser.TokenMgrError
- LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
- LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
- LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.lp.asp.parser.TokenMgrError
- LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.preferences.io.TokenMgrError
- LEXICOGRAPHIC - net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType
-
first ranking value when sorted lexicographically is ranked first
- LexicographicNumericalRankingTest() - Method in class net.sf.tweety.arg.rankings.RankingsTest
- LexicographicTupleComparator() - Constructor for class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner.LexicographicTupleComparator
- LexicographicTupleComparator() - Constructor for class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner.LexicographicTupleComparator
- lexStateNames - Static variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
-
Lexer state names.
- lexStateNames - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- lexStateNames - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Lexer state names.
- lexStateNames - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
-
Lexer state names.
- lexStateNames - Static variable in class net.sf.tweety.preferences.io.POParserTokenManager
- lexStateNames - Static variable in class net.sf.tweety.preferences.io.UPParserTokenManager
-
Lexer state names.
- lifted - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
- LIFTED_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
-
Integer constant for lifted inference.
- line - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- line - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- line - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- line - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- line - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
- linearCombination(double, double, ProbabilityDistribution<T>) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
Makes a linear combination of this distribution "p1" and the given distribution "other" and the given parameters, i.e.
- linearCombination(double, double, ProbabilityFunction<T>) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Makes a linear combination of this distribution "p1" and the given distribution "other" and the given parameters, i.e.
- linearSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
-
The linear optimization solver configured for this service.
- LingelingExample - Class in net.sf.tweety.logics.pl.examples
- LingelingExample() - Constructor for class net.sf.tweety.logics.pl.examples.LingelingExample
- LingelingSolver - Class in net.sf.tweety.logics.pl.sat
-
A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
- LingelingSolver(String) - Constructor for class net.sf.tweety.logics.pl.sat.LingelingSolver
-
Creates a new solver based on the Lingeling executable given as a parameter.
- LingelingSolverState(long) - Constructor for class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
- link(Argument, Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
Computes the link (a,b) iff necessary and returns it afterwards.
- Link - Class in net.sf.tweety.arg.adf.semantics
-
A simple immutable representation of ADF links.
- Link(Argument, Argument, LinkType) - Constructor for class net.sf.tweety.arg.adf.semantics.Link
- linkCache - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- links - Variable in class net.sf.tweety.arg.adf.reasoner.encodings.SatEncodingContext
- links() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- linksFromParents(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- linksToChildren(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- linkStrategy - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- LinkStrategy - Interface in net.sf.tweety.arg.adf.semantics
- linkType - Variable in class net.sf.tweety.arg.adf.semantics.Link
- LinkType - Enum in net.sf.tweety.arg.adf.semantics
- LinkType() - Constructor for enum net.sf.tweety.arg.adf.semantics.LinkType
- LinkTypeTest - Class in net.sf.tweety.arg.adf.semantics.test
- LinkTypeTest() - Constructor for class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
- listener - Variable in class net.sf.tweety.agents.AbstractProtocol
-
The listener of this protocol.
- listeners - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
The listeners of this measure.
- listIterator() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- listIterator() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- listIterator() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- listIterator() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- listIterator() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- listIterator() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- listIterator(int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- listIterator(int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- listIterator(int) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- listIterator(int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- listIterator(int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- listIterator(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- literal - Variable in class net.sf.tweety.lp.asp.syntax.DefaultNegation
-
The default negated element.
- Literal(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
- literalMap - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
a map used during the creation of the credibility logic program
- LiteralReasoner - Class in net.sf.tweety.arg.lp.reasoner
-
This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p.
- LiteralReasoner(AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.arg.lp.reasoner.LiteralReasoner
-
Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase.
- LiteralTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- load(File) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler
- load(File) - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler
- load(File) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler
- load(File) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
- loadFromJar(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
- loadLibsvmTrainingFile(File) - Static method in class net.sf.tweety.machinelearning.TrainingSet
-
Loads a training file in LIBSVM syntax
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
-
Logger
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
-
Logger
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
-
Logger
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
-
Logger
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator
-
Logger
- log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator
-
Logger
- log - Static variable in class net.sf.tweety.agents.RoundRobinProtocol
-
Logger
- log - Static variable in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
Logger.
- log - Static variable in class net.sf.tweety.cli.TweetyCli
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
-
Logger.
- log - Static variable in class net.sf.tweety.logics.pcl.parser.PclParser
-
Logger.
- log - Static variable in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
-
Logger.
- log - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
-
Logger.
- log - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
-
Logger.
- log - Static variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.BfgsSolver
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.GradientDescent
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.HessianGradientDescent
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.LbfgsSolver
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
Logger.
- log - Variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
Logger.
- log - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
Logger
- log(String, String) - Static method in class net.sf.tweety.web.TweetyServer
-
Writes the given message to the log of this server.
- LOG - Static variable in class net.sf.tweety.logics.translators.Translator
-
reference to the logback logger instance
- LOG - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
-
reference to the logback logger instance
- LOG - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
-
The logger used for output in the angerona Framework
- LOG - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
-
reference to the logback logger instance
- LOG - Static variable in class net.sf.tweety.math.opt.GradientDescentRootFinder
-
reference to the logback logger instance
- LOG - Static variable in class net.sf.tweety.math.opt.OptimizationRootFinder
-
reference to the logback logger instance
- LOG - Static variable in class net.sf.tweety.web.TweetyServer
- Logarithm - Class in net.sf.tweety.math.term
-
Instances of this class represent application of the logarithm function on some term.
- Logarithm(Term) - Constructor for class net.sf.tweety.math.term.Logarithm
-
Creates a new logarithm term for the give inner term.
- logFile - Static variable in class net.sf.tweety.commons.TweetyLogging
-
The file used for logging (if this parameter is not set, logging is performed on the standard output)
- LOGGER - Static variable in class net.sf.tweety.arg.delp.TestQueries
- LogicalSymbols - Class in net.sf.tweety.logics.commons
-
This class provides some String constants for logical symbols and allows to modify them at runtime.
- LogicalSymbols() - Constructor for class net.sf.tweety.logics.commons.LogicalSymbols
- LogicProgram<C extends Formula,P extends Formula,T extends Rule<?,?>> - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
An interface for a logic program, which is a set of rules.
- LogicStructure - Class in net.sf.tweety.logics.fol.syntax
-
This abstract class captures the common functionalities of both formulas and terms.
- LogicStructure - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
This interface captures the common functionalities of formulas, sorts and terms.
- LogicStructure() - Constructor for class net.sf.tweety.logics.fol.syntax.LogicStructure
- logLevel - Static variable in class net.sf.tweety.commons.TweetyLogging
-
The log level (The possible values are described by
TweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
) - LogLevel(int, String) - Constructor for enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
- longValue() - Method in class net.sf.tweety.math.ComplexNumber
- longValue() - Method in class net.sf.tweety.math.probability.Probability
- LookaheadSuccess() - Constructor for error net.sf.tweety.lp.asp.parser.ASPCore2Parser.LookaheadSuccess
- loop - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
-
Whether to loop the files indefinitely
- LOOP_DETECTED - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
-
Detected (and bailed out of) an infinite loop in the token manager.
- LOOP_DETECTED - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
-
Detected (and bailed out of) an infinite loop in the token manager.
- LOOP_DETECTED - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
-
Detected (and bailed out of) an infinite loop in the token manager.
- LOOP_DETECTED - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
-
Detected (and bailed out of) an infinite loop in the token manager.
- LOOP_DETECTED - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
-
Detected (and bailed out of) an infinite loop in the token manager.
- LotteryArgumentationEnvironment - Class in net.sf.tweety.agents.dialogues
-
This class models the environment for agents in argumentation games with lotteries.
- LotteryArgumentationEnvironment(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
-
Creates a new grounded environment.
- LotteryDialogueTest - Class in net.sf.tweety.agents.dialogues.examples
- LotteryDialogueTest() - Constructor for class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
- LotteryDialogueTest2 - Class in net.sf.tweety.agents.dialogues.examples
-
Main class for empirical evaluation in [Hunter, Thimm.
- LotteryDialogueTest2() - Constructor for class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
- LotteryExample - Class in net.sf.tweety.arg.prob.examples
-
Example code for working with lotteries in probabilistic abstract argumentation.
- LotteryExample() - Constructor for class net.sf.tweety.arg.prob.examples.LotteryExample
- LotteryGameGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
-
Generates lottery games.
- LotteryGameGenerator(DungTheoryGenerator, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
-
Creates a new game generator.
- LotteryGameGenerator(DungTheoryGenerator, Semantics, boolean) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
-
Creates a new game generator.
- LotteryGameSystem - Class in net.sf.tweety.agents.dialogues.lotteries
-
This multi-agent system models a lottery dialogue game between a lottery agent and a dummy agent
- LotteryGameSystem(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.LotteryGameSystem
-
Creates a new grounded game system.
- LowerApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
- LowerApproxDistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
- lowerBound - Variable in class net.sf.tweety.machinelearning.TrainingParameter
-
The lower bound of the parameter.
- lowerBound - Variable in class net.sf.tweety.math.Interval
- lowerBound - Variable in class net.sf.tweety.math.term.Variable
-
Bounds for the variables
- lowerReferenceArguments - Variable in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
- LpSolve - Class in net.sf.tweety.math.opt.solver
-
This class implements a wrapper to the lpsolve binary for mixed integer linear programming.
- LpSolve() - Constructor for class net.sf.tweety.math.opt.solver.LpSolve
- lstBeliefBases - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- lstLeftAnswerSets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- lstModel - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- lstRightAnswerSets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
- LT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
- LukasiewiczNorm - Class in net.sf.tweety.math.func.fuzzy
-
Represents the Lukasiewicz-norm in fuzzy logic, i.e., T(x,y)=max(x+y-1,0)
- LukasiewiczNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
All Classes All Packages