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.spring_services.dung.AbstractExtensionReasonerFactory.Semantics

*description missing*

EAFExample - Class in org.tweetyproject.arg.bipolar.examples

EAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.EAFExample

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

eager(LinkStrategy) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder

EAGER_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics

all semantics

EasyPEAFExample - Class in org.tweetyproject.arg.bipolar.examples

EasyPEAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.EasyPEAFExample

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 extends Node> - Class in org.tweetyproject.graphs

Instances of this class represent abstract edges.

Edge(T, T) - Constructor for class org.tweetyproject.graphs.Edge

Creates a new edge for the given nodes.

Edge(T, T, String) - Constructor for class org.tweetyproject.graphs.Edge

Creates a new edge for the given nodes.

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

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

elements - Variable in class org.tweetyproject.math.opt.problem.CombinatoricsProblem

elements

ElephantZooExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample

ELPBaseRevisionOperator - Class in org.tweetyproject.lp.asp.beliefdynamics.baserevision

This class implements the base revision operator for extended logic programs as introduced in [KKI12].

ELPBaseRevisionOperator(ASPSolver, SelectionFunction<ASPRule>) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator

ELPLexicographicalComparator - Class in org.tweetyproject.lp.asp.beliefdynamics.baserevision

This comparator imposes a total order on the set of extended logic programs by use of the lexicographical order given as follows: A program A is less than a program B iff the smallest rule of A is smaller than the smallest rule of B or if both are equal if the second smallest rule of A is smaller than the second smallest rule of B and so on.

ELPLexicographicalComparator() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator

email(String) - Method in class org.tweetyproject.web.spring_services.aba.AbaGetSemanticsResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.delp.DelpPost

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost

*description missing*

email(String) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse

*description missing*

empty() - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

