A-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages

A

AbaAttack<T extends Formula> - Class in net.sf.tweety.arg.aba.semantics: This class models an ABA attack.
AbaAttack(Argument, Argument) - Constructor for class net.sf.tweety.arg.aba.semantics.AbaAttack: Creates a new ABA attack
AbaElement<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax: Abstract class that models common properties of aba syntax elements.
AbaElement() - Constructor for class net.sf.tweety.arg.aba.syntax.AbaElement
AbaExample - Class in net.sf.tweety.arg.aba.examples: Shows some simple code for working with ABA
AbaExample() - Constructor for class net.sf.tweety.arg.aba.examples.AbaExample
AbaExtension<T extends Formula> - Class in net.sf.tweety.arg.aba.semantics: This class models an ABA Extension, meaning a set of assumptions.
AbaExtension() - Constructor for class net.sf.tweety.arg.aba.semantics.AbaExtension: Default constructor
AbaExtension(Collection<Assumption<T>>) - Constructor for class net.sf.tweety.arg.aba.semantics.AbaExtension: Creates a new extension with the given assumptions.
AbaParser<T extends Formula> - Class in net.sf.tweety.arg.aba.parser: Parses a Assumption Based Argumentation System out of an input text.
AbaParser(Parser<? extends BeliefBase, ? extends Formula>) - Constructor for class net.sf.tweety.arg.aba.parser.AbaParser: Creates a new ABA parser
AbaRule<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax: A common interface for assumptions and inference rules.
AbaRule() - Constructor for class net.sf.tweety.arg.aba.syntax.AbaRule
AbaTest - Class in net.sf.tweety.arg.aba: Test class for ABA.
AbaTest() - Constructor for class net.sf.tweety.arg.aba.AbaTest
AbaTheory<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax: An implementation of Assumption Based Argumentation.
AbaTheory() - Constructor for class net.sf.tweety.arg.aba.syntax.AbaTheory
abbreviation() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem: Returns the abbreviation of the sub-problem.
abbreviation() - Method in enum net.sf.tweety.arg.dung.semantics.OrderingSemantics: Returns the abbreviation of the ordering semantics.
abbreviation() - Method in enum net.sf.tweety.arg.dung.semantics.Semantics: Returns the abbreviation of the semantics.
abort() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Aborts the measurement of a stream.
absoluteBounded(int, Ordering<Argument>, IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.sat.processor.RelativeKBipolarStateProcessor
AbsoluteValue - Class in net.sf.tweety.math.term: This class models the absolute value of the inner term.
AbsoluteValue(Term) - Constructor for class net.sf.tweety.math.term.AbsoluteValue: Creates a new absolute value term with the given inner term.
AbstractAcceptabilityReasoner - Class in net.sf.tweety.arg.dung.reasoner: Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt.
AbstractAcceptabilityReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner
AbstractAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax.acc
AbstractAcceptanceCondition(Collection<AcceptanceCondition>) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
AbstractArgumentationExample - Class in net.sf.tweety.beliefdynamics.examples: Example code for applying belief dynamics on abstract argumentation frameworks.
AbstractArgumentationExample() - Constructor for class net.sf.tweety.beliefdynamics.examples.AbstractArgumentationExample
AbstractArgumentationInterpretation - Class in net.sf.tweety.arg.dung.semantics: This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
AbstractArgumentationInterpretation() - Constructor for class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
AbstractAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner: The abstract ancestor of all Aspic reasoner implementations
AbstractAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner: Creates a new instance
AbstractAssociationRuleMiner<T> - Class in net.sf.tweety.machinelearning.assoc: Abstract layer for association rule miners, bundles common methods.
AbstractAssociationRuleMiner() - Constructor for class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
AbstractBeliefSetConsistencyTester<T extends Formula> - Class in net.sf.tweety.logics.commons.analysis: Classes extending this abstract class are capable of testing whether a given belief set is consistent.
AbstractBeliefSetConsistencyTester() - Constructor for class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
AbstractBipolarFramework - Class in net.sf.tweety.arg.bipolar.syntax: This class implements a bipolar abstract argumentation framework with attack and support relations.
AbstractBipolarFramework() - Constructor for class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
AbstractCoherenceMeasure - Class in net.sf.tweety.logics.mln.analysis: This class represents an abstract coherence measure, i.e.
AbstractCoherenceMeasure() - Constructor for class net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure
AbstractCollector<U,D,R> - Class in net.sf.tweety.arg.adf.transform: Similar to AbstractTransformer but is designed for collections and therefore provides Collector functionality for free.
AbstractCollector() - Constructor for class net.sf.tweety.arg.adf.transform.AbstractCollector
AbstractConditionalLogicReasoner - Class in net.sf.tweety.logics.cl.reasoner: Abstract ancestor for all reasoner for conditional logic.
AbstractConditionalLogicReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner
AbstractCredibilityComparer - Class in net.sf.tweety.beliefdynamics.mas: This class provides for auxiliary functions used to compare formulas and proofs of formulas wrt.
AbstractCredibilityComparer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer: Creates a new credibility comparer that is guided by the giving information which agents uttered the formulas and the credibility order.
AbstractCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis: The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.
AbstractCreepingMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
AbstractDeductiveArgumentationReasoner - Class in net.sf.tweety.arg.deductive.reasoner: This class contains common characteristics for deductive argumentation reasoner.
AbstractDeductiveArgumentationReasoner(Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner: Creates a new reasoner for the given belief base, categorizer, and accumulator.
AbstractDialecticalFramework - Interface in net.sf.tweety.arg.adf.syntax.adf: The implementing subtypes must ensure the following properties: Immutability All methods return a non-null value if its parameters, e.g.
AbstractDialecticalFramework.Builder - Interface in net.sf.tweety.arg.adf.syntax.adf
AbstractDialecticalFramework.Signature - Class in net.sf.tweety.arg.adf.syntax.adf
AbstractDialecticalFrameworkReasoner - Class in net.sf.tweety.arg.adf.reasoner: Ancestor class for all adf reasoner
AbstractDialecticalFrameworkReasoner(Pipeline) - Constructor for class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
AbstractDungParser - Class in net.sf.tweety.arg.dung.parser: This abstract class gives a template for parsers of files representing abstract argumentation frameworks.
AbstractDungParser() - Constructor for class net.sf.tweety.arg.dung.parser.AbstractDungParser
AbstractDungReasoner - Class in net.sf.tweety.arg.dung.reasoner: Ancestor class for all AAF reasoners.
AbstractDungReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
AbstractDungWriter - Class in net.sf.tweety.arg.dung.writer: Writes an abstract argumentation framework into a file of a specific format.
AbstractDungWriter() - Constructor for class net.sf.tweety.arg.dung.writer.AbstractDungWriter
AbstractExtensionReasoner - Class in net.sf.tweety.arg.dung.reasoner: Ancestor class for all extension-based reasoners.
AbstractExtensionReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
AbstractGraphLdoModality - Class in net.sf.tweety.arg.dung.ldo.syntax: Provides common functionalities for the graph-based modalities in LDO.
AbstractGraphLdoModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
AbstractInterpretation<B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.commons: An abstract interpretation for some logical language.
AbstractInterpretation() - Constructor for class net.sf.tweety.commons.AbstractInterpretation
ABSTRACTION - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The ABSTRACTION postulate
AbstractLdoModality - Class in net.sf.tweety.arg.dung.ldo.syntax: Provides common functionalities for all modalities in LDO.
AbstractLdoModality(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality: Creates a new modality for the given inner formula
AbstractLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries: An agent in a game of argumentation lotteries.
AbstractLotteryAgent(String, DungTheory, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent: Creates a new lottery agent
AbstractMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner: This class provides common methods for MLN reasoner.
AbstractMlnReasoner() - Constructor for class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
AbstractMlReasoner - Class in net.sf.tweety.logics.ml.reasoner: Abstract modal reasoner to be implemented by concrete reasoners.
AbstractMlReasoner() - Constructor for class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
AbstractMusEnumerator<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: Abstract implementation for MUes enumerators.
AbstractMusEnumerator() - Constructor for class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
AbstractOrdering<T> - Class in net.sf.tweety.arg.adf.reasoner.ordering: This class provides a skeletal implementation of the Ordering interface, to minimize the effort required to implement this interface.
AbstractOrdering() - Constructor for class net.sf.tweety.arg.adf.reasoner.ordering.AbstractOrdering
AbstractPAChangeOperator - Class in net.sf.tweety.arg.prob.dynamics: Provides common functionality for change operators based on probabilistic semantics.
AbstractPAChangeOperator(PASemantics, RealVectorNorm, SimpleRealValuedFunction) - Constructor for class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator: Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
AbstractPafReasoner - Class in net.sf.tweety.arg.prob.reasoner: Abstract anecestor for PAF reasoner.
AbstractPafReasoner(Semantics) - Constructor for class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner: Creates a new reasoner.
AbstractPASemantics - Class in net.sf.tweety.arg.prob.semantics: This class bundles common answering behaviour for probabilistic argumentation semantics.
AbstractPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.AbstractPASemantics
AbstractPclReasoner - Class in net.sf.tweety.logics.pcl.reasoner: Abstract class for all PCL reasoners.
AbstractPclReasoner() - Constructor for class net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner
AbstractPlReasoner - Class in net.sf.tweety.logics.pl.reasoner: Abstract class for propositional logic reasoners.
AbstractPlReasoner() - Constructor for class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
AbstractProtocol - Class in net.sf.tweety.agents: A protocol gives instructions in which order agents have to be asked for actions in a multi-agent system.
AbstractProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.AbstractProtocol: Creates a new protocol for the given multi-agent system.
AbstractRankingReasoner<R extends ArgumentRanking> - Class in net.sf.tweety.arg.rankings.reasoner: Common abstract class for ranking reasoners for abstract argumentation.
AbstractRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner
AbstractRealVectorNorm - Class in net.sf.tweety.math.norm: Abstract class for real vector norms.
AbstractRealVectorNorm() - Constructor for class net.sf.tweety.math.norm.AbstractRealVectorNorm
AbstractRpclSemantics - Class in net.sf.tweety.logics.rpcl.semantics: This class bundles common answering behaviour for relational conditional semantics.
AbstractRpclSemantics() - Constructor for class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
AbstractSatExtensionReasoner - Class in net.sf.tweety.arg.dung.reasoner: Uses a provided SAT solver to solve reasoning problems in AAFs.
AbstractSatExtensionReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner: Instantiates a new reasoner that uses the given SAT solver
AbstractSocialSemantics<L> - Class in net.sf.tweety.arg.social.semantics: This is the abstract ancestor of concrete semantics for social abstract argumentation frameworks, cf.
AbstractSocialSemantics() - Constructor for class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
AbstractTransformer<U,D,R> - Class in net.sf.tweety.arg.adf.transform
AbstractTransformer() - Constructor for class net.sf.tweety.arg.adf.transform.AbstractTransformer
AbstractTweetyPlugin - Class in net.sf.tweety.plugin: This abstract class implements the TweetyPlugin interface and provides a base for plugin implementations in each project
AbstractTweetyPlugin() - Constructor for class net.sf.tweety.plugin.AbstractTweetyPlugin
AbstractUnmodifiableSet<E> - Class in net.sf.tweety.arg.adf.util
AbstractUnmodifiableSet() - Constructor for class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
accept(File, String) - Method in class net.sf.tweety.arg.dung.parser.ApxFilenameFilter
accept(Visitor<U, D>, D) - Method in interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition: Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.ConjunctionAcceptanceCondition
accept(Visitor<U, D>, D) - Method in enum net.sf.tweety.arg.adf.syntax.acc.ContradictionAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
accept(Visitor<U, D>, D) - Method in enum net.sf.tweety.arg.adf.syntax.acc.TautologyAcceptanceCondition
accept(Visitor<U, D>, D) - Method in class net.sf.tweety.arg.adf.syntax.Argument
AcceptabilityReasonerExample - Class in net.sf.tweety.arg.dung.examples: This example shows how the different acceptability reasoner work.
AcceptabilityReasonerExample() - Constructor for class net.sf.tweety.arg.dung.examples.AcceptabilityReasonerExample
AcceptanceCondition - Interface in net.sf.tweety.arg.adf.syntax.acc: An immutable representation of acceptance conditions for ADFs.
AcceptanceCondition.Builder - Class in net.sf.tweety.arg.adf.syntax.acc
AccEqualityTest - Class in net.sf.tweety.arg.adf.syntax.test
AccEqualityTest() - Constructor for class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
AccessibilityRelation - Class in net.sf.tweety.logics.ml.semantics: This class models an accessibility relation for Kripke models.
AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet, FolFormula>, Interpretation<FolBeliefSet, FolFormula>>>) - Constructor for class net.sf.tweety.logics.ml.semantics.AccessibilityRelation: Constructs a new accessibility relation.
accumulate(List<Double>, List<Double>) - Method in interface net.sf.tweety.arg.deductive.accumulator.Accumulator: Accumulates the pros and contras of the given list into a single double.
accumulate(List<Double>, List<Double>) - Method in class net.sf.tweety.arg.deductive.accumulator.SimpleAccumulator
Accumulator - Interface in net.sf.tweety.arg.deductive.accumulator: Classes implementing this interface represent accumulators in the sense of Definition 8.11 in

Philippe Besnard and Anthony Hunter.
ActionDescription<T extends CausalLaw> - Class in net.sf.tweety.action.description.syntax: This class represents an action description as a set of causal laws.
ActionDescription() - Constructor for class net.sf.tweety.action.description.syntax.ActionDescription: Creates a new empty action description.
ActionDescription(Collection<? extends T>) - Constructor for class net.sf.tweety.action.description.syntax.ActionDescription: Creates a new action description containing all elements in the collection given.
ActionDescriptionConsistencyTester<T extends CausalLaw> - Interface in net.sf.tweety.action.description.analysis: Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.
ActionEvent - Class in net.sf.tweety.agents: An action event encapsulates a multi agent system, an agent in this system, and an action (which was performed by the agent).
ActionEvent(Agent, MultiAgentSystem<? extends Agent>, Executable) - Constructor for class net.sf.tweety.agents.ActionEvent: Creates a new ActionEvent.
ActionName - Interface in net.sf.tweety.action.signature: A basic interface representing an action name.
actionPerformed(ActionEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
actionPerformed(ActionEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
actionPerformed(ActionEvent) - Method in interface net.sf.tweety.agents.ProtocolListener: This method is called when an action has been performed in the given protocol.
ActionQuery - Interface in net.sf.tweety.action.query.syntax: This is a basic interface for action queries.
ActionQueryParser - Class in net.sf.tweety.action.query.parser: This class implements a parser for action queries in S.
ActionQueryParser(ActionSignature) - Constructor for class net.sf.tweety.action.query.parser.ActionQueryParser
ActionQuerySatisfactionTester - Interface in net.sf.tweety.action.query.analysis: Classes implementing this interface are capable of checking whether a transition system satisfies an action query.
ActionQuerySet<T extends ActionQuery> - Class in net.sf.tweety.action.query.syntax: An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.
ActionQuerySet() - Constructor for class net.sf.tweety.action.query.syntax.ActionQuerySet: Creates an empty ActionQuerySet
ActionQuerySet(Collection<? extends T>) - Constructor for class net.sf.tweety.action.query.syntax.ActionQuerySet: Creates a new ActionQuerySet initialized with the given collection of action queries.
ActionSignature - Class in net.sf.tweety.action.signature: This class represents an action signature consisting of a set of fluent names and a set of action names.
ActionSignature() - Constructor for class net.sf.tweety.action.signature.ActionSignature: Creates an empty signature
ActionSignature(Collection<?>) - Constructor for class net.sf.tweety.action.signature.ActionSignature: Creates a signature with the given objects (should be sorts, constants, predicates or formulas).
ActionSignature(FolFormula) - Constructor for class net.sf.tweety.action.signature.ActionSignature: Creates a new Action Signature for a single first order formula.
ActionSignatureParser - Class in net.sf.tweety.action.signature.parser: This class implements a parser for signatures of action descriptions.
ActionSignatureParser() - Constructor for class net.sf.tweety.action.signature.parser.ActionSignatureParser
Activity - Class in net.sf.tweety.logics.bpm.syntax
Activity(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Activity
AD - net.sf.tweety.arg.dung.semantics.OrderingSemantics
add(int, LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
add(int, RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
add(int, ComplexConcept) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
add(int, PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
add(int, ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
add(int, T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
add(E) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
add(Object) - Method in class net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Signature
add(Object) - Method in class net.sf.tweety.arg.dung.syntax.DungSignature
add(Object) - Method in interface net.sf.tweety.commons.Signature: Adds the given formula to this signature.
add(Object) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
add(Object) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Adds single objects to this signature, iff the object is an appropriate concept, role or individual or a formula.
add(Object) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Adds the given object, either a constant, a sort, a predicate, or a functor, to this signature.
add(Object) - Method in class net.sf.tweety.logics.pl.syntax.PlSignature
add(Object...) - Method in class net.sf.tweety.commons.DualSetSignature
add(Object...) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
add(Object...) - Method in interface net.sf.tweety.commons.Signature: Adds the given formulas to the signature.
add(Object...) - Method in class net.sf.tweety.commons.SingleSetSignature
add(Object...) - Method in class net.sf.tweety.commons.TripleSetSignature
add(Object...) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
add(Collection<Disjunction>) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousCloseSatSolverState
add(Collection<Disjunction>) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState
add(Collection<Disjunction>) - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState: Adds the given set of clauses to the solver state.
add(Collection<Disjunction>) - Method in class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
add(AbstractLotteryAgent) - Method in class net.sf.tweety.agents.dialogues.lotteries.LotteryGameSystem
add(ArguingAgent) - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem
add(Assumption<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
add(Link) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
add(Argument, AcceptanceCondition) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
add(Attack) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds the given attack to this argumentation framework
add(Attack) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework
add(Attack) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework
add(Attack) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
add(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds argument to this argumentation framework
add(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
add(Support) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds the given support to this argumentation framework.
add(Support) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Adds the given support to this bipolar argumentation framework.
add(Support) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework
add(Support) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
add(LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
add(LdoFormula...) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula: Adds the specified elements to the end of this collection (optional operation).
add(Argument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds argument to this argumentation framework for better compatibility between dung theories and bipolar argumentation frameworks
add(Argument) - Method in class net.sf.tweety.arg.dung.semantics.Extension
add(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
add(Argument) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
add(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
add(Argument, Probability) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Adds the given argument with the given probability
add(Attack) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Adds the given attack to this dung theory.
add(Attack) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
add(Attack...) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Adds the given attacks to this dung theory.
add(Attack, Probability) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework: Adds the given attack with the given probability
add(DungTheory) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Adds all arguments and attacks of the given theory to this theory
add(DungTheory) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
add(BasicArgument) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
add(Formula) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
add(Formula...) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
add(Triple<T, T, Relation>) - Method in interface net.sf.tweety.preferences.BinaryRelation: adds a new triple containing two elements and its relation
add(Triple<T, T, Relation>) - Method in class net.sf.tweety.preferences.PreferenceOrder: adds a given pair of generic elements to the set.
add(Edge<BArgument>) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
add(Edge<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
add(Edge<BpmnNode>) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
add(Edge<T>) - Method in class net.sf.tweety.graphs.DefaultGraph
add(Edge<T>) - Method in interface net.sf.tweety.graphs.Graph: Adds the given edge to this graph.
add(BpmnNode) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
add(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.Sort: Adds the given term to this sort.
add(RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
add(ComplexConcept) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
add(ComplexConcept...) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula: Adds the specified elements to the end of this collection (optional operation).
add(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
add(FolFormula...) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula: Adds the specified elements to the end of this collection (optional operation).
add(Disjunction) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousCloseSatSolverState
add(Disjunction) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState
add(Disjunction) - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState: Adds the given clause to the solver state.
add(Disjunction) - Method in class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
add(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
add(PlFormula...) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula: Adds the specified elements to the end of this collection (optional operation).
add(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
add(ASPLiteral...) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead: Adds the specified elements to the end of this collection (optional operation).
add(Program) - Method in class net.sf.tweety.lp.asp.syntax.Program: Adds another program's content to the content of this program.
add(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix: Adds the given matrix to this one and returns the result.
add(Probability) - Method in class net.sf.tweety.math.probability.Probability: Computes the sum of this and the given probability.
add(Term) - Method in class net.sf.tweety.math.term.Term: Returns the sum of this and the given term.
add(Update<T>) - Method in class net.sf.tweety.preferences.update.UpdateStream
add(S) - Method in class net.sf.tweety.math.Interval
add(S, T) - Method in class net.sf.tweety.machinelearning.TrainingSet: Adds the specified elements as a pair to this set if it is not already present.
add(T) - Method in class net.sf.tweety.agents.MultiAgentSystem
add(T) - Method in class net.sf.tweety.commons.BeliefSet
add(T) - Method in class net.sf.tweety.commons.InterpretationSet
add(T) - Method in class net.sf.tweety.graphs.DefaultGraph
add(T) - Method in interface net.sf.tweety.graphs.Graph: Adds the given node to this graph.
add(T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
add(T...) - Method in class net.sf.tweety.commons.BeliefSet: Adds the specified elements to the end of this collection (optional operation).
add(T...) - Method in class net.sf.tweety.commons.InterpretationSet: Adds the specified elements to the end of this collection (optional operation).
add(T...) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport: Appends the specified elements to the end of this collection (optional operation).
addAll(int, Collection<? extends LdoFormula>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
addAll(int, Collection<? extends RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
addAll(int, Collection<? extends ComplexConcept>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
addAll(int, Collection<? extends PlFormula>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
addAll(int, Collection<? extends ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
addAll(int, Collection<? extends T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
addAll(Collection<?>) - Method in class net.sf.tweety.commons.DualSetSignature
addAll(Collection<?>) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
addAll(Collection<?>) - Method in interface net.sf.tweety.commons.Signature: Adds all elements of this collection to this signature.
addAll(Collection<?>) - Method in class net.sf.tweety.commons.SingleSetSignature
addAll(Collection<?>) - Method in class net.sf.tweety.commons.TripleSetSignature
addAll(Collection<?>) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
addAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Adds items of the given collection to this signature.
addAll(Collection<? extends E>) - Method in class net.sf.tweety.arg.adf.util.AbstractUnmodifiableSet
addAll(Collection<? extends Assumption<T>>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
addAll(Collection<? extends BArgument>) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
addAll(Collection<? extends LdoFormula>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
addAll(Collection<? extends Argument>) - Method in class net.sf.tweety.arg.dung.semantics.Extension
addAll(Collection<? extends BasicArgument>) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
addAll(Collection<? extends Triple<T, T, Relation>>) - Method in class net.sf.tweety.preferences.PreferenceOrder: adds all given elements to the preference order
addAll(Collection<? extends RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
addAll(Collection<? extends ComplexConcept>) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
addAll(Collection<? extends FolFormula>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
addAll(Collection<? extends PlFormula>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
addAll(Collection<? extends ASPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
addAll(Collection<? extends S>) - Method in class net.sf.tweety.math.Interval
addAll(Collection<? extends T>) - Method in class net.sf.tweety.agents.MultiAgentSystem
addAll(Collection<? extends T>) - Method in class net.sf.tweety.commons.BeliefSet
addAll(Collection<? extends T>) - Method in class net.sf.tweety.commons.InterpretationSet
addAll(Collection<? extends T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
addAllAttacks(Collection<? extends Attack>) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds the set of attacks to this argumentation framework
addAllAttacks(Collection<? extends Attack>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Adds the set of attacks to this Dung theory.
addAllPostulates(Collection<? extends Postulate<T>>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Adds all postulates in the given collection.
addAllSupports(Collection<? extends Support>) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework: Adds the set of supports to this argumentation framework
addAllTerm(Collection<Term>) - Method in class net.sf.tweety.math.term.AssociativeOperation: Adds all the given terms of this operation.
addAndCopy(T) - Method in class net.sf.tweety.agents.dialogues.DialogueTrace: Returns a copy of this trace and adds the given move to this copy.
addArgument(Term<?>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
addArgument(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm: Appends the given argument to this term's arguments and returns itself.
addArgument(Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom: Adds an argument to the atom's argument list
addArgument(Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom: Appends the given argument to this atom's arguments and returns itself.
addArgument(Term<?>) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
addArgument(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
addArgument(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
addArgumentType(Sort) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure: Adds the given Sort as argument type to the typed Structure
addArgumentType(Sort) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
addArgumentType(Sort) - Method in class net.sf.tweety.logics.pl.syntax.PlPredicate
addAssumption(T) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
addAttack(ArgumentSet, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Adds an attack from the set of arguments to the argument to this evidential argumentation system.
addAttack(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Adds an attack from the first argument to the second to this deductive argumentation system.
addAttack(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Adds an attack from the first argument to the second to this evidential argumentation system.
addAttack(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: Adds an attack from the first argument to the second to this necessity argumentation system.
addAttack(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Adds an attack from the first argument to the second to thisDdung theory.
addAttack(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: add attack between both arguments to the theory and set weight to 1
addAttack(Argument, Argument, double) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory: add attack between both arguments to the theory and set weight to given value
addAxiom(T) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Adds an additional axiom, i.e.
addBeliefbase(Collection<? extends Formula>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel: Adds a belief base to the end of the ordered list of belief bases.
addCandidateProcessor(InterpretationProcessor) - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder
addConditional(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure: Adds the given Conditional to the ConditionalStructure and updates the structure.
addConditionalConditionalGenerators() - Method in class net.sf.tweety.logics.cl.test.TestConditionalStructure
addConditionalSignature() - Method in class net.sf.tweety.logics.cl.test.TestConditionalStructure
addConditionalWorldGenerators() - Method in class net.sf.tweety.logics.cl.test.TestConditionalStructure
addDirectSub(AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Adds a subargument
addEntry(AgentGenerator<T, R>, Map<AgentGenerator<T, R>, Double>) - Method in class net.sf.tweety.agents.sim.SimulationResult: Adds a new entry of a simulation run.
addFact(C) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram: Adds the given fact to the program
addFact(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
addFact(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.Program
addFact(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program
addFacts(C...) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram: Adds the given facts to the program
addFacts(FolFormula...) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
addFacts(ASPHead...) - Method in class net.sf.tweety.lp.asp.syntax.Program
addField(String, String) - Method in class net.sf.tweety.plugin.PluginOutput
addField(OutputField) - Method in class net.sf.tweety.plugin.PluginOutput
addGroundingRequirement(GroundingRequirement) - Method in class net.sf.tweety.action.description.syntax.CLaw
addInconsistencyListener(InconsistencyListener) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
addInconsistencyListener(InconsistencyListener) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure: Add a listener to this measure.
ADDITIONOFATTACKBRANCH - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The ADDITIONOFATTACKBRANCH postulate
ADDITIONOFDEFENSEBRANCH - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The ADDITIONOFDEFENSEBRANCH postulate
addListener(PropertyChangeListener) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel: Adds a property change listener
addListener(PropertyChangeListener) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Adds a property change listener
addListener(UpdateListener<T>) - Method in interface net.sf.tweety.preferences.aggregation.DynamicPreferenceAggregator: The add-method for listeners for a dynamic preference aggregator
addListener(UpdateListener<T>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator: adds a listener to this dynamic preference aggregator
addModelProcessor(InterpretationProcessor) - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder
addNegation(T, T) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: Adds a negation of form not formula = negation
addNegativeInstance(Postulate<S>, Collection<S>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport: Adds a negative instance for the given postulate
addNotApplicableInstance(Postulate<S>, Collection<S>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport: Adds an instance that is not applicable for the given postulate
addOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel: Adds the given revision operator to the set of selectable revision methods.
addOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Adds the given revision operator to the set of selectable revision methods.
addOrdinaryPremise(T) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Adds an additional ordinary, i.e.
addPair(T, T, Relation) - Method in class net.sf.tweety.preferences.PreferenceOrder: adds two given (single) elements as pair into the set
addParameter(CommandParameter) - Method in class net.sf.tweety.plugin.AbstractTweetyPlugin: adds new command parameter to this plugin
addParameter(CommandParameter) - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
addPositiveInstance(Postulate<S>, Collection<S>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport: Adds a positive instance for the given postulate (that is applicable)
addPostulate(Postulate<T>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator: Adds the given postulate
addPremise(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
addPremise(FolFormula) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
addPremise(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
addPremise(PlFormula) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
addPremise(PlFormula) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
addPremise(Proposition) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
addPremise(ASPBodyElement) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
addPremise(P) - Method in interface net.sf.tweety.commons.util.rules.Rule
addPremise(T) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
addPremise(T) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
addPremise(T) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
addPremises(Collection<? extends PlFormula>) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
addPremises(Collection<? extends PlFormula>) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
addPremises(Collection<? extends Proposition>) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
addPremises(Collection<? extends ASPBodyElement>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
addPremises(Collection<? extends P>) - Method in interface net.sf.tweety.commons.util.rules.Rule
addPremises(Collection<? extends T>) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
addPremises(Collection<? extends T>) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
addPremises(Collection<? extends T>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
addPrimaFacie(BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Adds a argument with evidential support to this evidential argumentation system If the argument is already in this evidential argumentation system, adds evidential support
addProbabilityNormalizationConstraint(ExpressionsBasedModel) - Static method in class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils: Add probability normalization constraint to model (all probabilities have to sum to 1).
addProtocolListener(ProtocolListener) - Method in class net.sf.tweety.agents.AbstractProtocol
addProtocolListener(ProtocolListener) - Method in interface net.sf.tweety.agents.Protocol: Adds the given listener to this protocol.
addRule(InferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Adds an additional inference rule
addSignature(Signature) - Method in class net.sf.tweety.commons.DualSetSignature
addSignature(Signature) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
addSignature(Signature) - Method in interface net.sf.tweety.commons.Signature: Adds the elements of the given signature to this signature.
addSignature(Signature) - Method in class net.sf.tweety.commons.SingleSetSignature
addSignature(Signature) - Method in class net.sf.tweety.commons.TripleSetSignature
addSignature(Signature) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnSignature
addState(Set<FolAtom>) - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Creates a new state and adds it to this transition system.
addState(State) - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Adds a state to this transition system.
addStateProcessor(StateProcessor) - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder
addSubDeduction(Deduction<T>) - Method in class net.sf.tweety.arg.aba.syntax.Deduction: Adds a subdeduction
addSupport(ArgumentSet, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Adds a support from a set of arguments to an argument to this argumentation framework.
addSupport(ArgumentSet, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: Adds a support from a set of arguments to an argument to this argumentation framework.
addSupport(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: Adds a support from the first argument to the second to this bipolar argumentation framework.
addSupport(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: Adds a support from the first argument to the second to this argumentation framework.
addSupport(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: Adds a support from the first argument to the second to this argumentation framework.
addTerm(Term) - Method in class net.sf.tweety.math.term.AssociativeOperation: Adds the given term to this operation.
addToConclusion(T) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule: Adds the given object to the conclusion.
addToHead(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
addToPremise(T) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule: Adds the given object to the premise.
addTransition(Transition) - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Adds a given transition to this transition system.
ADJUNCTIONINVARIANCE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The ADJUNCTIONINVARIANCE postulate
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
adjustBeginLineColumn(int, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
adjustBeginLineColumn(int, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
ADM - net.sf.tweety.arg.dung.semantics.Semantics
ADMISSIBLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.OrderingSemantics
ADMISSIBLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
AdmissibleReasoner - Class in net.sf.tweety.arg.adf.reasoner
AdmissibleReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential: a set of arguments S is admissible iff it is conflict-free and all elements of S are acceptable wrt.
AdmissibleReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.necessity: a set of arguments S is admissible iff it is strongly coherent and defends all of its arguments.
AdmissibleReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.AdmissibleReasoner
AdmissibleReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.necessity.AdmissibleReasoner
AdmissibleReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.AdmissibleReasoner
AdmissibleReasoning() - Method in class net.sf.tweety.arg.bipolar.NecessityArgumentationTest
AdmissibleVerifier - Class in net.sf.tweety.arg.adf.reasoner.sat.verifier
AdmissibleVerifier() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.verifier.AdmissibleVerifier
Agent - Class in net.sf.tweety.agents: An agent is a possibly proactive entity situated in some environment.
Agent(String) - Constructor for class net.sf.tweety.agents.Agent: Creates a new agent with the given name.
AgentGenerator<T extends Agent,S extends MultiAgentSystem<T>> - Interface in net.sf.tweety.agents.sim: This interface defines an agent template that is used to generate agents following some common characteristics.
aggregate(List<PreferenceOrder<T>>) - Method in interface net.sf.tweety.preferences.aggregation.DynamicPreferenceAggregator: Abstract class for implementation of dynamic preference aggregation
aggregate(List<PreferenceOrder<T>>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator: This method aggregates the given preference orders according to the WeightVector used within construction
aggregate(List<PreferenceOrder<T>>) - Method in interface net.sf.tweety.preferences.aggregation.PreferenceAggregator: Abstract class for implementation of different aggregation and scoring methods
aggregate(List<PreferenceOrder<T>>) - Method in class net.sf.tweety.preferences.aggregation.ScoringPreferenceAggregator: Implementation of the aggregation of a given input-array of sets and a weight vector
Aggregate() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
AGGREGATE_COUNT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
AGGREGATE_COUNT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
AGGREGATE_MAX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
AGGREGATE_MAX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
AGGREGATE_MIN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
AGGREGATE_MIN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
AGGREGATE_SUM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
AGGREGATE_SUM - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
AggregateAtom - Class in net.sf.tweety.lp.asp.syntax: This class represents an aggregate.
AggregateAtom() - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom: Empty default constructor.
AggregateAtom(AggregateAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom: Copy-Constructor
AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom: Creates a new Aggregate with the given aggregate function and the given aggregate elements.
AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom: Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given aggregate relation.
AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateAtom: Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations.
AggregateElement - Class in net.sf.tweety.lp.asp.syntax: This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).
AggregateElement(List<Term<?>>, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateElement: Creates a new Aggregate Element with the given list of terms and the given list of naf literals.
AggregateElement(AggregateElement) - Constructor for class net.sf.tweety.lp.asp.syntax.AggregateElement: Copy-Constructor
AggregateElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
AggregateElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
AggregateFunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
AggregateTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
AggregatingCoherenceMeasure - Class in net.sf.tweety.logics.mln.analysis: This coherence measure uses an aggregation function and a distance function to measure the coherence of an MLN.
AggregatingCoherenceMeasure(RealVectorNorm, AggregationFunction) - Constructor for class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
AggregatingNorm - Class in net.sf.tweety.math.norm: This norm uses an aggregator on the 1-norm distance of each value.
AggregatingNorm(AggregationFunction) - Constructor for class net.sf.tweety.math.norm.AggregatingNorm: Creates a new distance function with the given aggregator.
AggregatingSemantics - Class in net.sf.tweety.logics.rpcl.semantics: This class implements aggregating semantics due to [Kern-Isberner, Thimm, KR'2010].
AggregatingSemantics() - Constructor for class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics
AggregationFunction - Interface in net.sf.tweety.math.func: This class aggregates a list of doubles to a single double.
AlchemyExample - Class in net.sf.tweety.logics.mln.examples: Example code illustrating the use of the Alchemy reasoner.
AlchemyExample() - Constructor for class net.sf.tweety.logics.mln.examples.AlchemyExample
AlchemyMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner: This class implements a wrapper for Alchemy in order to reason with MLNs.
AlchemyMlnReasoner() - Constructor for class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
allAttacks(Collection<Assumption<T>>, Collection<Assumption<T>>, AbaTheory<T>) - Static method in class net.sf.tweety.arg.aba.semantics.AbaAttack: Returns all attacks from the given attacking set to the given attacked set.
allAttacks(AbaTheory<T>) - Static method in class net.sf.tweety.arg.aba.semantics.AbaAttack: Returns all attacks between arguments in the given AbaTheory.
allBijections(Collection<E>, Collection<F>) - Method in class net.sf.tweety.commons.util.MapTools: Computes all bijections from E to F.
allDerivations(Collection<? extends S>) - Static method in class net.sf.tweety.commons.util.rules.Derivation: Returns the set of all possible derivations from the set of rules.
allDerivations(Collection<? extends S>, Formula) - Static method in class net.sf.tweety.commons.util.rules.Derivation: Returns the set of all possible derivations with the given conclusion from the set of rules.
allGroundInstances(Set<Constant>) - Method in class net.sf.tweety.arg.aba.syntax.AbaElement: Computes all ground instances of all inner fol formulas wrt.
allGroundInstances(Set<Constant>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
allGroundInstances(Set<Constant>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula: Computes all ground instances of this relational formula wrt.
allMaps(Map<Set<E>, Set<F>>) - Method in class net.sf.tweety.commons.util.MapTools: Computes the complete set of maps from E to F such that the following condition holds.
allMaps(Set<? extends E>, Set<? extends F>) - Method in class net.sf.tweety.commons.util.MapTools: This methods computes all maps from domain to range.
allMapsSingleSource(Map<E, Set<F>>) - Method in class net.sf.tweety.commons.util.MapTools: Computes the complete set of maps from E to F such that the following condition holds.
allSubstitutions(Collection<? extends Term<?>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaElement: Computes all possible substitutions, i.e.
allSubstitutions(Collection<? extends Term<?>>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule: Computes all possible substitutions, i.e.
allSubstitutions(Collection<? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula: Computes all possible substitutions, i.e.
allTrue() - Method in class net.sf.tweety.arg.adf.util.ThreeValuedBitSet
AlwaysQuery - Class in net.sf.tweety.action.query.syntax: This class represents an always query in the action query language S.
AlwaysQuery(FolFormula) - Constructor for class net.sf.tweety.action.query.syntax.AlwaysQuery: Creates a new always query with the given inner formula.
AnalysisExample - Class in net.sf.tweety.logics.pcl.examples
AnalysisExample() - Constructor for class net.sf.tweety.logics.pcl.examples.AnalysisExample
and(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
and(Collection<L>) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics: The AND-operation on all given arguments
and(L, L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics: The AND-operation on L in this framework
and(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
and(AcceptanceCondition...) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
and(PriestWorld.TruthValue) - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
ANONYMOUS_VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
ANONYMOUS_VARIABLE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
AnswerSet - Class in net.sf.tweety.lp.asp.semantics: An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.
AnswerSet() - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet: Creates a new empty AnswerSet.
AnswerSet(Collection<ASPLiteral>, int, int) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet: Creates a new empty AnswerSet with the given level and weight.
AnswerSet(AnswerSet) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet: Copy-Constructor
AnswerSet() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ANY - Static variable in class net.sf.tweety.logics.commons.syntax.Sort: Default sort for terms of equality/inequality predicates.
ApacheCommonsCMAESOptimizer - Class in net.sf.tweety.math.opt.solver: This class is a wrapper for the Apache Commons Math3 CMAES optimizer (https://commons.apache.org/proper/commons-math/).
ApacheCommonsCMAESOptimizer(int, int, double, boolean, int, int, double) - Constructor for class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer: Parameters from org.apache.commons.math3.optim.nonlinear.scalar.noderiv.CMAESOptimizer:
ApacheCommonsCMAESOptimizerEx - Class in net.sf.tweety.math.examples: This class implements an example for the ApacheCommonsCMAESOptimizer
ApacheCommonsCMAESOptimizerEx() - Constructor for class net.sf.tweety.math.examples.ApacheCommonsCMAESOptimizerEx
ApacheCommonsCMAESOptimizerTest - Class in net.sf.tweety.math.test
ApacheCommonsCMAESOptimizerTest() - Constructor for class net.sf.tweety.math.test.ApacheCommonsCMAESOptimizerTest
ApacheCommonsNonLinearConjugateGradientOptimizer - Class in net.sf.tweety.math.opt.solver: This class is a wrapper for the Apache Commons Math3 Non-Linear Conjugate Gradient Optimizer (https://commons.apache.org/proper/commons-math/).
ApacheCommonsNonLinearConjugateGradientOptimizer(int, double) - Constructor for class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer: Creates a new solver.
ApacheCommonsNonLinearConjugateGradientOptimizerEx - Class in net.sf.tweety.math.examples: This class implements an example for the ApacheCommonsNonLinearConjugateGradientOptimizer
ApacheCommonsNonLinearConjugateGradientOptimizerEx() - Constructor for class net.sf.tweety.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx
ApacheCommonsSimplex - Class in net.sf.tweety.math.opt.solver: This class is a wrapper for the Apache Commons Math Simplex implementation.
ApacheCommonsSimplex() - Constructor for class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
ApacheCommonsSimplexEx - Class in net.sf.tweety.math.examples: This class implements an example for the Apache Commons SimplexSolver Version used is 2.0
ApacheCommonsSimplexEx() - Constructor for class net.sf.tweety.math.examples.ApacheCommonsSimplexEx
ApacheCommonsSimplexEx2 - Class in net.sf.tweety.math.examples: This class is a second example for the ApacheCommonsSimplexSolver.
ApacheCommonsSimplexEx2() - Constructor for class net.sf.tweety.math.examples.ApacheCommonsSimplexEx2
app(DefaultRule) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: Constructs a new DefaultSequence
apply() - Method in interface net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner.Rule: Applies the rule
apply() - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule
apply(K) - Method in class net.sf.tweety.arg.adf.util.CacheMap
ApproximateNaiveMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner: This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
ApproximateNaiveMlnReasoner(long, long) - Constructor for class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner: Creates a new ApproximateNaiveMlnReasoner.
ApproximationExample - Class in net.sf.tweety.logics.mln.examples: Example code illustrating the use of the sampling-based MLN reasoner.
ApproximationExample() - Constructor for class net.sf.tweety.logics.mln.examples.ApproximationExample
AprioriMiner<T> - Class in net.sf.tweety.machinelearning.assoc: Implements the classical Apriori algorithm for association rule mining, cf.
AprioriMiner(double, double) - Constructor for class net.sf.tweety.machinelearning.assoc.AprioriMiner: Creates a new Apriori miner with the given minimum support and minimum confidence values.
AprioriTest - Class in net.sf.tweety.machinelearning.assoc
AprioriTest() - Constructor for class net.sf.tweety.machinelearning.assoc.AprioriTest
APX - net.sf.tweety.arg.dung.parser.FileFormat
ApxFilenameFilter - Class in net.sf.tweety.arg.dung.parser: Filename filter for APX files.
ApxFilenameFilter() - Constructor for class net.sf.tweety.arg.dung.parser.ApxFilenameFilter
ApxParser - Class in net.sf.tweety.arg.dung.parser: Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):

S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.
ApxParser() - Constructor for class net.sf.tweety.arg.dung.parser.ApxParser
ApxWriter - Class in net.sf.tweety.arg.dung.writer: Writes an abstract argumentation framework into a file of the APX format.
ApxWriter() - Constructor for class net.sf.tweety.arg.dung.writer.ApxWriter
areAdjacent(BArgument, BArgument) - Method in class net.sf.tweety.arg.bipolar.syntax.AbstractBipolarFramework
areAdjacent(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
areAdjacent(BpmnNode, BpmnNode) - Method in class net.sf.tweety.logics.bpm.syntax.BpmnModel
areAdjacent(T, T) - Method in class net.sf.tweety.graphs.DefaultGraph
areAdjacent(T, T) - Method in interface net.sf.tweety.graphs.Graph: Returns "true" iff the two nodes are connected by a directed edge from a to b or an undirected edge.
areEquivalent(Constant, Constant) - Method in class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet: Checks whether the two given constants are equivalent wrt.
ARG__CALLED_PLUGIN - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the called plugin
ARG__CALLED_PLUGIN_SHORT - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the called plugin (short)
ARG__DEBUG_FLAG - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for debugging output
ARG__DEBUG_FLAG_SHORT - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for debugging output (short)
ARG__INPUT_FILES - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the input file(s)
ARG__INPUT_FILES - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the input file(s)
ARG__INPUT_FILES_SHORT - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the input file(s) (short)
ARG__INPUT_FILES_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the input file(s) (short)
ARG__INPUT_PARSER - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the parser(s) used for reading the input file(s)
ARG__INPUT_PARSER_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the parser(s) used for reading the input file(s) (short)
ARG__LOG_FILE - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)
ARG__LOG_FILE_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)
ARG__LOG_LEVEL - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO)
ARG__LOG_LEVEL_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO) (short)
ARG__OPTIONS - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for advanced options
ARG__OPTIONS_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for advanced options (short)
ARG__OUTPUT_FILE - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the output file
ARG__OUTPUT_FILE - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the output file
ARG__OUTPUT_FILE_SHORT - Static variable in class net.sf.tweety.cli.plugins.CliMain: The argument name for the output file (short)
ARG__OUTPUT_FILE_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the output file (short)
ARG__OUTPUT_WRITER - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the writer used for writing the output file.
ARG__OUTPUT_WRITER_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for the writer used for writing the output file (short)
ARG__QUERY - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for a query
ARG__QUERY_SHORT - Static variable in class net.sf.tweety.cli.TweetyCli: The argument name for a query
argRepresentation() - Method in class net.sf.tweety.arg.delp.TestArguments
ArgSysTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
ArguingAgent - Class in net.sf.tweety.agents.dialogues.oppmodels: This class represent a general arguing agent with an belief state.
ArguingAgent(GroundedGameSystem.AgentFaction, BeliefState) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent: Create a new agent with the given name and belief state.
Argument - Class in net.sf.tweety.arg.adf.syntax: An immutable representation of an ADF argument
Argument - Class in net.sf.tweety.arg.dung.syntax: This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
Argument - Class in net.sf.tweety.arg.lp.syntax: Instances of this class represent arguments in the sense of Definition 2 in [1].
Argument() - Constructor for class net.sf.tweety.arg.adf.syntax.Argument
Argument(String) - Constructor for class net.sf.tweety.arg.adf.syntax.Argument
Argument(String) - Constructor for class net.sf.tweety.arg.dung.syntax.Argument: Default constructor that assigns the given name to this argument
Argument(List<ASPRule>) - Constructor for class net.sf.tweety.arg.lp.syntax.Argument
Argument(ASPRule) - Constructor for class net.sf.tweety.arg.lp.syntax.Argument
ArgumentationEnvironment - Class in net.sf.tweety.agents.dialogues: This class models the environment for agents in argumentation games.
ArgumentationEnvironment(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.ArgumentationEnvironment: Creates a new grounded environment.
ArgumentationKnowledgeBase - Class in net.sf.tweety.arg.lp.syntax: Instances of this class represent the set of minimal arguments from a extended logic program
ArgumentationKnowledgeBase(Program) - Constructor for class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase
ArgumentationLottery - Class in net.sf.tweety.arg.prob.lotteries: This class implements an argumentation lottery, i.e.
ArgumentationLottery(Collection<Division>, SubgraphProbabilityFunction, Semantics) - Constructor for class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery: Creates a new lottery for the given set of divisions using the given probability function and semantics.
ArgumentationReasoner - Class in net.sf.tweety.arg.lp.reasoner: This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.
ArgumentationReasoner(AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner: Creates a new ArgumentationReasoner parameterised by a notion of attack for the opponent and another notion of attack for the defense
ArgumentationReasonerTest - Class in net.sf.tweety.argumentation.parameterisedhierarchy
ArgumentationReasonerTest() - Constructor for class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
ArgumentativeRevisionOperator - Class in net.sf.tweety.beliefdynamics.operators: This class is an exemplary instantiation of a revision operator based on deductive argumentation [Kruempelmann:2011] where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the classical categorizer
ArgumentativeRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.operators.ArgumentativeRevisionOperator
ArgumentativeSelectiveRevisionTest - Class in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision: This class implements a comparison application for selective revision operators using the SimpleRevisionCompare gui.
ArgumentativeSelectiveRevisionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
ArgumentativeTransformationFunction - Class in net.sf.tweety.beliefdynamics.selectiverevision.argumentative: This class implements the argumentative transformation functions proposed in [Kruempelmann:2011].
ArgumentativeTransformationFunction(Categorizer, Accumulator, PlBeliefSet, boolean) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction: Creates a new argumentative transformation function.
ArgumentDegreeOrdering - Class in net.sf.tweety.arg.adf.reasoner.ordering
ArgumentDegreeOrdering(ArgumentDegreeOrdering.DegreeType) - Constructor for class net.sf.tweety.arg.adf.reasoner.ordering.ArgumentDegreeOrdering
ArgumentDegreeOrdering.DegreeType - Enum in net.sf.tweety.arg.adf.reasoner.ordering
ArgumentRanking - Class in net.sf.tweety.arg.rankings.semantics: This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
ArgumentRanking() - Constructor for class net.sf.tweety.arg.rankings.semantics.ArgumentRanking
arguments() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
arguments() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation: Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
arguments() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
arguments() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
arguments() - Method in interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
arguments() - Method in enum net.sf.tweety.arg.adf.syntax.acc.ContradictionAcceptanceCondition
arguments() - Method in class net.sf.tweety.arg.adf.syntax.Argument
ArgumentSet - Class in net.sf.tweety.arg.bipolar.syntax: This class models a set of arguments used by bipolar abstract argumentation theory.
ArgumentSet() - Constructor for class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
ArgumentSet(Collection<? extends BArgument>) - Constructor for class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
ArgumentSet(BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
ArgumentSet(Extension) - Constructor for class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
ArgumentStatus - Enum in net.sf.tweety.arg.dung.semantics: This enumeration enumerates the classical justification status of an argument.
ArgumentStructure - Class in net.sf.tweety.arg.saf.syntax: This class models an argument structure, i.e.
ArgumentStructure() - Constructor for class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Creates a new empty argument structure.
ArgumentStructure(String) - Constructor for class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Deprecated.
ArgumentStructure(List<BasicArgument>) - Constructor for class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Creates a new argument structure with the given list of arguments.
ArgumentTree - Class in net.sf.tweety.arg.deductive.semantics: Instances of this class represent argument trees in the sense of Definition 6.1 in

Philippe Besnard and Anthony Hunter.
ArgumentTree(DeductiveArgumentNode) - Constructor for class net.sf.tweety.arg.deductive.semantics.ArgumentTree: Creates an empty argument tree for the given root node.
AriTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ArithmeticTerm - Class in net.sf.tweety.lp.asp.syntax: This class represents an arithmetic term in the ASP-Core-2 format.
ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator, Term<?>, Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
ArithmeticTerm(ArithmeticTerm) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm: Creates an arithmetic term of the form -(t)
ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
Arithop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ASCENDING - net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType: smallest ranking value is ranked first
AscendingNumericalRankingTest() - Method in class net.sf.tweety.arg.rankings.RankingsTest
asDouble() - Method in class net.sf.tweety.machinelearning.BooleanCategory
asDouble() - Method in interface net.sf.tweety.machinelearning.Category: Returns a double representation of this category.
asDouble() - Method in class net.sf.tweety.machinelearning.DoubleCategory
asDungTheory() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
asDungTheory() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: This method transfers this Aspic+ theory into a Dung style argumentation system
asDungTheory(boolean) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: This method transfers this Aspic+ theory into a Dung style argumentation system
ASPAtom - Class in net.sf.tweety.lp.asp.syntax: This class models an atom, which is a basic structure for building literals and rules for logic programs.
ASPAtom() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Empty constructor.
ASPAtom(String) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Creates a new atom with the given predicate name and no terms.
ASPAtom(String, Term<?>...) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Creates an atom with the given predicate as name and the given terms as argument
ASPAtom(Predicate) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Creates a new ASPAtom with the given predicate.
ASPAtom(Predicate, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Creates a new atom with the given predicate and terms.
ASPAtom(FolAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Copy-Constructor: Generates a deep copy of the given FOL atom.
ASPAtom(ASPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPAtom: Copy-Constructor: Generates a deep copy of the given ASP atom.
ASPBodyElement - Class in net.sf.tweety.lp.asp.syntax: This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.
ASPBodyElement() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPBodyElement
ASPCore2Constants - Interface in net.sf.tweety.lp.asp.parser: Token literal values and constants.
ASPCore2Parser - Class in net.sf.tweety.lp.asp.parser: Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf.
ASPCore2Parser(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ASPCore2Parser(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ASPCore2Parser(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ASPCore2Parser(ASPCore2ParserTokenManager) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2Parser
ASPCore2ParserConstants - Interface in net.sf.tweety.lp.asp.parser: Token literal values and constants.
ASPCore2ParserExample - Class in net.sf.tweety.lp.asp.examples: Examples for parsing simple ELP programs and for using Clingo to solve them.
ASPCore2ParserExample() - Constructor for class net.sf.tweety.lp.asp.examples.ASPCore2ParserExample
ASPCore2ParserTest - Class in net.sf.tweety.lp.asp.parser: This class tests all important functions of the ASP-Core-2 Parser in combination with InstantiateVisitor, which is responsible for walking through the parse-tree and generating in-memory classes of the parsed ASP program.
ASPCore2ParserTest() - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
ASPCore2ParserTokenManager - Class in net.sf.tweety.lp.asp.parser: Token Manager.
ASPCore2ParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
ASPCore2ParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
ASPCore2ParserTreeConstants - Interface in net.sf.tweety.lp.asp.parser
ASPCore2ParserVisitor - Interface in net.sf.tweety.lp.asp.parser
ASPElement - Class in net.sf.tweety.lp.asp.syntax: This class acts as an abstract base class for elements of ASP rules.
ASPElement() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPElement
AspFolTranslator - Class in net.sf.tweety.logics.translators.aspfol: This Translator can translate between FOL and ASP literals (without default negated literals).
AspFolTranslator() - Constructor for class net.sf.tweety.logics.translators.aspfol.AspFolTranslator: Default-Ctor
ASPFOLTranslatorTest - Class in net.sf.tweety.logics.translators.aspfol
ASPFOLTranslatorTest() - Constructor for class net.sf.tweety.logics.translators.aspfol.ASPFOLTranslatorTest
ASPHead - Class in net.sf.tweety.lp.asp.syntax: This formula represents the head of an disjunctive rule which is a disjunction of literals.
ASPHead() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead: Empty Constructor.
ASPHead(List<ASPLiteral>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead: Creates a new head with the given elements.
ASPHead(ASPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead: Copy-Constructor
ASPHead(ASPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPHead: Creates a new head with a single element.
AspicArgument<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
AspicArgument(InferenceRule<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.AspicArgument: Creates an empty Argument
AspicArgument(InferenceRule<T>, Collection<AspicArgument<T>>) - Constructor for class net.sf.tweety.arg.aspic.syntax.AspicArgument: Creates an empty Argument
AspicArgumentationTheory<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
AspicArgumentationTheory(RuleFormulaGenerator<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory: Constructs a new ASPIC argumentation theory
AspicAttack<T extends Invertable> - Class in net.sf.tweety.arg.aspic.semantics
AspicAttack(AspicArgument<T>, AspicArgument<T>) - Constructor for class net.sf.tweety.arg.aspic.semantics.AspicAttack: Creates a new AspicAttack
AspicExample - Class in net.sf.tweety.arg.aspic.examples: ASPIC example code.
AspicExample() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicExample
AspicExample2 - Class in net.sf.tweety.arg.aspic.examples: ASPIC example code.
AspicExample2() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicExample2
AspicExampleFol - Class in net.sf.tweety.arg.aspic.examples: ASPIC example code for fol formulas.
AspicExampleFol() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicExampleFol
AspicGeneratorExample - Class in net.sf.tweety.arg.aspic.examples: Exemplary code illustrating the use of the ASPIC theory generator.
AspicGeneratorExample() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample
AspicGeneratorExample2 - Class in net.sf.tweety.arg.aspic.examples: This code shows the use of the ASPIC theory generator.
AspicGeneratorExample2() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample2
AspicGeneratorExample3 - Class in net.sf.tweety.arg.aspic.examples: This code shows the use of the ASPIC theory generator.
AspicGeneratorExample3() - Constructor for class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample3
AspicParser<T extends Invertable> - Class in net.sf.tweety.arg.aspic.parser: Parses a Aspic Argumentation System out of an input text.
AspicParser(Parser<? extends BeliefBase, ? extends Formula>, RuleFormulaGenerator<T>) - Constructor for class net.sf.tweety.arg.aspic.parser.AspicParser: Constructs a new instance
AspicTest - Class in net.sf.tweety.arg.aspic
AspicTest() - Constructor for class net.sf.tweety.arg.aspic.AspicTest
AspicWriter<T extends Invertable> - Class in net.sf.tweety.arg.aspic.writer: For writing ASPIC argumentation theories to disk.
AspicWriter() - Constructor for class net.sf.tweety.arg.aspic.writer.AspicWriter
AspInconsistencyMeasureTest - Class in net.sf.tweety.lp.asp.analysis: Tests the functionality of PmInconsistencyMeasure
AspInconsistencyMeasureTest() - Constructor for class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
ASPLiteral - Class in net.sf.tweety.lp.asp.syntax: This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
ASPLiteral() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPLiteral
AspNlpTranslator - Class in net.sf.tweety.logics.translators.aspnlp: Translates between DLP under the answer set semantics (ASP) and NLP.
AspNlpTranslator() - Constructor for class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
ASPNLPTranslatorTest - Class in net.sf.tweety.logics.translators.aspnlp
ASPNLPTranslatorTest() - Constructor for class net.sf.tweety.logics.translators.aspnlp.ASPNLPTranslatorTest
ASPOperator - Class in net.sf.tweety.lp.asp.syntax: This class collects some common operators used in ASP terms as well as the possible function names for aggregates.
ASPOperator() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPOperator
ASPOperator.AggregateFunction - Enum in net.sf.tweety.lp.asp.syntax: The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.ArithmeticOperator - Enum in net.sf.tweety.lp.asp.syntax: The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.
ASPOperator.BinaryOperator - Enum in net.sf.tweety.lp.asp.syntax: The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.
asPrograms() - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.
ASPRule - Class in net.sf.tweety.lp.asp.syntax: This class models a rule in ASP.
ASPRule() - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Empty constructor
ASPRule(List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a constraint with the given body.
ASPRule(List<ASPBodyElement>, Term<?>, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a constraint with the given weight and terms.
ASPRule(List<ASPBodyElement>, Term<?>, Term<?>, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a constraint with the given weight, level and terms.
ASPRule(ASPHead) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a fact with the given ASPHead.
ASPRule(ASPHead, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a rule with the given head and body.
ASPRule(ASPLiteral) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a fact with the given literal.
ASPRule(ASPLiteral, List<ASPBodyElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a rule with the given head and body.
ASPRule(ASPLiteral, ASPBodyElement) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Creates a rule with the given head and a single-element body.
ASPRule(ASPRule) - Constructor for class net.sf.tweety.lp.asp.syntax.ASPRule: Copy-Constructor
ASPSolver - Class in net.sf.tweety.lp.asp.reasoner: This class provides a common interface for asp solvers.
ASPSolver() - Constructor for class net.sf.tweety.lp.asp.reasoner.ASPSolver
asReasoner() - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline
asRestrictedDungTheory(AspicArgumentationTheory<T>, boolean, T) - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner: Generate restricted AF based on given theory and conclusion.
AssertionalAxiom - Class in net.sf.tweety.logics.dl.syntax: Abstract base class for assertional axioms (concept assertions and role assertions).
AssertionalAxiom() - Constructor for class net.sf.tweety.logics.dl.syntax.AssertionalAxiom
Association - Class in net.sf.tweety.logics.bpm.syntax
Association(BpmnNode, BpmnNode) - Constructor for class net.sf.tweety.logics.bpm.syntax.Association
AssociationRule<T> - Class in net.sf.tweety.machinelearning.assoc: An association rule in item set mining.
AssociationRule() - Constructor for class net.sf.tweety.machinelearning.assoc.AssociationRule: Creates a new empty association rule.
AssociationRule(Collection<T>, Collection<T>) - Constructor for class net.sf.tweety.machinelearning.assoc.AssociationRule: Creates a new association rule with the given premise and conclusion
AssociationRuleMiner<T> - Interface in net.sf.tweety.machinelearning.assoc: Interface for algorithms mining association rules from transaction databases.
AssociativeDlFormula - Class in net.sf.tweety.logics.dl.syntax: This class captures the common functionalities of description logic associative formulas (union and intersection).
AssociativeDlFormula() - Constructor for class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula: Creates a new (empty) associative formula.
AssociativeDlFormula(Collection<? extends ComplexConcept>) - Constructor for class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula: Creates a new associative formula with the given inner formulas.
AssociativeDlFormula(ComplexConcept, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula: Creates a new associative formula with the two given formulae
AssociativeFolFormula - Class in net.sf.tweety.logics.fol.syntax: This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
AssociativeFolFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula: Creates a new (empty) associative formula.
AssociativeFolFormula(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula: Creates a new associative formula with the given inner formulas.
AssociativeFolFormula(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula: Creates a new associative formula with the two given formulae
AssociativeFormula<T extends SimpleLogicalFormula> - Interface in net.sf.tweety.logics.commons.syntax.interfaces: This interfaces describes associative formulas like a disjunction or a conjunction.
AssociativeFormulaSupport<T extends SimpleLogicalFormula> - Class in net.sf.tweety.logics.commons.syntax: This class provides common implementation for associative formulas that are formulas which consists of several other formulas.
AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge) - Constructor for class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport: Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge
AssociativeFormulaSupport(AssociativeFormulaSupport<T>) - Constructor for class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport: Copy-Ctor creates a deep copy of the associative formula support.
AssociativeFormulaSupport.AssociativeSupportBridge - Interface in net.sf.tweety.logics.commons.syntax: This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.
AssociativeOperation - Class in net.sf.tweety.math.term
AssociativeOperation() - Constructor for class net.sf.tweety.math.term.AssociativeOperation: Creates a new (empty) operation.
AssociativeOperation(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.AssociativeOperation: Creates a new operation with the given list of terms.
AssociativeOperation(Term, Term) - Constructor for class net.sf.tweety.math.term.AssociativeOperation: Creates a new operation with the given terms.
AssociativePlFormula - Class in net.sf.tweety.logics.pl.syntax: This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
AssociativePlFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePlFormula: Creates a new (empty) associative formula.
AssociativePlFormula(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePlFormula: Creates a new associative formula with the given inner formulas.
AssociativePlFormula(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePlFormula: Creates a new associative formula with the two given formulae
assume(Proposition, boolean) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousCloseSatSolverState
assume(Proposition, boolean) - Method in class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState
assume(Proposition, boolean) - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState: Assumes the truth value of the given proposition for the next call to SatSolverState.satisfiable().
assume(Proposition, boolean) - Method in class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
Assumption<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax: This class models an assumption of an ABA theory.
Assumption(T) - Constructor for class net.sf.tweety.arg.aba.syntax.Assumption: Creates a new assumption
ASTAggregate - Class in net.sf.tweety.lp.asp.parser
ASTAggregate(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate
ASTAggregate(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate
ASTAggrElement - Class in net.sf.tweety.lp.asp.parser
ASTAggrElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElement
ASTAggrElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElement
ASTAggrElementList - Class in net.sf.tweety.lp.asp.parser
ASTAggrElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElementList
ASTAggrElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrElementList
ASTAggrFunc - Class in net.sf.tweety.lp.asp.parser
ASTAggrFunc(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrFunc
ASTAggrFunc(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggrFunc
ASTAnswerSet - Class in net.sf.tweety.lp.asp.parser
ASTAnswerSet(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet
ASTAnswerSet(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet
ASTAriTerm - Class in net.sf.tweety.lp.asp.parser
ASTAriTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAriTerm
ASTAriTerm(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAriTerm
ASTArithop - Class in net.sf.tweety.lp.asp.parser
ASTArithop(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithop
ASTArithop(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithop
ASTBinop - Class in net.sf.tweety.lp.asp.parser
ASTBinop(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBinop
ASTBinop(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBinop
ASTBody - Class in net.sf.tweety.lp.asp.parser
ASTBody(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBody
ASTBody(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBody
ASTBodyList - Class in net.sf.tweety.lp.asp.parser
ASTBodyList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBodyList
ASTBodyList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBodyList
ASTBuiltInAtom - Class in net.sf.tweety.lp.asp.parser
ASTBuiltInAtom(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom
ASTBuiltInAtom(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom
ASTChoice - Class in net.sf.tweety.lp.asp.parser
ASTChoice(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoice
ASTChoice(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoice
ASTChoiceElement - Class in net.sf.tweety.lp.asp.parser
ASTChoiceElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElement
ASTChoiceElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElement
ASTChoiceElementList - Class in net.sf.tweety.lp.asp.parser
ASTChoiceElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElementList
ASTChoiceElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTChoiceElementList
ASTClingoMeta - Class in net.sf.tweety.lp.asp.parser
ASTClingoMeta(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoMeta
ASTClingoMeta(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoMeta
ASTHead - Class in net.sf.tweety.lp.asp.parser
ASTHead(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead
ASTHead(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead
ASTHeadElementsList - Class in net.sf.tweety.lp.asp.parser
ASTHeadElementsList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHeadElementsList
ASTHeadElementsList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHeadElementsList
ASTID - Class in net.sf.tweety.lp.asp.parser
ASTID(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTID
ASTID(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTID
ASTLiteral - Class in net.sf.tweety.lp.asp.parser
ASTLiteral(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTLiteral
ASTLiteral(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTLiteral
ASTNAFLiteral - Class in net.sf.tweety.lp.asp.parser
ASTNAFLiteral(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteral
ASTNAFLiteral(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteral
ASTNAFLiteralList - Class in net.sf.tweety.lp.asp.parser
ASTNAFLiteralList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteralList
ASTNAFLiteralList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNAFLiteralList
ASTNumber - Class in net.sf.tweety.lp.asp.parser
ASTNumber(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber
ASTNumber(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber
ASTOpt - Class in net.sf.tweety.lp.asp.parser
ASTOpt(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOpt
ASTOpt(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOpt
ASTOptElement - Class in net.sf.tweety.lp.asp.parser
ASTOptElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElement
ASTOptElement(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElement
ASTOptElementList - Class in net.sf.tweety.lp.asp.parser
ASTOptElementList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElementList
ASTOptElementList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptElementList
ASTOptFunc - Class in net.sf.tweety.lp.asp.parser
ASTOptFunc(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptFunc
ASTOptFunc(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTOptFunc
ASTProgram - Class in net.sf.tweety.lp.asp.parser
ASTProgram(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram
ASTProgram(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram
ASTQuery - Class in net.sf.tweety.lp.asp.parser
ASTQuery(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTQuery
ASTQuery(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTQuery
ASTRule - Class in net.sf.tweety.lp.asp.parser
ASTRule(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule
ASTRule(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule
ASTRuleList - Class in net.sf.tweety.lp.asp.parser
ASTRuleList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRuleList
ASTRuleList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRuleList
ASTString - Class in net.sf.tweety.lp.asp.parser
ASTString(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTString
ASTString(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTString
ASTTerm - Class in net.sf.tweety.lp.asp.parser
ASTTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm
ASTTerm(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm
ASTTermList - Class in net.sf.tweety.lp.asp.parser
ASTTermList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermList
ASTTermList(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermList
ASTVar - Class in net.sf.tweety.lp.asp.parser
ASTVar(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTVar
ASTVar(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTVar
ASTWeight - Class in net.sf.tweety.lp.asp.parser
ASTWeight(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTWeight
ASTWeight(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTWeight
AsynchronousCloseSatSolverState - Class in net.sf.tweety.arg.adf.sat: The cleanup after the AsynchronousCloseSatSolverState.close() call happens (possibly) in a separate thread, depending on the provided executor.
AsynchronousCloseSatSolverState(SatSolverState, Executor) - Constructor for class net.sf.tweety.arg.adf.sat.AsynchronousCloseSatSolverState
AsynchronousSatSolverState - Class in net.sf.tweety.arg.adf.sat: Executes all operations of the underlying SatSolverState in a (possibly) separate thread, determined by the provided ExecutorService.
AsynchronousSatSolverState(SatSolverState) - Constructor for class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState
AsynchronousSatSolverState(SatSolverState, ExecutorService) - Constructor for class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState
AT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
AT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
Atom - Interface in net.sf.tweety.logics.commons.syntax.interfaces: An atomic language construct, linked to its predicate
Atom(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
Atom.AtomImpl - Class in net.sf.tweety.logics.commons.syntax.interfaces: Gives common implementations for methods shared among atoms of different types.
Atom.RETURN_SET_PREDICATE - Enum in net.sf.tweety.logics.commons.syntax.interfaces: An enum containing the different return values of the setPredicate() method of Atom.
AtomicConcept - Class in net.sf.tweety.logics.dl.syntax: This class models an atomic concept (aka concept name) in description logics.
AtomicConcept(String) - Constructor for class net.sf.tweety.logics.dl.syntax.AtomicConcept: Initializes an atomic concept with the given name.
AtomicConcept(Predicate) - Constructor for class net.sf.tweety.logics.dl.syntax.AtomicConcept
AtomicRole - Class in net.sf.tweety.logics.dl.syntax: This class models a role in description logics.
AtomicRole(String) - Constructor for class net.sf.tweety.logics.dl.syntax.AtomicRole: Initializes a role with the given name.
AtomicRole(Predicate) - Constructor for class net.sf.tweety.logics.dl.syntax.AtomicRole
AtomImpl() - Constructor for class net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl
Attack - Class in net.sf.tweety.arg.dung.syntax: This class models an attack between two arguments.
Attack - Class in net.sf.tweety.arg.lp.semantics.attack: This notion of attack models the attack relation.
Attack - Interface in net.sf.tweety.arg.bipolar.syntax: This interface captures common methods of different interpretations of the attack relation in bipolar abstract argumentation theories.
Attack - Interface in net.sf.tweety.arg.deductive.semantics.attacks: This interface is the common interface for notions of attack between two arguments.
Attack(Argument, Argument) - Constructor for class net.sf.tweety.arg.dung.syntax.Attack: Default constructor; initializes the two arguments used in this attack relation
ATTACKING - net.sf.tweety.arg.adf.semantics.link.LinkType
attackProbability - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
attackProbability - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
attackProbability - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters: The attack probability for each two arguments in the theory.
AttackRelation - Class in net.sf.tweety.arg.lp.semantics: This class represents an attack relation for a specific set of arguments represented by an ArgumentationKnowledgeBase.
AttackRelation(ArgumentationKnowledgeBase, AttackStrategy) - Constructor for class net.sf.tweety.arg.lp.semantics.AttackRelation: Creates a new AttackRelation for an argumentation knowledgebase and a certain notion of attack.
attacks(Collection<Assumption<T>>, Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory: Checks whether a set of assumptions attacks another set of assumptions.
attacks(Set<Argument>, Argument) - Method in class net.sf.tweety.arg.lp.semantics.AttackRelation: Is true iff at least one attacking argument attacks b
attacks(Deduction<T>, Assumption<T>) - Static method in class net.sf.tweety.arg.aba.semantics.AbaAttack
attacks(Deduction<T>, T) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.Attack
attacks(Argument, Argument) - Method in interface net.sf.tweety.arg.lp.semantics.attack.AttackStrategy: Returns "true" iff the first argument attacks the second argument.
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.Defeat
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.Rebut
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.attack.Undercut
attacks(Argument, Argument) - Method in class net.sf.tweety.arg.lp.semantics.AttackRelation: Returns true iff argument a attacks argument b for the notion of attack represented by this attack relation.
attacks(ArgumentStructure, StructuredArgumentationFramework) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Checks whether this argument structure attacks the other argument structure, i.e.
AttackStrategy - Interface in net.sf.tweety.arg.lp.semantics.attack: This interface is the common denominator for notions of attack between two arguments.
AttackTest - Class in net.sf.tweety.argumentation.parameterisedhierarchy
AttackTest() - Constructor for class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
AttackTest() - Method in class net.sf.tweety.arg.aba.AbaTest
AttackTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
ATTACKVSFULLDEFENSE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The ATTACKVSFULLDEFENSE postulate
ATTENUATION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The ATTENUATION postulate
AverageAggregator - Class in net.sf.tweety.math.func: This aggregation function models the average function.
AverageAggregator() - Constructor for class net.sf.tweety.math.func.AverageAggregator
averageAndVariance(Collection<Double>) - Static method in class net.sf.tweety.commons.util.MathTools: Compute the average value and the variance of the given list of numbers.
AveragingSemantics - Class in net.sf.tweety.logics.rpcl.semantics: This class implements averaging semantics due to [Kern-Isberner, Thimm, KR'2010].
AveragingSemantics() - Constructor for class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics
avoidSelfAttacks - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters: Whether to avoid self-attacks.
AvsFDCounterexampleTest() - Method in class net.sf.tweety.arg.rankings.RankingReasonerTest

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages