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 Y Z
All Classes All Packages

E

eager(LinkStrategy) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
EC - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
EC_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EC_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
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.
EE - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
EE_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EE_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
EeeAcceptabilityReasoner - Class in net.sf.tweety.arg.dung.reasoner: Implements the EEE approach ("exhaustively enumerate extensions") to determine the set of acceptable arguments of an AF, cf.
EeeAcceptabilityReasoner(AbstractExtensionReasoner, InferenceMode) - Constructor for class net.sf.tweety.arg.dung.reasoner.EeeAcceptabilityReasoner: Creates a new EeeAcceptabilityReasoner.
EFOLReasoner - Class in net.sf.tweety.logics.fol.reasoner: Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.
EFOLReasoner(String) - Constructor for class net.sf.tweety.logics.fol.reasoner.EFOLReasoner: Constructs a new instance pointing to a specific EProver.
EFOLReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.fol.reasoner.EFOLReasoner: Constructs a new instance pointing to a specific EProver.
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.
EL - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
EL_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
EL_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
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.
ElementOfCombinatoricsProb - Class in net.sf.tweety.math.opt.problem: This class implements an element for a combinatorial problem.
ElementOfCombinatoricsProb() - Constructor for class net.sf.tweety.math.opt.problem.ElementOfCombinatoricsProb
ElephantZooExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
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(ASPSolver, SelectionFunction<ASPRule>) - 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
empty() - Static method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
empty(AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
EMPTY - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
emptyBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP
EmptyBeliefBaseTest() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
EmptyConjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
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
EmptyDisjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
EmptyInterpretation - Class in net.sf.tweety.arg.adf.semantics.interpretation
EmptyInterpretation(AbstractDialecticalFramework) - Constructor for class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation: An empty interpretation relative to the given ADF
EmptyNecessityTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
EmptyParenthesesTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
EmptyPossibilityTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
EmptyQuantificationTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
emptyQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP
enable_tracing() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
enable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
enable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
enable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser: Enable tracing.
enable_tracing() - Method in class net.sf.tweety.preferences.io.POParser
enable_tracing() - Method in class net.sf.tweety.preferences.io.UPParser: Enable tracing.
encode(Collection<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.encodings.SatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.BipolarSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.RelativeBipolarSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.RelativeKBipolarSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.encodings.SatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding
encode(Consumer<Disjunction>, PropositionalMapping, AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.sat.encodings.VerifyAdmissibleSatEncoding
encode(PropositionalMapping, AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.sat.encodings.SatEncoding
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.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.
EndEvent - Class in net.sf.tweety.logics.bpm.syntax
EndEvent(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.EndEvent
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.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.
enforceTreeShape - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
enforceTreeShape - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
enforceTreeShape - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters: Whether the generated theory must have a tree shape.
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.semantics.CondensedProbabilityDistribution
entropy() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution: Returns the entropy of this probability distribution.
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.adf.util.CacheMap
entrySet() - Method in class net.sf.tweety.arg.adf.util.LazyMap
entrySet() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
entrySet() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
entrySet() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
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.semantics.ReferenceWorld
entrySet() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
entrySet() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
enumerateChordlessCircuits(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil: Enumerates all chordless circuits of the given graph, i.e.
enumerateInstanceAssignments(Predicate, Set<Set<Constant>>) - Static method in class net.sf.tweety.logics.rpcl.semantics.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.semantics.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.
EnumeratingIterator - Class in net.sf.tweety.logics.pl.util
EnumeratingIterator(PlSignature) - Constructor for class net.sf.tweety.logics.pl.util.EnumeratingIterator: Creates a new sampler for the given signature
EnumeratingIterator(PlSignature, boolean) - Constructor for class net.sf.tweety.logics.pl.util.EnumeratingIterator: Creates a new sampler for the given signature
Environment - Interface in net.sf.tweety.agents: This interface models an environment for agents, i.e.
EOF - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants: End of File.
EOF - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
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.ASPCore2Constants: End of File.
EOF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: 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 - 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.
EPSILON - Static variable in class net.sf.tweety.math.opt.problem.OptimizationProblem: Some value to represent a very small number
EQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
EQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
EQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
EQUALCONFLICT - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The EQUALCONFLICT postulate
EQUALITY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
EqualityPredicate - Class in net.sf.tweety.logics.fol.syntax: This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.
EqualityPredicate() - Constructor for class net.sf.tweety.logics.fol.syntax.EqualityPredicate
EqualityPredicateTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
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.semantics.AbaExtension
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.adf.semantics.interpretation.EmptyInterpretation
equals(Object) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
equals(Object) - Method in class net.sf.tweety.arg.adf.semantics.link.SimpleLink
equals(Object) - Method in class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
equals(Object) - Method in class net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
equals(Object) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
equals(Object) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
equals(Object) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
equals(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
equals(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack
equals(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport
equals(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack
equals(Object) - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport
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.deductive.syntax.SimplePlLogicArgument
equals(Object) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
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.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.dung.syntax.DungTheory
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.DualSetSignature
equals(Object) - Method in class net.sf.tweety.commons.InterpretationSet
equals(Object) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
equals(Object) - Method in interface net.sf.tweety.commons.Signature
equals(Object) - Method in class net.sf.tweety.commons.SingleSetSignature
equals(Object) - Method in class net.sf.tweety.commons.TripleSetSignature
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.AssociativeDlFormula
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.Complement
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
equals(Object) - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
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.Equivalence
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Implication
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Negation
equals(Object) - Method in class net.sf.tweety.logics.fol.syntax.Tautology
equals(Object) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
equals(Object) - Method in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
equals(Object) - Method in class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
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.semantics.PriestWorld
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Implication
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Negation
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
equals(Object) - Method in class net.sf.tweety.logics.pl.syntax.Tautology
equals(Object) - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
equals(Object) - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
equals(Object) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
equals(Object) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
equals(Object) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
equals(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
equals(Object) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
equals(Object) - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
equals(Object) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
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.norm.AggregatingNorm
equals(Object) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
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
EQUALS_USES_SIGNATURE - Static variable in class net.sf.tweety.commons.BeliefSet: Flag that determines whether Object.equals(Object) checks only for equality of the beliefs in the belief sets or whether it also checks for equality of the signatures attached to the belief sets.
EqualsTester - Class in net.sf.tweety.lp.asp.syntax
EqualsTester() - Constructor for class net.sf.tweety.lp.asp.syntax.EqualsTester
equalsTwoValued(Interpretation, Interpretation) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation: Checks if, and only if, the two valued assignments for both of the interpretations are the same, ignores differences in the undecided assignments.
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.
equiv(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
equiv(AcceptanceCondition...) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
Equivalence - Class in net.sf.tweety.logics.fol.syntax: The equivalence of first-order logic.
Equivalence - Class in net.sf.tweety.logics.pl.syntax: This class models equivalence of propositional logic.
Equivalence(Pair<RelationalFormula, RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Equivalence: Creates a new equivalence with the given pair of formulas
Equivalence(Pair<PlFormula, PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Equivalence: Creates a new equivalence with the given pair of formulas
Equivalence(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Equivalence: Creates a new equivalence with the given two formulas
Equivalence(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Equivalence: Creates a new equivalence with the given two formulas
EQUIVALENCE() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
EquivalenceAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax.acc
EquivalenceAcceptanceCondition(Collection<AcceptanceCondition>) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.EquivalenceAcceptanceCondition: Asserts all children to be pairwise equivalent.
EquivalenceAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
EquivalenceAxiom - Class in net.sf.tweety.logics.dl.syntax: This class models an equivalence axiom, also known as general concept inclusion (GCU), meaning an expression of the form "C is a subset of or equal to D" with C and D as Concepts.
EquivalenceAxiom(ComplexConcept, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom: Creates a new equivalence axiom with the given formulas (atomic or complex concepts).
EquivalenceTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.FolReasoner: This method determines whether two formulas are equivalent wrt.
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.SimpleFolReasoner
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
equivalentRankingsTest1() - Method in class net.sf.tweety.arg.rankings.RankingsTest
equivalentRankingsTest2() - Method in class net.sf.tweety.arg.rankings.RankingsTest
Error - net.sf.tweety.logics.bpm.syntax.EventType
ERROR - net.sf.tweety.commons.TweetyConfiguration.LogLevel
ES - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
ES_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
ES_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
Escalation - net.sf.tweety.logics.bpm.syntax.EventType
ETA - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class implements the Eta-inconsistency measure, cf.
EtaInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B, S>>) - 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.reasoner.GeneralizedMeReasoner
eval(double[]) - Method in class net.sf.tweety.math.func.FracAggrFunction
eval(Double) - Method in class net.sf.tweety.math.func.FractionSequenceFunction
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.BoundedSum
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(Double, Double) - Method in class net.sf.tweety.math.func.fuzzy.TNorm
eval(Double, Double) - Method in class net.sf.tweety.math.func.MaxFunction
eval(Double, Double) - Method in class net.sf.tweety.math.func.SmoothingFunction
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(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(List<Double>) - Method in interface net.sf.tweety.math.func.AggregationFunction
eval(List<Double>) - Method in class net.sf.tweety.math.func.AverageAggregator
eval(List<Double>) - Method in class net.sf.tweety.math.func.MaxAggregator
eval(List<Double>) - Method in class net.sf.tweety.math.func.MinAggregator
eval(List<Double>) - Method in class net.sf.tweety.math.func.ProductAggregator
eval(List<Double>) - Method in class net.sf.tweety.math.func.SumAggregator
eval(Vector<Double>) - Method in class net.sf.tweety.math.func.EntropyFunction
eval(T) - Method in interface net.sf.tweety.math.func.SimpleFunction: Evaluates the function for the given element.
eval(T, S) - Method in interface net.sf.tweety.math.func.BinaryFunction: Evaluates the function for the given elements.
evalTerm(Collection<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.TNorm: Gives a representation of this norm as a mathematical term.
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(Term, 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(long) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.
evaluate(long, boolean) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.
evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.examples.KnapSack
evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.examples.TravelingSalesman
evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.opt.problem.CombinatoricsProblem
evaluateAggrFunc(String) - Static method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
evaluateArithop(String) - Static method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
evaluateBinop(String) - Method in class net.sf.tweety.lp.asp.parser.InstantiateVisitor
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.
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>, 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.
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.
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
EvaluationTest - Class in net.sf.tweety.logics.cl.test
EvaluationTest() - Constructor for class net.sf.tweety.logics.cl.test.EvaluationTest
Event - Class in net.sf.tweety.logics.bpm.syntax
Event(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Event
EventBased - net.sf.tweety.logics.bpm.syntax.GatewayType
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
EventType - Enum in net.sf.tweety.logics.bpm.syntax
EvidentialAcceptability - Class in net.sf.tweety.arg.bipolar.examples
EvidentialAcceptability() - Constructor for class net.sf.tweety.arg.bipolar.examples.EvidentialAcceptability
EvidentialArgumentation - Class in net.sf.tweety.arg.bipolar.examples
EvidentialArgumentation() - Constructor for class net.sf.tweety.arg.bipolar.examples.EvidentialArgumentation
EvidentialArgumentation2 - Class in net.sf.tweety.arg.bipolar.examples
EvidentialArgumentation2() - Constructor for class net.sf.tweety.arg.bipolar.examples.EvidentialArgumentation2
EvidentialArgumentationFramework - Class in net.sf.tweety.arg.bipolar.syntax: This class implements a bipolar abstract argumentation theory with support in an evidential sense.
EvidentialArgumentationFramework() - Constructor for class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Default constructor; initializes empty sets of arguments, attacks and supports
EvidentialArgumentationFramework(NecessityArgumentationFramework) - Constructor for class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: creates an evidential argumentation framework from the given framework with necessities
EvidentialArgumentationTest - Class in net.sf.tweety.arg.bipolar
EvidentialArgumentationTest() - Constructor for class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest
evidentialToNecessity() - Method in class net.sf.tweety.arg.bipolar.TranslationTest
example1() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
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.lp.asp.analysis.DLVTest
Example11() - Method in class net.sf.tweety.arg.aba.AbaTest
example2() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
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.lp.asp.analysis.DLVTest
example3() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
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
example4() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
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.lp.asp.analysis.DLVTest
Example5() - Method in class net.sf.tweety.arg.aba.AbaTest
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(Map<Term<?>, Term<?>>) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation: 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.arg.aba.syntax.AbaElement
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
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.commons.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.fol.semantics.HerbrandInterpretation: 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.ml.semantics.MlHerbrandInterpretation: 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.rpcl.syntax.RpclBeliefSet: Exchanges every occurence of "a" by "b" and vice versa.
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
exchange(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
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
EXCHANGE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The EXCHANGE postulate
ExcludeSubinterpretationsIterator - Class in net.sf.tweety.arg.adf.util: Iterates through all interpretations except the ones equal to or more specific than the provided ones.
ExcludeSubinterpretationsIterator(List<Interpretation>) - Constructor for class net.sf.tweety.arg.adf.util.ExcludeSubinterpretationsIterator
ExcludeSubinterpretationsIteratorTest - Class in net.sf.tweety.arg.adf.util.test
ExcludeSubinterpretationsIteratorTest() - Constructor for class net.sf.tweety.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
ExcludeTwoValuedSubinterpretationsIterator - Class in net.sf.tweety.arg.adf.util: Iterates through all two-valued(!) interpretations except the ones equal to or more specific than the provided ones.
ExcludeTwoValuedSubinterpretationsIterator(List<Interpretation>) - Constructor for class net.sf.tweety.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
ExcludeTwoValuedSubinterpretationsIteratorTest - Class in net.sf.tweety.arg.adf.util.test
ExcludeTwoValuedSubinterpretationsIteratorTest() - Constructor for class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
Exclusive - net.sf.tweety.logics.bpm.syntax.GatewayType
ExclusiveDisjunction - Class in net.sf.tweety.logics.fol.syntax: The exclusive disjunction (XOR) in first-order logic.
ExclusiveDisjunction - Class in net.sf.tweety.logics.pl.syntax: This class represents an exclusive disjunction (XOR) in propositional logic.
ExclusiveDisjunction() - Constructor for class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction: Creates a new (empty) exclusive disjunction.
ExclusiveDisjunction() - Constructor for class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction: Creates a new (empty) exclusive disjunction.
ExclusiveDisjunction(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction: Creates a new exclusive disjunction with the given inner formulas.
ExclusiveDisjunction(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction: Creates a new XOR formula with the given inner formulas.
ExclusiveDisjunction(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction: Creates a new exclusive disjunction with the two given formulae
ExclusiveDisjunction(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction: Creates a new exclusive disjunction with the two given formulae
EXCLUSIVEDISJUNCTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
ExclusiveDisjunctionAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax.acc
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
ExclusiveDisjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
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 PlFormula>) - Constructor for class net.sf.tweety.agents.dialogues.ExecutableFormulaSet: Creates a new set for the given formulas.
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.PlPlugin: 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(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
execute(Collection<? extends Executable>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
execute(Collection<? extends Executable>) - Method in interface net.sf.tweety.agents.Environment: Executes the given actions simultaneously and returns the resulting percepts.
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.dialogues.lotteries.LotteryGameSystem
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem
execute(AbstractProtocol) - Method in class net.sf.tweety.agents.MultiAgentSystem: Executes the given protocol till it terminates.
execute(AbstractProtocol, int) - Method in class net.sf.tweety.agents.MultiAgentSystem: Executes the given protocol for the given number of steps.
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
execute(Executable) - Method in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
execute(Executable) - Method in interface net.sf.tweety.agents.Environment: Executes the given action and returns the resulting percepts.
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.
ExistentialRestriction - Class in net.sf.tweety.logics.dl.syntax: This class models an existential restriction in description logics, i.e.
ExistentialRestriction(Pair<AtomicRole, ComplexConcept>) - Constructor for class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
ExistentialRestriction(AtomicRole, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.ExistentialRestriction: Creates a new ALC existential restriction with the given role and concept.
existsDirectedPath(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
existsDirectedPath(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
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(BpmnNode, BpmnNode) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
existsDirectedPath(T, T) - Method in class net.sf.tweety.graphs.DefaultGraph
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: Exists-quantified first-order logic formula.
ExistsQuantifiedFormula - Class in net.sf.tweety.logics.qbf.syntax: This class represents existential quantification for boolean formulas.
ExistsQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula: Creates a new quantified folFormula with the given folFormula and variables.
ExistsQuantifiedFormula(RelationalFormula, Variable) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula: Creates a new quantified folFormula with the given folFormula and variable.
ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
ExistsQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula: Create a new existential boolean quantification.
ExistsQuantifiedFormula(PlFormula, Proposition) - Constructor for class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula: Create a new existential boolean quantification.
ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula: Create a new existential boolean quantification.
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>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.DefaultMultipleBaseExpansionOperator
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.
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>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator
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
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.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
Expression(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
extend(AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: Allows to add arguments and acceptance conditions.
ExtendedAbstractDialecticalFramework - Class in net.sf.tweety.arg.adf.syntax.adf: Extended in the sense of the addition of arguments and links to an existing ADF.
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 - Class in net.sf.tweety.logics.rdl.semantics: An extension of a default theory, i.e.
Extension() - Constructor for class net.sf.tweety.arg.dung.semantics.Extension: Creates a new empty extension.
Extension() - Constructor for class net.sf.tweety.logics.rdl.semantics.Extension: Default constructor
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(Collection<FolFormula>) - Constructor for class net.sf.tweety.logics.rdl.semantics.Extension: Creates a new extension with the given set of formulas.
ExtensionInconsistencyMeasure - Class in net.sf.tweety.arg.dung
ExtensionInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure

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