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
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