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

S

s - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

SActionQuery - Class in net.sf.tweety.action.query.syntax

This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages.

SActionQuery(PropositionalFormula) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery

Creates a new action query with the given propositional formula and no grounding requirements.

SActionQuery(PropositionalFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery

Creates a new action query with the given propositional formula and grounding requirements.

SActionQuerySatisfactionTester - Class in net.sf.tweety.action.query.analysis

This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language s.

SActionQuerySatisfactionTester(AspInterface) - Constructor for class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester

Creates a new instance of this satisfaction tester using the given answer set solver.

SActionQuerySet - Class in net.sf.tweety.action.query.syntax

This class models a set of action queries in the language S which is based on the query language "P" discussed in the paper: Action Languages.

SActionQuerySet() - Constructor for class net.sf.tweety.action.query.syntax.SActionQuerySet

Creates a new empty action query set for the query language S.

SActionQuerySet(Collection<SActionQuery>) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuerySet

Creates a new belief set with the given collection of queries.

saf - Variable in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment

The underlying structured argumentation framework.

SafExample - Class in net.sf.tweety.arg.social.examples

Example code for using social abstract argumentation.

SafExample() - Constructor for class net.sf.tweety.arg.social.examples.SafExample

sample() - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework

Samples a random DungTheory from this framework wrt.

sample() - Method in class net.sf.tweety.math.probability.Probability

Returns a sample wrt.

sample() - Method in class net.sf.tweety.math.probability.ProbabilityFunction

Samples one element from the domain of this probability function, depending on its probability.

sample(Random) - Method in class net.sf.tweety.math.probability.ProbabilityFunction

Samples one element from the domain of this probability function, depending on its probability.

sampleArgument(Map<T, List<InferenceRule<T>>>) - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner

Samples a single ASPIC argument via a random search.

sampleArgument(Map<T, List<InferenceRule<T>>>, T, Set<T>) - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner

Samples a single ASPIC argument for the given conclusion via a random search.

sampleFormula() - Method in class net.sf.tweety.logics.pl.util.CnfSampler

Returns a random formula

sampleFormula(ProbabilityFunction<Byte>) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler

Samples a single formula.

sampleT1BeliefState() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState

Returns a T1-belief state that is a projection of this belief state, i.e.

SasAgent - Class in net.sf.tweety.agents.dialogues.structured

This class represents an agent in a structured argumentation system.

SasAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent

Creates a new (non-single-step) SasAgent with the given (local) view and utility function.

SasAgent(StructuredArgumentationFramework, UtilityFunction, boolean) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent

Creates a new SasAgent with the given (local) view and utility function.

SasEnvironment(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment

Creates a new SasEnvironment based on the given SAF.

sat - Variable in class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest

Sat4jSolver - Class in net.sf.tweety.logics.pl.sat

Uses the Sat4j library for SAT solving (note that currently only the light version is used).

Sat4jSolver(int, int) - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver

Creates a new solver with the given parameters.

Sat4jSolver() - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver

Creates a new solver with default parameters (maxvar=1000000, nbclauses=500000).

SatCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner

Uses a SAT solver to determine complete extensions.

SatCompleteReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SatCompleteReasoner

Constructs a new complete reasoner.

satisfies(Assumption<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension

satisfies(ABATheory<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension

satisfies(LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation

satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation

satisfies(Argument) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies(Argument) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.AbstractPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.CoherentPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.FoundedPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.NeutralPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in interface net.sf.tweety.arg.prob.semantics.PASemantics

Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.RationalPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics

satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics

satisfies(Argument) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping

satisfies(SocialAbstractArgumentationFramework) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping

satisfies(Collection<S>) - Method in class net.sf.tweety.commons.AbstractInterpretation

Checks whether this interpretation satisfies all given formulas.

satisfies(S) - Method in interface net.sf.tweety.commons.Interpretation

Checks whether this interpretation satisfies the given formula.

satisfies(Collection<S>) - Method in interface net.sf.tweety.commons.Interpretation

Checks whether this interpretation satisfies all given formulas.

satisfies(B) - Method in interface net.sf.tweety.commons.Interpretation

Checks whether this interpretation satisfies the given knowledge base.

satisfies(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

satisfies(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

satisfies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Checks whether the given possible world w satisfies the given conditional (B|A), i.e.

satisfies(FolFormula) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation

Checks whether this Herbrand interpretation satisfies the given formula.

satisfies(Set<FolFormula>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation

Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.

satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation

satisfies(FolFormula) - Method in class net.sf.tweety.logics.ml.semantics.KripkeModel

satisfies(ModalBeliefSet) - Method in class net.sf.tweety.logics.ml.semantics.KripkeModel

satisfies(FolFormula) - Method in class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation

satisfies(Formula, Set<Interpretation<FolBeliefSet, FolFormula>>) - Method in class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation

Checks whether this Herbrand interpretation satisfies the given formula.

satisfies(Set<FolFormula>) - Method in class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation

Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.

satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.ml.semantics.ModalHerbrandInterpretation

satisfies(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

satisfies(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

satisfies(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

satisfies(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

satisfies(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld

satisfies(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld

satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld

satisfies(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld

satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld

satisfies(RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

satisfies(RclBeliefSet) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

satisfies(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

satisfies(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.Extension

satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics

satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics

satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics

satisfies(RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution

satisfies(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution

satisfies(FolFormula) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

satisfies(RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

satisfies(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics

Checks whether the given probability distribution satisfies the given conditional wrt.

satisfies3VL(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld

Determines the 3-valued truth value of the given formula.

satisfiesGroundConditional(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics

Checks whether the given ground conditional is satisfied by the given distribution wrt.

SatReasoner - Class in net.sf.tweety.logics.pl.reasoner

Uses the default SAT reasoner to perform reasoning in propositional logic

SatReasoner() - Constructor for class net.sf.tweety.logics.pl.reasoner.SatReasoner

SatSolver - Class in net.sf.tweety.logics.pl.sat

Abstract class for specifying SAT solvers.

SatSolver() - Constructor for class net.sf.tweety.logics.pl.sat.SatSolver

satSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService

The SAT solver configured for this service.

SatStableReasoner - Class in net.sf.tweety.arg.dung.reasoner

Uses a SAT solver to determine stable extensions.

SatStableReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SatStableReasoner

Constructs a new stable reasoner.

scalingParameter - Variable in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop

The scaling parameter for the function 'v'

SCEPTICAL_INFERENCE - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics

inference types to be used wtih different semantics

ScepticalLiteralTransformationFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

This class represents the sceptical transformation function for literals as introduced in [1].

ScepticalLiteralTransformationFunction(Collection<Rule>, AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

Creates a new sceptical transformation function for literals.

ScepticalLiteralTransformationFunctionTest - Class in net.sf.tweety.lp.asp.beliefdynamics

ScepticalLiteralTransformationFunctionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

ScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation

This class extends the interface for preference aggregation with scoring Scorings are implemented separately.

ScoringPreferenceAggregator(WeightVector) - Constructor for class net.sf.tweety.preferences.aggregation.ScoringPreferenceAggregator

Constructor with given weight vector

ScoringPreferenceAggregatorTest - Class in net.sf.tweety.preferences.test

The class ScoringPreferenceAggregatorTest contains tests for the class ScoringPreferenceAggregator.

ScoringPreferenceAggregatorTest() - Constructor for class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest

screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

ScreenedMaxichoiceConsolidation - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision

This class implements the screened maxi-choice consolidation operator from [1].

ScreenedMaxichoiceConsolidation(Program, SelectionFunction<Rule>, Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.

ScreenedRemainderSets - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision

This class represents the set of Screened Consistent Remainder Sets as defined in [1].

ScreenedRemainderSets(Program, Program, Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

Creates a new set of screened remainder sets of program p that all contain the screened rules r.

scriptLocation - Variable in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner

String representation of the mleancop.sh path.

SdInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis

This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.

SdInconsistencyMeasure(Solver) - Constructor for class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure

Creates a new inconsistency measure based on the given solver.

SE_CANNOT_FIND_SOLVER - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_CANNOT_OPEN_INPUT - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_IO_FAILED - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_NO_BINARY - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_PERMISSIONS - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SE_SYNTAX_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

second - Variable in class net.sf.tweety.action.grounding.VarsNeqRequirement

second - Variable in class net.sf.tweety.math.term.Difference

The two terms of the difference

select(ScreenedRemainderSets) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction

Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.

select(RemainderSets<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction

select(RemainderSets<T>) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.baserevision.SelectionFunction

Select exactly one remainder set from the set of remainder sets.

selectableOperators - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

a set of selectable revison operators

selectableOperators - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

a set of selectable revison operators

selection - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator

selection - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

SelectionCommandParameter - Class in net.sf.tweety.plugin.parameter

This class expands the CommandParameter with a selection-array containing strings the parameter supports

SelectionCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.SelectionCommandParameter

SelectionCommandParameter(String, String, String[]) - Constructor for class net.sf.tweety.plugin.parameter.SelectionCommandParameter

SelectionFunction<T extends Formula> - Interface in net.sf.tweety.lp.asp.beliefdynamics.baserevision

This interface models a general selection function for remainder sets

selections - Variable in class net.sf.tweety.plugin.parameter.SelectionCommandParameter

all possible values for this parameter's argument

SelectiveRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.selectiverevision

This class implements a selective revision operator following [Ferme:1999].

SelectiveRevisionOperator(TransformationFunction<T>, BaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator

Creates a new selective revision operator for the given transformation function and inner revision.

sem - Variable in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation

The used semantics

sem - Variable in class net.sf.tweety.arg.prob.reasoner.ProbabilisticRankingReasoner

The classical semantics used for evaluating subgraphs

semantics - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest

semantics - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2

The argumentation semantics used

semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent

The used semantics

semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator

The semantics used.

semantics - Variable in class net.sf.tweety.arg.aba.reasoner.FlatABAReasoner

semantics - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem

The semantics for the problem.

semantics() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem

Returns the semantics of the problem.

semantics - Variable in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

The semantics to be used

semantics - Variable in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

The semantics used for this reasoner.

Semantics - Enum in net.sf.tweety.arg.dung.semantics

This enum lists all semantics.

Semantics(String, String) - Constructor for enum net.sf.tweety.arg.dung.semantics.Semantics

Creates a new semantics.

semantics - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure

The semantics against which the inconsistency of partial probability assignments are measured.

semantics - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

The semantics used for change.

semantics - Variable in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery

The semantics used for this lottery

semantics - Variable in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery

The semantics used for this lottery

semantics - Variable in class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner

Semantics for plain AAFs.

semantics - Variable in class net.sf.tweety.arg.social.reasoner.IssReasoner

The semantics used by this reasoner.

semantics - Variable in class net.sf.tweety.arg.social.semantics.SocialMapping

The semantics used for this mapping

semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

The semantics used for the distribution to be read.

semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

The semantics used for the distribution to be read.

semantics - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

semantics - Variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner

The semantics used for this reasoner.

semantics - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

The semantics used for this probability distribution.

SemiFoundedPASemantics - Class in net.sf.tweety.arg.prob.semantics

P is semi-founded wrt.

SemiFoundedPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics

SemiOptimisticPASemantics - Class in net.sf.tweety.arg.prob.semantics

P is semi-optimistic wrt.

SemiOptimisticPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics

SEMISTABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics

sequenceTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample

serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.DialogueTrace

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.ExecutableFormulaSet

Fpr serialization.

serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction

For serialization

serialVersionUID - Static variable in exception net.sf.tweety.agents.ProtocolTerminatedException

serialVersionUID - Static variable in class net.sf.tweety.agents.sim.SimulationParameters

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

serialVersionUID - Static variable in exception net.sf.tweety.arg.delp.parser.ParseException

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.arg.delp.parser.Token

The version identifier for this Serializable class.

serialVersionUID - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.arg.lp.syntax.Argument

serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.UtilityFunction

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.arg.prob.syntax.PartialProbabilityAssignment

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

kill warning

serialVersionUID - Static variable in exception net.sf.tweety.commons.ParserException

serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.Derivation

serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.RuleSet

serialVersionUID - Static variable in exception net.sf.tweety.logics.commons.error.LanguageException

kill warning

serialVersionUID - Static variable in class net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure

serialVersionUID - Static variable in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure

serialVersionUID - Static variable in class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork

serialVersionUID - Static variable in exception net.sf.tweety.logics.pl.error.PropositionalException

kill warning

serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The version identifier for this Serializable class.

serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError

The version identifier for this Serializable class.

serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The version identifier for this Serializable class.

serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

kill warning

serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.parser.ParseException

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.parser.Token

The version identifier for this Serializable class.

serialVersionUID - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError

The version identifier for this Serializable class.

serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.semantics.AnswerSetList

kill warning

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.syntax.Program

kill warning

serialVersionUID - Static variable in class net.sf.tweety.lp.asp.util.AnswerSetList

kill warning

serialVersionUID - Static variable in exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException

kill warning

serialVersionUID - Static variable in class net.sf.tweety.lp.nlp.syntax.NLPProgram

kill warning

serialVersionUID - Static variable in class net.sf.tweety.machinelearning.DefaultObservation

For serialization

serialVersionUID - Static variable in class net.sf.tweety.machinelearning.ParameterSet

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.machinelearning.TrainingSet

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.math.ComplexNumber

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.math.func.AverageAggregator

serialVersionUID - Static variable in class net.sf.tweety.math.func.MaxAggregator

serialVersionUID - Static variable in class net.sf.tweety.math.func.MinAggregator

serialVersionUID - Static variable in class net.sf.tweety.math.func.ProductAggregator

serialVersionUID - Static variable in class net.sf.tweety.math.func.SumAggregator

serialVersionUID - Static variable in exception net.sf.tweety.math.GeneralMathException

For serialization.

serialVersionUID - Static variable in exception net.sf.tweety.math.NonDifferentiableException

For serialization

serialVersionUID - Static variable in class net.sf.tweety.math.norm.AggregatingNorm

serialVersionUID - Static variable in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm

serialVersionUID - Static variable in class net.sf.tweety.math.norm.ProbabilisticPNorm

serialVersionUID - Static variable in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.math.opt.OptimizationProblem

For serialization.

serialVersionUID - Static variable in exception net.sf.tweety.math.opt.ProblemInconsistentException

For serialization.

serialVersionUID - Static variable in class net.sf.tweety.math.probability.Probability

For serialization

serialVersionUID - Static variable in class net.sf.tweety.preferences.events.UpdateEvent

serialVersionUID - Static variable in exception net.sf.tweety.preferences.io.ParseException

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.preferences.io.Token

The version identifier for this Serializable class.

serialVersionUID - Static variable in error net.sf.tweety.preferences.io.TokenMgrError

The version identifier for this Serializable class.

serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.Functions

serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.LevelingFunction

serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.RankingFunction

set(int, LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

set - Variable in class net.sf.tweety.commons.util.DefaultSubsetIterator

The set over which subsets are iterated.

set - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator

The actual set in a list.

set - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator

The set over which subsets are iterated.

set - Variable in class net.sf.tweety.commons.util.SubsetIterator

The set this iterator is iterating over.

set(int, T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

set(String) - Method in class net.sf.tweety.logics.commons.syntax.Constant

set(T) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term

Changes the java-object representation of the term to the given value.

set(String) - Method in class net.sf.tweety.logics.commons.syntax.StringTerm

set(T) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter

set(String) - Method in class net.sf.tweety.logics.commons.syntax.Variable

set(int, RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

set(Proposition, PriestWorld.TruthValue) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld

Sets the value of the given proposition.

set(int, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

set(int, DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

setAdditionalArguments(String) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner

Sets the additional arguments given to the call of the EProver binary (Default value is "--auto-schedule").

setAfterFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.DynamicLaw

Sets the afterFormula of this causal law

setAlchemyInferenceCommand(String) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner

Sets the console command for Alchemy inference (default is 'infer').

setAmount(Integer) - Method in class net.sf.tweety.preferences.update.Update

sets the third element of this triple

setAnswersetProcessing(CredibilityRevision.AnswersetProcessing) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision

setArity(int) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Sets the arity of this structure

setArity(int) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

setArity(int) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalPredicate

setAssumptions(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory

setBeliefbase(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

Adds a belief base to the end of the ordered list of belief bases.

setBeliefbase(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver

Sets the path to the binary.

setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.LpSolve

Sets the path to the binary.

setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner

Changes the path of the EProver binary.

setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner

Changes the path of the Prover9 binaries.

setClassicalNegationSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols

setCmdOptions(String) - Method in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Sets the command line options that will be used by SPASS when executing the query.

setCmdOptions(String) - Method in class net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

Sets the command line options that will be used by SPASS when executing the query.

SetComparator<T> - Class in net.sf.tweety.arg.aspic.order

SetComparator(Comparator<T>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.SetComparator

Constructs an new set comparator

setComparator(Comparator<Pair<Proposition, Boolean>>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

Changes the used comparator to sort the representation structure and resorts the representation.

setConcepts(Set<Concept>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature

setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.Assumption

setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule

setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument

Change the conclusion

setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

setConclusion(PropositionalFormula) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule

setConclusion(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule

setConclusion(Proposition) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument

setConclusion(C) - Method in interface net.sf.tweety.commons.util.rules.Rule

setConclusion(PropositionalFormula) - Method in class net.sf.tweety.logics.cl.syntax.Conditional

setConclusion(FolFormula) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

setConclusion(DLPHead) - Method in class net.sf.tweety.lp.asp.syntax.Rule

setConclusion(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Rule

setConclusion(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule

setConditonalStructure(ConditionalStructure) - Method in interface net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner.Rule

Sets the ConditionalStructure that is used as data basis for the rule.

setConditonalStructure(ConditionalStructure) - Method in class net.sf.tweety.logics.cl.rules.RuleAdapter

setConfigurationFilePath(String) - Method in class net.sf.tweety.cli.plugins.CliMain

setContol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

setContol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setContradictionSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols

setCriteria(String) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter

setDebugStream(PrintStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

Set debug output.

setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Set debug output.

setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Set debug output.

setDebugStream(PrintStream) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager

Set debug output.

setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.POParserTokenManager

Set debug output.

setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

Set debug output.

setDefaultEnumerator(AbstractMusEnumerator<PropositionalFormula>) - Static method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator

Sets the default MUS enumerator.

setDefaultGeneralSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver

Sets the default solver for non-linear (general) optimization problems.

setDefaultIntegerLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver

Sets the default solver for integer linear optimization problems.

setDefaultLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver

Sets the default solver for linear optimization problems.

setDefaultReasoner(FolReasoner) - Static method in class net.sf.tweety.logics.fol.reasoner.FolReasoner

Set default reasoner with given

setDefaultReasoner(AbstractModalReasoner) - Static method in class net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

Set default modal reasoner with given

setDefaultSolver(SatSolver) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver

Sets the default SAT solver.

setDefNeg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTDefAtom

setElement(T) - Method in class net.sf.tweety.preferences.update.Update

sets the fourth element of this triple

setEntry(int, int, Term) - Method in class net.sf.tweety.math.matrix.Matrix

Sets the entry at the given coordinates.

setFileHandler(RevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter

Sets a file handler which is responsible to filter the open file dialog and to load the selected file.

setFileHandler(SimpleRevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

Sets a file handler responsible for filtering the open file dialog and loading the selected file.

setFirst(E) - Method in class net.sf.tweety.commons.util.Pair

sets the first element of this pair

setFirst(E) - Method in class net.sf.tweety.commons.util.Triple

sets the first element of this triple

setFormula(T) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport

setFormula(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula

setFormula(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

setFormulaNames(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser

Set the regular expression that restricts which formulas will be parsed.

setFormulaRoles(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser

Set the regular expression that restricts which formulas will be parsed.

setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence

Sets the formulas of the equivalence.

setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.Implication

Sets the formulas of the implication.

setFtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

setFtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setFunctor(String) - Method in class net.sf.tweety.lp.asp.parser.ASTFunctionalTerm

setGroundingRequirements(Set<GroundingRequirement>) - Method in class net.sf.tweety.action.description.syntax.CLaw

setGtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

setGtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setHasPerformedNoOperation(Agent) - Method in class net.sf.tweety.agents.RigidProtocol

Sets that the given agent has performed a NO_OPERATION.

setHeadFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw

Sets the headFormula of this causal law

setHelptextPath(String) - Method in class net.sf.tweety.cli.plugins.CliMain

setIfFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw

Sets the IfFormula of this causal law

setIgnoreNotFeasibleError(boolean) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setIncludePath(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser

Set the location of included files.

setIndividuals(Set<Individual>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature

setInterval(String) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter

sets new selection parameter

setIntervalset(NumberSet<S>) - Method in class net.sf.tweety.math.Interval

setKappas(Collection<KappaValue>) - Method in interface net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner.Rule

Sets the Collection of KappaValue that is used as data basis for the rule

setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule

setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.RuleAdapter

setLeftGuard(Term<?>, String) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

setLeftIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

switches the flag indicating if the left method shall use iterative algorithms

setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

Select the left revision method.

setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

Select the left revision method.

setLeftTerm(Term) - Method in class net.sf.tweety.math.equation.Statement

Sets the left term of this statement.

setLowerBound(S) - Method in class net.sf.tweety.math.Interval

setMaxFunEvals(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setMaxIter(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setName(String) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

Sets the name

setName(String) - Method in class net.sf.tweety.arg.dung.syntax.Argument

sets the name of the argument

setName(String) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure

Changes the name of the Structure

setName(String) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

setName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTIdentifier

setNewBeliefs(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

setNewBeliefs(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

setNumber(String) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber

setObj1(E) - Method in class net.sf.tweety.preferences.Quadruple

sets the first element of this triple

setObj2(F) - Method in class net.sf.tweety.preferences.Quadruple

sets the second element of this triple

setObj3(G) - Method in class net.sf.tweety.preferences.Quadruple

sets the third element of this triple

setObj4(H) - Method in class net.sf.tweety.preferences.Quadruple

sets the fourth element of this triple

setObject(Object) - Method in class net.sf.tweety.commons.Writer

Sets the object of this writer.

setOperation(Operation) - Method in class net.sf.tweety.preferences.update.Update

sets the second element of this triple

setOperator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithmeticOp

setOperator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTCompareOp

setOrder(Comparator<AspicArgument<T>>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

Sets a new order over the arguments

setOrderedBefore(T, T) - Method in class net.sf.tweety.graphs.orders.Order

Adds that object1 is ordered before object2

setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.ParameterTrainer

setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer

setParameterSet(ParameterSet) - Method in interface net.sf.tweety.machinelearning.Trainer

Sets the parameters for this trainer (calling this method must ensure that the next time train(TrainingSet trainingSet) is used it uses these parameters.

setPathToOctave(String) - Static method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver

setPenalty(int) - Method in class net.sf.tweety.math.opt.OptimizationProblem

Sets the penalty for violated minimum.

setPredicate(Predicate) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument

setPredicate(Predicate) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Changes the predicate of the atom.

setPredicate(Predicate) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom

setPredicate(Predicate) - Method in class net.sf.tweety.logics.pl.syntax.Proposition

setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom

setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg

setPreferenceOrderIndex(int) - Method in class net.sf.tweety.preferences.update.Update

sets the first element of this triple

setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport

setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula

setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

setRank(PossibleWorld, Integer) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Sets the rank for the given possible world.

setRank(HerbrandInterpretation, Integer) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Sets the rank for the given Herbrand interpretation.

setResult(PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.events.UpdateEvent

Sets the result in for this update event

setRightGuard(Term<?>, String) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

setRightIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

switches the flag indicating if the right method shall use iterative algorithms

setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

Select the right revision method.

setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

Select the right revision method.

setRightTerm(Term) - Method in class net.sf.tweety.math.equation.Statement

Sets the right term of this statement.

setRoles(Set<Role>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature

setRule(ABARule<T>) - Method in class net.sf.tweety.arg.aba.syntax.Deduction

setRuleFormulaGenerator(RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory

Set a new generator to transform rules into words of the language they range over

setScriptLocation(String) - Method in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner

Set the mleancop.sh path.

setSecond(F) - Method in class net.sf.tweety.commons.util.Pair

sets the second element of this pair

setSecond(F) - Method in class net.sf.tweety.commons.util.Triple

sets the second element of this triple

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator

setSeed(long) - Method in interface net.sf.tweety.agents.sim.AgentGenerator

Set the seed for the generation.

setSeed(long) - Method in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator

Set the seed for the generation.

setSeed(long) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator

setSeed(long) - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator

Set the seed for the generation.

setSeed(long) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator

setSeed(long) - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator

setSeed(long) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator

setSeed(long) - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator

setSelections(String[]) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter

sets new selection parameter

setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

setSignature(ActionSignature) - Method in class net.sf.tweety.action.description.parser.CParser

SetSignature<T> - Class in net.sf.tweety.commons

This class models a signature as a set of formulas.

SetSignature() - Constructor for class net.sf.tweety.commons.SetSignature

Creates a empty new set signature.

SetSignature(T) - Constructor for class net.sf.tweety.commons.SetSignature

Creates a new set signature with the single given formula.

SetSignature(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.SetSignature

Creates a new set signature with the given set of formulas.

setSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParser

Sets the signature for this parser.

setSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser

Sets the signature for this parser.

setSignature(FolSignature) - Method in class net.sf.tweety.logics.ml.parser.ModalParser

Sets the signature for this parser.

setSignature(PropositionalSignature) - Method in class net.sf.tweety.logics.pl.parser.DimacsParser

Sets the signature of this parser.

setSignature(Collection<Proposition>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

Changes the signature of the world.

setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

setSolver(Solver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

setSolver(Solver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling

setSolver(String) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

setStartingPoint(Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.RootFinder

sets the starting point of this root finder.

setStartingPointsLMult(Map<Statement, Double>) - Method in class net.sf.tweety.math.opt.solver.LagrangeSolver

setStrictlyLessOrEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking

Defines "a" to be strictly less or equally acceptable than "b".

setSymbolArrow(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser

setSymbolComma(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser

setSymbolComma(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser

Sets a new symbol used for parsing parameter separators

setSymbolDefeasible(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser

Sets a new symbol used for parsing defeasible function arrows

setSymbolStrict(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser

Sets a new symbol used for parsing strict function arrows

setSymbolTrue(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser

setTabSize(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

setTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

setTabSize(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

setTargetFunction(Term) - Method in class net.sf.tweety.math.opt.OptimizationProblem

Sets the target function of this problem.

setTempDirectory(String) - Method in class net.sf.tweety.logics.mln.reasoner.NaiveMlnReasoner

Sets the path of the directory for temporary files.

setTempFolder(File) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver

Set the folder for temporary files created by SAT solver.

SetTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

SetTerm - Class in net.sf.tweety.lp.asp.syntax

This class models a set term, which can be used for sets in DLV complex programs.

SetTerm() - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm

SetTerm(SetTerm) - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm

SetTerm(Collection<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm

setThird(G) - Method in class net.sf.tweety.commons.util.Triple

sets the third element of this triple

setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver

Sets the path for the temporary folder.

setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.LpSolve

Sets the path for the temporary folder.

SetTools<E> - Class in net.sf.tweety.commons.util

This class provides some methods for set operations.

SetTools() - Constructor for class net.sf.tweety.commons.util.SetTools

setTools - Variable in class net.sf.tweety.logics.pl.util.RandomSatSampler

For randomisation

setTopRule(InferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument

Changes the TopRule

setType(int) - Method in class net.sf.tweety.math.opt.OptimizationProblem

Sets the type of this problem, either OptimizationProblem.MINIMIZE or OptimizationProblem.MAXIMIZE.

SetUp() - Method in class net.sf.tweety.arg.aba.ABATest

setUp() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest

setUp() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest

setUp() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest

setUp() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest

setUp() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest

setUp() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest

Perform pre-test initialization.

setUpperBound(S) - Method in class net.sf.tweety.math.Interval

setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter

setValue(File[]) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter

sets the instantiated parameter argument value, value has to be one of the options contained in selections

setValue(Integer) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter

sets the instantiated parameter argument value, value has to be one of the options contained in selections

setValue(String) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter

sets the instantiated parameter argument value, value has to be one of the options contained in selections

setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter

setVariable(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTIdentifier

setVariableName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithmeticInteger

setVariableName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTListTail

setVariables(Map<String, Variable>) - Method in class net.sf.tweety.logics.fol.parser.FolParser

setWorldRepresentation(Comparator<Pair<Proposition, Boolean>>) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure

Changes the internal representations of the worlds, normally the propositions of a world are ordered alphabetically but this behavior can be changed using this method.

setWorldSorting(Comparator<NicePossibleWorld>) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure

Changes the ordering of the PossibleWorlds for representation purposes, before using this method proof if the goal can be easier achieved using the setWorldRepresentation() method that allows changing the ordering of the literals in the world representation.

setXtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder

setXtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S>> - Class in net.sf.tweety.logics.commons.analysis

This class implements the Shapley culpability measure.

ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure

Creates a new Shapley culpability measure that bases on the given inconsistency measure.

shell - Static variable in class net.sf.tweety.arg.dung.ProboTest

Shell - Class in net.sf.tweety.commons.util

Shell() - Constructor for class net.sf.tweety.commons.util.Shell

showTime - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions

sig - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

The signature of the formulas.

sig - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

The signature of the formulas.

sig - Variable in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

The signature used for creating possible worlds.

sign(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure

sign(PclBeliefSet, ProbabilisticConditional) - Method in interface net.sf.tweety.logics.pcl.analysis.SignedCulpabilityMeasure

Determines the sign of the culpability of the given conditional in the given belief set, i.e.

signature - Variable in class net.sf.tweety.action.description.parser.CLawParser

signature - Variable in class net.sf.tweety.action.description.parser.CParser

signature - Variable in class net.sf.tweety.action.query.parser.ActionQueryParser

signature - Variable in class net.sf.tweety.action.signature.parser.ActionSignatureParser

Resulting signature.

signature - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem

signature - Variable in class net.sf.tweety.arg.delp.parser.DelpParser

signature - Variable in class net.sf.tweety.commons.BeliefSetSampler

The signature of this sampler.

signature - Variable in class net.sf.tweety.commons.FormulaSampler

The signature of this sampler.

Signature - Class in net.sf.tweety.commons

A signatures lists the atomic language structures for some language.

Signature() - Constructor for class net.sf.tweety.commons.Signature

signature - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure

the signature of the conditional structure

signature - Variable in class net.sf.tweety.logics.cl.semantics.RankingFunction

The signature of the language this ranking function is defined on.

signature - Variable in class net.sf.tweety.logics.fol.parser.FolParser

Keeps track of the signature.

signature - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser

Keeps track of the signature.

signature - Variable in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

The signature of the underlying language.

signature - Variable in class net.sf.tweety.logics.pl.parser.DimacsParser

The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).

signature - Static variable in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld

signature - Variable in class net.sf.tweety.logics.pl.util.EnumeratingIterator

The used signature.

signature - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

The used signature.

signature - Variable in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

The signature of the language this ranking function is defined on.

signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

The signature for this parser (if one has been given)

signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

The signature for this parser (if one has been given)

signature - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

The used FOL signature

signature - Variable in class net.sf.tweety.lp.asp.syntax.Program

The signature of the logic program

SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

signatureGrow() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld

signatureShrink() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld

SignedCulpabilityMeasure - Interface in net.sf.tweety.logics.pcl.analysis

Classes implementing this interface represent signed culpability measures, i.e.

simple - Variable in class net.sf.tweety.logics.cl.reasoner.BruteForceCReasoner

indicates whether the computed c-representation is simple.

simple - Variable in class net.sf.tweety.logics.rcl.reasoner.RelationalBruteForceCReasoner

indicates whether the computed c-representation is simple.

SimpleAccumulator - Class in net.sf.tweety.arg.deductive.accumulator

This implementation of an accumulator simply sums up the categorizations of the argument trees.

SimpleAccumulator() - Constructor for class net.sf.tweety.arg.deductive.accumulator.SimpleAccumulator

SimpleAdmissibleReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the admissible extensions.

SimpleAdmissibleReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner

SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order

SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder

Creates a comparator for AspicArguments, that always returns 0

SimpleAspicOrder(List<String>) - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder

Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule

SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.semantics

SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder

Creates a comparator for AspicArguments, that always returns 0

SimpleAspicOrder(Collection<String>) - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder

Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule

SimpleCF2Reasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the CF2 extensions.

SimpleCF2Reasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner

SimpleCharStream - Class in net.sf.tweety.arg.delp.parser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream

Constructor.

SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Constructor.

SimpleCharStream - Class in net.sf.tweety.lp.asp.parser

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream

Constructor.

SimpleCharStream - Class in net.sf.tweety.preferences.io

An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).

SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(Reader) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream

Constructor.

SimpleCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the complete extensions.

SimpleCompleteReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner

SimpleConflictFreeReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the conflict-free extensions.

SimpleConflictFreeReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleConflictFreeReasoner

SimpleDpllSolver - Class in net.sf.tweety.logics.pl.sat

This class provides a simple reference implementation of the DPLL (Davis–Putnam–Logemann–Loveland) algorithm for satisfiability testing, see e.g https://en.wikipedia.org/wiki/DPLL_algorithm.

SimpleDpllSolver() - Constructor for class net.sf.tweety.logics.pl.sat.SimpleDpllSolver

SimpleDpllSolverTest - Class in net.sf.tweety.logics.pl.test

SimpleDpllSolverTest() - Constructor for class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest

SimpleExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample

SimpleFunction<T,S> - Interface in net.sf.tweety.math.func

Encapsulates common methods of mathematical functions with a single parameter.

SimpleGeneticOptimizationSolver - Class in net.sf.tweety.math.opt.solver

This class implements a simple genetic optimization algorithm for solving optimization problems with box or equality constraints on float variables.

SimpleGeneticOptimizationSolver(int, int, int, int, double) - Constructor for class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver

Creates a new simple genetic optimization solver.

SimpleGeneticOptimizationSolver.FitnessComparator - Class in net.sf.tweety.math.opt.solver

Compares individuals by the fitness (value of the target function)

SimpleGeneticOptimizationSolverTest - Class in net.sf.tweety.math.test

SimpleGeneticOptimizationSolverTest() - Constructor for class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest

SimpleGroundedReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the grounded extension.

SimpleGroundedReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleGroundedReasoner

SimpleIdealReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the ideal extension.

SimpleIdealReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleIdealReasoner

SimpleLogicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces

A formula of a logical language

SimpleNode - Class in net.sf.tweety.graphs

A simple node of a graph with a name.

SimpleNode(String) - Constructor for class net.sf.tweety.graphs.SimpleNode

Creates a new node with the given name.

SimpleNode - Class in net.sf.tweety.lp.asp.parser

SimpleNode(int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode

SimpleNode(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode

SimpleOrderTest() - Method in class net.sf.tweety.arg.aspic.AspicTest

SimplePlLogicArgument - Class in net.sf.tweety.arg.deductive.syntax

SimplePlLogicArgument(Collection<SimplePlRule>, PropositionalFormula) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument

SimplePlLogicArgument(Derivation<SimplePlRule>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument

Constructor

SimplePlLogicDeductiveKnowledgebase - Class in net.sf.tweety.arg.deductive.syntax

SimplePlLogicDeductiveKnowledgebase() - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase

SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase

SimplePlLogicExample - Class in net.sf.tweety.arg.deductive.examples

For testing purpose only

SimplePlLogicExample() - Constructor for class net.sf.tweety.arg.deductive.examples.SimplePlLogicExample

SimplePlLogicParser - Class in net.sf.tweety.arg.deductive.parser

SimplePlLogicParser() - Constructor for class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser

SimplePlRule - Class in net.sf.tweety.arg.deductive.syntax

Basic data structure for handling simple rule

SimplePlRule() - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule

SimplePlRule(PropositionalFormula) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule

SimplePlRule(PropositionalFormula, Set<PropositionalFormula>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule

SimplePreferredReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the preferred extensions.

SimplePreferredReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimplePreferredReasoner

SimpleProductSemantics - Class in net.sf.tweety.arg.social.semantics

The simple product semantics from [Leite, Martins; IJCAI 2011, Def.

SimpleProductSemantics(double, double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.

SimpleProductSemantics(double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.

SimpleQueryTest() - Method in class net.sf.tweety.logics.ml.MleanCoPTest

SimpleQueryTest1() - Method in class net.sf.tweety.logics.ml.ModalReasonerTest

SimpleQueryTest1() - Method in class net.sf.tweety.logics.ml.SPASSTest

SimpleQueryTest2() - Method in class net.sf.tweety.logics.ml.ModalReasonerTest

SimpleQueryTest2() - Method in class net.sf.tweety.logics.ml.SPASSTest

SimpleQueryTest3() - Method in class net.sf.tweety.logics.ml.ModalReasonerTest

SimpleQueryTest4() - Method in class net.sf.tweety.logics.ml.ModalReasonerTest

SimpleRealValuedFunction - Interface in net.sf.tweety.math.func

A real-valued function.

SimpleReasoner - Class in net.sf.tweety.arg.deductive.reasoner

This class implements a brute force approach to deductive argumentation.

SimpleReasoner(Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.reasoner.SimpleReasoner

Creates a new reasoner for the given belief base, categorizer, and accumulator.

SimpleRevisionCompareModel - Class in net.sf.tweety.lp.asp.beliefdynamics.gui

The data-model used to compare two different revision approaches.

SimpleRevisionCompareModel() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

SimpleRevisionCompareModel(Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

SimpleRevisionComparePresenter - Class in net.sf.tweety.lp.asp.beliefdynamics.gui

This class couples the SimpleRevisionCompare View and Model, it needs to know the implementation used to load external belief base files, see FileHandler interface.

SimpleRevisionComparePresenter(SimpleRevisionCompareModel, SimpleRevisionCompareView) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

Default Ctor: registers the view as listener to the correct model.

SimpleRevisionComparePresenter.DefaultFileHandler - Class in net.sf.tweety.lp.asp.beliefdynamics.gui

does not try to load the file, returns null

SimpleRevisionComparePresenter.FileHandler - Interface in net.sf.tweety.lp.asp.beliefdynamics.gui

This interface is used by the SimpleRevisionComparePresenter to handle the file loading.

SimpleRevisionComparePresenter.MockOperator - Class in net.sf.tweety.lp.asp.beliefdynamics.gui

Mock revision operator for functional test.

SimpleRevisionCompareView - Class in net.sf.tweety.lp.asp.beliefdynamics.gui

The default view for a revision compare.

SimpleRevisionCompareView() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

Default Ctor: Creates the view

SimpleSafSampler - Class in net.sf.tweety.arg.saf.util

This class implements a belief base sampler for structured argumentation frameworks.

SimpleSafSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.SimpleSafSampler

Creates a new SimpleSafSampler for the given signature.

SimpleSafSampler(Signature, int, int) - Constructor for class net.sf.tweety.arg.saf.util.SimpleSafSampler

Creates a new SimpleSafSampler for the given signature.

SimpleSamplingMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner

This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.

SimpleSamplingMlnReasoner(double, int) - Constructor for class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner

Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.

SimpleSccCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the complete extensions.

SimpleSccCompleteReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner

SimpleSemiStableReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the semi-stable extensions.

SimpleSemiStableReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleSemiStableReasoner

SimpleStableReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the stable extensions.

SimpleStableReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleStableReasoner

SimpleStageReasoner - Class in net.sf.tweety.arg.dung.reasoner

This reasoner for Dung theories performs inference on the stage extensions.

SimpleStageReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleStageReasoner

SimpleTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

simpleUpdate(DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction

Updates this probability function with the given theory using "simple redistribution", cf.

simplify() - Method in class net.sf.tweety.math.matrix.Matrix

Simplifies every entry.

simplify() - Method in class net.sf.tweety.math.term.AbsoluteValue

simplify() - Method in class net.sf.tweety.math.term.Constant

simplify() - Method in class net.sf.tweety.math.term.Difference

simplify() - Method in class net.sf.tweety.math.term.Exp

simplify() - Method in class net.sf.tweety.math.term.Fraction

simplify() - Method in class net.sf.tweety.math.term.Logarithm

simplify() - Method in class net.sf.tweety.math.term.Maximum

simplify() - Method in class net.sf.tweety.math.term.Minimum

simplify() - Method in class net.sf.tweety.math.term.Power

simplify() - Method in class net.sf.tweety.math.term.Product

simplify() - Method in class net.sf.tweety.math.term.Root

simplify() - Method in class net.sf.tweety.math.term.Sum

simplify() - Method in class net.sf.tweety.math.term.Term

Simplifies this term in an equivalent way:
- Replaces products that contain a zero by the constant zero
- Removes a term one from products
- Removes a term zero from sums
- Aggregates constants in sums, products, and minimums
- Evaluates functional terms on constants
- Simplifies fractions where possible.

simplify() - Method in class net.sf.tweety.math.term.Variable

SimulationParameters - Class in net.sf.tweety.agents.sim

Objects of this class store additional simulation parameters that should be shared among the generating components of a simulation.

SimulationParameters() - Constructor for class net.sf.tweety.agents.sim.SimulationParameters

SimulationResult<S extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - Class in net.sf.tweety.agents.sim

Instances of this class summarize information on a performed simulation.

SimulationResult(List<AgentGenerator<T, R>>) - Constructor for class net.sf.tweety.agents.sim.SimulationResult

Creates a new SimulationResult for the given set of agent generators.

singleAFExtensions(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner

Computes the extensions for the single af case.

SinglePeakWeightVector - Class in net.sf.tweety.preferences.aggregation

The single peak implementation of the weight vector, where only the highest rated value in each preference order scores (1,0,0,0,0,0)

SinglePeakWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector

constructor for weight vector with peak value

SingleValeWeightVector - Class in net.sf.tweety.preferences.aggregation

SingleValeWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SingleValeWeightVector

constructor setting the value for the least chosen element

size() - Method in class net.sf.tweety.agents.dialogues.DialogueTrace

size() - Method in class net.sf.tweety.agents.MultiAgentSystem

size() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension

size() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

size() - Method in class net.sf.tweety.arg.dung.semantics.Extension

size() - Method in class net.sf.tweety.arg.dung.semantics.Labeling

size() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking

size() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

size() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure

size() - Method in class net.sf.tweety.commons.BeliefSet

size() - Method in class net.sf.tweety.commons.InterpretationSet

size() - Method in class net.sf.tweety.commons.SetSignature

size() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

size() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

size() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

size() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

size() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

size() - Method in class net.sf.tweety.logics.rdl.semantics.Extension

size() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

size() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution

size() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

size() - Method in class net.sf.tweety.math.Interval

size() - Method in class net.sf.tweety.math.probability.ProbabilityFunction

size() - Method in class net.sf.tweety.math.term.AssociativeOperation

Returns the number of the terms in this operation.

size - Variable in class net.sf.tweety.preferences.aggregation.BordaWeightVector

size() - Method in class net.sf.tweety.preferences.PreferenceOrder

returns the size of the set

SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

sliderStep - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

smallestEvaluate - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin

smallestGreaterEqual - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin

SmokersExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample

SmoothedPenalizingCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis

This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.

SmoothedPenalizingCreepingMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop

Creates a new creeping machine shop based on the given culpability measure.

smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

Whether the inconsistency value should be smoothed: 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 X=X1*smoothingFactor + X2*(1-smoothingFactor).

smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

Whether the inconsistency value should be smoothed: 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 X=X1*smoothingFactor + X2*(1-smoothingFactor).

SmoothingFunction - Class in net.sf.tweety.math.func

A function that smoothes two values with a smooting factor, i.e.

SmoothingFunction(double) - Constructor for class net.sf.tweety.math.func.SmoothingFunction

Creates a new smoothing function with the given factor.

SocialAbstractArgumentationFramework - Class in net.sf.tweety.arg.social.syntax

This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.

SocialAbstractArgumentationFramework() - Constructor for class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework

Creates a new empty social abstract argumentation framework

SocialAbstractArgumentationFramework(Graph<Argument>) - Constructor for class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework

Creates a new social abstract argumentation framework from the given graph.

SocialMapping<L> - Class in net.sf.tweety.arg.social.semantics

Implements a mapping from arguments to social value.

SocialMapping(AbstractSocialSemantics<L>) - Constructor for class net.sf.tweety.arg.social.semantics.SocialMapping

Creates a new mapping wrt.

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer

solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer

Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.BfgsSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.GlpkSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.GradientDescent

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LagrangeSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LbfgsSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LpSolve

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OpenOptWebSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver

solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver

Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.Solver

Computes a solution to the given constraint satisfaction or optimization problem, i.e.

solver - Variable in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner

A SAT solver

solver - Variable in class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure

A solver for integer linear programs.

solver - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure

A solver for integer linear programs.

solver - Variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure

The solver used for solving the optimization problem

solver - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest

solver - Static variable in class net.sf.tweety.lp.asp.analysis.ClingoTest

solver - Static variable in class net.sf.tweety.lp.asp.analysis.DLVTest

solver - Variable in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure

The ASP solver used for determining inconsistency

solver - Variable in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure

The ASP solver used for determining inconsistency

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision

reference to the solver used for the answer set generation

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling

solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator

Solver - Interface in net.sf.tweety.lp.asp.reasoner

This interface models common calls to an ASP solver.

Solver - Class in net.sf.tweety.math.opt

This abstract class models an abstract solver for constraint satisfaction or optimization problems.

Solver() - Constructor for class net.sf.tweety.math.opt.Solver

solver - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver

SolverBase - Class in net.sf.tweety.lp.asp.reasoner

Base class for solver adds generic error handling code.

SolverBase() - Constructor for class net.sf.tweety.lp.asp.reasoner.SolverBase

solverErrorCode - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

solverErrorText - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException

SolverException - Exception in net.sf.tweety.lp.asp.reasoner

This class models a generic exception for ASP solvers.

SolverException(String, int) - Constructor for exception net.sf.tweety.lp.asp.reasoner.SolverException

Creates a new SolverException with the given message.

SolverTest() - Method in class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest

SolveTime - Class in net.sf.tweety.lp.asp.reasoner

SolveTime() - Constructor for class net.sf.tweety.lp.asp.reasoner.SolveTime

SolveTime(SolveTime) - Constructor for class net.sf.tweety.lp.asp.reasoner.SolveTime

sort - Static variable in class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator

Constants needed for atom creation

Sort - Class in net.sf.tweety.logics.commons.syntax

A sort of first-order logic.

Sort(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort

Ctor: Creates an empty Sort with the given name.

Sort(String, Set<Constant>) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort

Ctor: Creates a Sort with the given name and the given constants.

Sort(Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort

Copy-Ctor creates a deep copy of the Sort

sort - Variable in class net.sf.tweety.logics.commons.syntax.TermAdapter

the type of the term

sorts - Variable in class net.sf.tweety.logics.fol.syntax.FolSignature

sortTerms(Collection<? extends Term<?>>) - Static method in class net.sf.tweety.logics.commons.syntax.Sort

Sorts the set of given terms by their sorts, i.e.

source - Variable in class net.sf.tweety.beliefdynamics.mas.InformationObject

The source of this information object.

sp - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState

spanNumber - Variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

The span number of this reference world; saved for efficiency.

spanNumber() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

Returns the span number of this reference world, i.e.

spass - Static variable in class net.sf.tweety.logics.fol.test.SPASSTest

spass - Static variable in class net.sf.tweety.logics.ml.SPASSTest

SpassFolReasoner - Class in net.sf.tweety.logics.fol.reasoner

Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

SpassFolReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Constructs a new instance pointing to a specific SPASS Prover.

SpassFolReasoner(String) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Constructs a new instance pointing to a specific SPASS

SPASSModalReasoner - Class in net.sf.tweety.logics.ml.reasoner

Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

SPASSModalReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

Constructs a new instance pointing to a specific SPASS Prover.

SPASSModalReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSModalReasoner

Constructs a new instance pointing to a specific SPASS

SPASSTest - Class in net.sf.tweety.logics.fol.test

JUnitTest to test SPASS (test cases from TPTPTest)

SPASSTest() - Constructor for class net.sf.tweety.logics.fol.test.SPASSTest

SPASSTest - Class in net.sf.tweety.logics.ml

JUnit Test class for SPASS Prover for modal formulas.

SPASSTest() - Constructor for class net.sf.tweety.logics.ml.SPASSTest

SPASSWriter - Class in net.sf.tweety.logics.fol.writer

This class prints single first-order logic formulas and knowledge bases to the SPASS format.

SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter() - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter - Class in net.sf.tweety.logics.ml.writer

This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.

SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter() - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter

Creates a new SPASSWriter.

SPECIAL_PREFIX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants

RegularExpression Id.

SpecialCharactersTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

SpecialFormula - Class in net.sf.tweety.logics.fol.syntax

This class captures the common functionalities of the special formulas tautology and contradiction.

SpecialFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.SpecialFormula

SpecialFormula - Class in net.sf.tweety.logics.pl.syntax

This class captures the common functionalities of the special formulas tautology and contradiction.

SpecialFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.SpecialFormula

specialToken - Variable in class net.sf.tweety.arg.delp.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

specialToken - Variable in class net.sf.tweety.lp.asp.parser.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

specialToken - Variable in class net.sf.tweety.preferences.io.Token

This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.

SpecId() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

STABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics

StableReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner

StableReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.StableReasoner

STAGE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics

STANDARD_AGGFUNCTION - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

STANDARD_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner

Integer constant for standard inference.

STANDARD_PENALTY - Static variable in class net.sf.tweety.math.opt.OptimizationProblem

standard penalty for converted minimums.

STANDARD_SMOOTHING_FACTOR - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

startingPoint - Variable in class net.sf.tweety.math.opt.RootFinder

The starting point of this root finder.

startingPoint - Variable in class net.sf.tweety.math.opt.solver.BfgsSolver

The starting point for the solver.

startingPoint - Variable in class net.sf.tweety.math.opt.solver.GradientDescent

The starting point for the solver.

startingPoint - Variable in class net.sf.tweety.math.opt.solver.HessianGradientDescent

The starting point for the solver.

startingPoint - Variable in class net.sf.tweety.math.opt.solver.LbfgsSolver

The starting point for the solver.

startingPoint - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver

A starting point for the optimization.

startingPoints - Variable in class net.sf.tweety.math.opt.solver.LagrangeSolver

The starting points for finding the optimum.

startingPointsLMult - Variable in class net.sf.tweety.math.opt.solver.LagrangeSolver

possible starting points for Lagrange multiplicators.

State - Class in net.sf.tweety.action.transitionsystem

Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.

State(Set<FOLAtom>) - Constructor for class net.sf.tweety.action.transitionsystem.State

Creates a new State with a set of fluents that are mapped to true.

stateChanged(ChangeEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter

stateChanged(ChangeEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

Statement - Class in net.sf.tweety.math.equation

This class models a mathematical statement, i.e.

Statement(Term, Term) - Constructor for class net.sf.tweety.math.equation.Statement

Creates a new statement with the given terms.

states - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem

STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError

An attempt was made to create a second instance of a static token manager.

STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError

An attempt was made to create a second instance of a static token manager.

STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError

An attempt was made to create a second instance of a static token manager.

STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError

An attempt was made to create a second instance of a static token manager.

STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.preferences.io.TokenMgrError

An attempt was made to create a second instance of a static token manager.

staticFlag - Static variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Whether parser is static.

staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Whether parser is static.

staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Whether parser is static.

staticFlag - Static variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Whether parser is static.

staticFlag - Static variable in class net.sf.tweety.preferences.io.SimpleCharStream

Whether parser is static.

StaticLaw - Class in net.sf.tweety.action.description.syntax

This class represents a static rule in C, which has the following form: caused H if G where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions

StaticLaw() - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw

Creates an empty static law.

StaticLaw(FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw

Creates an empty static law of the form caused headFormula if True

StaticLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw

Creates an empty static law of the form caused headFormula if True requires requirements

StaticLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw

Creates an empty static law of the form caused headFormula if ifFormula

StaticLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw

Creates an empty static law of the form caused headFormula if ifFormula requires requirements

step() - Method in class net.sf.tweety.agents.AbstractProtocol

Executes one step of the protocol.

STEP_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

The step length for the line search.

stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent

Stickyness coefficient for the sticky update.

stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator

stickyUpdate(DungTheory, double) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction

Updates this probability function with the given theory using "sticky redistribution", cf.

stocks() - Method in class net.sf.tweety.arg.delp.TestQueries

stopFitness - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer

Whether to stop if objective function value is smaller than stopFitness.

STR_TINA_FLIES1 - Static variable in class net.sf.tweety.arg.delp.TestArguments

STR_TINA_FLIES2 - Static variable in class net.sf.tweety.arg.delp.TestArguments

STR_TINA_NESTS - Static variable in class net.sf.tweety.arg.delp.TestArguments

STR_TINA_NOT_FLIES - Static variable in class net.sf.tweety.arg.delp.TestArguments

strategy - Variable in class net.sf.tweety.arg.lp.semantics.AttackRelation

StratifiedLabeling - Class in net.sf.tweety.arg.dung.semantics

This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].

StratifiedLabeling() - Constructor for class net.sf.tweety.arg.dung.semantics.StratifiedLabeling

Creates a new empty stratified labeling.

StratifiedLabelingExample - Class in net.sf.tweety.arg.dung.examples

Example code for using stratified labelings by Thimm/Kern-Isberner

StratifiedLabelingExample() - Constructor for class net.sf.tweety.arg.dung.examples.StratifiedLabelingExample

StratifiedLabelingReasoner - Class in net.sf.tweety.arg.dung.reasoner

This class implements a stratified labeling reasoner.

StratifiedLabelingReasoner(Semantics) - Constructor for class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

Creates a new reasoner for the given Dung theory, semantics, and inference type.

StratifiedLabelingReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

Creates a new reasoner using sceptical inference and grounded semantics.

stream - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess

The stream.

stream - Variable in class net.sf.tweety.preferences.update.UpdateStream

StreamBasedInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis.streams

General interface for inconsistency measures working on streams.

StreamBasedInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure

StreamFlusher(InputStream) - Constructor for class net.sf.tweety.lp.asp.reasoner.AspInterface.StreamFlusher

StreamInconsistencyEvaluationExample - Class in net.sf.tweety.logics.pl.examples

StreamInconsistencyEvaluationExample() - Constructor for class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

StreamInconsistencyEvaluationExample2 - Class in net.sf.tweety.logics.pl.examples

StreamInconsistencyEvaluationExample2() - Constructor for class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.Functions

strengthens the given element in the function

strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.LevelingFunction

strengthens the given element in the leveling function

strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.RankingFunction

strengthens the given element in the ranking function

strengthenElementInLF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder

strengthens the given element in this preference order in its leveling function

strengthenElementInRF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder

strengthens the given element in this preference order in its ranking function

StrictInferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax

StrictInferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule

Constructs an empty instance

StrictInferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule

Constructs a strict inference rule p -> c

strictNotClonable() - Method in class net.sf.tweety.arg.delp.TestRules

StrictRule - Class in net.sf.tweety.arg.delp.syntax

This class models a strict rule in defeasible logic programming.

StrictRule(FolFormula, Set<FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.StrictRule

Default constructor; initializes head and body of the strict rule

strictRules() - Method in class net.sf.tweety.arg.delp.TestRules

StringListCommandParameter - Class in net.sf.tweety.plugin.parameter

This class models a string list command parameter for Work-in-Progress, do not use!

StringListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.StringListCommandParameter

constructor with identifier and description

StringPreferenceOrder() - Method in class net.sf.tweety.preferences.io.POParser

StringTerm - Class in net.sf.tweety.logics.commons.syntax

This class represents terms which are objects identified by a string.

StringTerm(String) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm

Ctor: Creates a string term with the given String as value, uses the Sort "Thing"

StringTerm(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm

Ctor: Create a string term with the given value and sort.

StringTerm(StringTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm

Copy-Ctor: Creates a deep copy of the StringTerm

StrongAttack - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the strong attack relation.

StrongAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongAttack

Private constructor.

StrongConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the strong confident attack relation.

StrongConfidentAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack

Private constructor.

StrongUndercut - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the strong undercut relation.

StrongUndercut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut

Private constructor.

StructuredArgumentationFramework - Class in net.sf.tweety.arg.saf.syntax

This class represents a structured argumentation framework, i.e.

StructuredArgumentationFramework() - Constructor for class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework

Creates a new empty structured argumentation framework.

StructuredArgumentationSystem - Class in net.sf.tweety.agents.dialogues.structured

This class represents a structured argumentation system, i.e.

StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem

Creates a new StructuredArgumentationSystem

StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework, Collection<? extends SasAgent>) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem

Creates a new StructuredArgumentationSystem with the given collection of agents.

StructuredArgumentationSystem.SasEnvironment - Class in net.sf.tweety.agents.dialogues.structured

This class models an environment for structured argumentation systems.

STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

RegularExpression Id.

STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants

RegularExpression Id.

subcuts(DeductiveArgumentNode, Set<CompilationNode>, CompilationNode, Set<PropositionalFormula>, ArgumentTree) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation

This method recursively builds up the argument tree from the given argument.

SubgraphProbabilityFunction - Class in net.sf.tweety.arg.prob.lotteries

Represents a probability function on the subgraphs of some Dung theory.

SubgraphProbabilityFunction(DungTheory) - Constructor for class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction

Creates a new uniform probability function for the given theory, i.e.

SubgraphProbExample - Class in net.sf.tweety.arg.prob.examples

Example code for showing how to work with subgraph probability distributions and updates.

SubgraphProbExample() - Constructor for class net.sf.tweety.arg.prob.examples.SubgraphProbExample

subList(int, int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

subList(int, int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

subList(int, int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

subList(int, int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

subList(int, int) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

subProblem - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem

The description of the problem.

subProblem() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem

Returns the sub-problem of the problem.

SubProblem(String, String, boolean) - Constructor for enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem

Creates a new sub-problem

subs - Variable in class net.sf.tweety.arg.aba.syntax.Deduction

SubsetIterator<T> - Class in net.sf.tweety.commons.util

Iterates over all subsets of a given set.

SubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.SubsetIterator

Creates a new subset iterator for the given set.

SubsetIteratorExample - Class in net.sf.tweety.commons.examples

SubsetIteratorExample() - Constructor for class net.sf.tweety.commons.examples.SubsetIteratorExample

subsets(Collection<? extends E>) - Method in class net.sf.tweety.commons.util.SetTools

This method computes all subsets of the given set of elements of class "E".

subsets(Collection<? extends E>, int) - Method in class net.sf.tweety.commons.util.SetTools

This method computes all subsets of the given set of elements of class "E" with the given size.

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.HoldsQuery

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.QueryProposition

Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.signature.FolAction

Substitutes terms in all non-zero-arity atoms in this action according to the given map.

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpFact

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.StrictRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm

substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.

substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram

Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.

substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term

Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula

Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Conjunction

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Implication

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Negation

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.ml.syntax.Necessity

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.ml.syntax.Possibility

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Comparative

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom

substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.lp.asp.syntax.DLPElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.lp.asp.syntax.DLPLiteral

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPNot

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.Program

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Rule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule

substituteInnerFormulas(Map<Variable, Constant>) - Method in class net.sf.tweety.action.query.syntax.SActionQuery

Returns a new action query in which all variables are mapped to constants with regard to the given map.

substitutePropositions(Map<Variable, Constant>, PropositionalFormula) - Static method in class net.sf.tweety.action.query.syntax.SActionQuery

Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.

subtermsProcessing - Static variable in class net.sf.tweety.logics.cl.kappa.KappaValue

A flag used to store if this kappa-value is processing its sub-terms

suite() - Static method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest

sum(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools

Computes the sum of the elements in v

Sum - Class in net.sf.tweety.math.term

This class models a sum of two terms.

Sum() - Constructor for class net.sf.tweety.math.term.Sum

Creates a new (empty) sum.

Sum(Term, Term) - Constructor for class net.sf.tweety.math.term.Sum

Creates a new sum with the given terms.

Sum(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.Sum

Creates a new sum with the given list of terms.

SumAggregator - Class in net.sf.tweety.math.func

This aggregation function models the sum function.

SumAggregator() - Constructor for class net.sf.tweety.math.func.SumAggregator

SUMFUZZY_MEASURE - Static variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

static constant for the Sum-version of the measure

superGraphs(DungTheory, DungTheory, DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction

Computes Super(G,G′,Ci) = {(α,β) ∈ Arcs(G) | (α ∈ Nodes(G′) and β ∈ Nodes(Ci)) or (α ∈ Nodes(Ci) and β ∈ Nodes(G′)) or (α ∈ Nodes(Ci) and β ∈ Nodes(Ci))

supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

The vote aggregation function

supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

support - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument

The support of this argument.

support - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument

support - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlRule

support - Variable in class net.sf.tweety.arg.delp.syntax.DelpArgument

The support of this argument

support - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

The inner formulas of this formula

support - Variable in class net.sf.tweety.arg.saf.syntax.BasicArgument

The support of this basic argument.

support - Variable in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.

support - Variable in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula

This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.

support - Variable in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.

support - Variable in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

The inner formulas of this formula

support(S, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule

Returns the support of the given item wrt.

support(Collection<S>, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule

Returns the support of the given itemset wrt.

support(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule

Returns the support of this rule wrt.

supportedFormats() - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

Gives a collection view of the supported formats of this solver, cf.

supportedProblems() - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

Gives a collection view on the supported problems of this solver, cf.

SupportVectorMachine - Class in net.sf.tweety.machinelearning.svm

Realizes a support vector machine classifier utilizing LIBSVM.

SupportVectorMachine(svm_model) - Constructor for class net.sf.tweety.machinelearning.svm.SupportVectorMachine

Creates a new SVM from the given libsvm model.

SvmExample - Class in net.sf.tweety.machinelearning.examples

SvmExample() - Constructor for class net.sf.tweety.machinelearning.examples.SvmExample

SVMTest - Class in net.sf.tweety.machinelearning.test

SVMTest() - Constructor for class net.sf.tweety.machinelearning.test.SVMTest

switched - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator

Only used when avoidDuplicats is set to true.

SwitchTo(int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

Switch to specified lex state.

SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager

Switch to specified lex state.

SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager

Switch to specified lex state.

SwitchTo(int) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager

Switch to specified lex state.

SwitchTo(int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager

Switch to specified lex state.

SwitchTo(int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

Switch to specified lex state.

symbolArrow - Variable in class net.sf.tweety.arg.aba.parser.ABAParser

Symbols used for parsing rules

symbolComma - Variable in class net.sf.tweety.arg.aba.parser.ABAParser

Symbols used for parsing rules

symbolComma - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser

symbolComma - Variable in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser

symbolDefeasible - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser

SymbolicSet() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

SymbolicSet - Class in net.sf.tweety.lp.asp.syntax

This class is used to store symbolic sets of aggregate functions of DLV rules.

SymbolicSet(Collection<Variable>, Collection<DLPElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.SymbolicSet

SymbolicSet(SymbolicSet) - Constructor for class net.sf.tweety.lp.asp.syntax.SymbolicSet

symbolInf - Variable in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser

symbolStrict - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser

symbolTrue - Variable in class net.sf.tweety.arg.aba.parser.ABAParser

Symbols used for parsing rules

symmetricDifference(Collection<E>, Collection<E>) - Method in class net.sf.tweety.commons.util.SetTools

Returns the symmetric difference of the two sets s and t, i.e.

symSet - Variable in class net.sf.tweety.lp.asp.syntax.Aggregate

SynchronousProtocol - Class in net.sf.tweety.agents

This class models a synchronous protocol for multi-agent systems.

SynchronousProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.SynchronousProtocol

Creates a new (non-rigid) synchronous protocol for the given multi-agent system and unlimited number of steps.

SynchronousProtocol(MultiAgentSystem<? extends Agent>, int) - Constructor for class net.sf.tweety.agents.SynchronousProtocol

Creates a new (non-rigid) synchronous protocol for the given multi-agent system and the given number of steps.

SynchronousProtocol(MultiAgentSystem<? extends Agent>, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol

Creates a new synchronous protocol for the given multi-agent system and unlimited number of steps.

SynchronousProtocol(MultiAgentSystem<? extends Agent>, int, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol

Creates a new synchronous protocol for the given multi-agent system.

SyntacticEnumeratingIterator - Class in net.sf.tweety.logics.pl.util

Generates all syntactic variations of knowledge bases

SyntacticEnumeratingIterator(PropositionalSignature, int, File, boolean) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

Creates a new sampler.

SyntacticEnumeratingPlBeliefSetSamplerExample - Class in net.sf.tweety.logics.pl.examples

SyntacticEnumeratingPlBeliefSetSamplerExample() - Constructor for class net.sf.tweety.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample

SyntacticRandomPlBeliefSetSamplerExample - Class in net.sf.tweety.logics.pl.examples

SyntacticRandomPlBeliefSetSamplerExample() - Constructor for class net.sf.tweety.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample

SyntacticRandomSampler - Class in net.sf.tweety.logics.pl.util

This sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.

SyntacticRandomSampler(Signature, Probability, Probability, Probability, double) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticRandomSampler

Creates a new sampler.

SyntacticRandomSampler(Signature, Probability, Probability, Probability, double, int, int) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticRandomSampler

Creates a new sampler.

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