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 and Interfaces|All Packages|Constant Field Values|Serialized Form

E

EA - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: EA
EA - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Eager semantics
EAFExample - Class in org.tweetyproject.arg.bipolar.examples: Provides an example of constructing an Argumentation Framework (EAFTheory) and saving its representation to a file.
EAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.EAFExample: Default constructor for the EAFExample class.
EAFTheory - Class in org.tweetyproject.arg.bipolar.syntax: This class implements an abstract argumentation theory in the sense of Evidential Argumentation Frameworks (EAF).
EAFTheory() - Constructor for class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Default constructor; initializes an empty EAFTheory
EAFTheory(Set<BArgument>) - Constructor for class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Optional constructor; initializes an EAFTheory with arguments
EAFToDAFConverter - Class in org.tweetyproject.arg.bipolar.io.eaf: converts EAF to DAF
EAFToDAFConverter() - Constructor for class org.tweetyproject.arg.bipolar.io.eaf.EAFToDAFConverter: Default Constructor
eager(LinkStrategy) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder: Eager builder
EAGER_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
EasyPEAFExample - Class in org.tweetyproject.arg.bipolar.examples: Provides an example of constructing a Probabilistic Argumentation Framework (PEAFTheory), adding support relationships, and inducing extensions using a specific inducer.
EasyPEAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.EasyPEAFExample: Default Constructor
EAttack - Class in org.tweetyproject.arg.bipolar.syntax: Evidential attack used for PEAF and EAF
EAttack(Set<BArgument>, Set<BArgument>) - Constructor for class org.tweetyproject.arg.bipolar.syntax.EAttack: The default constructor that creates EAttack object
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> - 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.
EdgeListWriter - Class in org.tweetyproject.arg.bipolar.io: The EdgeList writer is a utility class for testing purposes to write networkx compatible EdgeList file format.
EdgeListWriter() - Constructor for class org.tweetyproject.arg.bipolar.io.EdgeListWriter: Default Constructor
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.
ElementNotFoundException(String) - Constructor for exception class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.ElementNotFoundException: The atomic variable to store the occurrence of this exception.
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: Constructor
elements - Variable in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: elements
ElephantZooExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample: Constructs the Elephant Zoo Example MLN with a given domain size.
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: Constructs an ELPBaseRevisionOperator with the specified ASP solver and selection function.
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: Default Constructor
email(String) - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Method to set the email for this response and return the modified object.
email(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Sets the email associated with the request.
email(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Sets the email for this object and returns the instance of AbaReasonerResponse.
email(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost: Sets the email associated with the DeLP request.
email(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Sets the email associated with the DeLP response.
email(String) - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Sets the email associated with the Dung reasoner response.
email(String) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Sets the email address and returns this instance for method chaining.
email(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Method to set the email and return the modified response object.
email(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Sets the email address associated with this post and returns this instance for method chaining.
email(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Sets the email property of this response and returns the response object itself for method chaining.
empty() - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Returns an empty 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: Factory type for creating an instance of EmptyCriterion.
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: Default Constructor
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.
enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Enable tracing.
enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser: Enable tracing.
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.
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: Encodes the bipolar Abstract Dialectical Framework (ADF) into a set of SAT clauses.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding: Encodes the conflict-free interpretation of the given ADF into a set of SAT clauses.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding: Encodes the acceptance conditions of the arguments in the ADF into a SAT formula using a given consumer.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedBipolarSatEncoding: Encodes the restricted bipolar Abstract Dialectical Framework (ADF) into a set of SAT clauses based on the given partial interpretation.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedKBipolarSatEncoding: Encodes the bipolar Abstract Dialectical Framework (ADF) into a set of SAT clauses.
encode(Consumer<Clause>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding: Encodes the structure into a set of SAT clauses and provides them to the given consumer.
encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding: Encodes the two-valued model of the ADF into a set of SAT clauses and provides them to the given consumer.
encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding: Encodes the conflict-free interpretation of the given ADF into a set of SAT clauses based on the provided interpretation.
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: Encodes the given interpretation into a set of SAT clauses that represent the refinement of the interpretation, ensuring that the resulting interpretation is not equal to the input interpretation.
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: Encodes a specific two-valued interpretation of the ADF into a set of SAT clauses and provides them to the given consumer.
END_EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType: END_EVENT
endColumn - Variable in class org.tweetyproject.arg.delp.parser.Token: The column number of the last character of this 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: The line number of the last character of this 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 GroundedTest
enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: Flag indicating whether the framework should enforce a tree-like structure.
enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: A flag indicating whether the framework should enforce a tree shape structure.
enforceTreeShape - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters: Whether the generated theory must have a tree shape.
entails(Set<PlFormula>, PlFormula) - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase: Computes if a specified conclusion could be drawn from adding the specified premises to this instance.
entails(PlFormula) - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedTheory: This method checks if a specified fomula can be concluded from this instance, by checking if all stable extension contain at least one argument with the conclusion to check.
Entity - Class in org.tweetyproject.arg.dung.learning.syntax: Class representing an entity with an underlying hidden argumentation framework.
Entity(DungTheory) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.Entity: initialize the entity with the given AF
Entity(DungTheory, List<Input>) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.Entity
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: Constructor
EntropyNorm<T> - Class in org.tweetyproject.math.norm: The entropy norm.
EntropyNorm() - Constructor for class org.tweetyproject.math.norm.EntropyNorm: Constructor
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.MinMaxNumbering
entrySet() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
entrySet() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
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.
EnumeratingDilationGenerator - Class in org.tweetyproject.arg.dung.util: This class is responsible for dilating a specified original abstract argumentation framework by adding new arguments and new attacks, while conserving the original framwork.
EnumeratingDilationGenerator(DungTheory) - Constructor for class org.tweetyproject.arg.dung.util.EnumeratingDilationGenerator: Constructs a new dilation generator with a reference to an original Dung theory.
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: This sampler enumerates all possible propositional belief bases of the given signature.
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: End of File (EOF) token ID.
EOF - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants: End of File.
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.
Episode<S,A> - Class in org.tweetyproject.machinelearning.rl.mdp: This class models an episode in MPDs, i.e.
Episode(S) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.Episode: Creates a new empty episode for the given starting state
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: Represents the "equal to" operator
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: Returns the symbol for equality.
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.semantics.link.SimpleLink
equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.Argument
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: Compares this ArgumentSet to another object for equality.
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.EAttack
equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
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: Checks for equality between this argument and another object.
equals(Object) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule: Checks if this rule is equal to another object.
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.causal.syntax.CausalModel
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.serialisability.semantics.SerialisationGraph
equals(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode
equals(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
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.extended.syntax.ExtendedAttack
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: Compares this atomic concept to another object for equality.
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: Compares this complement to another object for equality.
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.adfconditional.FourValuedWorld
equals(Object) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld
equals(Object) - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
equals(Object) - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
equals(Object) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
equals(Object) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
equals(Object) - Method in class org.tweetyproject.logics.translators.adfrevision.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.machinelearning.rl.mdp.FixedPolicy
equals(Object) - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedAction
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(Object) - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse
equals(Object) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost
equals(Object) - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class org.tweetyproject.web.services.delp.DeLPPost
equals(Object) - Method in class org.tweetyproject.web.services.delp.DeLPResponse
equals(Object) - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse
equals(Object) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse
equals(Object) - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse
equals(Object) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost
equals(Object) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse
equals(Object) - Method in class org.tweetyproject.web.services.Ping: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class org.tweetyproject.web.services.Post: Determines whether this Post object is equal to another object.
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.
equalsIn(HashSet<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Method to check if an equal object to this object is contained in the specified set
EqualsTester - Class in org.tweetyproject.lp.asp.syntax: tests equality
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<T> - Interface in org.tweetyproject.arg.dung.equivalence: This interface defines methods for equivalence notions.
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: Returns the symbol for equivalence.
EquivalenceAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc: EquivalenceAcceptanceCondition class
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).
EquivalenceExample - Class in org.tweetyproject.arg.dung.examples: Example showcasing the use of different equivalence notions for abstract argumentation frameworks
EquivalenceExample() - Constructor for class org.tweetyproject.arg.dung.examples.EquivalenceExample: Constructor
EquivalenceKernel - Class in org.tweetyproject.arg.dung.equivalence.kernel: A strong equivalence kernel for abstract argumentation frameworks, used to characterise strong equivalence wrt.
EquivalenceKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.kernel.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,S> - 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: Euclidean Distance id
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(DungTheory, Set<Argument>) - Static method in class org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner: Returns the maximal k such that the given extension is a k-stable* extension of the given AAF.
eval(DungTheory, Set<Argument>) - Static method in class org.tweetyproject.arg.dung.reasoner.MaxSatKStableReasoner: Returns the maximal k such that the given extension is a k-stable extension of the given AAF.
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: Return the evaluation
evaluateAggrFunc(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor: Evaluates the given aggregate function string and returns the corresponding ASPOperator.AggregateFunction.
evaluateArithop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor: Evaluates the given arithmetic operator string and returns the corresponding
evaluateBinop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor: evaluateBinop
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: Default
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.
EvaluateWorld4V - Class in org.tweetyproject.logics.translators.adfconditional: This class represents an implementation of example 4, 5 and 6 from the paper [Heyninck et al.
EvaluateWorld4V() - Constructor for class org.tweetyproject.logics.translators.adfconditional.EvaluateWorld4V: Default Constructor
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: Constructor
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: EVENT
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: Demonstrates the use of evidential argumentation frameworks.
EvidentialAcceptability() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialAcceptability: Default Constructor
EvidentialArgumentation - Class in org.tweetyproject.arg.bipolar.examples: More examples for evidential argumentation frameworks.
EvidentialArgumentation() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation: Default Constructor
EvidentialArgumentation2 - Class in org.tweetyproject.arg.bipolar.examples: More examples for evidential argumentation frameworks.
EvidentialArgumentation2() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation2: Default Constructor
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
EXACT - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see ExactAnalysis
ExactAnalysis - Class in org.tweetyproject.arg.bipolar.analysis: This class implements exact probabilistic justification of a set of queries by generating all possible induces EAfs from a PEAF.
ExactAnalysis(PEAFTheory, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ExactAnalysis: Creates an ExactAnalysis object
ExactPEAFInducer - Class in org.tweetyproject.arg.bipolar.inducers: ExactPEAFInducer generates all possible EAFs that can be generated from a PEAF.
ExactPEAFInducer(PEAFTheory) - Constructor for class org.tweetyproject.arg.bipolar.inducers.ExactPEAFInducer: The default constructor for the ExactPEAFInducer
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: Default Constructor
example1() - Static method in class org.tweetyproject.arg.dung.examples.DungTheoryPlotterExample: Generates the first example of an argumentation framework.
example1() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
example1(AbstractExtensionReasoner) - Static method in class org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
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: example 1
Example11() - Method in class org.tweetyproject.arg.aba.AbaTest
example2() - Static method in class org.tweetyproject.arg.dung.examples.DungTheoryPlotterExample: Generates the second example of an argumentation framework.
example2() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
example2(AbstractExtensionReasoner) - Static method in class org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
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: ex 2
example3() - Static method in class org.tweetyproject.arg.dung.examples.DungTheoryPlotterExample: Generates the third example of an argumentation framework.
example3() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
example3(AbstractExtensionReasoner) - Static method in class org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
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: ex 4
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)
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: Default
Exceptions() - Constructor for class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Exceptions
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: Exchanges two terms in all rules of the nested logic program.
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: Constructs a new ExcludeSubinterpretationsIterator that iterates over a list of interpretations, excluding subinterpretations according to a specific order and structure.
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: Constructs a new ExcludeTwoValuedSubinterpretationsIterator that iterates over a list of interpretations, excluding two-valued subinterpretations according to a specific order and structure.
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: EXCLUSIVE_GATEWAY
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: Returns the symbol for exclusive disjunction.
ExclusiveDisjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc: ExclusiveDisjunctionAcceptanceCondition class
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: Return execute
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(S) - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy
execute(S) - Method in interface org.tweetyproject.machinelearning.rl.mdp.Policy: Return a action
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: Computes the query in parallel.
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: Constructor
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: Return exists
existsDirectedPath(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
existsDirectedPath(SerialisationNode, SerialisationNode) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
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: Return whether the path exists
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: Checks if there is a direct path from node 1 to node 2
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
existsMoreThanOneModelOfDNF(AssociativePlFormula) - Static method in class org.tweetyproject.arg.dung.learning.util.ModelComputation: compute whether the given formula in DNF has more than one model
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: Formula to be constructed
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: Returns the symbol for the existential quantifier.
existsReinstatementSet(Argument, Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Determines whether there exists a reinstatement set for the attack (a,b)
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
ExpandMCExample - Class in org.tweetyproject.arg.bipolar.examples: Demonstrates the use of various PEAF (Probabilistic Evidential Argumentation Framework) inducers to compute and display argumentation frameworks and their associated probabilities.
ExpandMCExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.ExpandMCExample: Default Constructor
expectedTokenSequences - Variable in exception class org.tweetyproject.arg.delp.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception class org.tweetyproject.lp.asp.parser.ParseException: Each entry in this array is an array of integers.
expectedTokenSequences - Variable in exception class org.tweetyproject.preferences.io.ParseException: Each entry in this array is an array of integers.
expectedUtility(Policy<S, A>, int, double) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Approximates the expected utility of the given policy within this MPD using Monte Carlo search (which uses the given number of episodes)
Expression(DefeasibleLogicProgram, FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser: Parses an expression in the defeasible logic program.
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.
ExtendedAttack - Class in org.tweetyproject.arg.extended.syntax: Represents an Extended Attack, i.e., an attack from some argument to another (extended) attack or argument
ExtendedAttack(Argument, Argument) - Constructor for class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Initializes an extended attack from an argument to an argument
ExtendedAttack(Argument, Attack) - Constructor for class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Initializes an extended attack from an argument to an attack
ExtendedAttack(Argument, DungEntity) - Constructor for class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Constructs an ExtendedAttack object, which represents an extended attack in a Dung argumentation framework.
ExtendedAttack(Argument, ExtendedAttack) - Constructor for class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Initializes an extended attack from an argument to an extended attack
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)
ExtendedTheory - Class in org.tweetyproject.arg.extended.syntax: Implementation of extended argumentation frameworks in the sense of Modgil
ExtendedTheory() - Constructor for class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Initializes an empty Extended Theory
ExtendedTheoryExample - Class in org.tweetyproject.arg.extended.examples: Example usage of Extended Argumentation Frameworks
ExtendedTheoryExample() - Constructor for class org.tweetyproject.arg.extended.examples.ExtendedTheoryExample: Default
extension() - Method in enum org.tweetyproject.arg.dung.parser.FileFormat: Returns the extension of the file format.
Extension<T> - 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.
ExtensionAnalysis - Interface in org.tweetyproject.arg.bipolar.analysis.extensions: The `ExtensionAnalysis` interface provides a contract for analyzing and retrieving extensions in the context of argumentation frameworks, particularly within the domain of bipolar argumentation.
ExtensionInconsistencyMeasure - Class in org.tweetyproject.arg.dung
ExtensionInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
ExtensionRankingExample - Class in org.tweetyproject.arg.dung.examples: Example on how to use the OrderingSemanticsReasoner.
ExtensionRankingExample() - Constructor for class org.tweetyproject.arg.dung.examples.ExtensionRankingExample
ExtensionRankingReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner using ranking semantics.
ExtensionRankingReasoner(ExtensionRankingSemantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner: create a reasoner for the given ordering semantics
ExtensionRankingSemantics - Enum in org.tweetyproject.arg.dung.semantics: This enum lists ordering semantics.
extensionTest() - Method in class SetAfTheoryTest
extractFrequentPatterns() - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree: Extracts all frequent patterns from this tree.
extractFrequentPatterns(Collection<T>) - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree: Extracts all frequent patterns from this tree plus prefix.

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 and Interfaces|All Packages|Constant Field Values|Serialized Form