L-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 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 - 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
LagrangeSolverEx - Class in net.sf.tweety.math.examples: This class implements an example for the Lagrange Solver it is natively implemented
LagrangeSolverEx() - Constructor for class net.sf.tweety.math.examples.LagrangeSolverEx
LagrangeSolverEx2 - Class in net.sf.tweety.math.examples
LagrangeSolverEx2() - Constructor for class net.sf.tweety.math.examples.LagrangeSolverEx2
Lane - Class in net.sf.tweety.logics.bpm.syntax
Lane(Pool) - Constructor for class net.sf.tweety.logics.bpm.syntax.Lane
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
LargerInterpretationSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings: Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
LargerInterpretationSatEncoding(Interpretation) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
LargerInterpretationSatEncoding(Interpretation, Proposition) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
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
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.
lazy(LinkStrategy) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
LazyMap<K,V> - Class in net.sf.tweety.arg.adf.util: Lazily computes missing values.
LazyMap(Function<K, V>) - Constructor for class net.sf.tweety.arg.adf.util.LazyMap
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.
LearningExample - Class in net.sf.tweety.arg.dung.examples
LearningExample() - Constructor for class net.sf.tweety.arg.dung.examples.LearningExample
learnLabelings(ArrayList<Labeling>) - Method in class net.sf.tweety.arg.dung.learning.ImprovedRiveretTheoryLearner: learn theory without pruning discarded attacks
learnLabelings(ArrayList<Labeling>) - Method in class net.sf.tweety.arg.dung.learning.RiveretTheoryLearner: learn theory without pruning discarded attacks
learnLabelings(ArrayList<Labeling>, boolean) - Method in class net.sf.tweety.arg.dung.learning.RiveretTheoryLearner: learn random labelings from the given List until no undecided attacks are left in the theory
learnLabelings(ArrayList<Labeling>, boolean, int) - Method in class net.sf.tweety.arg.dung.learning.ImprovedRiveretTheoryLearner: learn random labelings from the given List until no undecided attacks are left in the theory
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.
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
levelAsInt() - Method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
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.
LEXICOGRAPHIC - net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType: first ranking value when sorted lexicographically is ranked first
LexicographicDoubleTupleComparator - Class in net.sf.tweety.arg.rankings.util: Compares two double vectors according to the lexicographic ordering.
LexicographicDoubleTupleComparator() - Constructor for class net.sf.tweety.arg.rankings.util.LexicographicDoubleTupleComparator
LexicographicIntTupleComparator - Class in net.sf.tweety.arg.rankings.util: Compares tuples of integers according to the lexicographic ordering as described in [Cayrol, Lagasquie-Schiex.
LexicographicIntTupleComparator() - Constructor for class net.sf.tweety.arg.rankings.util.LexicographicIntTupleComparator
LexicographicNumericalRankingTest() - Method in class net.sf.tweety.arg.rankings.RankingsTest
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_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Integer constant for lifted inference.
limit(int) - Method in class net.sf.tweety.arg.adf.reasoner.ordering.AbstractOrdering
limit(int) - Method in interface net.sf.tweety.arg.adf.reasoner.ordering.Ordering
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.
link(Argument, Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: Computes the link (parent, child) iff necessary and returns it afterwards.
link(Argument, Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
link(Argument, Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
Link - net.sf.tweety.logics.bpm.syntax.EventType
Link - Interface in net.sf.tweety.arg.adf.semantics.link
links() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: If the caller just consumes some of the links, the method AbstractDialecticalFramework.linksStream() should be preferred to this one.
links() - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
links() - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
linksFrom(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
linksFrom(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
linksFrom(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
linksStream() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: If the caller just consumes some links, this method should be used.
linksStream() - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
linksStream() - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
linksTo(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
linksTo(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
linksTo(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
LinkStrategy - Interface in net.sf.tweety.arg.adf.semantics.link
LinkType - Enum in net.sf.tweety.arg.adf.semantics.link
LinkTypeTest - Class in net.sf.tweety.arg.adf.semantics.test
LinkTypeTest() - Constructor for class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
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(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
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 interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler
load(File) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
loadLibsvmTrainingFile(File) - Static method in class net.sf.tweety.machinelearning.TrainingSet: Loads a training file in LIBSVM syntax
log(String, String) - Static method in class net.sf.tweety.web.TweetyServer: Writes the given message to the log of this server.
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)
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 is TweetyConfiguration.LogLevel.INFO)
longValue() - Method in class net.sf.tweety.math.ComplexNumber
longValue() - Method in class net.sf.tweety.math.probability.Probability
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(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
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
LpSolverEx - Class in net.sf.tweety.math.examples: This class implements an example for the Genetic LpSolver it uses LpSolve Version 5.5.2.5 (https://sourceforge.net/projects/lpsolve/)
LpSolverEx() - Constructor for class net.sf.tweety.math.examples.LpSolverEx
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

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