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|Constant Field Values|Deprecated API|Serialized Form

E

EA - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics
EA
eager(LinkStrategy) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
 
EAGER_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
 
EC - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
EC
EC_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_ADM
EC_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_CF
EC_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_CF2
EC_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_CO
EC_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_GR
EC_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_ID
EC_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_PR
EC_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_SST
EC_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_ST
EC_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EC_STG
Edge<T extends Node> - Class in org.tweetyproject.graphs
Instances of this class represent abstract edges.
Edge(T, T) - Constructor for class org.tweetyproject.graphs.Edge
Creates a new edge for the given nodes.
Edge(T, T, String) - Constructor for class org.tweetyproject.graphs.Edge
Creates a new edge for the given nodes.
EE - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
EE
EE_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_ADM
EE_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_CF
EE_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_CF2
EE_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_CO
EE_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_GR
EE_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_ID
EE_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_PR
EE_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_SST
EE_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_ST
EE_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EE_STG
EeeAcceptabilityReasoner - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
Creates a new EeeAcceptabilityReasoner.
EFOLReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.reasoner.EFOLReasoner
Constructs a new instance pointing to a specific EProver.
EFOLReasoner(String, Shell) - Constructor for class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
Constructs a new instance pointing to a specific EProver.
eigenvalues(Graph<? extends Node>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Computes the (real parts of the) Eigenvalues of the given graph.
EL - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
EL
EL_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_ADM
EL_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_CF
EL_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_CF2
EL_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_CO
EL_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_GR
EL_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_ID
EL_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_PR
EL_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_SST
EL_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_ST
EL_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
EL_STG
ELEMENT - Static variable in interface org.tweetyproject.preferences.io.POParserConstants
RegularExpression Id.
ELEMENT - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants
RegularExpression Id.
ElementOfCombinatoricsProb - Class in org.tweetyproject.math.term
This class implements an element for a combinatorial problem.
ElementOfCombinatoricsProb(ArrayList<Term>) - Constructor for class org.tweetyproject.math.term.ElementOfCombinatoricsProb
 
elements - Variable in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
elements
ElephantZooExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample
 
ELPBaseRevisionOperator - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
 
ELPLexicographicalComparator - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator
 
empty() - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
 
empty(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
EMPTY - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory
 
emptyBatch() - Method in class org.tweetyproject.arg.delp.TestDeLP
 
EmptyBeliefBaseTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
 
EmptyConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
emptyCrit() - Method in class org.tweetyproject.arg.delp.TestDeLP
 
EmptyCriterion - Class in org.tweetyproject.arg.delp.semantics
This class implements the empty criterion to compare two arguments.
EmptyCriterion() - Constructor for class org.tweetyproject.arg.delp.semantics.EmptyCriterion
 
EmptyDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
EmptyNecessityTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
 
EmptyParenthesesTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
EmptyPossibilityTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
 
EmptyQuantificationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
emptyQuery() - Method in class org.tweetyproject.arg.delp.TestDeLP
 
enable_tracing() - Method in class org.tweetyproject.arg.delp.parser.DelpParser
 
enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
 
enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
 
enable_tracing() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
Enable tracing.
enable_tracing() - Method in class org.tweetyproject.preferences.io.POParser
 
enable_tracing() - Method in class org.tweetyproject.preferences.io.UPParser
Enable tracing.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.BipolarSatEncoding
 
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
 
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding
 
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeBipolarSatEncoding
 
encode(Consumer<Clause>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding
 
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding
 
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding
 
END_EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType
 
endColumn - Variable in class org.tweetyproject.arg.delp.parser.Token
 
endColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The column number of the last character of this Token.
endColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The column number of the last character of this Token.
endColumn - Variable in class org.tweetyproject.lp.asp.parser.Token
The column number of the last character of this Token.
endColumn - Variable in class org.tweetyproject.preferences.io.Token
The column number of the last character of this Token.
EndEvent - Class in org.tweetyproject.logics.bpm.syntax
A class to represent end events in a BPMN Model
EndEvent() - Constructor for class org.tweetyproject.logics.bpm.syntax.EndEvent
Create a new instance
EndEventParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse end events of a BPMN model
EndEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.EndEventParser
Create a new instance
endLine - Variable in class org.tweetyproject.arg.delp.parser.Token
 
endLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The line number of the last character of this Token.
endLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The line number of the last character of this Token.
endLine - Variable in class org.tweetyproject.lp.asp.parser.Token
The line number of the last character of this Token.
endLine - Variable in class org.tweetyproject.preferences.io.Token
The line number of the last character of this Token.
enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest
 
enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
 
enforceTreeShape - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters
Whether the generated theory must have a tree shape.
entropy() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Returns the entropy of this probability distribution.
entropy() - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
 
entropy() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
Returns the entropy of this probability distribution.
EntropyFunction - Class in org.tweetyproject.math.func
The entropy function.
EntropyFunction() - Constructor for class org.tweetyproject.math.func.EntropyFunction
 
EntropyNorm<T extends Comparable<T>> - Class in org.tweetyproject.math.norm
The entropy norm.
EntropyNorm() - Constructor for class org.tweetyproject.math.norm.EntropyNorm
 
entrySet() - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
entrySet() - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
entrySet() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
entrySet() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
entrySet() - Method in class org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking
 
entrySet() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
entrySet() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
entrySet() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
entrySet() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
entrySet() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
enumerateChordlessCircuits(Graph<T>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Enumerates all chordless circuits of the given graph, i.e.
enumerateInstanceAssignments(Predicate, Set<Set<Constant>>) - Static method in class org.tweetyproject.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 org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
Determines the set of all reference worlds wrt.
EnumeratingDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util
This generator generators all possible Dung argumentation theories.
EnumeratingDungTheoryGenerator() - Constructor for class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
Creates a new enumerating Dung theory generator.
EnumeratingIterator - Class in org.tweetyproject.logics.pl.util
 
EnumeratingIterator(PlSignature) - Constructor for class org.tweetyproject.logics.pl.util.EnumeratingIterator
Creates a new sampler for the given signature
EnumeratingIterator(PlSignature, boolean) - Constructor for class org.tweetyproject.logics.pl.util.EnumeratingIterator
Creates a new sampler for the given signature
Environment - Interface in org.tweetyproject.agents
This interface models an environment for agents, i.e.
EOF - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants
 
EOF - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
 
EOF - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
End of File.
EOF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
End of File.
EOF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
End of File.
EOF - Static variable in interface org.tweetyproject.preferences.io.POParserConstants
End of File.
EOF - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants
End of File.
EOL - Static variable in interface org.tweetyproject.preferences.io.POParserConstants
RegularExpression Id.
EOL - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants
RegularExpression Id.
EPSILON - Static variable in class org.tweetyproject.math.opt.problem.OptimizationProblem
Some value to represent a very small number
EQ - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator
 
EQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
EQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
EQUALCONFLICT - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The EQUALCONFLICT postulate
EQUALITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
 
EqualityPredicate - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax.EqualityPredicate
constructor
EqualityPredicateTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
equals(Object) - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement
 
equals(Object) - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement
 
equals(Object) - Method in class org.tweetyproject.action.transitionsystem.State
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T1Configuration
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
 
equals(Object) - Method in class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction
 
equals(Object) - Method in class org.tweetyproject.agents.MultiAgentSystem
 
equals(Object) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
 
equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
 
equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Deduction
 
equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
 
equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Negation
 
equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.AbstractAcceptanceCondition
 
equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
 
equals(Object) - Method in class org.tweetyproject.arg.adf.util.Pair
 
equals(Object) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
 
equals(Object) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
 
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
 
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
 
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
 
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
 
equals(Object) - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgument
 
equals(Object) - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgumentNode
 
equals(Object) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
 
equals(Object) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
 
equals(Object) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument
 
equals(Object) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
 
equals(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
 
equals(Object) - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
equals(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.Argument
 
equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.Attack
 
equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
 
equals(Object) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
 
equals(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
equals(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
 
equals(Object) - Method in class org.tweetyproject.commons.BeliefSet
 
equals(Object) - Method in class org.tweetyproject.commons.DualSetSignature
 
equals(Object) - Method in class org.tweetyproject.commons.InterpretationSet
 
equals(Object) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
 
equals(Object) - Method in interface org.tweetyproject.commons.Signature
 
equals(Object) - Method in class org.tweetyproject.commons.SingleSetSignature
 
equals(Object) - Method in class org.tweetyproject.commons.TripleSetSignature
 
equals(Object) - Method in class org.tweetyproject.commons.util.Pair
 
equals(Object) - Method in class org.tweetyproject.commons.util.rules.Derivation
 
equals(Object) - Method in class org.tweetyproject.commons.util.Triple
 
equals(Object) - Method in class org.tweetyproject.graphs.Edge
 
equals(Object) - Method in class org.tweetyproject.graphs.HyperDirEdge
 
equals(Object) - Method in class org.tweetyproject.graphs.UndirectedEdge
 
equals(Object) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
 
equals(Object) - Method in class org.tweetyproject.logics.cl.syntax.Conditional
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Functor
 
equals(Object) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Predicate
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Sort
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
 
equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.Complement
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
 
equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Contradiction
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Tautology
 
equals(Object) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
equals(Object) - Method in class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
 
equals(Object) - Method in class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure
 
equals(Object) - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
 
equals(Object) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
 
equals(Object) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Contradiction
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Implication
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Negation
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
 
equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Tautology
 
equals(Object) - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder
 
equals(Object) - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
 
equals(Object) - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
 
equals(Object) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
equals(Object) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
 
equals(Object) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
equals(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
 
equals(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
equals(Object) - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
 
equals(Object) - Method in class org.tweetyproject.logics.translators.adfcl.Indecision
 
equals(Object) - Method in class org.tweetyproject.logics.translators.adfcl.PriestWorldAdapted
 
equals(Object) - Method in class org.tweetyproject.logics.translators.adfcl.RankingFunctionThreeValued
 
equals(Object) - Method in class org.tweetyproject.logics.translators.adfcl.WeakNegation
 
equals(Object) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.Program
 
equals(Object) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
 
equals(Object) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
equals(Object) - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
 
equals(Object) - Method in class org.tweetyproject.machinelearning.BooleanCategory
 
equals(Object) - Method in interface org.tweetyproject.machinelearning.Category
 
equals(Object) - Method in class org.tweetyproject.machinelearning.DoubleCategory
 
equals(Object) - Method in interface org.tweetyproject.machinelearning.Observation
 
equals(Object) - Method in class org.tweetyproject.math.norm.AggregatingNorm
 
equals(Object) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
 
equals(Object) - Method in class org.tweetyproject.math.probability.Probability
 
equals(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
equals(Object) - Method in class org.tweetyproject.math.term.FloatVariable
 
equals(Object) - Method in class org.tweetyproject.math.term.Variable
 
equals(Object) - Method in class org.tweetyproject.preferences.PreferenceOrder
 
equals(Object) - Method in class org.tweetyproject.preferences.Quadruple
 
equals(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
check if this marking deeply equals that marking
EQUALS_USES_SIGNATURE - Static variable in class org.tweetyproject.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 org.tweetyproject.lp.asp.syntax
 
EqualsTester() - Constructor for class org.tweetyproject.lp.asp.syntax.EqualsTester
 
equalsTwoValued(Interpretation, Interpretation) - Static method in interface org.tweetyproject.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 org.tweetyproject.math.equation
This class represent an equation of two terms.
Equation(Term, Term) - Constructor for class org.tweetyproject.math.equation.Equation
Creates a new equation with the given terms.
equiv(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
 
equiv(AcceptanceCondition...) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
 
Equivalence - Class in org.tweetyproject.logics.fol.syntax
The equivalence of first-order logic.
Equivalence - Class in org.tweetyproject.logics.pl.syntax
This class models equivalence of propositional logic.
Equivalence(Pair<RelationalFormula, RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Equivalence
Creates a new equivalence with the given pair of formulas
Equivalence(Pair<PlFormula, PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Equivalence
Creates a new equivalence with the given pair of formulas
Equivalence(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Equivalence
Creates a new equivalence with the given two formulas
Equivalence(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Equivalence
Creates a new equivalence with the given two formulas
EQUIVALENCE() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
 
EquivalenceAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
 
EquivalenceAcceptanceCondition(Collection<AcceptanceCondition>) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
Asserts all children to be pairwise equivalent.
EquivalenceAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
 
EquivalenceAxiom - Class in org.tweetyproject.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" where C and D are concepts.
EquivalenceAxiom(ComplexConcept, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
Creates a new equivalence axiom with the given formulas (atomic or complex concepts).
EquivalenceKernel - Class in org.tweetyproject.arg.dung.equivalence
An abstract kernel for strong equivalence in abstract argumentation frameworks
EquivalenceKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
 
EquivalenceTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
 
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.FolReasoner
This method determines whether two formulas are equivalent wrt.
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
 
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
 
equivalent(FolBeliefSet, FolFormula, FolFormula) - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
 
equivalentRankingsTest1() - Method in class org.tweetyproject.arg.rankings.RankingsTest
 
equivalentRankingsTest2() - Method in class org.tweetyproject.arg.rankings.RankingsTest
 
Error - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType
Error
ERROR - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
ERROR
ES - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
ES
ES_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_ADM
ES_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_CF
ES_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_CF2
ES_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_CO
ES_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_GR
ES_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_ID
ES_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_PR
ES_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_SST
ES_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_ST
ES_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
ES_STG
Escalation - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType
Escalation
ETA - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
ETA
EtaInconsistencyMeasure<B extends BeliefBase,​S extends Formula> - Class in org.tweetyproject.logics.commons.analysis
This class implements the Eta-inconsistency measure, cf.
EtaInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B, S>>) - Constructor for class org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure
Creates a new inconsistency measure that uses the interpretations given by the given iterator.
EUCLIDEAN - Static variable in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
 
eval(double[]) - Method in class org.tweetyproject.math.func.FracAggrFunction
 
eval(Double) - Method in class org.tweetyproject.math.func.FractionSequenceFunction
 
eval(Double) - Method in class org.tweetyproject.math.func.fuzzy.DefaultNegation
 
eval(Double) - Method in class org.tweetyproject.math.func.fuzzy.FuzzyNegation
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.TNorm
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.MaxFunction
 
eval(Double, Double) - Method in class org.tweetyproject.math.func.SmoothingFunction
 
eval(Collection<Double>) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.math.func.AggregationFunction
 
eval(List<Double>) - Method in class org.tweetyproject.math.func.AverageAggregator
 
eval(List<Double>) - Method in class org.tweetyproject.math.func.MaxAggregator
 
eval(List<Double>) - Method in class org.tweetyproject.math.func.MinAggregator
 
eval(List<Double>) - Method in class org.tweetyproject.math.func.ProductAggregator
 
eval(List<Double>) - Method in class org.tweetyproject.math.func.SumAggregator
 
eval(Vector<Double>) - Method in class org.tweetyproject.math.func.EntropyFunction
 
eval(T) - Method in interface org.tweetyproject.math.func.SimpleFunction
Evaluates the function for the given element.
eval(T, S) - Method in interface org.tweetyproject.math.func.BinaryFunction
Evaluates the function for the given elements.
evalTerm(Collection<Term>) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm
Gives a representation of this conorm as a mathematical term.
evalTerm(Collection<Term>) - Method in class org.tweetyproject.math.func.fuzzy.TNorm
Gives a representation of this norm as a mathematical term.
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm
 
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm
Gives a representation of this conorm as a mathematical term
evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.TNorm
Gives a representation of this norm as a mathematical term
evaluate() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin
 
evaluate() - Method in class org.tweetyproject.logics.cl.kappa.KappaSum
 
evaluate() - Method in interface org.tweetyproject.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 org.tweetyproject.logics.cl.kappa.KappaValue
 
evaluate(long) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.math.examples.KnapSack
 
evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman
 
evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
evaluates the solution
evaluate(Map<Variable, Term>, Term) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
 
evaluateAggrFunc(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
 
evaluateArithop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
 
evaluateBinop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor
 
evaluateMatrix(List<List<Term>>, double[], List<Variable>) - Static method in class org.tweetyproject.math.term.Term
Evaluates each function in the given matrix with the given values for variables.
EvaluateRule - Class in org.tweetyproject.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 org.tweetyproject.logics.cl.rules.EvaluateRule
 
evaluateVector(List<Term>, double[], List<Variable>) - Static method in class org.tweetyproject.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 org.tweetyproject.math.term.Term
Evaluates each function in the given list with the given values for variables.
EvaluationInconsistencyListener - Class in org.tweetyproject.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 org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener
 
EvaluationTest - Class in org.tweetyproject.logics.cl.test
 
EvaluationTest() - Constructor for class org.tweetyproject.logics.cl.test.EvaluationTest
 
EvaporationRatio - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization
Evaporation Ratio
Event - Class in org.tweetyproject.logics.bpm.syntax
A class to represent events of all kinds in a BPMN Model
Event() - Constructor for class org.tweetyproject.logics.bpm.syntax.Event
Create a new instance
EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType
 
EventBased - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType
EventBased
eventOccurred(UpdateEvent<T>) - Method in interface org.tweetyproject.preferences.events.UpdateListener
UpdateListener is informed as soon as an update occurs
eventOccurred(UpdateEvent<T>) - Method in class org.tweetyproject.preferences.events.UpdatePrinter
This method is called every time an update occurs
EventType - Enum in org.tweetyproject.logics.bpm.syntax
Possible types of events in a BPMN model
EvidentialAcceptability - Class in org.tweetyproject.arg.bipolar.examples
Examples for evidential argumentation frameworks.
EvidentialAcceptability() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialAcceptability
 
EvidentialArgumentation - Class in org.tweetyproject.arg.bipolar.examples
More examples for evidential argumentation frameworks.
EvidentialArgumentation() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation
 
EvidentialArgumentation2 - Class in org.tweetyproject.arg.bipolar.examples
More examples for evidential argumentation frameworks.
EvidentialArgumentation2() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation2
 
EvidentialArgumentationFramework - Class in org.tweetyproject.arg.bipolar.syntax
This class implements a bipolar abstract argumentation theory with support in an evidential sense.
EvidentialArgumentationFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
Default constructor; initializes empty sets of arguments, attacks and supports
EvidentialArgumentationFramework(NecessityArgumentationFramework) - Constructor for class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
creates an evidential argumentation framework from the given framework with necessities
EvidentialArgumentationTest - Class in org.tweetyproject.arg.bipolar
 
EvidentialArgumentationTest() - Constructor for class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
 
evidentialToNecessity() - Method in class org.tweetyproject.arg.bipolar.TranslationTest
 
Example - Class in org.tweetyproject.logics.bpm.examples
Visualize inconsistency analysis for some BPMN models
Example() - Constructor for class org.tweetyproject.logics.bpm.examples.Example
 
example1() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
 
Example1() - Method in class org.tweetyproject.arg.aspic.AspicTest
Implements examples 3.7, 3.9 and 3.11 from Modgil and Prakken
Example1() - Method in class org.tweetyproject.lp.asp.analysis.DLVTest
 
Example11() - Method in class org.tweetyproject.arg.aba.AbaTest
 
example2() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
 
Example2() - Method in class org.tweetyproject.arg.aspic.AspicTest
Implements example 3.25 from Modgil and Prakken
Example2() - Method in class org.tweetyproject.lp.asp.analysis.DLVTest
 
example3() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
 
Example3() - Method in class org.tweetyproject.arg.aba.AbaTest
 
Example3() - Method in class org.tweetyproject.arg.aspic.AspicTest
Implements example 3.26 from Modgil and Prakken
example4() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
 
Example4() - Method in class org.tweetyproject.arg.aba.AbaTest
 
Example4() - Method in class org.tweetyproject.arg.aspic.AspicTest
Implements example 4.1 from Modgil and Prakken
Example4() - Method in class org.tweetyproject.lp.asp.analysis.DLVTest
 
Example5() - Method in class org.tweetyproject.arg.aba.AbaTest
 
ExampleFinder - Class in org.tweetyproject.arg.dung.learning
This class can be used to find example dung theories that produce the same set of extensions wrt to one semantics, but different extensions wrt to another semantics
ExampleFinder(AbstractExtensionReasoner, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.learning.ExampleFinder
initialize with two specific reasoners
ExampleFinder(Semantics, Semantics) - Constructor for class org.tweetyproject.arg.dung.learning.ExampleFinder
initialize with two semantics and automatically find reasoners for them (if they exist)
ExampleFinderExample - Class in org.tweetyproject.arg.dung.examples
example to show the use of the ExampleFinder class
ExampleFinderExample() - Constructor for class org.tweetyproject.arg.dung.examples.ExampleFinderExample
 
ExamplesHTMLGenerator - Class in org.tweetyproject.commons.util
Generates an overview of example classes and resources in the workspace with HTML formatting.
ExamplesHTMLGenerator() - Constructor for class org.tweetyproject.commons.util.ExamplesHTMLGenerator
 
exchange(Map<Term<?>, Term<?>>) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aba.syntax.AbaElement
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
exchange(Term<?>, Term<?>) - Method in interface org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
Exchanges every occurence of "a" by "b" and vice versa.
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.Program
 
exchange(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
 
EXCHANGE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The EXCHANGE postulate
ExcludeSubinterpretationsIterator - Class in org.tweetyproject.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 org.tweetyproject.arg.adf.util.ExcludeSubinterpretationsIterator
 
ExcludeSubinterpretationsIteratorTest - Class in org.tweetyproject.arg.adf.util.test
 
ExcludeSubinterpretationsIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
 
ExcludeTwoValuedSubinterpretationsIterator - Class in org.tweetyproject.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 org.tweetyproject.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
 
ExcludeTwoValuedSubinterpretationsIteratorTest - Class in org.tweetyproject.arg.adf.util.test
 
ExcludeTwoValuedSubinterpretationsIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
 
Exclusive - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType
Exclusive
EXCLUSIVE_GATEWAY - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType
 
ExclusiveDisjunction - Class in org.tweetyproject.logics.fol.syntax
The exclusive disjunction (XOR) in first-order logic.
ExclusiveDisjunction - Class in org.tweetyproject.logics.pl.syntax
This class represents an exclusive disjunction (XOR) in propositional logic.
ExclusiveDisjunction() - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
Creates a new (empty) exclusive disjunction.
ExclusiveDisjunction() - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
Creates a new (empty) exclusive disjunction.
ExclusiveDisjunction(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
Creates a new exclusive disjunction with the given inner formulas.
ExclusiveDisjunction(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
Creates a new XOR formula with the given inner formulas.
ExclusiveDisjunction(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
Creates a new exclusive disjunction with the two given formulae
ExclusiveDisjunction(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
Creates a new exclusive disjunction with the two given formulae
EXCLUSIVEDISJUNCTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
 
ExclusiveDisjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
 
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
 
ExclusiveDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
ExclusiveGateway - Class in org.tweetyproject.logics.bpm.syntax
A class to represent exclusive gateways in a BPMN Model
ExclusiveGateway() - Constructor for class org.tweetyproject.logics.bpm.syntax.ExclusiveGateway
Create a new instance
ExclusiveGatewayParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse exclusive gateways in a BPMN model
ExclusiveGatewayParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.ExclusiveGatewayParser
Create a new instance
Executable - Interface in org.tweetyproject.agents
An executable is an action an agent performs within an environment.
ExecutableDungTheory - Class in org.tweetyproject.agents.dialogues
This class packs a Dung theory into an executable object.
ExecutableDungTheory() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableDungTheory
Creates a new empty theory.
ExecutableDungTheory(DungTheory) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableDungTheory
Creates a new dung theory for the given Dung theory.
ExecutableExtension - Class in org.tweetyproject.agents.dialogues
This class packs an extension into an executable object.
ExecutableExtension() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableExtension
Creates a new empty extension.
ExecutableExtension(Collection<? extends Argument>) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableExtension
Creates a new extension for the given arguments.
ExecutableFormulaSet - Class in org.tweetyproject.agents.dialogues
This class packs a set of formulas into an executable object.
ExecutableFormulaSet() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableFormulaSet
Creates a new empty set.
ExecutableFormulaSet(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableFormulaSet
Creates a new set for the given formulas.
execute() - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query
 
execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
Executes this plugin with given input files and other aggregated parameters
execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.pl.plugin.PlPlugin
Method to be executed with input files and parameters from tweety cli
execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin
Executes this plugin with given input files and other aggregated parameters
execute(File[], CommandParameter[]) - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin
executes the given input
execute(File[], CommandParameter[]) - Method in interface org.tweetyproject.plugin.TweetyPlugin
passes by the arguments given with the call to the called plugin
execute(File[], CommandParameter[]) - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin
 
execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
 
execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
 
execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
 
execute(Collection<? extends Executable>) - Method in interface org.tweetyproject.agents.Environment
Executes the given actions simultaneously and returns the resulting percepts.
execute(AbstractProtocol) - Method in class org.tweetyproject.agents.dialogues.lotteries.LotteryGameSystem
 
execute(AbstractProtocol) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem
 
execute(AbstractProtocol) - Method in class org.tweetyproject.agents.MultiAgentSystem
Executes the given protocol till it terminates.
execute(AbstractProtocol, int) - Method in class org.tweetyproject.agents.MultiAgentSystem
Executes the given protocol for the given number of steps.
execute(Executable) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
 
execute(Executable) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
 
execute(Executable) - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment
 
execute(Executable) - Method in interface org.tweetyproject.agents.Environment
Executes the given action and returns the resulting percepts.
EXECUTE_TILL_TERMINATION - Static variable in class org.tweetyproject.agents.MultiAgentSystem
Indicates that the execution of this system's protocol should be repeated until it has terminated.
executeParallel() - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query
Deprecated.
still work in progress
Execution - Interface in org.tweetyproject.arg.adf.reasoner.sat.execution
Encapsulates the state of a query execution.
ExistentialRestriction - Class in org.tweetyproject.logics.dl.syntax
This class models an existential restriction in description logics, i.e.
ExistentialRestriction(Pair<AtomicRole, ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
 
ExistentialRestriction(AtomicRole, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
Creates a new ALC existential restriction with the given role and concept.
exists() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep
 
existsDirectedPath(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
 
existsDirectedPath(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
 
existsDirectedPath(Argument, Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
existsDirectedPath(SetAf, Argument, Argument) - Static method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
existsDirectedPath(Graph<S>, S, S) - Static method in class org.tweetyproject.graphs.DefaultGraph
Checks whether there is a (directed) path from node1 to node2 in the given graph.
existsDirectedPath(HyperGraph<T>, T, T) - Method in class org.tweetyproject.graphs.HyperGraph
 
existsDirectedPath(BpmnNode, BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
 
existsDirectedPath(PetriNetNode, PetriNetNode) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
 
existsDirectedPath(Marking, Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
 
existsDirectedPath(T, T) - Method in class org.tweetyproject.graphs.DefaultGraph
 
existsDirectedPath(T, T) - Method in interface org.tweetyproject.graphs.DirHyperGraph
Checks whether there is a (directed) path from node1 to node2.
existsDirectedPath(T, T) - Method in interface org.tweetyproject.graphs.Graph
Checks whether there is a (directed) path from node1 to node2.
existsDirectedPath(T, T) - Method in class org.tweetyproject.graphs.HyperGraph
 
ExistsQuantifiedFormula - Class in org.tweetyproject.logics.fol.syntax
Exists-quantified first-order logic formula.
ExistsQuantifiedFormula - Class in org.tweetyproject.logics.qbf.syntax
This class represents existential quantification for boolean formulas.
ExistsQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
Creates a new quantified folFormula with the given folFormula and variables.
ExistsQuantifiedFormula(RelationalFormula, Variable) - Constructor for class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
Creates a new quantified folFormula with the given folFormula and variable.
ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
ExistsQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
Create a new existential boolean quantification.
ExistsQuantifiedFormula(PlFormula, Proposition) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
Create a new existential boolean quantification.
ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
Create a new existential boolean quantification.
EXISTSQUANTIFIER() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
 
Exp - Class in org.tweetyproject.math.term
This class represents an exponential expression by "e".
Exp(Term) - Constructor for class org.tweetyproject.math.term.Exp
Creates a new exponential term with the given term.
expand(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.DefaultMultipleBaseExpansionOperator
 
expand(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
Expands the first collection of formulas by the second collection of formulas.
expand(Collection<T>, T) - Method in interface org.tweetyproject.beliefdynamics.BaseExpansionOperator
Expands the given collection of formulas by the given formula.
expand(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.DefaultBaseExpansionOperator
 
expand(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.equation.Statement
This method expands all associative operations appearing in this statement, e.g.
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Constant
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Difference
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Fraction
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.FunctionalTerm
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Maximum
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Minimum
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Product
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Sum
 
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Term
This method expands all associative operations appearing in this term, e.g.
expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Variable
 
expectedTokenSequences - Variable in exception org.tweetyproject.arg.delp.parser.ParseException
 
expectedTokenSequences - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception org.tweetyproject.lp.asp.parser.ParseException
Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception org.tweetyproject.preferences.io.ParseException
 
Expression(DefeasibleLogicProgram, FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
 
extend(Interpretation, Argument, boolean) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Extends the given interpretation by deciding a currently undecided argument.
ExtendedExampleFinder - Class in org.tweetyproject.arg.dung.learning
This class can be used to find example dung theories that produce the same set of extensions wrt to two semantics, but different extensions wrt to another semantics
ExtendedExampleFinder(AbstractExtensionReasoner, AbstractExtensionReasoner, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder
initialize with three specific reasoners
ExtendedExampleFinder(Semantics, Semantics, Semantics) - Constructor for class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder
initialize with three semantics and automatically find reasoners for them (if they exist)
ExtendedExampleFinderExample - Class in org.tweetyproject.arg.dung.examples
example to show the use of the ExtendedExampleFinder class
ExtendedExampleFinderExample() - Constructor for class org.tweetyproject.arg.dung.examples.ExtendedExampleFinderExample
 
extension() - Method in enum org.tweetyproject.arg.dung.parser.FileFormat
Returns the extension of the file format.
Extension - Class in org.tweetyproject.arg.dung.semantics
This class models a (possible) extension of a Dung theory, i.e.
Extension - Class in org.tweetyproject.logics.rdl.semantics
An extension of a default theory, i.e.
Extension() - Constructor for class org.tweetyproject.arg.dung.semantics.Extension
Creates a new empty extension.
Extension() - Constructor for class org.tweetyproject.logics.rdl.semantics.Extension
Default constructor
Extension(Collection<? extends Argument>) - Constructor for class org.tweetyproject.arg.dung.semantics.Extension
Creates a new extension with the given set of arguments.
Extension(Collection<FolFormula>) - Constructor for class org.tweetyproject.logics.rdl.semantics.Extension
Creates a new extension with the given set of formulas.
ExtensionInconsistencyMeasure - Class in org.tweetyproject.arg.dung
 
ExtensionInconsistencyMeasure() - Constructor for class org.tweetyproject.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|Constant Field Values|Deprecated API|Serialized Form