empty(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

EMPTY - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory

emptyBatch() - Method in class org.tweetyproject.arg.delp.TestDeLP

EmptyBeliefBaseTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest

EmptyConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

emptyCrit() - Method in class org.tweetyproject.arg.delp.TestDeLP

EmptyCriterion - Class in org.tweetyproject.arg.delp.semantics

This class implements the empty criterion to compare two arguments.

EmptyCriterion() - Constructor for class org.tweetyproject.arg.delp.semantics.EmptyCriterion

EmptyDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

EmptyNecessityTest() - Method in class org.tweetyproject.logics.ml.MlParserTest

EmptyParenthesesTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

EmptyPossibilityTest() - Method in class org.tweetyproject.logics.ml.MlParserTest

EmptyQuantificationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest

emptyQuery() - Method in class org.tweetyproject.arg.delp.TestDeLP

enable_tracing() - Method in class org.tweetyproject.arg.delp.parser.DelpParser

enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

enable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

enable_tracing() - Method in class org.tweetyproject.lp.asp.parser.ASPParser

Enable tracing.

enable_tracing() - Method in class org.tweetyproject.preferences.io.POParser

enable_tracing() - Method in class org.tweetyproject.preferences.io.UPParser

Enable tracing.

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.BipolarSatEncoding

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedBipolarSatEncoding

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RestrictedKBipolarSatEncoding

encode(Consumer<Clause>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.encodings.SatEncoding

encode(Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineLargerSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.encodings.RelativeSatEncoding

encode(Consumer<Clause>, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding

END_EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType

endColumn - Variable in class org.tweetyproject.arg.delp.parser.Token

endColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The column number of the last character of this Token.

endColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The column number of the last character of this Token.

endColumn - Variable in class org.tweetyproject.lp.asp.parser.Token

The column number of the last character of this Token.

endColumn - Variable in class org.tweetyproject.preferences.io.Token

The column number of the last character of this Token.

EndEvent - Class in org.tweetyproject.logics.bpm.syntax

A class to represent end events in a BPMN Model

EndEvent() - Constructor for class org.tweetyproject.logics.bpm.syntax.EndEvent

Create a new instance

EndEventParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Parse end events of a BPMN model

EndEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.EndEventParser

Create a new instance

endLine - Variable in class org.tweetyproject.arg.delp.parser.Token

endLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The line number of the last character of this Token.

endLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The line number of the last character of this Token.

endLine - Variable in class org.tweetyproject.lp.asp.parser.Token

The line number of the last character of this Token.

endLine - Variable in class org.tweetyproject.preferences.io.Token

The line number of the last character of this Token.

enforceTreeShape - Static variable in class GroundedTest

enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest

enforceTreeShape - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest

enforceTreeShape - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters

Whether the generated theory must have a tree shape.

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

EntropyNorm<T extends Comparable<T>> - Class in org.tweetyproject.math.norm

The entropy norm.

EntropyNorm() - Constructor for class org.tweetyproject.math.norm.EntropyNorm

entrySet() - Method in class org.tweetyproject.arg.adf.util.CacheMap

entrySet() - Method in class org.tweetyproject.arg.adf.util.LazyMap

entrySet() - Method in class org.tweetyproject.arg.dung.semantics.Labeling

entrySet() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling

entrySet() - Method in class org.tweetyproject.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

*description missing*

EnumeratingDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util

This generator generators all possible Dung argumentation theories.

EnumeratingDungTheoryGenerator() - Constructor for class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator

Creates a new enumerating Dung theory generator.

EnumeratingIterator - Class in org.tweetyproject.logics.pl.util

EnumeratingIterator(PlSignature) - Constructor for class org.tweetyproject.logics.pl.util.EnumeratingIterator

Creates a new sampler for the given signature

EnumeratingIterator(PlSignature, boolean) - Constructor for class org.tweetyproject.logics.pl.util.EnumeratingIterator

Creates a new sampler for the given signature

Environment - Interface in org.tweetyproject.agents

This interface models an environment for agents, i.e.

EOF - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants

EOF - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

EOF - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants

End of File.

EOF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants

End of File.

EOF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants

End of File.

EOF - Static variable in interface org.tweetyproject.preferences.io.POParserConstants

End of File.

EOF - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants

End of File.

EOL - Static variable in interface org.tweetyproject.preferences.io.POParserConstants

RegularExpression Id.

EOL - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants

RegularExpression Id.

Episode<S extends State,A extends Action> - 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

EQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

EQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants

RegularExpression Id.

EQUALCONFLICT - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate

The EQUALCONFLICT postulate

EQUALITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

EqualityPredicate - Class in org.tweetyproject.logics.fol.syntax

This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.

EqualityPredicate() - Constructor for class org.tweetyproject.logics.fol.syntax.EqualityPredicate

constructor

EqualityPredicateTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest

equals(Object) - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement

equals(Object) - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement

equals(Object) - Method in class org.tweetyproject.action.transitionsystem.State

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T1Configuration

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState

equals(Object) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState

equals(Object) - Method in class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction

equals(Object) - Method in class org.tweetyproject.agents.MultiAgentSystem

equals(Object) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Assumption

equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Deduction

equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule

equals(Object) - Method in class org.tweetyproject.arg.aba.syntax.Negation

equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition

equals(Object) - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition

equals(Object) - Method in class org.tweetyproject.arg.adf.util.Pair

equals(Object) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

equals(Object) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack

equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport

equals(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.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

equals(Object) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule

equals(Object) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument

equals(Object) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

equals(Object) - Method in class org.tweetyproject.arg.dung.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.serialisibility.syntax.SerialisationGraph

equals(Object) - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.TransitionState

equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.Argument

equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.Attack

equals(Object) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

equals(Object) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

equals(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

equals(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack

equals(Object) - Method in class org.tweetyproject.commons.BeliefSet

equals(Object) - Method in class org.tweetyproject.commons.DualSetSignature

equals(Object) - Method in class org.tweetyproject.commons.InterpretationSet

equals(Object) - Method in class org.tweetyproject.commons.QuadrupleSetSignature

equals(Object) - Method in interface org.tweetyproject.commons.Signature

equals(Object) - Method in class org.tweetyproject.commons.SingleSetSignature

equals(Object) - Method in class org.tweetyproject.commons.TripleSetSignature

equals(Object) - Method in class org.tweetyproject.commons.util.Pair

equals(Object) - Method in class org.tweetyproject.commons.util.rules.Derivation

equals(Object) - Method in class org.tweetyproject.commons.util.Triple

equals(Object) - Method in class org.tweetyproject.graphs.Edge

equals(Object) - Method in class org.tweetyproject.graphs.HyperDirEdge

equals(Object) - Method in class org.tweetyproject.graphs.UndirectedEdge

equals(Object) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction

equals(Object) - Method in class org.tweetyproject.logics.cl.syntax.Conditional

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Functor

equals(Object) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Predicate

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.Sort

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter

equals(Object) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.Complement

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.TopConcept

equals(Object) - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Contradiction

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Implication

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Negation

equals(Object) - Method in class org.tweetyproject.logics.fol.syntax.Tautology

equals(Object) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

equals(Object) - Method in class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure

equals(Object) - Method in class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure

equals(Object) - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional

equals(Object) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld

equals(Object) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Contradiction

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Implication

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Negation

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Proposition

equals(Object) - Method in class org.tweetyproject.logics.pl.syntax.Tautology

equals(Object) - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder

equals(Object) - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

equals(Object) - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula

equals(Object) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

equals(Object) - Method in class org.tweetyproject.logics.rdl.semantics.Extension

equals(Object) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

equals(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment

equals(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld

equals(Object) - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional

equals(Object) - Method in class org.tweetyproject.logics.translators.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.spring_services.aba.AbaGetSemanticsResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost

equals(Object) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.delp.DelpPost

equals(Object) - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost

equals(Object) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse

equals(Object) - Method in class org.tweetyproject.web.spring_services.Ping

equals(Object) - Method in class org.tweetyproject.web.spring_services.Post

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 to analyze the equivalence of two objects.

Equivalence(Pair<RelationalFormula, RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Equivalence

Creates a new equivalence with the given pair of formulas

Equivalence(Pair<PlFormula, PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Equivalence

Creates a new equivalence with the given pair of formulas

Equivalence(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Equivalence

Creates a new equivalence with the given two formulas

Equivalence(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Equivalence

Creates a new equivalence with the given two formulas

EQUIVALENCE() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

EquivalenceAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc

EquivalenceAcceptanceCondition(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).

EquivalenceClassifier - Class in org.tweetyproject.arg.dung.equivalence.classes

This class is responsible for classifying abstract argumentation frameworks due to their equivalence

EquivalenceClassifier(Equivalence<DungTheory>, String) - Constructor for class org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier

*description missing*

EquivalenceClassifierExample - Class in org.tweetyproject.arg.dung.examples

This class summarizes example showing how to use the EquivalenceClassifier

EquivalenceClassifierExample() - Constructor for class org.tweetyproject.arg.dung.examples.EquivalenceClassifierExample

EquivalenceCompExFinder - Class in org.tweetyproject.arg.dung.equivalence

This class represents an example generator.

EquivalenceCompExFinder(Equivalence<DungTheory>, Equivalence<DungTheory>, DecisionMaker) - Constructor for class org.tweetyproject.arg.dung.equivalence.EquivalenceCompExFinder

EquivalenceCompExFinderExample - Class in org.tweetyproject.arg.dung.examples

This class represents a summary of examples to show the use of EquivalenceCompExFinder.

EquivalenceCompExFinderExample() - Constructor for class org.tweetyproject.arg.dung.examples.EquivalenceCompExFinderExample

EquivalenceKernel - Class in org.tweetyproject.arg.dung.equivalence.strong

An abstract kernel for strong equivalence in abstract argumentation frameworks

EquivalenceKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.strong.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

EquivalentTheories<T> - Interface in org.tweetyproject.arg.dung.equivalence

This interface defines methods to generate equivalent theories.

Error - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType

Error

ERROR - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel

ERROR

ES - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem

ES

ES_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_ADM

ES_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_CF

ES_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_CF2

ES_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_CO

ES_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_GR

ES_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_ID

ES_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_PR

ES_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_SST

ES_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_ST

ES_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

ES_STG

Escalation - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType

Escalation

ETA - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure

ETA

EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.logics.commons.analysis

This class implements the Eta-inconsistency measure, cf.

EtaInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B, S>>) - Constructor for class org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure

Creates a new inconsistency measure that uses the interpretations given by the given iterator.

EUCLIDEAN - Static variable in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner

eval(double[]) - Method in class org.tweetyproject.math.func.FracAggrFunction

eval(Double) - Method in class org.tweetyproject.math.func.FractionSequenceFunction

eval(Double) - Method in class org.tweetyproject.math.func.fuzzy.DefaultNegation

eval(Double) - Method in class org.tweetyproject.math.func.fuzzy.FuzzyNegation

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.fuzzy.TNorm

eval(Double, Double) - Method in class org.tweetyproject.math.func.MaxFunction

eval(Double, Double) - Method in class org.tweetyproject.math.func.SmoothingFunction

eval(Collection<Double>) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm

Generalizes this conorm on sets of input parameters (as t-conorms are associative, the order is not important).

eval(Collection<Double>) - Method in class org.tweetyproject.math.func.fuzzy.TNorm

Generalizes this norm on sets of input parameters (as t-norms are associative, the order is not important).

eval(List<Double>) - Method in interface org.tweetyproject.math.func.AggregationFunction

eval(List<Double>) - Method in class org.tweetyproject.math.func.AverageAggregator

eval(List<Double>) - Method in class org.tweetyproject.math.func.MaxAggregator

eval(List<Double>) - Method in class org.tweetyproject.math.func.MinAggregator

eval(List<Double>) - Method in class org.tweetyproject.math.func.ProductAggregator

eval(List<Double>) - Method in class org.tweetyproject.math.func.SumAggregator

eval(Vector<Double>) - Method in class org.tweetyproject.math.func.EntropyFunction

eval(T) - Method in interface org.tweetyproject.math.func.SimpleFunction

Evaluates the function for the given element.

eval(T, S) - Method in interface org.tweetyproject.math.func.BinaryFunction

Evaluates the function for the given elements.

evalTerm(Collection<Term>) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm

Gives a representation of this conorm as a mathematical term.

evalTerm(Collection<Term>) - Method in class org.tweetyproject.math.func.fuzzy.TNorm

Gives a representation of this norm as a mathematical term.

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm

Gives a representation of this conorm as a mathematical term

evalTerm(Term, Term) - Method in class org.tweetyproject.math.func.fuzzy.TNorm

Gives a representation of this norm as a mathematical term

evaluate() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin

evaluate() - Method in class org.tweetyproject.logics.cl.kappa.KappaSum

evaluate() - Method in interface org.tweetyproject.logics.cl.kappa.KappaTerm

Tries to evaluate the kappa term, if the evaluation is successful then the next call of value returns the evaluated value.

evaluate() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue

evaluate(long) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator

Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.

evaluate(long, boolean) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator

Evaluates all postulates of this evaluator on the given approach on num belief bases generated by the sampler of this evaluator.

evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack

evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman

evaluate(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem

evaluates the solution

evaluate(Map<Variable, Term>, Term) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb

evaluateAggrFunc(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor

evaluateArithop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor

evaluateBinop(String) - Static method in class org.tweetyproject.lp.asp.parser.InstantiateVisitor

evaluateMatrix(List<List<Term>>, double[], List<Variable>) - Static method in class org.tweetyproject.math.term.Term

Evaluates each function in the given matrix with the given values for variables.

EvaluateRule - Class in org.tweetyproject.logics.cl.rules

The evaluate rule tries to evaluate the kappa values by using logical constraints, therefore the KappaTerm evaluate() methods are called.

EvaluateRule() - Constructor for class org.tweetyproject.logics.cl.rules.EvaluateRule

evaluateVector(List<Term>, double[], List<Variable>) - Static method in class org.tweetyproject.math.term.Term

Evaluates each function in the given list with the given values for variables.

evaluateVector(List<Term>, Map<Variable, ? extends Term>) - Static method in class org.tweetyproject.math.term.Term

Evaluates each function in the given list with the given values for variables.

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

EvaluationInconsistencyListener - Class in org.tweetyproject.logics.commons.analysis.streams

An inconsistency listener that is apt for doing evaluations on the performance of an inconsistency measure.

EvaluationInconsistencyListener(String, int) - Constructor for class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener

EvaluationTest - Class in org.tweetyproject.logics.cl.test

EvaluationTest() - Constructor for class org.tweetyproject.logics.cl.test.EvaluationTest

EvaporationRatio - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization

Evaporation Ratio

Event - Class in org.tweetyproject.logics.bpm.syntax

A class to represent events of all kinds in a BPMN Model

Event() - Constructor for class org.tweetyproject.logics.bpm.syntax.Event

Create a new instance

EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType

EventBased - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType

EventBased

eventOccurred(UpdateEvent<T>) - Method in interface org.tweetyproject.preferences.events.UpdateListener

UpdateListener is informed as soon as an update occurs

eventOccurred(UpdateEvent<T>) - Method in class org.tweetyproject.preferences.events.UpdatePrinter

This method is called every time an update occurs

EventType - Enum in org.tweetyproject.logics.bpm.syntax

Possible types of events in a BPMN model

EvidentialAcceptability - Class in org.tweetyproject.arg.bipolar.examples

Examples for evidential argumentation frameworks.

EvidentialAcceptability() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialAcceptability

EvidentialArgumentation - Class in org.tweetyproject.arg.bipolar.examples

More examples for evidential argumentation frameworks.

EvidentialArgumentation() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation

EvidentialArgumentation2 - Class in org.tweetyproject.arg.bipolar.examples

More examples for evidential argumentation frameworks.

EvidentialArgumentation2() - Constructor for class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation2

EvidentialArgumentationFramework - Class in org.tweetyproject.arg.bipolar.syntax

This class implements a bipolar abstract argumentation theory with support in an evidential sense.

EvidentialArgumentationFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

Default constructor; initializes empty sets of arguments, attacks and supports

EvidentialArgumentationFramework(NecessityArgumentationFramework) - Constructor for class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

creates an evidential argumentation framework from the given framework with necessities

EvidentialArgumentationTest - Class in org.tweetyproject.arg.bipolar

EvidentialArgumentationTest() - Constructor for class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest

evidentialToNecessity() - Method in class org.tweetyproject.arg.bipolar.TranslationTest

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

examineNewTheory(DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.classes.EquivalenceClassifier

Examines a specified argumentation framework wrt a possible new class

Example - Class in org.tweetyproject.logics.bpm.examples

Visualize inconsistency analysis for some BPMN models

Example() - Constructor for class org.tweetyproject.logics.bpm.examples.Example

example1() - Static method in class org.tweetyproject.arg.dung.examples.DungTheoryPlotterExample

Creates example no.1

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

Creates example no.2

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

Creates example no.3

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)

ExampleFinderExample - Class in org.tweetyproject.arg.dung.examples

example to show the use of the ExampleFinder class

ExampleFinderExample() - Constructor for class org.tweetyproject.arg.dung.examples.ExampleFinderExample

ExamplesHTMLGenerator - Class in org.tweetyproject.commons.util

Generates an overview of example classes and resources in the workspace with HTML formatting.

ExamplesHTMLGenerator() - Constructor for class org.tweetyproject.commons.util.ExamplesHTMLGenerator

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

EXCHANGE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate

The EXCHANGE postulate

ExcludeSubinterpretationsIterator - Class in org.tweetyproject.arg.adf.util

Iterates through all interpretations except the ones equal to or more specific than the provided ones.

ExcludeSubinterpretationsIterator(List<Interpretation>) - Constructor for class org.tweetyproject.arg.adf.util.ExcludeSubinterpretationsIterator

ExcludeSubinterpretationsIteratorTest - Class in org.tweetyproject.arg.adf.util.test

ExcludeSubinterpretationsIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest

ExcludeTwoValuedSubinterpretationsIterator - Class in org.tweetyproject.arg.adf.util

Iterates through all two-valued(!) interpretations except the ones equal to or more specific than the provided ones.

ExcludeTwoValuedSubinterpretationsIterator(List<Interpretation>) - Constructor for class org.tweetyproject.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator

ExcludeTwoValuedSubinterpretationsIteratorTest - Class in org.tweetyproject.arg.adf.util.test

ExcludeTwoValuedSubinterpretationsIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

Exclusive - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType

Exclusive

EXCLUSIVE_GATEWAY - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType

ExclusiveDisjunction - Class in org.tweetyproject.logics.fol.syntax

The exclusive disjunction (XOR) in first-order logic.

ExclusiveDisjunction - Class in org.tweetyproject.logics.pl.syntax

This class represents an exclusive disjunction (XOR) in propositional logic.

ExclusiveDisjunction() - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

Creates a new (empty) exclusive disjunction.

ExclusiveDisjunction() - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

Creates a new (empty) exclusive disjunction.

ExclusiveDisjunction(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

Creates a new exclusive disjunction with the given inner formulas.

ExclusiveDisjunction(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

Creates a new XOR formula with the given inner formulas.

ExclusiveDisjunction(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

Creates a new exclusive disjunction with the two given formulae

ExclusiveDisjunction(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

Creates a new exclusive disjunction with the two given formulae

EXCLUSIVEDISJUNCTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

ExclusiveDisjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc

ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition

ExclusiveDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

ExclusiveGateway - Class in org.tweetyproject.logics.bpm.syntax

A class to represent exclusive gateways in a BPMN Model

ExclusiveGateway() - Constructor for class org.tweetyproject.logics.bpm.syntax.ExclusiveGateway

Create a new instance

ExclusiveGatewayParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Parse exclusive gateways in a BPMN model

ExclusiveGatewayParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.ExclusiveGatewayParser

Create a new instance

Executable - Interface in org.tweetyproject.agents

An executable is an action an agent performs within an environment.

ExecutableDungTheory - Class in org.tweetyproject.agents.dialogues

This class packs a Dung theory into an executable object.

ExecutableDungTheory() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableDungTheory

Creates a new empty theory.

ExecutableDungTheory(DungTheory) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableDungTheory

Creates a new dung theory for the given Dung theory.

ExecutableExtension - Class in org.tweetyproject.agents.dialogues

This class packs an extension into an executable object.

ExecutableExtension() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableExtension

Creates a new empty extension.

ExecutableExtension(Collection<? extends Argument>) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableExtension

Creates a new extension for the given arguments.

ExecutableFormulaSet - Class in org.tweetyproject.agents.dialogues

This class packs a set of formulas into an executable object.

ExecutableFormulaSet() - Constructor for class org.tweetyproject.agents.dialogues.ExecutableFormulaSet

Creates a new empty set.

ExecutableFormulaSet(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.agents.dialogues.ExecutableFormulaSet

Creates a new set for the given formulas.

execute() - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query

execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin

Executes this plugin with given input files and other aggregated parameters

execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.pl.plugin.PlPlugin

Method to be executed with input files and parameters from tweety cli

execute(File[], CommandParameter[]) - Method in class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin

Executes this plugin with given input files and other aggregated parameters

execute(File[], CommandParameter[]) - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin

executes the given input

execute(File[], CommandParameter[]) - Method in interface org.tweetyproject.plugin.TweetyPlugin

passes by the arguments given with the call to the called plugin

execute(File[], CommandParameter[]) - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin

execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment

execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment

execute(Collection<? extends Executable>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment

execute(Collection<? extends Executable>) - Method in interface org.tweetyproject.agents.Environment

Executes the given actions simultaneously and returns the resulting percepts.

execute(AbstractProtocol) - Method in class org.tweetyproject.agents.dialogues.lotteries.LotteryGameSystem

execute(AbstractProtocol) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem

execute(AbstractProtocol) - Method in class org.tweetyproject.agents.MultiAgentSystem

Executes the given protocol till it terminates.

execute(AbstractProtocol, int) - Method in class org.tweetyproject.agents.MultiAgentSystem

Executes the given protocol for the given number of steps.

execute(Executable) - Method in class org.tweetyproject.agents.dialogues.ArgumentationEnvironment

execute(Executable) - Method in class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment

execute(Executable) - Method in class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment

execute(Executable) - Method in interface org.tweetyproject.agents.Environment

Executes the given action and returns the resulting percepts.

execute(S) - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy

execute(S) - Method in interface org.tweetyproject.machinelearning.rl.mdp.Policy

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.

existence(IncompleteTheory) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner

ExistentialRestriction - Class in org.tweetyproject.logics.dl.syntax

This class models an existential restriction in description logics, i.e.

ExistentialRestriction(Pair<AtomicRole, ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.ExistentialRestriction

ExistentialRestriction(AtomicRole, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ExistentialRestriction

Creates a new ALC existential restriction with the given role and concept.

exists() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep

existsDirectedPath(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

existsDirectedPath(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

existsDirectedPath(Argument, Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

existsDirectedPath(SetAf, Argument, Argument) - Static method in class org.tweetyproject.arg.setaf.syntax.SetAf

existsDirectedPath(Graph<S>, S, S) - Static method in class org.tweetyproject.graphs.DefaultGraph

Checks whether there is a (directed) path from node1 to node2 in the given graph.

existsDirectedPath(HyperGraph<T>, T, T) - Method in class org.tweetyproject.graphs.HyperGraph

existsDirectedPath(BpmnNode, BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel

existsDirectedPath(PetriNetNode, PetriNetNode) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet

existsDirectedPath(Marking, Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

existsDirectedPath(T, T) - Method in class org.tweetyproject.graphs.DefaultGraph

existsDirectedPath(T, T) - Method in interface org.tweetyproject.graphs.DirHyperGraph

Checks whether there is a (directed) path from node1 to node2.

existsDirectedPath(T, T) - Method in interface org.tweetyproject.graphs.Graph

Checks whether there is a (directed) path from node1 to node2.

existsDirectedPath(T, T) - Method in class org.tweetyproject.graphs.HyperGraph

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

ExistsQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

Create a new existential boolean quantification.

ExistsQuantifiedFormula(PlFormula, Proposition) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

Create a new existential boolean quantification.

ExistsQuantifiedFormula(ExistsQuantifiedFormula) - Constructor for class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

Create a new existential boolean quantification.

EXISTSQUANTIFIER() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

Exp - Class in org.tweetyproject.math.term

This class represents an exponential expression by "e".

Exp(Term) - Constructor for class org.tweetyproject.math.term.Exp

Creates a new exponential term with the given term.

expand(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.DefaultMultipleBaseExpansionOperator

expand(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator

Expands the first collection of formulas by the second collection of formulas.

expand(Collection<T>, T) - Method in interface org.tweetyproject.beliefdynamics.BaseExpansionOperator

Expands the given collection of formulas by the given formula.

expand(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.DefaultBaseExpansionOperator

expand(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator

expandAssociativeOperations() - Method in class org.tweetyproject.math.equation.Statement

This method expands all associative operations appearing in this statement, e.g.

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Constant

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Difference

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Fraction

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.FunctionalTerm

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Maximum

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Minimum

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Product

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Sum

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Term

This method expands all associative operations appearing in this term, e.g.

expandAssociativeOperations() - Method in class org.tweetyproject.math.term.Variable

ExpandMCExample - Class in org.tweetyproject.arg.bipolar.examples

ExpandMCExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.ExpandMCExample

expectedTokenSequences - Variable in exception org.tweetyproject.arg.delp.parser.ParseException

expectedTokenSequences - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException

Each entry in this array is an array of integers.

expectedTokenSequences - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException

Each entry in this array is an array of integers.

expectedTokenSequences - Variable in exception org.tweetyproject.lp.asp.parser.ParseException

Each entry in this array is an array of integers.

expectedTokenSequences - Variable in exception org.tweetyproject.preferences.io.ParseException

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

extend(Interpretation, Argument, boolean) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

Extends the given interpretation by deciding a currently undecided argument.

ExtendedExampleFinder - Class in org.tweetyproject.arg.dung.learning

This class can be used to find example dung theories that produce the same set of extensions wrt to two semantics, but different extensions wrt to another semantics

ExtendedExampleFinder(AbstractExtensionReasoner, AbstractExtensionReasoner, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder

initialize with three specific reasoners

ExtendedExampleFinder(Semantics, Semantics, Semantics) - Constructor for class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder

initialize with three semantics and automatically find reasoners for them (if they exist)

ExtendedExampleFinderExample - Class in org.tweetyproject.arg.dung.examples

example to show the use of the ExtendedExampleFinder class

ExtendedExampleFinderExample() - Constructor for class org.tweetyproject.arg.dung.examples.ExtendedExampleFinderExample

extension() - Method in enum org.tweetyproject.arg.dung.parser.FileFormat

Returns the extension of the file format.

Extension<T extends ArgumentationFramework<Argument>> - 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

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