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

S

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(PlFormula) - 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(PlFormula, 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(ASPSolver) - 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.

SAFEFORMULAINDEPENDENCE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate

The SAFEFORMULAINDEPENDENCE postulate

SafetyReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.deductive

a set of arguments S is safe wrt.

SafetyReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.deductive.SafetyReasoner

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

SAFExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample

SAFRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner

This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.

SAFRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner

Create a new SAFRankingReasoner with default parameters.

SAFRankingReasoner(double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner

Create a new SAFRankingReasoner with the given epsilon for the SimpleProductSemantic.

SAFRankingReasoner(double, double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner

Create a new SAFRankingReasoner with the given epsilon and the given tolerance for the SimpleProductSemantic.

SAFRankingReasoner(double, double, double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner

Create a new SAFRankingReasoner with the given epsilon, the given precision and the given tolerance for the SimpleProductSemantic.

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.

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.

SAT - net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer

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() - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver

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

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

Creates a new solver with the given parameters.

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.

SatEncoding - Interface in net.sf.tweety.arg.adf.reasoner.sat.encodings

satisfiable() - Method in class net.sf.tweety.arg.adf.sat.AsynchronousCloseSatSolverState

satisfiable() - Method in class net.sf.tweety.arg.adf.sat.AsynchronousSatSolverState

satisfiable() - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState

Computes if the current state is satisfiable.

satisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation

satisfied() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

satisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation

satisfied() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation

satisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation

satisfied(Argument) - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

satisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation

satisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation

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

Checks whether this interpretation satisfies the given knowledge base.

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

satisfies(Collection<PlFormula>) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Checks whether this interpretation satisfies the given formula.

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

Checks whether this interpretation satisfies all given formulas.

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

Checks whether this interpretation satisfies all given formulas.

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(Set<FolFormula>) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation

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

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

satisfies(Assumption<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(Argument) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

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

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

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

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

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(SocialAbstractArgumentationFramework) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping

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

Checks whether this Herbrand interpretation satisfies the given formula.

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

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

satisfies(DlAxiom) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation

satisfies(DlBeliefSet) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation

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

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

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

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

Checks whether this Herbrand interpretation satisfies the given formula.

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

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

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

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

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

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

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

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(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

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

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

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

satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Checks whether this interpretation satisfies the given formula.

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

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

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

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

satisfies(PlFormula) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Checks whether this interpretation satisfies the given formula.

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

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

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(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics

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

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

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

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

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

satisfies(ASPRule) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

satisfies(Program) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet

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

Checks whether this interpretation satisfies the given formula.

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

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

SatLinkStrategy - Class in net.sf.tweety.arg.adf.semantics.link

Computes the LinkType via two Sat-calls.

SatLinkStrategy(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.semantics.link.SatLinkStrategy

SatLinkStrategy(IncrementalSatSolver, Interpretation) - Constructor for class net.sf.tweety.arg.adf.semantics.link.SatLinkStrategy

Computes the link type based on the two-valued assignments of the given assumption.

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 - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService

The SAT solver configured for this service.

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

SatSolverState - Interface in net.sf.tweety.arg.adf.sat

A high level representation of a sat solver state.

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.

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

Reasoner for CF2 extensions using scc-recursiveness.

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

SCEPTICAL - net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType

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

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

Reasoner for SCF2 extensions using scc-recursiveness.

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

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

reasoner for SCOOC-naive semantics.

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

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

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

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

ScreenedMaxichoiceConsolidation(Program, SelectionFunction<ASPRule>, ASPSolver) - 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, ASPSolver) - 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.

Script - net.sf.tweety.logics.bpm.syntax.TaskType

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

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

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

Creates a new inconsistency measure based on the given solver.

SE - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem

SE_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem

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_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem

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

SE_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem

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_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem

SE_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem

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

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

Implements the SEE approach ("selective extension enumeration") to determine the set of credulously acceptable arguments of an AF wrt.

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

Creates a new IaqAcceptabilityReasoner.

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

Implements the SEEM approach ("selective extension enumeration with MaxSAT") to determine the set of credulously acceptable arguments of an AF wrt.

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

Creates a new IaqAcceptabilityReasoner.

select(RemainderSets<ASPRule>) - 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.

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.

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

Creates a new parameter.

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

Creates a new parameter.

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

This interface models a general selection function for remainder sets

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.

SELFCONTRADICTION - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate

The SELFCONTRADICTION postulate

SelfSupportingReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential

a set of arguments S is self-supporting iff all arguments in S are e-supported by S.

SelfSupportingReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.SelfSupportingReasoner

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() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem

Returns the semantics of the problem.

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

This enum lists all semantics.

SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

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

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

Reasoner for semi-qualified sigma-semantics.

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

initialize reasoner with the given semantics as base function.

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

Send - net.sf.tweety.logics.bpm.syntax.TaskType

SequenceFlow - Class in net.sf.tweety.logics.bpm.syntax

SequenceFlow(BpmnNode, BpmnNode) - Constructor for class net.sf.tweety.logics.bpm.syntax.SequenceFlow

Service - net.sf.tweety.logics.bpm.syntax.TaskType

set(int, Boolean) - Method in class net.sf.tweety.arg.adf.util.ThreeValuedBitSet

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

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

set(int, ComplexConcept) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

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

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

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(String) - Method in class net.sf.tweety.logics.commons.syntax.StringTerm

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

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

Sets the value of the given proposition.

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(T) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter

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").

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

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

SetAttack - Class in net.sf.tweety.arg.bipolar.syntax

This class models an attack between a set of arguments and an argument.

SetAttack(Collection<BArgument>, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetAttack

initializes the arguments used in this attack relation

SetAttack(ArgumentSet, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetAttack

Default constructor; initializes the arguments used in this attack relation

SetAttack(BArgument, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetAttack

initializes the arguments used in this attack relation

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

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.

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.

setBody(List<ASPBodyElement>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

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

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

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.

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

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

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

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

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

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

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

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

setConclusion(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setConclusion(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

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

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

setConsequenceOperation(IcebergInconsistencyMeasure.ConsequenceOperation) - Method in class net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure

Sets the consequence operation for this IcebergInconsistencyMeasure.

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

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

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

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

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

Set debug output.

setDefaultEnumerator(AbstractMusEnumerator<PlFormula>) - 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.Solver

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

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

Sets the default solver for integer linear optimization problems.

setDefaultLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.solver.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(AbstractMlReasoner) - Static method in class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner

Set default modal reasoner with given

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

Sets the default SAT solver.

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

setFirstFormula(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Implication

Sets the left side formula of the implication left => right.

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

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

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

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.

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

Sets the formulas of the equivalence.

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

Sets the formulas of the implication.

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

Sets the formulas of the equivalence.

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

Sets the formulas of the implication.

setFormulas(PlFormula, PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence

Sets the formulas of the equivalence.

setFormulas(PlFormula, PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Implication

Sets the formulas of the implication.

setFunction(ASPOperator.AggregateFunction) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the aggregate function.

setHead(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

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

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

Set the location of included files.

setIntegerMaximum(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Set the upper integer bound.

SetInterpretation - Class in net.sf.tweety.arg.adf.semantics.interpretation

This implementation is backed by three sets which allows SetInterpretation.satisfied(Argument), SetInterpretation.unsatisfied(Argument) and SetInterpretation.undecided(Argument) to return in constant time.

SetInterpretation(Set<Argument>, Set<Argument>, Set<Argument>) - Constructor for class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation

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<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Set the left relation term (right guard).

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.

setLeftOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the operator of the left aggregate relation.

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

Sets the left term of this statement.

setLevel(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setLiteral(ASPBodyElement) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

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

setMaxNumOfModels(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver

Set the maximum number of models to be generated.

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

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

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

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(ASPOperator.ArithmeticOperator) - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm

Sets the operator of this arithmetic term.

setOptimize(boolean) - Method in class net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

The optimization generates only the necessary parts of the definitions based on the polarity of the subformulas, i.e.

setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Set additional command line options for Clingo.

setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Set additional command line options for DLV.

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

setOutputWhitelist(Collection<Predicate>) - Method in class net.sf.tweety.lp.asp.syntax.Program

Sets the whitelist of predicates.

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<S,T> trainingSet) is used it uses these parameters.

setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Sets the location of the Clingo solver on the hard drive.

setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Sets the location of the DLV solver on the hard drive.

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

setPenalty(int) - Method in class net.sf.tweety.math.opt.problem.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.ASPAtom

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

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

setQuery(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program

Sets the query of the program.

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

Sets the rank for the given Herbrand interpretation.

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

Sets the rank for the given possible world.

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

Sets the result in for this update event

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

Set the right relation term (right guard).

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.

setRightOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom

Sets the operator of the right aggregate relation.

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

Sets the right term of this statement.

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

setSecondFormula(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Implication

Sets the right side formula of the implication left => right

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(Collection<Proposition>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld

Changes the signature of the world.

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

setSignature(DlSignature) - Method in class net.sf.tweety.logics.dl.parser.DlParser

Sets the signature for this parser.

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

Sets the signature for this parser.

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

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

Sets the signature of this parser.

setSignature(S) - Method in class net.sf.tweety.commons.BeliefSet

Sets the signature that is attached to his belief base to a copy of the given signature.

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

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

setSortingType(NumericalArgumentRanking.SortingType) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking

Set the sorting type for ranking values.

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

sets the starting point of this root finder.

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

setStateHandler(ExecutorService) - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder

Uses the given ExecutorService to create and release SatSolverState.

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

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

SetSupport - Class in net.sf.tweety.arg.bipolar.syntax

This class models a support between a set of arguments and an argument.

SetSupport(Collection<BArgument>, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetSupport

initializes the arguments used in this support relation

SetSupport(ArgumentSet, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetSupport

Default constructor; initializes the arguments used in this support relation

SetSupport(BArgument, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.SetSupport

initializes the arguments used in this support relation

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

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

Sets the target function of this problem.

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

Sets the path of the directory for temporary files.

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

Set the folder for temporary files created by a MaxSAT solver.

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

Set the folder for temporary files created by SAT solver.

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

setTopLevelPolarity(int) - Method in class net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

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.problem.OptimizationProblem

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

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.

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

setUpBefore() - Method in class net.sf.tweety.arg.bipolar.BasicFunctionalityTest

setUpBefore() - Method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.bipolar.BasicFunctionalityTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.bipolar.DeductiveArgumentationTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.bipolar.NecessityArgumentationTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.bipolar.TranslationTest

setUpBeforeClass() - Static method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure

setUpBeforeClass() - Static method in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure

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

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

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

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

setVerifier(Verifier) - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder

setWeight(Attack, double) - Method in class net.sf.tweety.arg.dung.syntax.WeightedDungTheory

sets the weight of the given attack to the given value

setWeight(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

setWeight(T) - Method in class net.sf.tweety.graphs.WeightedDirectedEdge

TODO

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.

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

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 - Class in net.sf.tweety.commons.util

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

show(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner

print out table showing the sets according to the given ordering semantics

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.

Signal - net.sf.tweety.logics.bpm.syntax.EventType

Signature - Interface in net.sf.tweety.commons

A signatures lists the atomic language structures for some language.

Signature(Set<Argument>) - Constructor for class net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Signature

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.

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<T extends Invertable> - Class in net.sf.tweety.arg.aspic.semantics

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

Creates a comparator for AspicArguments, that always returns 0

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

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

SimpleAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner

SimpleAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.SimpleAspicReasoner

Creates a new instance

SimpleASPRulesTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest

SimpleBeliefBaseTest() - Method in class net.sf.tweety.logics.qbf.test.QCIRTest

SimpleBeliefBaseTest() - Method in class net.sf.tweety.logics.qbf.test.QDIMACSTest

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 - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

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 - 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 - Class in net.sf.tweety.preferences.io

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SimpleCReasoner - Class in net.sf.tweety.logics.cl.reasoner

This class models a brute force c-reasoner for conditional logic.

SimpleCReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner

Creates a new simple c-representation reasoner.

SimpleCReasoner(boolean) - Constructor for class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner

Creates a new c-representation reasoner

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

This class implements a brute force approach to deductive argumentation.

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

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

SimpleDefaultReasoner - Class in net.sf.tweety.logics.rdl.reasoner

Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

SimpleDefaultReasoner() - Constructor for class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

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

SimpleFolReasoner - Class in net.sf.tweety.logics.fol.reasoner

Uses a naive brute force search procedure for theorem proving.

SimpleFolReasoner() - Constructor for class net.sf.tweety.logics.fol.reasoner.SimpleFolReasoner

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.

SimpleGeneticOptimizationSolverEx - Class in net.sf.tweety.math.examples

This class implements an example for the Genetic Optimization Solver It is natively implemented

SimpleGeneticOptimizationSolverEx() - Constructor for class net.sf.tweety.math.examples.SimpleGeneticOptimizationSolverEx

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

SimpleIncrementalSatSolver - Class in net.sf.tweety.arg.adf.sat

A simple wrapper which can be used where instances of IncrementalSatSolver are needed.

SimpleIncrementalSatSolver(SatSolver) - Constructor for class net.sf.tweety.arg.adf.sat.SimpleIncrementalSatSolver

SimpleLink - Class in net.sf.tweety.arg.adf.semantics.link

A simple immutable representation of ADF links.

SimpleLink(Argument, Argument, LinkType) - Constructor for class net.sf.tweety.arg.adf.semantics.link.SimpleLink

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

A formula of a logical language

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

SimpleMlnReasoner() - Constructor for class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner

SimpleMlReasoner - Class in net.sf.tweety.logics.ml.reasoner

This class implements inference for modal logic using a brute-force approach.

SimpleMlReasoner() - Constructor for class net.sf.tweety.logics.ml.reasoner.SimpleMlReasoner

SimpleNode - Class in net.sf.tweety.graphs

A simple node of a graph with a name.

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

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

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

Creates a new node with the given name.

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

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

SimplePafReasoner - Class in net.sf.tweety.arg.prob.reasoner

This class implements a naive algorithm for computing probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.

SimplePafReasoner(Semantics) - Constructor for class net.sf.tweety.arg.prob.reasoner.SimplePafReasoner

Creates a new reasoner.

SimplePlInterpolantEnumerator - Class in net.sf.tweety.logics.pl.analysis

Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.

SimplePlInterpolantEnumerator(AbstractPlReasoner) - Constructor for class net.sf.tweety.logics.pl.analysis.SimplePlInterpolantEnumerator

Creates a new SimplePlInterpolantEnumerator that uses the given PL reasoner for entailment queries.

SimplePlInterpolantEnumeratorExample - Class in net.sf.tweety.logics.pl.examples

Illustrates the use of the SimplePlInterpolantEnumerator

SimplePlInterpolantEnumeratorExample() - Constructor for class net.sf.tweety.logics.pl.examples.SimplePlInterpolantEnumeratorExample

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

SimplePlLogicArgument(Collection<SimplePlRule>, PlFormula) - 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

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

Naive classical inference (checks all interpretations for satisfiability).

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

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(PlFormula) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule

SimplePlRule(PlFormula, Set<PlFormula>) - 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) - 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, 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.dl.test.DlReasonerTest

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

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

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

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

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

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

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

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

A real-valued function.

SimpleRelationalCReasoner - Class in net.sf.tweety.logics.rcl.reasoner

This class models a relational brute force c-reasoner for relational conditional logic.

SimpleRelationalCReasoner(boolean) - Constructor for class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner

Creates a new relational c-representation reasoner.

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(ASPSolver) - 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.FileHandler - Interface in net.sf.tweety.lp.asp.beliefdynamics.gui

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

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.

SimpleSatSolverState - Class in net.sf.tweety.arg.adf.sat

A dummy state that can be used in combination with non-incremental Sat-Solvers and SimpleIncrementalSatSolver at positions where a SatSolverState is required.

SimpleSatSolverState(SatSolver) - Constructor for class net.sf.tweety.arg.adf.sat.SimpleSatSolverState

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

SimpleTermTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest

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

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

This class implements the simulated annealing algorithm for combinatrics problems It is natively implemented

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

SimulatedAnnealingEx - Class in net.sf.tweety.math.examples

SimulatedAnnealingEx() - Constructor for class net.sf.tweety.math.examples.SimulatedAnnealingEx

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

implements the Simulated Annealing algorithm for optimization problems

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

SimulatedAnnealingOnConstrProbEx2 - Class in net.sf.tweety.math.examples

This class implements an example for Simulated Annealing on optimization problems It is natively implemented

SimulatedAnnealingOnConstrProbEx2() - Constructor for class net.sf.tweety.math.examples.SimulatedAnnealingOnConstrProbEx2

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.

SingleFormulasTest() - Method in class net.sf.tweety.logics.qbf.test.QCIRTest

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

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

This class models a signature as a set of formulas.

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

Creates a new empty signature.

SingleSetSignature(Set<T>) - Constructor for class net.sf.tweety.commons.SingleSetSignature

Creates a new signature with the given set of elements.

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

singleValued(Argument, boolean, AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

Returns an interpretation relative to adf with a single truth value decided.

SingleValuedInterpretation - Class in net.sf.tweety.arg.adf.semantics.interpretation

SingleValuedInterpretation(Argument, boolean, AbstractDialecticalFramework) - Constructor for class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation

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 interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

Returns the number of arguments in this interpretation.

size() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework

size() - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework

size() - Method in class net.sf.tweety.arg.adf.util.CacheMap

size() - Method in class net.sf.tweety.arg.adf.util.LazyMap

size() - Method in class net.sf.tweety.arg.adf.util.MinusSetView

size() - Method in class net.sf.tweety.arg.adf.util.ThreeValuedBitSet

size() - Method in class net.sf.tweety.arg.adf.util.UnionSetView

size() - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet

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

size() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking

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

Returns the number of elements in this signature, i.e.

size() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

size() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

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

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

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

SKEPTICAL - net.sf.tweety.commons.InferenceMode

SMALLEST_CONJUNCTS - net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation

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(OptimizationRootFinder, 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.

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(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.opt.solver.SimulatedAnnealing

solve(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.opt.solver.TabuSearch

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer

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

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.SimulatedAnnealingOnConstrProb

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.Solver

Computes a solution to the given constraint satisfaction or optimization problem, i.e.

solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.TabuSearchOnConstrProb

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

solver - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest

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

This abstract class models an abstract solver for constraint satisfaction or optimization problems.

Solver() - Constructor for class net.sf.tweety.math.opt.solver.Solver

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

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

sortingType - Variable in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking

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.

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

Returns the span number of this reference world, i.e.

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) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Constructs a new instance pointing to a specific SPASS

SpassFolReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Constructs a new instance pointing to a specific SPASS Prover.

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

SPASSMlReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner

Constructs a new instance pointing to a specific SPASS

SPASSMlReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner

Constructs a new instance pointing to a specific SPASS Prover.

SPASSTest - Class in net.sf.tweety.logics.fol.test

JUnitTest to test SPASS (test cases from TPTPTest)

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.fol.test.SPASSTest

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 - 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() - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter() - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter

Creates a new SPASSWriter.

SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter

Creates a new SPASSWriter.

special_formula_flag - Variable in class net.sf.tweety.logics.qbf.writer.QdimacsWriter

Will be set to true/false if the input can be simplified to a tautology/contradiction.

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 - 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.fol.syntax.SpecialFormula

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.

SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

SST - net.sf.tweety.arg.dung.semantics.Semantics

ST - net.sf.tweety.arg.dung.semantics.OrderingSemantics

ST - net.sf.tweety.arg.dung.semantics.Semantics

STABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.OrderingSemantics

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

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

StableReasoner - Class in net.sf.tweety.arg.adf.reasoner

StableReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential

a set of arguments S is stable iff it is conflict-free, self-supporting and for any argument a e-supported by bbase, where a is not in S, S e-support attacks either a or every set of arguments minimally e-supporting a.

StableReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.necessity

a set of arguments S is stable iff the set of arguments deactivated by S equals A\S, where A is the set of all arguments in the argumentation framework.

StableReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.StableReasoner

StableReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.StableReasoner

StableReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.necessity.StableReasoner

StableReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.StableReasoner

StableReasoning() - Method in class net.sf.tweety.arg.bipolar.EvidentialArgumentationTest

StableReasoning() - Method in class net.sf.tweety.arg.bipolar.NecessityArgumentationTest

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

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

Reasoner for Stage2 semantics using scc-recursiveness definition see: Dvorak, Gaggl: Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics 2012

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

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_SMOOTHING_FACTOR - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

StandardFolWriter - Class in net.sf.tweety.logics.fol.writer

Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.

StandardFolWriter() - Constructor for class net.sf.tweety.logics.fol.writer.StandardFolWriter

Creates new writer

StandardFolWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.StandardFolWriter

Creates new writer

StandardFolWriterExample - Class in net.sf.tweety.logics.fol.examples

Shows how to use the StandardFolWriter

StandardFolWriterExample() - Constructor for class net.sf.tweety.logics.fol.examples.StandardFolWriterExample

StartEvent - Class in net.sf.tweety.logics.bpm.syntax

StartEvent(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.StartEvent

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(String) - Method in class net.sf.tweety.lp.asp.parser.ASTClingoMeta

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.

Statement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Statements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

StateProcessor - Interface in net.sf.tweety.arg.adf.reasoner.sat.processor

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

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

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_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

The step length for the line search.

STG - net.sf.tweety.arg.dung.semantics.Semantics

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

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() - Constructor for class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner

Creates a new reasoner using sceptical inference and grounded semantics.

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

Creates a new reasoner for the given semantics.

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

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

STRENGTHEN - net.sf.tweety.preferences.Operation

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

STRICTADDITIONOFDEFENSEBRANCH - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate

The STRICTADDITIONOFDEFENSEBRANCH postulate

STRICTCOUNTERTRANSITIVITY - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate

The STRICTCOUNTERTRANSITIVITY postulate

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

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

This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

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

Creates a new negation with the given name.

StrictNegation(Predicate, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation

Creates a new negation with the given predicate and terms.

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

Creates a new negation with the given atom.

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

Copy-Constructor

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

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

STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

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.

StrongConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the strong confident attack relation.

StrongUndercut - Class in net.sf.tweety.arg.lp.semantics.attack

This notion of attack models the strong undercut relation.

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.

STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants

RegularExpression Id.

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.dl.syntax.AssociativeDlFormula

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

subList(int, int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

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

Returns the sub-problem of the problem.

Subprocess - Class in net.sf.tweety.logics.bpm.syntax

Subprocess(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Subprocess

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(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaElement

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

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(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(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(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.Program

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.arg.aba.syntax.AbaElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.Assumption

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.Negation

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule

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(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(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(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(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(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.AggregateAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPBodyElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation

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(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule

substitute(PlFormula, Proposition) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld

Substitutes all occurrences of the proposition v with the possible truth values and returns a set of the possible substitutions.

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(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.Sum

Creates a new sum with the given list of terms.

Sum(Term, Term) - Constructor for class net.sf.tweety.math.term.Sum

Creates a new sum with the given terms.

SUM - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

SUM_PLUS - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

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

sumOfValues(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.examples.KnapSack

sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.examples.KnapSack

sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.examples.TravelingSalesman

sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class net.sf.tweety.math.opt.problem.CombinatoricsProblem

SUPERADDITIVITY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate

The SUPERADDITIVITY postulate

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(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule

Returns the support of this rule 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(S, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule

Returns the support of the given item wrt.

Support - Interface in net.sf.tweety.arg.bipolar.syntax

This interface captures common methods of different interpretations of the support relation in bipolar abstract argumentation theories.

SUPPORTING - net.sf.tweety.arg.adf.semantics.link.LinkType

SupportVectorMachine - Class in net.sf.tweety.machinelearning.svm

Realizes a support vector machine classifier utilizing LIBSVM.

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

SwitchTo(int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager

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

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

SwitchTo(int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager

SwitchTo(int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager

Switch to specified lex state.

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.

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>, 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) - 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>, 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(PlSignature, 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 Y Z
All Classes All Packages