E-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 Z _

E

e - Static variable in class net.sf.tweety.logics.fol.test.Prover9Test
e - Static variable in class net.sf.tweety.logics.fol.test.TPTPTest
Edge<T extends Node> - Class in net.sf.tweety.graphs: Instances of this class represent abstract edges.
Edge(T, T) - Constructor for class net.sf.tweety.graphs.Edge: Creates a new edge for the given nodes.
edges - Variable in class net.sf.tweety.graphs.DefaultGraph: The set of edges
eigenvalues(Graph<? extends Node>) - Static method in class net.sf.tweety.graphs.util.GraphUtil: Computes the (real parts of the) Eigenvalues of the given graph.
EigenvalueTest() - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest
Element() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
ELEMENT - Static variable in interface net.sf.tweety.preferences.io.POParserConstants: RegularExpression Id.
ELEMENT - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants: RegularExpression Id.
element - Variable in class net.sf.tweety.preferences.update.Update: The fourth element
ElementLst() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
ElementNoAggregate() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
elements - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin: This list contains the elements of the minimum
elements - Variable in class net.sf.tweety.logics.cl.kappa.KappaSum: the elements that form the sum
ElephantZooExample(int) - Static method in class net.sf.tweety.logics.ml.test.MlnTest
elitist - Variable in class net.sf.tweety.arg.aspic.order.SetComparator: When this is true the comparision will be elitist according to def.3.19 in Mogdil and Prakken
ELPBaseRevisionOperator - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision: This class implements the base revision operator for extended logic programs as introduced in [KKI12].
ELPBaseRevisionOperator(Solver, SelectionFunction<Rule>) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
ELPLexicographicalComparator - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision: This comparator imposes a total order on the set of extended logic programs by use of the lexicographical order given as follows: A program A is less than a program B iff the smallest rule of A is smaller than the smallest rule of B or if both are equal if the second smallest rule of A is smaller than the second smallest rule of B and so on.
ELPLexicographicalComparator() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator
emptyBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP
emptyCrit() - Method in class net.sf.tweety.arg.delp.TestDeLP
EmptyCriterion - Class in net.sf.tweety.arg.delp.semantics: This class implements the empty criterion to compare two arguments.
EmptyCriterion() - Constructor for class net.sf.tweety.arg.delp.semantics.EmptyCriterion
emptyQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP
enable_tracing() - Method in class net.sf.tweety.arg.delp.parser.DelpParser: Enable tracing.
enable_tracing() - Static method in class net.sf.tweety.arg.dung.parser.DungParser: Enable tracing.
enable_tracing() - Method in class net.sf.tweety.logics.fol.parser.FolParserB: Enable tracing.
enable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Enable tracing.
enable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Enable tracing.
enable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPParser: Enable tracing.
enable_tracing() - Method in class net.sf.tweety.preferences.io.POParser: Enable tracing.
enable_tracing() - Method in class net.sf.tweety.preferences.io.UPParser: Enable tracing.
endCalculate() - Method in class net.sf.tweety.lp.asp.solver.SolveTime
endColumn - Variable in class net.sf.tweety.arg.delp.parser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.arg.dung.parser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.logics.fol.parser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.lp.asp.parser.Token: The column number of the last character of this Token.
endColumn - Variable in class net.sf.tweety.preferences.io.Token: The column number of the last character of this Token.
endFunctorDeclar(FolSignature, String) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
endLine - Variable in class net.sf.tweety.arg.delp.parser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.arg.dung.parser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.logics.fol.parser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.lp.asp.parser.Token: The line number of the last character of this Token.
endLine - Variable in class net.sf.tweety.preferences.io.Token: The line number of the last character of this Token.
endPredicateDeclar(FolSignature, String) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
endRead() - Method in class net.sf.tweety.lp.asp.solver.SolveTime
endWrite() - Method in class net.sf.tweety.lp.asp.solver.SolveTime
enforceTreeShape - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest
enforceTreeShape - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest
enforceTreeShape - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters: Whether the generated theory must have a tree shape.
ensureArg - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator: whether the theories generated should ensure one specific argument to be skeptically inferred.
entailment - Variable in class net.sf.tweety.logics.pl.ClassicalInference: The actual reasoning mechanism.
entailmentRelation - Variable in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator: Used to determine kernels.
EntailmentRelation<T extends Formula> - Class in net.sf.tweety.commons: An entailment relation determines whether a formula is entailed from another formula.
EntailmentRelation() - Constructor for class net.sf.tweety.commons.EntailmentRelation
entails(Collection<T>, T) - Method in class net.sf.tweety.commons.EntailmentRelation: Checks whether the given set of formulas entails the given formula.
entails(Collection<T>, Collection<T>) - Method in class net.sf.tweety.commons.EntailmentRelation: Checks whether the given set of formulas entails the other set of formulas.
entails(T, T) - Method in class net.sf.tweety.commons.EntailmentRelation: Checks whether the first formula entails the second formula.
entails(T, Collection<T>) - Method in class net.sf.tweety.commons.EntailmentRelation: Checks whether the first formula entails the other set of formulas.
entails(Collection<PropositionalFormula>, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.ClassicalEntailment
entries - Static variable in class net.sf.tweety.logics.cl.test.ReasonerCompare
entries - Variable in class net.sf.tweety.math.matrix.Matrix: The entries of the matrix
entropy() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution: Returns the entropy of this probability distribution.
entropy() - Method in class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
EntropyFunction - Class in net.sf.tweety.math.func: The entropy function.
EntropyFunction() - Constructor for class net.sf.tweety.math.func.EntropyFunction
EntropyNorm<T extends java.lang.Comparable<T>> - Class in net.sf.tweety.math.norm: The entropy norm.
EntropyNorm() - Constructor for class net.sf.tweety.math.norm.EntropyNorm
entrySet() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
entrySet() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
entrySet() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
entrySet() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
entrySet() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
entrySet() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
entrySet() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
enumerate(Problem, DungTheory, FileFormat) - Method in class net.sf.tweety.arg.dung.prover.ProboSolver: Solves the given enumeration problem on the given AAF with
enumerateInstanceAssignments(Predicate, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.InstanceAssignment: Determines the set of all instance assignments for the given predicate and equivalence classes.
enumerateReferenceWorlds(Set<Predicate>, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.ReferenceWorld: Determines the set of all reference worlds wrt.
EnumeratingDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util: This generator generators all possible Dung argumentation theories.
EnumeratingDungTheoryGenerator() - Constructor for class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator: Creates a new enumerating Dung theory generator.
EnumeratingPlBeliefSetSampler - Class in net.sf.tweety.logics.pl.util: This sampler enumerates all possible propositional belief bases of the given signature.
EnumeratingPlBeliefSetSampler(Signature) - Constructor for class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler: Creates a new sampler for the given signature
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure: The MUS enumerator used for the measure.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure: The MUS enumerator used for the measure.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.IsInconsistencyMeasure: The MUS enumerator used for the measure.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.NConsInconsistencyMeasure: The MUs enumerator.
enumerator - Variable in class net.sf.tweety.logics.commons.analysis.PrInconsistencyMeasure: The MUs enumerator.
Environment - Interface in net.sf.tweety.agents: This interface models an environment for agents, i.e.
environment - Variable in class net.sf.tweety.agents.MultiAgentSystem: The environment of this multi-agent system.
EOF - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.arg.dung.parser.DungParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants: End of File.
EOF - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.preferences.io.POParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants: End of File.
eol - Variable in exception net.sf.tweety.arg.delp.parser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.arg.dung.parser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.logics.fol.parser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.lp.asp.parser.ParseException: The end of line string for this machine.
eol - Variable in exception net.sf.tweety.preferences.io.ParseException: The end of line string for this machine.
EOL - Static variable in interface net.sf.tweety.preferences.io.POParserConstants: RegularExpression Id.
EOL - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants: RegularExpression Id.
EProver - Class in net.sf.tweety.logics.fol.prover: Invokes Eprover (http://eprover.org) and returns its results.
EProver(String, Shell) - Constructor for class net.sf.tweety.logics.fol.prover.EProver: Constructs a new instance pointing to a specific eprover
EProver(String) - Constructor for class net.sf.tweety.logics.fol.prover.EProver: Constructs a new instance pointing to a specific eprover
epsilon - Variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction: The epsilon value.
epsilon - Variable in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics: The epsilon parameter in Def.
EPSILON - Static variable in class net.sf.tweety.math.opt.OptimizationProblem: Some value to represent a very small number
EQUAL - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants: RegularExpression Id.
EQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants: RegularExpression Id.
EQUAL_OLD - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants: RegularExpression Id.
equals(Object) - Method in class net.sf.tweety.action.grounding.VarConstNeqRequirement
equals(Object) - Method in class net.sf.tweety.action.grounding.VarsNeqRequirement
equals(Object) - Method in class net.sf.tweety.action.transitionsystem.State
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T3Configuration
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
equals(Object) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
equals(Object) - Method in class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction
equals(Object) - Method in class net.sf.tweety.agents.MultiAgentSystem
equals(Object) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
equals(Object) - Method in class net.sf.tweety.arg.aba.syntax.Deduction
equals(Object) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
equals(Object) - Method in class net.sf.tweety.arg.aba.syntax.Negation
equals(Object) - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
equals(Object) - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
equals(Object) - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument
equals(Object) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
equals(Object) - Method in class net.sf.tweety.arg.dung.DungTheory
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
equals(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
equals(Object) - Method in class net.sf.tweety.arg.dung.semantics.Extension
equals(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
equals(Object) - Method in class net.sf.tweety.arg.dung.syntax.Argument
equals(Object) - Method in class net.sf.tweety.arg.dung.syntax.Attack
equals(Object) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
equals(Object) - Method in class net.sf.tweety.commons.BeliefSet
equals(Object) - Method in class net.sf.tweety.commons.InterpretationSet
equals(Object) - Method in class net.sf.tweety.commons.SetSignature
equals(Object) - Method in class net.sf.tweety.commons.Signature
equals(Object) - Method in class net.sf.tweety.commons.util.DigraphNode
equals(Object) - Method in class net.sf.tweety.commons.util.Pair
equals(Object) - Method in class net.sf.tweety.commons.util.rules.Derivation
equals(Object) - Method in class net.sf.tweety.commons.util.Triple
equals(Object) - Method in class net.sf.tweety.graphs.Edge
equals(Object) - Method in class net.sf.tweety.graphs.UndirectedEdge
equals(Object) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
equals(Object) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.Functor
equals(Object) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.Predicate
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.Sort
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
equals(Object) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
equals(Object) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Contradiction
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Negation
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Tautology
equals(Object) - Method in class net.sf.tweety.logics.ml.analysis.AggregatingCoherenceMeasure
equals(Object) - Method in class net.sf.tweety.logics.ml.analysis.AggregatingDistanceFunction
equals(Object) - Method in class net.sf.tweety.logics.ml.analysis.DefaultCompatibilityMeasure
equals(Object) - Method in class net.sf.tweety.logics.ml.analysis.PNormDistanceFunction
equals(Object) - Method in class net.sf.tweety.logics.ml.analysis.ProbabilisticPNormDistanceFunction
equals(Object) - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
equals(Object) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Negation
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Tautology
equals(Object) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
equals(Object) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
equals(Object) - Method in class net.sf.tweety.logics.rpcl.InstanceAssignment
equals(Object) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
equals(Object) - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.Comparative
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPNot
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.Rule
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.SetTerm
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.SymbolicSet
equals(Object) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
equals(Object) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
equals(Object) - Method in class net.sf.tweety.machinelearning.BooleanCategory
equals(Object) - Method in interface net.sf.tweety.machinelearning.Category
equals(Object) - Method in class net.sf.tweety.machinelearning.DoubleCategory
equals(Object) - Method in interface net.sf.tweety.machinelearning.Observation
equals(Object) - Method in class net.sf.tweety.math.probability.Probability
equals(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
equals(Object) - Method in class net.sf.tweety.math.term.FloatVariable
equals(Object) - Method in class net.sf.tweety.math.term.Variable
equals(Object) - Method in class net.sf.tweety.preferences.PreferenceOrder
equals(Object) - Method in class net.sf.tweety.preferences.Quadruple
EqualsTester - Class in net.sf.tweety.lp.asp.syntax
EqualsTester() - Constructor for class net.sf.tweety.lp.asp.syntax.EqualsTester
Equation - Class in net.sf.tweety.math.equation: This class represent an equation of two terms.
Equation(Term, Term) - Constructor for class net.sf.tweety.math.equation.Equation: Creates a new equation with the given terms.
equivalenceClasses - Variable in class net.sf.tweety.logics.rpcl.ReferenceWorld: The equivalence classes this reference world bases on.
equivalent(FolFormula, FolFormula) - Static method in class net.sf.tweety.logics.fol.ClassicalInference: Tests naively whether two fol formulas are equivalent
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.EProver
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.FolTheoremProver
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.NaiveProver
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.Prover9
errorCode - Variable in error net.sf.tweety.arg.delp.parser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.arg.dung.parser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.logics.fol.parser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.lp.asp.parser.TokenMgrError: Indicates the reason why the exception is thrown.
errorCode - Variable in error net.sf.tweety.preferences.io.TokenMgrError: Indicates the reason why the exception is thrown.
errorData - Variable in class net.sf.tweety.lp.asp.solver.AspInterface
EtaInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class implements the Eta-inconsistency measure, cf.
EtaInconsistencyMeasure(InterpretationIterator<?>) - Constructor for class net.sf.tweety.logics.commons.analysis.EtaInconsistencyMeasure: Creates a new inconsistency measure that uses the interpretations given by the given iterator.
EUCLIDEAN - Static variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
eval(File) - Method in class net.sf.tweety.logics.fol.prover.Prover9: invokes prover9
eval(T, S) - Method in interface net.sf.tweety.math.func.BinaryFunction: Evaluates the function for the given elements.
eval(Vector<Double>) - Method in class net.sf.tweety.math.func.EntropyFunction
eval(double[]) - Method in class net.sf.tweety.math.func.FracAggrFunction
eval(Double) - Method in class net.sf.tweety.math.func.FractionSequenceFunction
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.BoundedSum
eval(Double) - Method in class net.sf.tweety.math.func.fuzzy.DefaultNegation
eval(Double) - Method in class net.sf.tweety.math.func.fuzzy.FuzzyNegation
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.MinimumNorm
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.ProbabilisticSum
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.ProductNorm
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm
eval(Collection<Double>) - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm: Generalizes this conorm on sets of input parameters (as t-conorms are associative, the order is not important).
eval(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.TNorm
eval(Collection<Double>) - Method in class net.sf.tweety.math.func.fuzzy.TNorm: Generalizes this norm on sets of input parameters (as t-norms are associative, the order is not important).
eval(Double, Double) - Method in class net.sf.tweety.math.func.MaxFunction
eval(T) - Method in interface net.sf.tweety.math.func.SimpleFunction: Evaluates the function for the given element.
eval(Double, Double) - Method in class net.sf.tweety.math.func.SmoothingFunction
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.BoundedSum
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.MinimumNorm
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.ProbabilisticSum
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.ProductNorm
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm: Gives a representation of this conorm as a mathematical term
evalTerm(Collection<Term>) - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm: Gives a representation of this conorm as a mathematical term.
evalTerm(Term, Term) - Method in class net.sf.tweety.math.func.fuzzy.TNorm: Gives a representation of this norm as a mathematical term
evalTerm(Collection<Term>) - Method in class net.sf.tweety.math.func.fuzzy.TNorm: Gives a representation of this norm as a mathematical term.
evaluate() - Method in class net.sf.tweety.logics.cl.kappa.KappaMin
evaluate() - Method in class net.sf.tweety.logics.cl.kappa.KappaSum
evaluate() - Method in interface net.sf.tweety.logics.cl.kappa.KappaTerm: Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.
evaluate() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
evaluate(Matrix, Matrix, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.BfgsSolver
evaluateMatrix(List<List<Term>>, Map<Variable, ? extends Term>) - Method in class net.sf.tweety.math.opt.NewtonRootFinder: Evaluates each function in the given matrix with the given values for variables.
evaluateMatrix(List<List<Term>>, double[], List<Variable>) - Static method in class net.sf.tweety.math.term.Term: Evaluates each function in the given matrix with the given values for variables.
evaluateProcessing - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue: A flag used to store if this kappa-value is evaluating its value
EvaluateRule - Class in net.sf.tweety.logics.cl.rules: The evaluate rule tries to evaluate the kappa values by using logical constraints, therefore the KappaTerm evaluate() methods are called.
EvaluateRule() - Constructor for class net.sf.tweety.logics.cl.rules.EvaluateRule
evaluateVector(List<Term>, Map<Variable, ? extends Term>) - Static method in class net.sf.tweety.math.term.Term: Evaluates each function in the given list with the given values for variables.
evaluateVector(List<Term>, double[], List<Variable>) - Static method in class net.sf.tweety.math.term.Term: Evaluates each function in the given list with the given values for variables.
EvaluationInconsistencyListener - Class in net.sf.tweety.logics.commons.analysis.streams: An inconsistency listener that is apt for doing evaluations on the performance of an inconsistency measure.
EvaluationInconsistencyListener(String, int) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
eventOccurred(UpdateEvent<T>) - Method in interface net.sf.tweety.preferences.events.UpdateListener: UpdateListener is informed as soon as an update occurs
eventOccurred(UpdateEvent<T>) - Method in class net.sf.tweety.preferences.events.UpdatePrinter: This method is called every time an update occurs
Example1() - Method in class net.sf.tweety.arg.aspic.AspicTest: Implements examples 3.7, 3.9 and 3.11 from Modgil and Prakken
example1() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
Example1() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
Example11() - Method in class net.sf.tweety.arg.aba.ABATest
Example2() - Method in class net.sf.tweety.arg.aspic.AspicTest: Implements example 3.25 from Modgil and Prakken
example2() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
Example2() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
Example3() - Method in class net.sf.tweety.arg.aba.ABATest
Example3() - Method in class net.sf.tweety.arg.aspic.AspicTest: Implements example 3.26 from Modgil and Prakken
example3() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
Example3() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
Example4() - Method in class net.sf.tweety.arg.aba.ABATest
Example4() - Method in class net.sf.tweety.arg.aspic.AspicTest: Implements example 4.1 from Modgil and Prakken
example4() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
Example4() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest
Example5() - Method in class net.sf.tweety.arg.aba.ABATest
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
exchange(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula: Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
exchange(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram: Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation: Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.
exchange(Map<Term<?>, Term<?>>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation: For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula: Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rpcl.RpclBeliefSet: Exchanges every occurence of "a" by "b" and vice versa.
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
Executable - Interface in net.sf.tweety.agents: An executable is an action an agent performs within an environment.
ExecutableDungTheory - Class in net.sf.tweety.agents.dialogues: This class packs a Dung theory into an executable object.
ExecutableDungTheory() - Constructor for class net.sf.tweety.agents.dialogues.ExecutableDungTheory: Creates a new empty theory.
ExecutableDungTheory(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.ExecutableDungTheory: Creates a new dung theory for the given Dung theory.
ExecutableExtension - Class in net.sf.tweety.agents.dialogues: This class packs an extension into an executable object.
ExecutableExtension() - Constructor for class net.sf.tweety.agents.dialogues.ExecutableExtension: Creates a new empty extension.
ExecutableExtension(Collection<? extends Argument>) - Constructor for class net.sf.tweety.agents.dialogues.ExecutableExtension: Creates a new extension for the given arguments.
ExecutableFormulaSet - Class in net.sf.tweety.agents.dialogues: This class packs a set of formulas into an executable object.
ExecutableFormulaSet() - Constructor for class net.sf.tweety.agents.dialogues.ExecutableFormulaSet: Creates a new empty set.
ExecutableFormulaSet(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.agents.dialogues.ExecutableFormulaSet: Creates a new set for the given formulas.
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.dialogues.lotteries.LotteryGameSystem
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
execute(Executable) - Method in interface net.sf.tweety.agents.Environment: Executes the given action and returns the resulting percepts.
execute(Collection<? extends Executable>) - Method in interface net.sf.tweety.agents.Environment: Executes the given actions simultaneously and returns the resulting percepts.
execute(AbstractProtocol, int) - Method in class net.sf.tweety.agents.MultiAgentSystem: Executes the given protocol for the given number of steps.
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.MultiAgentSystem: Executes the given protocol till it terminates.
execute(String[]) - Method in class net.sf.tweety.arg.dung.prover.AbstractSolver
execute(String[]) - Method in interface net.sf.tweety.arg.dung.prover.InterfaceSolver: This is the main method of the solver.
execute(File[], CommandParameter[]) - Method in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin: Executes this plugin with given input files and other aggregated parameters
execute(File[], CommandParameter[]) - Method in class net.sf.tweety.logics.pl.plugin.PropositionalLogicPlugin: Method to be executed with input files and parameters from tweety cli
execute(File[], CommandParameter[]) - Method in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin: Executes this plugin with given input files and other aggregated parameters
execute(File[], CommandParameter[]) - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin: executes the given input
execute(File[], CommandParameter[]) - Method in interface net.sf.tweety.plugin.TweetyPlugin: passes by the arguments given with the call to the called plugin
execute(File[], CommandParameter[]) - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
EXECUTE_TILL_TERMINATION - Static variable in class net.sf.tweety.agents.MultiAgentSystem: Indicates that the execution of this system's protocol should be repeated until it has terminated.
executeProgram(List<String>, String) - Method in class net.sf.tweety.lp.asp.solver.AspInterface: Executes an external application with a given path, a set of parameters and an input string.
executeProgram(String...) - Method in class net.sf.tweety.lp.asp.solver.AspInterface
EXISTS - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants: RegularExpression Id.
EXISTS_QUANTIFIER - Static variable in class net.sf.tweety.logics.fol.parser.FolParser: exists-quantifier used in syntax
existsDirectedPath(Argument, Argument) - Method in class net.sf.tweety.arg.dung.DungTheory
existsDirectedPath(T, T) - Method in class net.sf.tweety.graphs.DefaultGraph
existsDirectedPath(Graph<S>, S, S) - Static method in class net.sf.tweety.graphs.DefaultGraph: Checks whether there is a (directed) path from node1 to node2 in the given graph.
existsDirectedPath(T, T) - Method in interface net.sf.tweety.graphs.Graph: Checks whether there is a (directed) path from node1 to node2.
ExistsQuantifiedFormula - Class in net.sf.tweety.logics.fol.syntax
ExistsQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula: Creates a new exists-quantified formula with the given formula and variables.
ExistsQuantifiedFormula(FolFormula, Variable) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula: Creates a new exists-quantified formula with the given formula and variable.
ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
EXISTSQUANTIFIER() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
Exp - Class in net.sf.tweety.math.term: This class represents an exponential expression by "e".
Exp(Term) - Constructor for class net.sf.tweety.math.term.Exp: Creates a new exponential term with the given term.
expand(Collection<T>, T) - Method in interface net.sf.tweety.beliefdynamics.BaseExpansionOperator: Expands the given collection of formulas by the given formula.
expand(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.DefaultBaseExpansionOperator
expand(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.DefaultMultipleBaseExpansionOperator
expand(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator
expand(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator: Expands the first collection of formulas by the second collection of formulas.
expandAssociativeOperations() - Method in class net.sf.tweety.math.equation.Statement: This method expands all associative operations appearing in this statement, e.g.
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Constant
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Difference
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Fraction
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.FunctionalTerm
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Maximum
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Minimum
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Product
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Sum
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Term: This method expands all associative operations appearing in this term, e.g.
expandAssociativeOperations() - Method in class net.sf.tweety.math.term.Variable
ExpandBuff(boolean) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
ExpandBuff(boolean) - Static method in class net.sf.tweety.arg.dung.parser.SimpleCharStream
ExpandBuff(boolean) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream
ExpandBuff(boolean) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
ExpandBuff(boolean) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
ExpandBuff(boolean) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
ExpandBuff(boolean) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
expansion - Variable in class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator: The expansion operator of this Levi revision.
expansion - Variable in class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator: The expansion operator of this Levi revision.
expectedTokenSequences - Variable in exception net.sf.tweety.arg.delp.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.arg.dung.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.logics.fol.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.lp.asp.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception net.sf.tweety.preferences.io.ParseException: Each entry in this array is an array of integers.
Expression(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
Expression(DungTheory) - Static method in class net.sf.tweety.arg.dung.parser.DungParser
ExpResult - Class in net.sf.tweety.logics.ml.test
ExpResult() - Constructor for class net.sf.tweety.logics.ml.test.ExpResult
ext - Variable in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation: the extension
extension - Variable in enum net.sf.tweety.arg.dung.parser.FileFormat: The extension of the file format
extension() - Method in enum net.sf.tweety.arg.dung.parser.FileFormat: Returns the extension of the file format.
Extension - Class in net.sf.tweety.arg.dung.semantics: This class models a (possible) extension of a Dung theory, i.e.
Extension() - Constructor for class net.sf.tweety.arg.dung.semantics.Extension: Creates a new empty extension.
Extension(Collection<? extends Argument>) - Constructor for class net.sf.tweety.arg.dung.semantics.Extension: Creates a new extension with the given set of arguments.
extension - Variable in class net.sf.tweety.logics.cl.RelevanceReasoner: The extension of the knowledgebase.
extensions - Variable in class net.sf.tweety.arg.dung.AbstractExtensionReasoner: The extensions this reasoner bases upon.
extensions - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree: all extensions of the process tree
extensionTest() - Static method in class net.sf.tweety.logics.rdl.test.RDLTest

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