a - Static variable in class net.sf.tweety.logics.cl.test.TestConditionalStructure
a1 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a1 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
a1 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
a2 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a2 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
a2 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
a3 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a3 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
a3 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
a4 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a4 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
a4 - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
a5 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a6 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a7 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
a8 - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
aaf - Variable in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery
The AAF used.
aaf - Variable in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
The AAF used.
aafReasoner - Variable in class net.sf.tweety.arg.aspic.reasoner.AbstractAspicReasoner
Underlying reasoner for AAFs.
ABAAttack <T extends Formula > - Class in net.sf.tweety.arg.aba.semantics
ABAAttack(Argument, Argument) - Constructor for class net.sf.tweety.arg.aba.semantics.ABAAttack
Creates a new ABA attack
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
An 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
ABAParser(Parser<? extends BeliefBase>) - Constructor for class net.sf.tweety.arg.aba.parser.ABAParser
Create a new ABA parser
ABARule <T extends Formula > - Interface in net.sf.tweety.arg.aba.syntax
ABATest - Class in net.sf.tweety.arg.aba
ABATest() - Constructor for class net.sf.tweety.arg.aba.ABATest
ABATheory <T extends Formula > - Class in net.sf.tweety.arg.aba.syntax
ABATheory() - Constructor for class net.sf.tweety.arg.aba.syntax.ABATheory
abbreviation - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
The abbreviation of the sub-problem.
abbreviation() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
Returns the abbreviation of the sub-problem.
abbreviation - Variable in enum net.sf.tweety.arg.dung.semantics.Semantics
The abbreviation of the semantics.
abbreviation() - Method in enum net.sf.tweety.arg.dung.semantics.Semantics
Returns the abbreviation of the semantics.
abort - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Whether execution should be aborted.
abort() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Aborts the measurement of a stream.
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.
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 <S 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
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
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<PropositionalFormula>>, 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() - 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 - Class in net.sf.tweety.arg.adf.syntax
This class implements abstract dialectical frameworks, cf.
AbstractDialecticalFramework() - Constructor for class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
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 reasoner.
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
AbstractImPostulate - Class in net.sf.tweety.logics.pl.postulates
An abstract postulate for inconsistency measures in propositional
logic; the ancestor of all concrete postulates.
AbstractImPostulate() - Constructor for class net.sf.tweety.logics.pl.postulates.AbstractImPostulate
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
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
AbstractModalReasoner - Class in net.sf.tweety.logics.ml.reasoner
Abstract modal reasoner to be implemented by concrete reasoners.
AbstractModalReasoner() - Constructor for class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner
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
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
AbstractPropositionalLogicReasoner - Class in net.sf.tweety.logics.pl.reasoner
Abstract class for propositional logic reasoners.
AbstractPropositionalLogicReasoner() - Constructor for class net.sf.tweety.logics.pl.reasoner.AbstractPropositionalLogicReasoner
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.
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
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
accept(File, String) - Method in class net.sf.tweety.arg.dung.parser.ApxFilenameFilter
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.
accRelation - Variable in class net.sf.tweety.logics.ml.semantics.KripkeModel
The 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.
accumulator - Variable in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
The accumulator used for reasoning.
accumulator - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
The accumulator used by this transformation function.
accuracy - Variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
The numerical accuracy.
accuracy - Variable in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
accuracy - Variable in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
action - Variable in class net.sf.tweety.action.transitionsystem.Transition
action - Variable in class net.sf.tweety.agents.ActionEvent
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.
actionNames - Variable in class net.sf.tweety.action.signature.FolAction
actionPerformed(ActionEvent) - Method in interface net.sf.tweety.agents.ProtocolListener
This method is called when an action has been performed in the given protocol.
actionPerformed(ActionEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
actionPerformed(ActionEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
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(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.
ActionQuerySet() - Constructor for class net.sf.tweety.action.query.syntax.ActionQuerySet
Creates an empty ActionQuerySet
actions - Variable in class net.sf.tweety.action.query.syntax.NecessarilyQuery
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
actSetTest(Set<Set<FolFormula>>, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
Test whether all given activation sets activate the given argument.
ActSetType() - Constructor for enum net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity.ActSetType
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(T) - Method in class net.sf.tweety.agents.MultiAgentSystem
add(Assumption<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
add(Formula) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
add(LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
add(int, LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
add(Argument) - Method in class net.sf.tweety.arg.dung.semantics.Extension
add(Attack) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
Adds the given attack to this dung theory.
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(Edge<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
add(Attack) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
add(Attack, Probability) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
Adds the given attack with the given probability
add(Argument) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
add(Argument, Probability) - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
Adds the given argument with the given probability
add(BasicArgument) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
add(Argument) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
add(DungTheory) - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
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.commons.SetSignature
add(T) - Method in class net.sf.tweety.graphs.DefaultGraph
add(Edge<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(Edge<T>) - Method in interface net.sf.tweety.graphs.Graph
Adds the given edge to this graph.
add(T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
add(int, T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
add(Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.Sort
Adds the given term to this sort.
add(Object) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
TODO: to be implemented
This class adds single objects to this signature, iff the object is
an appropriate concept, role or individual
add(RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
add(int, RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
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(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
add(int, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
add(PropositionalSignature) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalSignature
Adds the elements of another signature to the current one.
add(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
add(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
add(int, DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
add(Program) - Method in class net.sf.tweety.lp.asp.syntax.Program
Adds another program's content to the content of this program.
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(S) - Method in class net.sf.tweety.math.Interval
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(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(Update<T>) - Method in class net.sf.tweety.preferences.update.UpdateStream
add_escapes(String) - Static method in exception net.sf.tweety.arg.delp.parser.ParseException
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
add_escapes(String) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
add_escapes(String) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
add_escapes(String) - Static method in exception net.sf.tweety.lp.asp.parser.ParseException
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
add_escapes(String) - Static method in exception net.sf.tweety.preferences.io.ParseException
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
addAll(Collection<? extends T>) - Method in class net.sf.tweety.agents.MultiAgentSystem
addAll(Collection<? extends Assumption<T>>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
addAll(Collection<? extends LdoFormula>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
addAll(int, 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 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.commons.SetSignature
addAll(Collection<? extends T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
addAll(int, Collection<? extends T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
addAll(Collection<?>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
addAll(Collection<? extends RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
addAll(int, Collection<? extends RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
addAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
Adds items of the given collection to this signature.
addAll(Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
addAll(int, Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
addAll(Collection<? extends FolFormula>) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
addAll(Collection<? extends DLPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
addAll(int, Collection<? extends DLPLiteral>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
addAll(Collection<? extends S>) - Method in class net.sf.tweety.math.Interval
addAll(Collection<? extends Triple<T, T, Relation>>) - Method in class net.sf.tweety.preferences.PreferenceOrder
adds all given elements to the preference order
addAllAttacks(Collection<? extends Attack>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
Adds the set of attacks to this Dung theory.
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.DLPAtom
addArgument(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
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.PropositionalPredicate
addArgumentType(Sort) - Method in class net.sf.tweety.lp.asp.syntax.DLPPredicate
addAssumption(T) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
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.
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.
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
addDefault(DefaultRule) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
adds default rule
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.
addEscapes(String) - Static method in error net.sf.tweety.arg.delp.parser.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
addEscapes(String) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
addEscapes(String) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
addEscapes(String) - Static method in error net.sf.tweety.lp.asp.parser.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
addEscapes(String) - Static method in error net.sf.tweety.preferences.io.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
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.logics.rdl.syntax.DefaultTheory
add facts to knowledge base
addFact(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program
addFact(DLPHead) - Method in class net.sf.tweety.lp.asp.syntax.Program
addFact(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
addField(OutputField) - Method in class net.sf.tweety.plugin.PluginOutput
addField(String, String) - 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.
additionalArguments - Variable in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
Additional arguments for the call to the EProver binary
(Default value is "--auto-schedule" which seems to be working
best in general)
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
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
addOneToBitSet(BitSet, int) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
Adds "1" to the bitset.
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<S>) - Method in class net.sf.tweety.commons.postulates.PostulateEvaluator
Adds the given postulate
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
addPremise(PropositionalFormula) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
addPremise(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
addPremise(Proposition) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
addPremise(P) - Method in interface net.sf.tweety.commons.util.rules.Rule
addPremise(PropositionalFormula) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
addPremise(FolFormula) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
addPremise(DLPElement) - Method in class net.sf.tweety.lp.asp.syntax.Rule
addPremise(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
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
addPremises(Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
addPremises(Collection<? extends Proposition>) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
addPremises(Collection<? extends P>) - Method in interface net.sf.tweety.commons.util.rules.Rule
addPremises(Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
addPremises(Collection<? extends DLPElement>) - Method in class net.sf.tweety.lp.asp.syntax.Rule
addPremises(Collection<? extends FolFormula>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
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.SetSignature
addSignature(Signature) - Method in class net.sf.tweety.commons.Signature
Adds the elements of the given signature to this signature.
addSignature(Signature) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
addSignature(Signature) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
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.
addStrictRule(StrictRule) - Method in class net.sf.tweety.arg.delp.semantics.ArgumentCompletion
add a strict rule to this argument completion
addString(String) - Method in class net.sf.tweety.lp.asp.parser.ASTComment
addSubDeduction(Deduction<T>) - Method in class net.sf.tweety.arg.aba.syntax.Deduction
Adds a subdeduction
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.
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.
addVariable(String) - Method in class net.sf.tweety.lp.asp.parser.ASTSymbolicSet
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
adjustBeginLineColumn(int, int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
adjustParameterSet(ParameterSet, int[], double[], double[]) - Method in class net.sf.tweety.machinelearning.GridSearchParameterLearner
Determine for all parameters of the set a new value, determined by partitioning [lowerBound,upperBound]
into this.partitions number of sub intervals and then taking the center point of the partition no.
ADMISSIBLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
afterFormula - Variable in class net.sf.tweety.action.description.syntax.DynamicLaw
agent - Variable in class net.sf.tweety.agents.ActionEvent
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.
AgentFaction() - Constructor for enum net.sf.tweety.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
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.
agentGenerators - Variable in class net.sf.tweety.agents.sim.GameSimulator
The agent generators.
agents - Variable in class net.sf.tweety.agents.MultiAgentSystem
The agents in this multi-agent system.
agentsOrdered - Variable in class net.sf.tweety.agents.RoundRobinProtocol
The ordering of the agents.
agentsSkipped - Variable in class net.sf.tweety.agents.RoundRobinProtocol
The number of agents that skipped performing an action
within the last round.
agg - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
If X1 is the previous
inconsistency value, X2 is the new inconsistency value on the new window, then
the actual new inconsistency value X is determined by aggregating X1 and X2 with this function.
Aggregate() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
Aggregate - Class in net.sf.tweety.lp.asp.syntax
This class represents an aggregate function.
Aggregate(Term<?>, String, String, SymbolicSet) - Constructor for class net.sf.tweety.lp.asp.syntax.Aggregate
Aggregate(String, SymbolicSet, String, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.Aggregate
Aggregate(Term<?>, String, String, SymbolicSet, String, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.Aggregate
Aggregate(String, SymbolicSet) - Constructor for class net.sf.tweety.lp.asp.syntax.Aggregate
Aggregate(Aggregate) - Constructor for class net.sf.tweety.lp.asp.syntax.Aggregate
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
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.
aggregator - Variable in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
The aggregation function used to aggregate the distances for each formula.
aggregator - Variable in class net.sf.tweety.math.norm.AggregatingNorm
The aggregation function used for computing the distance.
aggregator - Variable in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
The aggregation function used for computing the distance.
ai - Variable in class net.sf.tweety.lp.asp.reasoner.SolverBase
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
alchemyStringForFormula(RelationalFormula) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
Returns the string in Alchemy syntax representing the given formula.
alchemyStringForTerm(Term<?>) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
Returns the string in Alchemy syntax representing the given term.
allAttacks(Collection<Assumption<T>>, Collection<Assumption<T>>, ABATheory<T>) - Static method in class net.sf.tweety.arg.aba.semantics.ABAAttack
allAttacks(ABATheory<T>) - Static method in class net.sf.tweety.arg.aba.semantics.ABAAttack
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.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.
allSubsets - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
Only used when avoidDuplicats is set to true.
allSubstitutions(Collection<? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
Computes all possible substitutions, i.e.
allWorlds - Variable in class net.sf.tweety.logics.pl.util.EnumeratingIterator
All possible worlds
allWorlds - Variable in class net.sf.tweety.logics.pl.util.RandomSampler
All possible worlds
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.
amount - Variable in class net.sf.tweety.preferences.update.Update
The third element
AnalysisExample - Class in net.sf.tweety.logics.pcl.examples
AnalysisExample() - Constructor for class net.sf.tweety.logics.pcl.examples.AnalysisExample
and(L, L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
The AND-operation on L in this framework
and(Collection<L>) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
The AND-operation on all given arguments
and(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
and(PriestWorld.TruthValue) - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
AnswerSet() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
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
AnswerSet(Collection<DLPLiteral>, int, int) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet
AnswerSet(AnswerSet) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSet
AnswerSet - Class in net.sf.tweety.lp.asp.util
A 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.util.AnswerSet
AnswerSet(Collection<DLPLiteral>, int, int) - Constructor for class net.sf.tweety.lp.asp.util.AnswerSet
AnswerSet(AnswerSet) - Constructor for class net.sf.tweety.lp.asp.util.AnswerSet
AnswerSetList() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
AnswerSetList - Class in net.sf.tweety.lp.asp.semantics
This class represents a collection of answer sets and
provides some basic reasoning modes.
AnswerSetList() - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSetList
AnswerSetList(AnswerSetList) - Constructor for class net.sf.tweety.lp.asp.semantics.AnswerSetList
AnswerSetList - Class in net.sf.tweety.lp.asp.util
this class represents a collection of answer sets and
provides some basic reasoning modes.
AnswerSetList() - Constructor for class net.sf.tweety.lp.asp.util.AnswerSetList
AnswerSetList(AnswerSetList) - Constructor for class net.sf.tweety.lp.asp.util.AnswerSetList
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
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:
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
ApacheCommonsNonLinearConjugateGradientOptimizer(int, double) - Constructor for class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
Creates a new solver.
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
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
approximate(List<List<Double>>, List<Double>, List<Double>) - Method in class net.sf.tweety.math.opt.NewtonRootFinder
Solves the linear equation currentJacobianValue * (X-currentVector) = - currentValue.
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.
ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation - Class in net.sf.tweety.logics.mln.reasoner
A Herbrand interpretation with an annotated weight.
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
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
archive - Variable in class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure
Stores previously computed culpability values.
archive - Variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
For archiving inconsistency values.
archive - Variable in class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
For archiving.
archive - Variable in class net.sf.tweety.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
For archiving.
archivedDivisons - Static variable in class net.sf.tweety.arg.dung.divisions.Division
archive of requested divisions.
archiveDevs - Variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
For archiving eta/tau values.
archivedSubgraphs - Static variable in class net.sf.tweety.arg.dung.syntax.DungTheory
For archiving sub graphs
archiveHITSAuthRank - Static variable in class net.sf.tweety.graphs.util.GraphUtil
For archiving HITS rank values.
archiveHITSHubRank - Static variable in class net.sf.tweety.graphs.util.GraphUtil
archivePageRank - Static variable in class net.sf.tweety.graphs.util.GraphUtil
For archiving page rank values.
areAdjacent(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
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 - Variable in class net.sf.tweety.lp.asp.parser.ASPParser.JJCalls
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
ARG_TINA_FLIES1 - Static variable in class net.sf.tweety.arg.delp.TestArguments
ARG_TINA_FLIES2 - Static variable in class net.sf.tweety.arg.delp.TestArguments
ARG_TINA_NESTS - Static variable in class net.sf.tweety.arg.delp.TestArguments
ARG_TINA_NOT_FLIES - Static variable in class net.sf.tweety.arg.delp.TestArguments
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 - Variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
The argument which is played for or against.
argument - Variable in class net.sf.tweety.arg.delp.semantics.DialecticalTree
The argument in this node
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(String) - Constructor for class net.sf.tweety.arg.dung.syntax.Argument
Default constructor that assigns the given name to this argument
Argument - Class in net.sf.tweety.arg.lp.syntax
Instances of this class represent arguments in the sense
of Definition 2 in [1].
Argument(Rule) - Constructor for class net.sf.tweety.arg.lp.syntax.Argument
Argument(List<Rule>) - 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.
ArgumentCompletion - Class in net.sf.tweety.arg.delp.semantics
This class models the completion of an argument in the framework of defeasible logic programming.
ArgumentCompletion(DelpArgument) - Constructor for class net.sf.tweety.arg.delp.semantics.ArgumentCompletion
Constructor; initializes this argument completion with the given DeLP argument.
argumentProbabilityAssignment - Variable in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
Probability assignments to arguments (with independence assumption).
ArgumentRanking - Class in net.sf.tweety.arg.dung.semantics
This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
ArgumentRanking() - Constructor for class net.sf.tweety.arg.dung.semantics.ArgumentRanking
arguments - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
arguments - Variable in class net.sf.tweety.arg.dung.semantics.Extension
The arguments in the extension
arguments - Variable in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
The current set of arguments.
arguments - Variable in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
This list constrains the possible arguments of this structure
to the given sorts.
arguments - Variable in class net.sf.tweety.logics.fol.syntax.FOLAtom
The arguments of the atom
arguments - Variable in class net.sf.tweety.lp.asp.syntax.DLPAtom
a list of arguments of the atom
ArgumentStatus - Enum in net.sf.tweety.arg.dung.semantics
This enumeration enumerates the classical justification status of an argument.
ArgumentStatus() - Constructor for enum net.sf.tweety.arg.dung.semantics.ArgumentStatus
ArgumentStructure - Class in net.sf.tweety.arg.saf.syntax
This class models an argument structure, i.e.
ArgumentStructure(String) - Constructor for class net.sf.tweety.arg.saf.syntax.ArgumentStructure
Deprecated.
ArgumentStructure() - Constructor for class net.sf.tweety.arg.saf.syntax.ArgumentStructure
Creates a new empty argument structure.
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.
Arithmetic() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
Arithmetic - Class in net.sf.tweety.lp.asp.syntax
This class implements the Arithmetic semantic given
by the DLV Manual.
Arithmetic(String, Term<?>, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.Arithmetic
Arithmetic(Arithmetic) - Constructor for class net.sf.tweety.lp.asp.syntax.Arithmetic
Copy-Ctor
ArithmeticInteger() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
ArithmeticOperator() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
arity - Variable in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
the number of arguments for a complete structure
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 srhumentation system
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
AspicArgument <T extends Invertable > - Class in net.sf.tweety.arg.aspic.syntax
AspicArgument(InferenceRule<T>, Collection<AspicArgument<T>>) - Constructor for class net.sf.tweety.arg.aspic.syntax.AspicArgument
Creates an empty Argument
AspicArgument(InferenceRule<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
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
AspicParser <T extends Invertable > - Class in net.sf.tweety.arg.aspic.parser
AspicParser(Parser<? extends BeliefBase>, 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
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
AspInterface - Class in net.sf.tweety.lp.asp.reasoner
This class provides a common interface for asp-solvers.
AspInterface() - Constructor for class net.sf.tweety.lp.asp.reasoner.AspInterface
AspInterface.StreamFlusher - Class in net.sf.tweety.lp.asp.reasoner
Auxiliary class for reading output streams concurrently.
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
ASPParser - Class in net.sf.tweety.lp.asp.parser
Parser for DLV conform disjunctive logic programs using the
answer set semantics.
ASPParser(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParser
Constructor with InputStream.
ASPParser(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParser
Constructor with InputStream and supplied encoding
ASPParser(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParser
Constructor.
ASPParser(ASPParserTokenManager) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParser
Constructor with generated Token Manager.
ASPParser.JJCalls - Class in net.sf.tweety.lp.asp.parser
ASPParser.LookaheadSuccess - Error in net.sf.tweety.lp.asp.parser
ASPParserConstants - Interface in net.sf.tweety.lp.asp.parser
Token literal values and constants.
ASPParserTokenManager - Class in net.sf.tweety.lp.asp.parser
Token Manager.
ASPParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
Constructor.
ASPParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
Constructor.
ASPParserTreeConstants - Interface in net.sf.tweety.lp.asp.parser
ASPParserVisitor - Interface in net.sf.tweety.lp.asp.parser
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.
aspsolver - Variable in class net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester
aspsolver - Variable in class net.sf.tweety.action.description.reasoner.CTransitionSystemCalculator
assignments - Variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
The instance assignments of this reference worlds
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.
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(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
Creates a new associative formula with the two given formulae
AssociativeFOLFormula(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
Creates a new associative formula with the given inner formulas.
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(Term, Term) - Constructor for class net.sf.tweety.math.term.AssociativeOperation
Creates a new operation with the given terms.
AssociativeOperation(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.AssociativeOperation
Creates a new operation with the given list of terms.
AssociativePropositionalFormula - Class in net.sf.tweety.logics.pl.syntax
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
AssociativePropositionalFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
Creates a new (empty) associative formula.
AssociativePropositionalFormula(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
Creates a new associative formula with the given inner formulas.
AssociativePropositionalFormula(PropositionalFormula, PropositionalFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
Creates a new associative formula with the two given formulae
assocSupport - Variable in class net.sf.tweety.lp.asp.syntax.DLPHead
Assumption <T extends Formula > - Class in net.sf.tweety.arg.aba.syntax
Assumption(T) - Constructor for class net.sf.tweety.arg.aba.syntax.Assumption
Creates a new assumption
assumption - Variable in class net.sf.tweety.arg.aba.syntax.Assumption
The assumed formula
assumptions - Variable in class net.sf.tweety.arg.aba.semantics.AbaExtension
the assumptions
assumptions - Variable in class net.sf.tweety.arg.aba.syntax.ABATheory
The assumptions used in this theory wehen no explicit set of assumptions
is given
ASTAggregate - Class in net.sf.tweety.lp.asp.parser
ASTAggregate(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate
ASTAggregate(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAggregate
ASTAnswerSet - Class in net.sf.tweety.lp.asp.parser
ASTAnswerSet(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet
ASTAnswerSet(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSet
ASTAnswerSetList - Class in net.sf.tweety.lp.asp.parser
ASTAnswerSetList(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSetList
ASTAnswerSetList(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAnswerSetList
ASTArithmetic - Class in net.sf.tweety.lp.asp.parser
ASTArithmetic(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmetic
ASTArithmetic(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmetic
ASTArithmeticInteger - Class in net.sf.tweety.lp.asp.parser
ASTArithmeticInteger(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmeticInteger
ASTArithmeticInteger(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmeticInteger
ASTArithmeticOp - Class in net.sf.tweety.lp.asp.parser
ASTArithmeticOp(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmeticOp
ASTArithmeticOp(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTArithmeticOp
ASTAtom - Class in net.sf.tweety.lp.asp.parser
ASTAtom(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAtom
ASTAtom(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTAtom
ASTClingoAS - Class in net.sf.tweety.lp.asp.parser
ASTClingoAS(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoAS
ASTClingoAS(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTClingoAS
ASTComment - Class in net.sf.tweety.lp.asp.parser
ASTComment(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTComment
ASTComment(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTComment
ASTComparative - Class in net.sf.tweety.lp.asp.parser
ASTComparative(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTComparative
ASTComparative(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTComparative
ASTCompareOp - Class in net.sf.tweety.lp.asp.parser
ASTCompareOp(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTCompareOp
ASTCompareOp(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTCompareOp
ASTDefAtom - Class in net.sf.tweety.lp.asp.parser
ASTDefAtom(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTDefAtom
ASTDefAtom(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTDefAtom
ASTElement - Class in net.sf.tweety.lp.asp.parser
ASTElement(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTElement
ASTElement(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTElement
ASTElementLst - Class in net.sf.tweety.lp.asp.parser
ASTElementLst(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTElementLst
ASTElementLst(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTElementLst
ASTFunctionalTerm - Class in net.sf.tweety.lp.asp.parser
ASTFunctionalTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTFunctionalTerm
ASTFunctionalTerm(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTFunctionalTerm
ASTHead - Class in net.sf.tweety.lp.asp.parser
ASTHead(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead
ASTHead(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTHead
ASTIdentifier - Class in net.sf.tweety.lp.asp.parser
ASTIdentifier(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTIdentifier
ASTIdentifier(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTIdentifier
ASTIdLst - Class in net.sf.tweety.lp.asp.parser
ASTIdLst(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTIdLst
ASTIdLst(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTIdLst
ASTListTail - Class in net.sf.tweety.lp.asp.parser
ASTListTail(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTListTail
ASTListTail(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTListTail
ASTListTerm - Class in net.sf.tweety.lp.asp.parser
ASTListTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTListTerm
ASTListTerm(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTListTerm
ASTNumber - Class in net.sf.tweety.lp.asp.parser
ASTNumber(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber
ASTNumber(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTNumber
ASTProgram - Class in net.sf.tweety.lp.asp.parser
ASTProgram(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram
ASTProgram(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTProgram
ASTRule - Class in net.sf.tweety.lp.asp.parser
ASTRule(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule
ASTRule(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTRule
ASTSetTerm - Class in net.sf.tweety.lp.asp.parser
ASTSetTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSetTerm
ASTSetTerm(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSetTerm
ASTSimpleTerm - Class in net.sf.tweety.lp.asp.parser
ASTSimpleTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSimpleTerm
ASTSimpleTerm(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSimpleTerm
ASTSpecId - Class in net.sf.tweety.lp.asp.parser
ASTSpecId(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSpecId
ASTSpecId(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSpecId
ASTSymbolicSet - Class in net.sf.tweety.lp.asp.parser
ASTSymbolicSet(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSymbolicSet
ASTSymbolicSet(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTSymbolicSet
ASTTerm - Class in net.sf.tweety.lp.asp.parser
ASTTerm(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm
ASTTerm(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTerm
ASTTermLst - Class in net.sf.tweety.lp.asp.parser
ASTTermLst(int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermLst
ASTTermLst(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.ASTTermLst
Atom(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
Atom - Interface in net.sf.tweety.logics.commons.syntax.interfaces
An atomic language construct, linked to its predicate
Atom() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
atom - Variable in class net.sf.tweety.lp.asp.syntax.DLPNeg
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.
AtomImpl() - Constructor for class net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl
atoms - Variable in class net.sf.tweety.logics.fol.semantics.HerbrandBase
The atoms of this Herbrand base.
Attack - Interface in net.sf.tweety.arg.deductive.semantics.attacks
This interface is the common interface for notions of attack between two arguments.
Attack - Class in net.sf.tweety.arg.dung.syntax
This class models an 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
Attack - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the attack relation.
Attack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.Attack
Private constructor.
attack - Variable in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
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.
attackProbabilityAssignment - Variable in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
Probability assignments to attacks (with independence assumption).
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.
attackRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
attackRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
attackRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
attacks(Deduction<T>, T) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
attacks(Collection<Assumption<T>>, Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
attacks - Variable in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
used to enumerate all possible attack combinations.
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(Set<Argument>, Argument) - Method in class net.sf.tweety.arg.lp.semantics.AttackRelation
Is true iff at least one attacking argument attacks b
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.
attackSet() - Method in class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
Computes the attack set of this agent's focal element wrt.
attackStrategy - Variable in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner
AttackStrategy - Interface in net.sf.tweety.arg.lp.semantics.attack
This interface is the common denominator for notions of attack between two arguments.
AttackTest() - Method in class net.sf.tweety.arg.aba.ABATest
AttackTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
AttackTest - Class in net.sf.tweety.argumentation.parameterisedhierarchy
AttackTest() - Constructor for class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
available - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
available - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
available - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
available - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
available - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
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
avoidDuplicates - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
Whether to avoid duplicates in the iteration.
avoidSelfAttacks - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
Whether to avoid self-attacks.
Axiom - Class in net.sf.tweety.logics.dl.syntax
This abstract class provides the base for terminological and assertional axioms
Axiom() - Constructor for class net.sf.tweety.logics.dl.syntax.Axiom