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

S

s - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
 
SActionQuery - Class in net.sf.tweety.action.query.syntax
This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages.
SActionQuery(PropositionalFormula) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery
Creates a new action query with the given propositional formula and no grounding requirements.
SActionQuery(PropositionalFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery
Creates a new action query with the given propositional formula and grounding requirements.
SActionQuerySatisfactionTester - Class in net.sf.tweety.action.query
This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language s.
SActionQuerySatisfactionTester(AspInterface) - Constructor for class net.sf.tweety.action.query.SActionQuerySatisfactionTester
Creates a new instance of this satisfaction tester using the given answer set solver.
SActionQuerySet - Class in net.sf.tweety.action.query
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.SActionQuerySet
Creates a new empty action query set for the query language S.
SActionQuerySet(Collection<SActionQuery>) - Constructor for class net.sf.tweety.action.query.SActionQuerySet
Creates a new belief set with the given collection of queries.
saf - Variable in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
The underlying structured argumentation framework.
SafTest - Class in net.sf.tweety.arg.social.test
 
SafTest() - Constructor for class net.sf.tweety.arg.social.test.SafTest
 
sample() - Method in class net.sf.tweety.arg.prob.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(ProbabilityFunction<Byte>) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler
Samples a single formula.
sampleT1BeliefState() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
Returns a T1-belief state that is a projection of this belief state, i.e.
SasAgent - Class in net.sf.tweety.agents.dialogues.structured
This class represents an agent in a structured argumentation system.
SasAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent
Creates a new (non-single-step) SasAgent with the given (local) view and utility function.
SasAgent(StructuredArgumentationFramework, UtilityFunction, boolean) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent
Creates a new SasAgent with the given (local) view and utility function.
SasEnvironment(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
Creates a new SasEnvironment based on the given SAF.
Sat4jSolver - Class in net.sf.tweety.logics.pl.sat
Uses the Sat4j library for SAT solving (note that currently only the light version is used).
Sat4jSolver(int, int) - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver
Creates a new solver with the given parameters.
Sat4jSolver() - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver
Creates a new solver with default parameters (maxvar=1000000, nbclauses=500000).
satisfies(Formula) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
 
satisfies(BeliefBase) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
 
satisfies(Formula) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
 
satisfies(BeliefBase) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
 
satisfies(Formula) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
 
satisfies(BeliefBase) - 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(Formula) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
 
satisfies(BeliefBase) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
 
satisfies(Collection<? extends Formula>) - Method in class net.sf.tweety.commons.AbstractInterpretation
Checks whether this interpretation satisfies all given formulas.
satisfies(Formula) - Method in interface net.sf.tweety.commons.Interpretation
Checks whether this interpretation satisfies the given formula.
satisfies(Collection<? extends Formula>) - Method in interface net.sf.tweety.commons.Interpretation
Checks whether this interpretation satisfies all given formulas.
satisfies(BeliefBase) - Method in interface net.sf.tweety.commons.Interpretation
Checks whether this interpretation satisfies the given knowledge base.
satisfies(Formula) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
 
satisfies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction
Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
satisfies(Formula) - Method in class net.sf.tweety.logics.el.semantics.KripkeModel
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.el.semantics.KripkeModel
 
satisfies(Formula) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
Checks whether this Herbrand interpretation satisfies the given formula.
satisfies(Set<FolFormula>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
 
satisfies(Formula) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
 
satisfies(Formula) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
 
satisfies(Formula) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
 
satisfies(Formula) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
 
satisfies(Formula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
 
satisfies(Formula) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
 
satisfies(Formula) - Method in class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
 
satisfies(Formula) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
 
satisfies(ProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
 
satisfies(ProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics
 
satisfies(ProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics
 
satisfies(Formula) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
 
satisfies(BeliefBase) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
 
satisfies(ProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics
Checks whether the given probability distribution satisfies the given conditional wrt.
satisfies3VL(Formula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
Determines the 3-valued truth value of the given formula.
satisfiesGroundConditional(ProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
Checks whether the given ground conditional is satisfied by the given distribution wrt.
SatReasoner - Class in net.sf.tweety.logics.pl
Uses the default SAT reasoner to perform reasoning in propositional logic
SatReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.pl.SatReasoner
Creates a new reasoner for the given belief base.
SatSolver - Class in net.sf.tweety.logics.pl.sat
Abstract class for specifying SAT solvers.
SatSolver() - Constructor for class net.sf.tweety.logics.pl.sat.SatSolver
 
satSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
The SAT solver configured for this service.
scalingParameter - Variable in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
The scaling parameter for the function 'v'
SccCompleteReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the complete extensions.
SccCompleteReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.SccCompleteReasoner
Creates a new complete reasoner for the given knowledge base.
SccCompleteReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.SccCompleteReasoner
Creates a new complete reasoner for the given knowledge base using sceptical inference.
SccCompleteReasonerTest - Class in net.sf.tweety.arg.dung.test
 
SccCompleteReasonerTest() - Constructor for class net.sf.tweety.arg.dung.test.SccCompleteReasonerTest
 
SCEPTICAL_INFERENCE - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
 
ScepticalLiteralTransformationFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
This class represents the sceptical transformation function for literals as introduced in [1].
ScepticalLiteralTransformationFunction(Collection<Rule>, AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
Creates a new sceptical transformation function for literals.
ScepticalLiteralTransformationFunctionTest - Class in net.sf.tweety.lp.asp.beliefdynamics
 
ScepticalLiteralTransformationFunctionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
 
ScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
This class extends the interface for preference aggregation with scoring Scorings are implemented separately.
ScoringPreferenceAggregator(WeightVector) - Constructor for class net.sf.tweety.preferences.aggregation.ScoringPreferenceAggregator
Constructor with given weight vector
screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
 
screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
 
ScreenedMaxichoiceConsolidation - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
This class implements the screened maxi-choice consolidation operator from [1].
ScreenedMaxichoiceConsolidation(Program, SelectionFunction<Rule>, Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.
ScreenedRemainderSets - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
This class represents the set of Screened Consistent Remainder Sets as defined in [1].
ScreenedRemainderSets(Program, Program, Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
Creates a new set of screened remainder sets of program p that all contain the screened rules r.
SdInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis
This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.
SdInconsistencyMeasure(Solver) - Constructor for class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
Creates a new inconsistency measure based on the given solver.
SE_CANNOT_FIND_SOLVER - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_CANNOT_OPEN_INPUT - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_ERROR - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_IO_FAILED - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_NO_BINARY - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_PERMISSIONS - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SE_SYNTAX_ERROR - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
second - Variable in class net.sf.tweety.action.grounding.VarsNeqRequirement
 
second - Variable in class net.sf.tweety.math.term.Difference
The two terms of the difference
select(ScreenedRemainderSets) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.
select(RemainderSets<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
 
select(RemainderSets<T>) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.baserevision.SelectionFunction
Select exactly one remainder set from the set of remainder sets.
selectableOperators - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
a set of selectable revison operators
selectableOperators - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
a set of selectable revison operators
selection - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
 
selection - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
 
SelectionCommandParameter - Class in net.sf.tweety.plugin.parameter
This class expands the CommandParameter with a selection-array containing strings the parameter supports
SelectionCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.SelectionCommandParameter
 
SelectionCommandParameter(String, String, String[]) - Constructor for class net.sf.tweety.plugin.parameter.SelectionCommandParameter
 
SelectionFunction<T extends Formula> - Interface in net.sf.tweety.lp.asp.beliefdynamics.baserevision
This interface models a general selection function for remainder sets
selections - Variable in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
all possible values for this parameter's argument
SelectiveRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.selectiverevision
This class implements a selective revision operator following [Ferme:1999].
SelectiveRevisionOperator(TransformationFunction<T>, BaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator
Creates a new selective revision operator for the given transformation function and inner revision.
sem - Variable in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
The used semantics
semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent
The used semantics
semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
The semantics used.
semantics - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest
 
semantics - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest2
The argumentation semantics used
semantics - Variable in class net.sf.tweety.arg.aba.FlatABAReasoner
 
semantics - Variable in class net.sf.tweety.arg.aspic.AspicReasoner
 
semantics - Variable in enum net.sf.tweety.arg.dung.semantics.Problem
The semantics for the problem.
semantics() - Method in enum net.sf.tweety.arg.dung.semantics.Problem
Returns the semantics of the problem.
Semantics - Enum in net.sf.tweety.arg.dung.semantics
This enum lists all semantics.
Semantics(String, String) - Constructor for enum net.sf.tweety.arg.dung.semantics.Semantics
Creates a new semantics.
semantics - Variable in class net.sf.tweety.arg.dung.StratifiedLabelingReasoner
The semantics used for this reasoner.
semantics - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
The semantics against which the inconsistency of partial probability assignments are measured.
semantics - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
The semantics used for change.
semantics - Variable in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery
The semantics used for this lottery
semantics - Variable in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
The semantics used for this lottery
semantics - Variable in class net.sf.tweety.arg.prob.MonteCarloPafReasoner
Semantics for plain AAFs.
semantics - Variable in class net.sf.tweety.arg.social.IssReasoner
The semantics used by this reasoner.
semantics - Variable in class net.sf.tweety.arg.social.semantics.SocialMapping
The semantics used for this mapping
semantics - Variable in class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
The semantics used for this probability distribution.
semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
The semantics used for the distribution to be read.
semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
The semantics used for the distribution to be read.
semantics - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
 
semantics - Variable in class net.sf.tweety.logics.rpcl.RpclMeReasoner
The semantics used for this reasoner.
semantics - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
The semantics used for this probability distribution.
SemiFoundedPASemantics - Class in net.sf.tweety.arg.prob.semantics
P is semi-founded wrt.
SemiFoundedPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics
 
SemiOptimisticPASemantics - Class in net.sf.tweety.arg.prob.semantics
P is semi-optimistic wrt.
SemiOptimisticPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics
 
SEMISTABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
 
SemiStableReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the semi-stable extensions.
SemiStableReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.SemiStableReasoner
Creates a new semi-stable reasoner for the given knowledge base.
SemiStableReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.SemiStableReasoner
Creates a new semi-stable reasoner for the given knowledge base using sceptical inference.
sequenceTest() - Static method in class net.sf.tweety.logics.rdl.test.RDLTest
 
serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.DialogueTrace
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.ExecutableFormulaSet
Fpr serialization.
serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction
For serialization
serialVersionUID - Static variable in exception net.sf.tweety.agents.ProtocolTerminatedException
 
serialVersionUID - Static variable in class net.sf.tweety.agents.sim.SimulationParameters
For serialization.
serialVersionUID - Static variable in exception net.sf.tweety.arg.delp.parser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.arg.delp.parser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in exception net.sf.tweety.arg.dung.parser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.arg.dung.parser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.arg.dung.parser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.arg.lp.syntax.Argument
 
serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.UtilityFunction
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.arg.prob.PartialProbabilityAssignment
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
kill warning
serialVersionUID - Static variable in exception net.sf.tweety.commons.ParserException
 
serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.Derivation
 
serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.RuleSet
 
serialVersionUID - Static variable in exception net.sf.tweety.logics.commons.error.LanguageException
kill warning
serialVersionUID - Static variable in exception net.sf.tweety.logics.fol.parser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.logics.fol.parser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.logics.fol.parser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.AbstractCoherenceMeasure
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.AggregatingCoherenceMeasure
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.AggregatingDistanceFunction
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.AverageAggregator
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.MaxAggregator
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.MinAggregator
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.PNormDistanceFunction
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.ProbabilisticAggregatingDistanceFunction
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.ProbabilisticPNormDistanceFunction
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.ProductAggregator
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.analysis.SumAggregator
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.MarkovLogicNetwork
 
serialVersionUID - Static variable in class net.sf.tweety.logics.ml.test.ExpResult
 
serialVersionUID - Static variable in exception net.sf.tweety.logics.pl.error.PropositionalException
kill warning
serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.InstanceAssignment
For serialization.
serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets
 
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
 
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
kill warning
serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.parser.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.parser.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.syntax.Program
kill warning
serialVersionUID - Static variable in class net.sf.tweety.lp.asp.util.AnswerSetList
kill warning
serialVersionUID - Static variable in exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
kill warning
serialVersionUID - Static variable in class net.sf.tweety.lp.nlp.syntax.NLPProgram
kill warning
serialVersionUID - Static variable in class net.sf.tweety.machinelearning.DefaultObservation
For serialization
serialVersionUID - Static variable in class net.sf.tweety.machinelearning.ParameterSet
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.machinelearning.TrainingSet
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.math.ComplexNumber
For serialization.
serialVersionUID - Static variable in exception net.sf.tweety.math.GeneralMathException
For serialization.
serialVersionUID - Static variable in exception net.sf.tweety.math.NonDifferentiableException
For serialization
serialVersionUID - Static variable in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
For serialization.
serialVersionUID - Static variable in exception net.sf.tweety.math.opt.ProblemInconsistentException
For serialization.
serialVersionUID - Static variable in class net.sf.tweety.math.probability.Probability
For serialization
serialVersionUID - Static variable in class net.sf.tweety.preferences.events.UpdateEvent
 
serialVersionUID - Static variable in exception net.sf.tweety.preferences.io.ParseException
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.preferences.io.Token
The version identifier for this Serializable class.
serialVersionUID - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
The version identifier for this Serializable class.
serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.Functions
 
serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.LevelingFunction
 
serialVersionUID - Static variable in class net.sf.tweety.preferences.ranking.RankingFunction
 
set(int, LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
set - Variable in class net.sf.tweety.commons.util.DefaultSubsetIterator
The set over which subsets are iterated.
set - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator
The actual set in a list.
set - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
The set over which subsets are iterated.
set - Variable in class net.sf.tweety.commons.util.SubsetIterator
The set this iterator is iterating over.
set(int, T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
set(String) - Method in class net.sf.tweety.logics.commons.syntax.Constant
 
set(T) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
Changes the java-object representation of the term to the given value.
set(String) - Method in class net.sf.tweety.logics.commons.syntax.StringTerm
 
set(T) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
 
set(String) - Method in class net.sf.tweety.logics.commons.syntax.Variable
 
set(int, RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
set(Proposition, PriestWorld.TruthValue) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
Sets the value of the given proposition.
set(int, PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
 
set(int, DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
setAdditionalArguments(String) - Method in class net.sf.tweety.logics.fol.prover.EProver
Sets the additional arguments given to the call of the eprover binary (Default value is "--auto-schedule")
setAfterFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
Sets the afterFormula of this causal law
setAlchemyInferenceCommand(String) - Method in class net.sf.tweety.logics.ml.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
setAnswer(boolean) - Method in class net.sf.tweety.arg.delp.DelpAnswer
 
setAnswer(Double) - Method in class net.sf.tweety.arg.delp.DelpAnswer
 
setAnswer(boolean) - Method in class net.sf.tweety.commons.Answer
The answer of the query in boolean form.
setAnswer(Double) - Method in class net.sf.tweety.commons.Answer
The answer of the query in boolean form.
setAnswersetProcessing(CredibilityRevision.AnswersetProcessing) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
 
setArity(int) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
Sets the arity of this structure
setArity(int) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
 
setArity(int) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalPredicate
 
setAssumptions(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.ABATheory
 
setBeliefbase(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
Adds a belief base to the end of the ordered list of belief bases.
setBeliefbase(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver
Sets the path to the binary.
setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.LpSolve
Sets the path to the binary.
setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.prover.EProver
Change path of the binary
setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.prover.Prover9
Change path of the binary
setClassicalNegationSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
 
SetComparator<T> - Class in net.sf.tweety.arg.aspic.order
 
SetComparator(Comparator<T>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.SetComparator
Constructs an new set comparator
setComparator(Comparator<Pair<Proposition, Boolean>>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
Changes the used comparator to sort the representation structure and resorts the representation.
setConcepts(Set<Concept>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
 
setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
 
setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
 
setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
Change the conclusion
setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
 
setConclusion(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
 
setConclusion(Proposition) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
 
setConclusion(C) - Method in interface net.sf.tweety.commons.util.rules.Rule
 
setConclusion(PropositionalFormula) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
 
setConclusion(FolFormula) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
 
setConclusion(DLPHead) - Method in class net.sf.tweety.lp.asp.syntax.Rule
 
setConclusion(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Rule
 
setConclusion(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
 
setConditonalStructure(ConditionalStructure) - Method in interface net.sf.tweety.logics.cl.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
 
setContradictionSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
 
setCriteria(String) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
 
setDebugStream(PrintStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Static method in class net.sf.tweety.arg.dung.parser.DungParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Method in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
Set debug output.
setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
Set debug output.
setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager
Set debug output.
setDefaultEnumerator(AbstractMusEnumerator<PropositionalFormula>) - Static method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
Sets the default MUS enumerator.
setDefaultGeneralSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
Sets the default solver for non-linear (general) optimization problems.
setDefaultIntegerLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
Sets the default solver for integer linear optimization problems.
setDefaultLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
Sets the default solver for linear optimization problems.
setDefaultProver(FolTheoremProver) - Static method in class net.sf.tweety.logics.fol.prover.FolTheoremProver
Set default prover with given
setDefaultSolver(SatSolver) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Sets the default SAT solver.
setDefNeg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTDefAtom
 
setElement(T) - Method in class net.sf.tweety.preferences.update.Update
sets the fourth element of this triple
setEntry(int, int, Term) - Method in class net.sf.tweety.math.matrix.Matrix
Sets the entry at the given coordinates.
setFileHandler(RevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
Sets a file handler which is responsible to filter the open file dialog and to load the selected file.
setFileHandler(SimpleRevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
Sets a file handler responsible for filtering the open file dialog and loading the selected file.
setFirst(E) - Method in class net.sf.tweety.commons.util.Pair
sets the first element of this pair
setFirst(E) - Method in class net.sf.tweety.commons.util.Triple
sets the first element of this triple
setForce(boolean) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
 
setFunctor(String) - Method in class net.sf.tweety.lp.asp.parser.ASTFunctionalTerm
 
setGroundingRequirements(Set<GroundingRequirement>) - Method in class net.sf.tweety.action.description.syntax.CLaw
 
setHasPerformedNoOperation(Agent) - Method in class net.sf.tweety.agents.RigidProtocol
Sets that the given agent has performed a NO_OPERATION.
setHeadFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw
Sets the headFormula of this causal law
setHelptextPath(String) - Method in class net.sf.tweety.cli.plugins.CliMain
 
setIfFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw
Sets the IfFormula of this causal law
setIndividuals(Set<Individual>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
 
setInferenceType(int) - Method in class net.sf.tweety.arg.aba.GeneralABAReasoner
 
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.RuleBasedCReasoner.Rule
Sets the Collection of KappaValue that is used as data basis for the rule
setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule
 
setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.RuleAdapter
 
setLeftGuard(Term<?>, String) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
 
setLeftIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
switches the flag indicating if the left method shall use iterative algorithms
setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
Select the left revision method.
setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
Select the left revision method.
setLeftTerm(Term) - Method in class net.sf.tweety.math.equation.Statement
Sets the left term of this statement.
setLowerBound(S) - Method in class net.sf.tweety.math.Interval
 
setName(String) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
Sets the name
setName(String) - Method in class net.sf.tweety.arg.dung.syntax.Argument
sets the name of the argument
setName(String) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
Changes the name of the Structure
setName(String) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
 
setName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTIdentifier
 
setNewBeliefs(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
setNewBeliefs(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
setNumber(String) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber
 
setObj1(E) - Method in class net.sf.tweety.preferences.Quadruple
sets the first element of this triple
setObj2(F) - Method in class net.sf.tweety.preferences.Quadruple
sets the second element of this triple
setObj3(G) - Method in class net.sf.tweety.preferences.Quadruple
sets the third element of this triple
setObj4(H) - Method in class net.sf.tweety.preferences.Quadruple
sets the fourth element of this triple
setObject(Object) - Method in class net.sf.tweety.commons.Writer
Sets the object of this writer.
setOperation(Operation) - Method in class net.sf.tweety.preferences.update.Update
sets the second element of this triple
setOperator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithmeticOp
 
setOperator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTCompareOp
 
setOrder(Comparator<AspicArgument<T>>) - Method in class net.sf.tweety.arg.aspic.AspicArgumentationTheory
Sets a new order over the arguments
setOrder(Comparator<AspicArgument<T>>) - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
Set an order for the arguments to determine if an attack ends in an defeat
setOrderedBefore(T, T) - Method in class net.sf.tweety.graphs.orders.Order
Adds that object1 is ordered before object2
setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
 
setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
 
setParameterSet(ParameterSet) - Method in interface net.sf.tweety.machinelearning.Trainer
Sets the parameters for this trainer (calling this method must ensure that the next time train(TrainingSet trainingSet) is used it uses these parameters.
setPathToOctave(String) - Static method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver
 
setPenalty(int) - Method in class net.sf.tweety.math.opt.OptimizationProblem
Sets the penalty for violated minimum.
setPredicate(Predicate) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
 
setPredicate(Predicate) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
Changes the predicate of the atom.
setPredicate(Predicate) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
 
setPredicate(Predicate) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
 
setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
 
setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
 
setPreferenceOrderIndex(int) - Method in class net.sf.tweety.preferences.update.Update
sets the first element of this triple
setRank(PossibleWorld, Integer) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
Sets the rank for the given possible world.
setRank(HerbrandInterpretation, Integer) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
Sets the rank for the given Herbrand interpretation.
setResult() - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
Marks this attack as successfull
setResult(PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.events.UpdateEvent
Sets the result in for this update event
setRightGuard(Term<?>, String) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
 
setRightIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
switches the flag indicating if the right method shall use iterative algorithms
setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
Select the right revision method.
setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
Select the right revision method.
setRightTerm(Term) - Method in class net.sf.tweety.math.equation.Statement
Sets the right term of this statement.
setRoles(Set<Role>) - Method in class net.sf.tweety.logics.dl.syntax.DlSignature
 
setRule(ABARule<T>) - Method in class net.sf.tweety.arg.aba.syntax.Deduction
 
setRuleFormulaGenerator(RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.AspicArgumentationTheory
Set a new generator to transform rules into words of the language they range over
setRuleFormulaGenerator(RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
Set a new generator to transform rules into words of the language they range over
setSecond(F) - Method in class net.sf.tweety.commons.util.Pair
sets the second element of this pair
setSecond(F) - Method in class net.sf.tweety.commons.util.Triple
sets the second element of this triple
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
 
setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
 
setSeed(long) - Method in interface net.sf.tweety.agents.sim.AgentGenerator
Set the seed for the generation.
setSeed(long) - Method in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator
Set the seed for the generation.
setSeed(long) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
 
setSeed(long) - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
Set the seed for the generation.
setSeed(long) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
 
setSeed(long) - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
 
setSeed(long) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
 
setSeed(long) - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
 
setSelections(String[]) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
sets new selection parameter
setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
 
setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
 
setShortcut(boolean) - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
If shortcut is set the attack will stop after a successful defeat on one defeasible subargument
setSignature(ActionSignature) - Method in class net.sf.tweety.action.description.parser.CParser
 
SetSignature<T> - Class in net.sf.tweety.commons
This class models a signature as a set of formulas.
SetSignature() - Constructor for class net.sf.tweety.commons.SetSignature
Creates a empty new set signature.
SetSignature(T) - Constructor for class net.sf.tweety.commons.SetSignature
Creates a new set signature with the single given formula.
SetSignature(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.SetSignature
Creates a new set signature with the given set of formulas.
setSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParser
Sets the signature for this parser.
setSignature(Collection<Proposition>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
Changes the signature of the world.
setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
 
setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
 
setSolver(Solver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
setSolver(Solver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
 
setStartingPoint(Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.RootFinder
sets the starting point of this root finder.
setStartingPointsLMult(Map<Statement, Double>) - Method in class net.sf.tweety.math.opt.solver.LagrangeSolver
 
setStrictlyLessOrEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking
Defines "a" to be strictly less or equally acceptable than "b".
setSymbolArrow(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser
 
setSymbolComma(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser
 
setSymbolComma(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
Sets a new symbol used for parsing parameter separators
setSymbolDefeasible(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
Sets a new symbol used for parsing defeasible function arrows
setSymbolStrict(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
Sets a new symbol used for parsing strict function arrows
setSymbolTrue(String) - Method in class net.sf.tweety.arg.aba.parser.ABAParser
 
setTabSize(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
 
setTabSize(int) - Static method in class net.sf.tweety.arg.dung.parser.SimpleCharStream
 
setTabSize(int) - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream
 
setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
 
setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
 
setTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
 
setTabSize(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
 
setTargetFunction(Term) - Method in class net.sf.tweety.math.opt.OptimizationProblem
Sets the target function of this problem.
setTempDirectory(String) - Method in class net.sf.tweety.logics.ml.NaiveMlnReasoner
Sets the path of the directory for temporary files.
setTempFolder(File) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Set the folder for temporary files created by SAT solver.
SetTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
SetTerm - Class in net.sf.tweety.lp.asp.syntax
this class models a set term, which can be used for sets in dlv complex programs.
SetTerm() - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm
 
SetTerm(SetTerm) - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm
 
SetTerm(Collection<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.SetTerm
 
setThird(G) - Method in class net.sf.tweety.commons.util.Triple
sets the third element of this triple
setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver
Sets the path for the temporary folder.
setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.LpSolve
Sets the path for the temporary folder.
SetTools<E> - Class in net.sf.tweety.commons.util
This class provides some methods for set operations.
SetTools() - Constructor for class net.sf.tweety.commons.util.SetTools
 
setTopRule(InferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
Changes the TopRule
setType(DelpAnswer.Type) - Method in class net.sf.tweety.arg.delp.DelpAnswer
 
setType(int) - Method in class net.sf.tweety.math.opt.OptimizationProblem
Sets the type of this problem, either OptimizationProblem.MINIMIZE or OptimizationProblem.MAXIMIZE.
SetUp() - Method in class net.sf.tweety.arg.aba.ABATest
 
setUp() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
 
setUp() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
 
setUp() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
 
setUp() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
 
setUp() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
 
setUpperBound(S) - Method in class net.sf.tweety.math.Interval
 
setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
 
setValue(File[]) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
sets the instantiated parameter argument value, value has to be one of the options contained in selections
setValue(Integer) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
sets the instantiated parameter argument value, value has to be one of the options contained in selections
setValue(String) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
sets the instantiated parameter argument value, value has to be one of the options contained in selections
setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter
 
setVariable(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTIdentifier
 
setVariableName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithmeticInteger
 
setVariableName(String) - Method in class net.sf.tweety.lp.asp.parser.ASTListTail
 
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.
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
 
shortcut - Variable in class net.sf.tweety.arg.aspic.semantics.AspicAttack
 
showTime - Variable in class net.sf.tweety.arg.delp.DefeasibleLogicProgram.DelpOptions
 
sig - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
The signature of the formulas.
sig - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
The signature of the formulas.
sig - Variable in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
The signature used for creating possible worlds.
sign(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
 
sign(PclBeliefSet, ProbabilisticConditional) - Method in interface net.sf.tweety.logics.pcl.analysis.SignedCulpabilityMeasure
Determines the sign of the culpability of the given conditional in the given belief set, i.e.
signature - Variable in class net.sf.tweety.action.description.parser.CLawParser
 
signature - Variable in class net.sf.tweety.action.description.parser.CParser
 
signature - Variable in class net.sf.tweety.action.query.parser.ActionQueryParser
 
signature - Variable in class net.sf.tweety.action.signature.parser.ActionSignatureParser
Resulting signature.
signature - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem
 
signature - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
 
signature - Variable in class net.sf.tweety.commons.BeliefBaseSampler
The signature of this sampler.
signature - Variable in class net.sf.tweety.commons.FormulaSampler
The signature of this sampler.
signature - Variable in class net.sf.tweety.commons.Language
The signature of this language.
Signature - Class in net.sf.tweety.commons
A signatures lists the atomic language structures for some language.
Signature() - Constructor for class net.sf.tweety.commons.Signature
 
signature - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
the signature of the conditional structure
signature - Variable in class net.sf.tweety.logics.cl.semantics.RankingFunction
The signature of the language this ranking function is defined on.
signature - Variable in class net.sf.tweety.logics.fol.parser.FolParser
Keeps track of the signature.
signature - Variable in class net.sf.tweety.logics.ml.AbstractMlnReasoner
The signature of the reasoner.
signature - Variable in class net.sf.tweety.logics.pcl.DefaultMeReasoner
The signature of the reasoner.
signature - Variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
The signature of the reasoner.
signature - Variable in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
The signature of the underlying language.
signature - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
The signature used for building the c-representation.
signature - Variable in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
The signature of the language this ranking function is defined on.
signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
The signature for this parser (if one has been given)
signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
The signature for this parser (if one has been given)
signature - Variable in class net.sf.tweety.logics.rpcl.RpclMeReasoner
The signature for this reasoner.
signature - Variable in class net.sf.tweety.lp.asp.syntax.Program
The signature of the logic program
SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
 
SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
 
SignedCulpabilityMeasure - Interface in net.sf.tweety.logics.pcl.analysis
Classes implementing this interface represent signed culpability measures, i.e.
simple - Variable in class net.sf.tweety.logics.cl.BruteForceCReasoner
indicates whether the computed c-representation is simple.
simple - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
indicates whether the computed c-representation is simple.
SimpleAccumulator - Class in net.sf.tweety.arg.deductive.accumulator
This implementation of an accumulator simply sums up the categorizations of the argument trees.
SimpleAccumulator() - Constructor for class net.sf.tweety.arg.deductive.accumulator.SimpleAccumulator
 
SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order
 
SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
Creates a comparator for AspicArguments, that always returns 0
SimpleAspicOrder(List<String>) - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.semantics
 
SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
Creates a comparator for AspicArguments, that always returns 0
SimpleAspicOrder(Collection<String>) - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
SimpleCharStream - Class in net.sf.tweety.arg.delp.parser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.arg.dung.parser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.arg.dung.parser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.logics.fol.parser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.fol.parser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.lp.asp.parser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
Constructor.
SimpleCharStream - Class in net.sf.tweety.preferences.io
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(Reader) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
Constructor.
SimpleExample(int) - Static method in class net.sf.tweety.logics.ml.test.MlnTest
 
SimpleFunction<T,S> - Interface in net.sf.tweety.math.func
Encapsulates common methods of mathematical functions with a single parameter.
SimpleGeneticOptimizationSolver - Class in net.sf.tweety.math.opt.solver
This class implements a simple genetic optimization algorithm for solving optimization problems with box or equality constraints on float variables.
SimpleGeneticOptimizationSolver(int, int, int, int, double) - Constructor for class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
Creates a new simple genetic optimization solver.
SimpleGeneticOptimizationSolver.FitnessComparator - Class in net.sf.tweety.math.opt.solver
Compares individuals by the fitness (value of the target function)
SimpleGeneticOptimizationSolverTest - Class in net.sf.tweety.math.test
 
SimpleGeneticOptimizationSolverTest() - Constructor for class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest
 
SimpleLogicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces
A formula of a logical language
SimpleNode - Class in net.sf.tweety.graphs
A simple node of a graph with a name.
SimpleNode(String) - Constructor for class net.sf.tweety.graphs.SimpleNode
Creates a new node with the given name.
SimpleNode - Class in net.sf.tweety.lp.asp.parser
 
SimpleNode(int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode
 
SimpleNode(ASPParser, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode
 
SimpleOrderTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
 
SimpleProductSemantics - Class in net.sf.tweety.arg.social.semantics
The simple product semantics from [Leite, Martins; IJCAI 2011, Def.
SimpleProductSemantics(double, double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.
SimpleProductSemantics(double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.
SimpleRealValuedFunction - Interface in net.sf.tweety.math.func
A real-valued function.
SimpleReasoner - Class in net.sf.tweety.arg.deductive
This class implements a brute force approach to deductive argumentation.
SimpleReasoner(BeliefBase, Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.SimpleReasoner
Creates a new reasoner for the given belief base, categorizer, and accumulator.
SimpleRevisionCompareModel - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
The data-model used to compare two different revision approaches.
SimpleRevisionCompareModel() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
SimpleRevisionCompareModel(Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
SimpleRevisionComparePresenter - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
This class couples the SimpleRevisionCompare View and Model, it needs to know the implementation used to load external belief base files, see FileHandler interface.
SimpleRevisionComparePresenter(SimpleRevisionCompareModel, SimpleRevisionCompareView) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
Default Ctor: registers the view as listener to the correct model.
SimpleRevisionComparePresenter.DefaultFileHandler - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
does not try to load the file, returns null
SimpleRevisionComparePresenter.FileHandler - Interface in net.sf.tweety.lp.asp.beliefdynamics.gui
This interface is used by the SimpleRevisionComparePresenter to handle the file loading.
SimpleRevisionComparePresenter.MockOperator - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
Mock revision operator for functional test.
SimpleRevisionCompareView - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
The default view for a revision compare.
SimpleRevisionCompareView() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
Default Ctor: Creates the view
SimpleSafSampler - Class in net.sf.tweety.arg.saf.util
This class implements a belief base sampler for structured argumentation frameworks.
SimpleSafSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.SimpleSafSampler
Creates a new SimpleSafSampler for the given signature.
SimpleSamplingMlnReasoner - Class in net.sf.tweety.logics.ml
This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.
SimpleSamplingMlnReasoner(BeliefBase, FolSignature, double, int) - Constructor for class net.sf.tweety.logics.ml.SimpleSamplingMlnReasoner
Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.
SimpleTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
simpleUpdate(DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
Updates this probability function with the given theory using "simple redistribution", cf.
simplify() - Method in class net.sf.tweety.math.matrix.Matrix
Simplifies every entry.
simplify() - Method in class net.sf.tweety.math.term.AbsoluteValue
 
simplify() - Method in class net.sf.tweety.math.term.Constant
 
simplify() - Method in class net.sf.tweety.math.term.Difference
 
simplify() - Method in class net.sf.tweety.math.term.Exp
 
simplify() - Method in class net.sf.tweety.math.term.Fraction
 
simplify() - Method in class net.sf.tweety.math.term.Logarithm
 
simplify() - Method in class net.sf.tweety.math.term.Maximum
 
simplify() - Method in class net.sf.tweety.math.term.Minimum
 
simplify() - Method in class net.sf.tweety.math.term.Power
 
simplify() - Method in class net.sf.tweety.math.term.Product
 
simplify() - Method in class net.sf.tweety.math.term.Root
 
simplify() - Method in class net.sf.tweety.math.term.Sum
 
simplify() - Method in class net.sf.tweety.math.term.Term
Simplifies this term in an equivalent way:
- Replaces products that contain a zero by the constant zero
- Removes a term one from products
- Removes a term zero from sums
- Aggregates constants in sums, products, and minimums
- Evaluates functional terms on constants
- Simplifies fractions where possible.
simplify() - Method in class net.sf.tweety.math.term.Variable
 
SimulationParameters - Class in net.sf.tweety.agents.sim
Objects of this class store additional simulation parameters that should be shared among the generating components of a simulation.
SimulationParameters() - Constructor for class net.sf.tweety.agents.sim.SimulationParameters
 
SimulationResult<S extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - Class in net.sf.tweety.agents.sim
Instances of this class summarize information on a performed simulation.
SimulationResult(List<AgentGenerator<T, R>>) - Constructor for class net.sf.tweety.agents.sim.SimulationResult
Creates a new SimulationResult for the given set of agent generators.
singleAFExtensions(DungTheory) - Method in class net.sf.tweety.arg.dung.CF2Reasoner
Computes the extensions for the single af case.
SingleArgument() - Static method in class net.sf.tweety.arg.dung.parser.DungParser
 
SingleAttack() - Static method in class net.sf.tweety.arg.dung.parser.DungParser
 
SingleFormula() - Static method in class net.sf.tweety.arg.dung.parser.DungParser
 
SinglePeakWeightVector - Class in net.sf.tweety.preferences.aggregation
The single peak implementation of the weight vector, where only the highest rated value in each preference order scores (1,0,0,0,0,0)
SinglePeakWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector
constructor for weight vector with peak value
SingleValeWeightVector - Class in net.sf.tweety.preferences.aggregation
 
SingleValeWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SingleValeWeightVector
constructor setting the value for the least chosen element
size() - Method in class net.sf.tweety.agents.dialogues.DialogueTrace
 
size() - Method in class net.sf.tweety.agents.MultiAgentSystem
 
size() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
size() - Method in class net.sf.tweety.arg.dung.semantics.Extension
 
size() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
 
size() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
 
size() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
 
size() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
 
size() - Method in class net.sf.tweety.commons.BeliefSet
 
size() - Method in class net.sf.tweety.commons.InterpretationSet
 
size() - Method in class net.sf.tweety.commons.SetSignature
 
size() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
size() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
size() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
 
size() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
 
size() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
 
size() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
 
size() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
size() - Method in class net.sf.tweety.math.Interval
 
size() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
 
size() - Method in class net.sf.tweety.math.term.AssociativeOperation
Returns the number of the terms in this operation.
size - Variable in class net.sf.tweety.preferences.aggregation.BordaWeightVector
 
size() - Method in class net.sf.tweety.preferences.PreferenceOrder
returns the size of the set
SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
 
SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
 
sliderStep - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
smallestEvaluate - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin
 
smallestGreaterEqual - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin
 
SmokersExample(int) - Static method in class net.sf.tweety.logics.ml.test.MlnTest
 
SmoothedPenalizingCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
SmoothedPenalizingCreepingMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
Creates a new creeping machine shop based on the given culpability measure.
smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Whether the inconsistency value should be smoothed: if X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor).
smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
Whether the inconsistency value should be smoothed: if X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor).
SmoothingFunction - Class in net.sf.tweety.math.func
A function that smoothes two values with a smooting factor, i.e.
SmoothingFunction(double) - Constructor for class net.sf.tweety.math.func.SmoothingFunction
Creates a new smoothing function with the given factor.
SocialAbstractArgumentationFramework - Class in net.sf.tweety.arg.social
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.
SocialAbstractArgumentationFramework() - Constructor for class net.sf.tweety.arg.social.SocialAbstractArgumentationFramework
Creates a new empty social abstract argumentation framework
SocialAbstractArgumentationFramework(Graph<Argument>) - Constructor for class net.sf.tweety.arg.social.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(Problem, File, FileFormat, String) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
 
solve(Problem, File, FileFormat, String) - Method in class net.sf.tweety.arg.dung.prover.AbstractSolver
 
solve(Problem, File, FileFormat, String) - Method in class net.sf.tweety.arg.dung.prover.GroundTruthSolver
 
solve(Problem, File, FileFormat, String) - Method in interface net.sf.tweety.arg.dung.prover.InterfaceSolver
Solves the given problem on the given file (represented in the given format) with possibly additional parameters.
solve(Problem, File, FileFormat, String) - Method in class net.sf.tweety.arg.dung.prover.ProboSolver
 
solve(Problem, DungTheory, FileFormat, String) - Method in class net.sf.tweety.arg.dung.prover.ProboSolver
Solves the given problem on the given AAF with possibly additional parameters.
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
 
solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.BfgsSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.GlpkSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.GradientDescent
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LagrangeSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LbfgsSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.LpSolve
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
 
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
 
solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).
solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.Solver
Computes a solution to the given constraint satisfaction or optimization problem, i.e.
solveDC(Semantics, DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether an argument (given as additional parameter) is credulously inferred and returns either "true" (if it is credulously inferred) or "false" (if it is not credulously inferred)
solveDC(Semantics, DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveDE(Semantics, DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether there is labeling with the set of arguments (given as additional parameter) being the exact set of argument that is labeled in and returns either "true" (there is such a labeling) or "false" (there is no such labeling).
solveDE(Semantics, DungTheory, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveDL(Semantics, DungTheory, Labeling) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether the given labeling is a valid labeling wrt.
solveDL(Semantics, DungTheory, Labeling) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveDN(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether there exists a labeling which labels at least one argument in and returns out either "true" (there is such a labeling) or "false" (there is no such labeling).
solveDN(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveDS(Semantics, DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether an argument (given as additional parameter) is skeptically inferred and returns either "true" (if it is skeptically inferred) or "false" (if it is not skeptically inferred)
solveDS(Semantics, DungTheory, Argument) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveDX(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Solves the problem of deciding whether there exists a labeling and returns out either "true" (there is a labeling) or "false" (there is no labeling).
solveDX(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveEC(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Enumerates all arguments that are credulously inferred.
solveEC(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveEE(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Enumerates all sets for which there is a labeling that labels exactly these arguments as in.
solveEE(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveEL(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Enumerates all labelings for the given semantics of the given framework.
solveEL(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solveES(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Enumerates all arguments that skeptically inferred.
solveES(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
solver - Variable in class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure
A solver for integer linear programs.
solver - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
A solver for integer linear programs.
solver - Variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
The solver used for solving the optimization problem
solver - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
 
solver - Static variable in class net.sf.tweety.lp.asp.analysis.ClingoTest
 
solver - Variable in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure
The ASP solver used for determining inconsistency
solver - Variable in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
The ASP solver used for determining inconsistency
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
 
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
 
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
 
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
reference to the solver used for the answer set generation
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
 
solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
 
Solver - Interface in net.sf.tweety.lp.asp.solver
this interface models common calls to a solver.
Solver - Class in net.sf.tweety.math.opt
This abstract class models an abstract solver for constraint satisfaction or optimization problems.
Solver() - Constructor for class net.sf.tweety.math.opt.Solver
 
solver - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
 
SolverBase - Class in net.sf.tweety.lp.asp.solver
Base class for solver adds generic error handling code.
SolverBase() - Constructor for class net.sf.tweety.lp.asp.solver.SolverBase
 
solverErrorCode - Variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
solverErrorText - Variable in exception net.sf.tweety.lp.asp.solver.SolverException
 
SolverException - Exception in net.sf.tweety.lp.asp.solver
 
SolverException(String, int) - Constructor for exception net.sf.tweety.lp.asp.solver.SolverException
 
solveSE(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
Returns one extension wrt.
solveSE(Semantics, DungTheory) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
SolveTime - Class in net.sf.tweety.lp.asp.solver
 
SolveTime() - Constructor for class net.sf.tweety.lp.asp.solver.SolveTime
 
SolveTime(SolveTime) - Constructor for class net.sf.tweety.lp.asp.solver.SolveTime
 
sort - Static variable in class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator
Constants needed for atom creation
Sort - Class in net.sf.tweety.logics.commons.syntax
A sort of first-order logic.
Sort(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
Ctor: Creates an empty Sort with the given name.
Sort(String, Set<Constant>) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
Ctor: Creates a Sort with the given name and the given constants.
Sort(Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
Copy-Ctor creates a deep copy of the Sort
sort - Variable in class net.sf.tweety.logics.commons.syntax.TermAdapter
the type of the term
sortdecl() - Method in class net.sf.tweety.logics.fol.parser.FolParserB
 
sorts - Variable in class net.sf.tweety.logics.fol.syntax.FolSignature
 
sortTerms(Collection<? extends Term<?>>) - Static method in class net.sf.tweety.logics.commons.syntax.Sort
Sorts the set of given terms by their sorts, i.e.
source - Variable in class net.sf.tweety.beliefdynamics.mas.InformationObject
The source of this information object.
sp - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState
 
spanNumber - Variable in class net.sf.tweety.logics.rpcl.ReferenceWorld
The span number of this reference world; saved for efficiency.
spanNumber() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
Returns the span number of this reference world, i.e.
SPECIAL_PREFIX - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
SpecialFormula - Class in net.sf.tweety.logics.fol.syntax
This class captures the common functionalities of the special formulas tautology and contradiction.
SpecialFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.SpecialFormula
 
SpecialFormula - Class in net.sf.tweety.logics.pl.syntax
This class captures the common functionalities of the special formulas tautology and contradiction.
SpecialFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.SpecialFormula
 
specialToken - Variable in class net.sf.tweety.arg.delp.parser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class net.sf.tweety.arg.dung.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.fol.parser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class net.sf.tweety.lp.asp.parser.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specialToken - Variable in class net.sf.tweety.preferences.io.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
SpecId() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
SQLBRA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
SQRBRA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
STABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
 
StableReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba
 
StableReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.aba.StableReasoner
Creates a new stable reasoner for the given knowledge base.
StableReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the stable extensions.
StableReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.StableReasoner
Creates a new stable reasoner for the given knowledge base.
StableReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.StableReasoner
Creates a new stable reasoner for the given knowledge base using sceptical inference.
STAGE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
 
StageReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the stage extensions.
StageReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.StageReasoner
Creates a new stage reasoner for the given knowledge base.
StageReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.StageReasoner
Creates a new stage reasoner for the given knowledge base using sceptical inference.
STANDARD_AGGFUNCTION - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
 
STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
 
STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
 
STANDARD_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.RpclMeReasoner
Integer constant for standard inference.
STANDARD_PENALTY - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
standard penalty for converted minimums.
STANDARD_SMOOTHING_FACTOR - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
 
startingPoint - Variable in class net.sf.tweety.math.opt.RootFinder
The starting point of this root finder.
startingPoint - Variable in class net.sf.tweety.math.opt.solver.BfgsSolver
The starting point for the solver.
startingPoint - Variable in class net.sf.tweety.math.opt.solver.GradientDescent
The starting point for the solver.
startingPoint - Variable in class net.sf.tweety.math.opt.solver.HessianGradientDescent
The starting point for the solver.
startingPoint - Variable in class net.sf.tweety.math.opt.solver.LbfgsSolver
The starting point for the solver.
startingPoint - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
A starting point for the optimization.
startingPoints - Variable in class net.sf.tweety.math.opt.solver.LagrangeSolver
The starting points for finding the optimum.
startingPointsLMult - Variable in class net.sf.tweety.math.opt.solver.LagrangeSolver
possible starting points for Lagrange multiplicators.
State - Class in net.sf.tweety.action.transitionsystem
Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.
State(Set<FOLAtom>) - Constructor for class net.sf.tweety.action.transitionsystem.State
Creates a new State with a set of fluents that are mapped to true.
stateChanged(ChangeEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
 
stateChanged(ChangeEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
 
Statement - Class in net.sf.tweety.math.equation
This class models a mathematical statement, i.e.
Statement(Term, Term) - Constructor for class net.sf.tweety.math.equation.Statement
Creates a new statement with the given terms.
states - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem
 
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.arg.dung.parser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.fol.parser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
An attempt was made to create a second instance of a static token manager.
STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
An attempt was made to create a second instance of a static token manager.
staticFlag - Static variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.arg.dung.parser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.logics.fol.parser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
Whether parser is static.
staticFlag - Static variable in class net.sf.tweety.preferences.io.SimpleCharStream
Whether parser is static.
StaticLaw - Class in net.sf.tweety.action.description.syntax
This class represents a static rule in C, which has the following form: caused H if G where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions
StaticLaw() - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
Creates an empty static law.
StaticLaw(FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
Creates an empty static law of the form caused headFormula if True
StaticLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
Creates an empty static law of the form caused headFormula if True requires requirements
StaticLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
Creates an empty static law of the form caused headFormula if ifFormula
StaticLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
Creates an empty static law of the form caused headFormula if ifFormula requires requirements
step() - Method in class net.sf.tweety.agents.AbstractProtocol
Executes one step of the protocol.
STEP_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
The step length for the line search.
stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Stickyness coefficient for the sticky update.
stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
 
stickyUpdate(DungTheory, double) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
Updates this probability function with the given theory using "sticky redistribution", cf.
stocks() - Method in class net.sf.tweety.arg.delp.TestQueries
 
stopFitness - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
Whether to stop if objective function value is smaller than stopFitness.
STR_TINA_FLIES1 - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
STR_TINA_FLIES2 - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
STR_TINA_NESTS - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
STR_TINA_NOT_FLIES - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
strategy - Variable in class net.sf.tweety.arg.lp.semantics.AttackRelation
 
StratifiedLabeling - Class in net.sf.tweety.arg.dung.semantics
This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].
StratifiedLabeling() - Constructor for class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
Creates a new empty stratified labeling.
StratifiedLabelingReasoner - Class in net.sf.tweety.arg.dung
This class implements a stratified labeling reasoner.
StratifiedLabelingReasoner(BeliefBase, Semantics, int) - Constructor for class net.sf.tweety.arg.dung.StratifiedLabelingReasoner
Creates a new reasoner for the given Dung theory, semantics, and inference type.
StratifiedLabelingReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.StratifiedLabelingReasoner
Creates a new reasoner for the given knowledge base using sceptical inference and grounded semantics.
StratifiedLabelingsCli - Class in net.sf.tweety.arg.dung.test
A small CLI for testing stratified labelings
StratifiedLabelingsCli() - Constructor for class net.sf.tweety.arg.dung.test.StratifiedLabelingsCli
 
StratifiedLabelingTest - Class in net.sf.tweety.arg.dung.test
 
StratifiedLabelingTest() - Constructor for class net.sf.tweety.arg.dung.test.StratifiedLabelingTest
 
stream - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
The stream.
stream - Variable in class net.sf.tweety.preferences.update.UpdateStream
 
StreamBasedInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis.streams
General interface for inconsistency measures working on streams.
StreamBasedInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
 
StreamFlusher(InputStream) - Constructor for class net.sf.tweety.lp.asp.solver.AspInterface.StreamFlusher
 
StreamInconsistencyEvaluation - Class in net.sf.tweety.logics.pl.test
 
StreamInconsistencyEvaluation() - Constructor for class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
 
StreamInconsistencyEvaluation2 - Class in net.sf.tweety.logics.pl.test
 
StreamInconsistencyEvaluation2() - Constructor for class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
 
strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.Functions
strengthens the given element in the function
strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.LevelingFunction
strengthens the given element in the leveling function
strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.RankingFunction
strengthens the given element in the ranking function
strengthenElementInLF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
strengthens the given element in this preference order in its leveling function
strengthenElementInRF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
strengthens the given element in this preference order in its ranking function
StrictInferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
 
StrictInferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
Constructs an empty instance
StrictInferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
Constructs a strict inference rule p -> c
strictNotClonable() - Method in class net.sf.tweety.arg.delp.TestRules
 
StrictRule - Class in net.sf.tweety.arg.delp.syntax
This class models a strict rule in defeasible logic programming.
StrictRule(FolFormula, Set<FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.StrictRule
Default constructor; initializes head and body of the strict rule
strictRules() - Method in class net.sf.tweety.arg.delp.TestRules
 
StringListCommandParameter - Class in net.sf.tweety.plugin.parameter
This class models a string list command parameter for Work-in-Progress, do not use!
StringListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.StringListCommandParameter
constructor with identifier and description
StringPreferenceOrder() - Method in class net.sf.tweety.preferences.io.POParser
 
StringTerm - Class in net.sf.tweety.logics.commons.syntax
This class represents terms which are objects identified by a string.
StringTerm(String) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
Ctor: Creates a string term with the given String as value, uses the Sort "Thing"
StringTerm(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
Ctor: Create a string term with the given value and sort.
StringTerm(StringTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
Copy-Ctor: Creates a deep copy of the StringTerm
StrongAttack - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the strong attack relation.
StrongAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
Private constructor.
StrongConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the strong confident attack relation.
StrongConfidentAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
Private constructor.
StrongUndercut - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the strong undercut relation.
StrongUndercut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut
Private constructor.
StructuredArgumentationFramework - Class in net.sf.tweety.arg.saf
This class represents a structured argumentation framework, i.e.
StructuredArgumentationFramework() - Constructor for class net.sf.tweety.arg.saf.StructuredArgumentationFramework
Creates a new empty structured argumentation framework.
StructuredArgumentationSystem - Class in net.sf.tweety.agents.dialogues.structured
This class represents a structured argumentation system, i.e.
StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem
Creates a new StructuredArgumentationSystem
StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework, Collection<? extends SasAgent>) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem
Creates a new StructuredArgumentationSystem with the given collection of agents.
StructuredArgumentationSystem.SasEnvironment - Class in net.sf.tweety.agents.dialogues.structured
This class models an environment for structured argumentation systems.
STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
RegularExpression Id.
STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
RegularExpression Id.
subcuts(DeductiveArgumentNode, Set<CompilationNode>, CompilationNode, Set<PropositionalFormula>, ArgumentTree) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation
This method recursively builds up the argument tree from the given argument.
SubgraphProbabilityFunction - Class in net.sf.tweety.arg.prob.lotteries
Represents a probability function on the subgraphs of some Dung theory.
SubgraphProbabilityFunction(DungTheory) - Constructor for class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
Creates a new uniform probability function for the given theory, i.e.
SubgraphProbTest - Class in net.sf.tweety.arg.prob.test
 
SubgraphProbTest() - Constructor for class net.sf.tweety.arg.prob.test.SubgraphProbTest
 
subList(int, int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
subList(int, int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
subList(int, int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
subList(int, int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
 
subList(int, int) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
subProblem - Variable in enum net.sf.tweety.arg.dung.semantics.Problem
The description of the problem.
subProblem() - Method in enum net.sf.tweety.arg.dung.semantics.Problem
Returns the sub-problem of the problem.
SubProblem(String, String, boolean) - Constructor for enum net.sf.tweety.arg.dung.semantics.Problem.SubProblem
Creates a new sub-problem
subs - Variable in class net.sf.tweety.arg.aba.syntax.Deduction
 
SubsetIterator<T> - Class in net.sf.tweety.commons.util
Iterates over all subsets of a given set.
SubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.SubsetIterator
Creates a new subset iterator for the given set.
SubsetIteratorTest - Class in net.sf.tweety.commons.test
 
SubsetIteratorTest() - Constructor for class net.sf.tweety.commons.test.SubsetIteratorTest
 
subsets(Collection<? extends E>) - Method in class net.sf.tweety.commons.util.SetTools
This method computes all subsets of the given set of elements of class "E".
subsets(Collection<? extends E>, int) - Method in class net.sf.tweety.commons.util.SetTools
This method computes all subsets of the given set of elements of class "E" with the given size.
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.HoldsQuery
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.QueryProposition
Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.signature.FolAction
Substitutes terms in all non-zero-arity atoms in this action according to the given map.
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpFact
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.StrictRule
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
 
substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.el.syntax.Necessity
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.el.syntax.Possibility
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.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.Negation
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Comparative
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
 
substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.lp.asp.syntax.DLPElement
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.lp.asp.syntax.DLPLiteral
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPNot
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.Program
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Rule
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
 
substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
 
substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
 
substituteInnerFormulas(Map<Variable, Constant>) - Method in class net.sf.tweety.action.query.syntax.SActionQuery
Returns a new action query in which all variables are mapped to constants with regard to the given map.
substitutePropositions(Map<Variable, Constant>, PropositionalFormula) - Static method in class net.sf.tweety.action.query.syntax.SActionQuery
Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.
subtermsProcessing - Static variable in class net.sf.tweety.logics.cl.kappa.KappaValue
A flag used to store if this kappa-value is processing its sub-terms
successfull - Variable in class net.sf.tweety.arg.aspic.semantics.AspicAttack
 
suite() - Static method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest
 
sum(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the sum of the elements in v
Sum - Class in net.sf.tweety.math.term
This class models a sum of two terms.
Sum() - Constructor for class net.sf.tweety.math.term.Sum
Creates a new (empty) sum.
Sum(Term, Term) - Constructor for class net.sf.tweety.math.term.Sum
Creates a new sum with the given terms.
Sum(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.Sum
Creates a new sum with the given list of terms.
SumAggregator - Class in net.sf.tweety.logics.ml.analysis
This aggregation function models the sum function.
SumAggregator() - Constructor for class net.sf.tweety.logics.ml.analysis.SumAggregator
 
SUMFUZZY_MEASURE - Static variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
static constant for the Sum-version of the measure
superGraphs(DungTheory, DungTheory, DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
Computes Super(G,G′,Ci) = {(α,β) ∈ Arcs(G) | (α ∈ Nodes(G′) and β ∈ Nodes(Ci)) or (α ∈ Nodes(Ci) and β ∈ Nodes(G′)) or (α ∈ Nodes(Ci) and β ∈ Nodes(Ci))
supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
The vote aggregation function
supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
 
support - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
The support of this argument.
support - Variable in class net.sf.tweety.arg.delp.syntax.DelpArgument
The support of this argument
support - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
The inner formulas of this formula
support - Variable in class net.sf.tweety.arg.saf.syntax.BasicArgument
The support of this basic argument.
support - Variable in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.
support - Variable in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
The inner formulas of this formula
support(S, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule
Returns the support of the given item wrt.
support(Collection<S>, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule
Returns the support of the given itemset wrt.
support(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule
Returns the support of this rule wrt.
supportedFormats() - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
 
supportedFormats() - Method in class net.sf.tweety.arg.dung.prover.AbstractSolver
 
supportedFormats() - Method in class net.sf.tweety.arg.dung.prover.GroundTruthSolver
 
supportedFormats() - Method in interface net.sf.tweety.arg.dung.prover.InterfaceSolver
Gives a collection view of the supported formats of this solver, cf.
supportedFormats() - Method in class net.sf.tweety.arg.dung.prover.ProboSolver
 
supportedProblems() - Method in class net.sf.tweety.arg.dung.prover.AbstractDungSolver
 
supportedProblems() - Method in class net.sf.tweety.arg.dung.prover.AbstractSolver
 
supportedProblems() - Method in class net.sf.tweety.arg.dung.prover.GroundTruthSolver
 
supportedProblems() - Method in interface net.sf.tweety.arg.dung.prover.InterfaceSolver
Gives a collection view on the supported problems of this solver, cf.
supportedProblems() - Method in class net.sf.tweety.arg.dung.prover.ProboSolver
 
supportedProblems() - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
 
SupportVectorMachine - Class in net.sf.tweety.machinelearning.svm
Realizes a support vector machine classifier utilizing LIBSVM.
SupportVectorMachine(svm_model) - Constructor for class net.sf.tweety.machinelearning.svm.SupportVectorMachine
Creates a new SVM from the given libsvm model.
SVMTest - Class in net.sf.tweety.machinelearning.test
 
SVMTest() - Constructor for class net.sf.tweety.machinelearning.test.SVMTest
 
sw - Variable in class net.sf.tweety.arg.aspic.semantics.AspicAttack
Logs attack attempts
switched - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
Only used when avoidDuplicats is set to true.
SwitchTo(int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Static method in class net.sf.tweety.arg.dung.parser.DungParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Method in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
Switch to specified lex state.
SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Method in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
Switch to specified lex state.
SwitchTo(int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager
Switch to specified lex state.
SYMBOL - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
symbolArrow - Variable in class net.sf.tweety.arg.aba.parser.ABAParser
Symbols used for parsing rules
symbolComma - Variable in class net.sf.tweety.arg.aba.parser.ABAParser
Symbols used for parsing rules
symbolComma - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
 
symbolDefeasible - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
 
SymbolicSet() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
SymbolicSet - Class in net.sf.tweety.lp.asp.syntax
This class is used to store symbolic sets of aggregate functions of dlv rules.
SymbolicSet(Collection<Variable>, Collection<DLPElement>) - Constructor for class net.sf.tweety.lp.asp.syntax.SymbolicSet
 
SymbolicSet(SymbolicSet) - Constructor for class net.sf.tweety.lp.asp.syntax.SymbolicSet
 
symbolStrict - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
 
symbolTrue - Variable in class net.sf.tweety.arg.aba.parser.ABAParser
Symbols used for parsing rules
symmetricDifference(Collection<E>, Collection<E>) - Method in class net.sf.tweety.commons.util.SetTools
Returns the symmetric difference of the two sets s and t, i.e.
symSet - Variable in class net.sf.tweety.lp.asp.syntax.Aggregate
 
SynchronousProtocol - Class in net.sf.tweety.agents
This class models a synchronous protocol for multi-agent systems.
SynchronousProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
Creates a new (non-rigid) synchronous protocol for the given multi-agent system and unlimited number of steps.
SynchronousProtocol(MultiAgentSystem<? extends Agent>, int) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
Creates a new (non-rigid) synchronous protocol for the given multi-agent system and the given number of steps.
SynchronousProtocol(MultiAgentSystem<? extends Agent>, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
Creates a new synchronous protocol for the given multi-agent system and unlimited number of steps.
SynchronousProtocol(MultiAgentSystem<? extends Agent>, int, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
Creates a new synchronous protocol for the given multi-agent system.
SyntacticEnumeratingPlBeliefSetSampler - Class in net.sf.tweety.logics.pl.util
Generates all syntactic variations of knowledge bases up to a given size.
SyntacticEnumeratingPlBeliefSetSampler(Signature, int, File, boolean) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticEnumeratingPlBeliefSetSampler
Creates a new sampler.
SyntacticEnumeratingPlBeliefSetSamplerTest - Class in net.sf.tweety.logics.pl.test
 
SyntacticEnumeratingPlBeliefSetSamplerTest() - Constructor for class net.sf.tweety.logics.pl.test.SyntacticEnumeratingPlBeliefSetSamplerTest
 
SyntacticRandomPlBeliefSetSampler - 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.
SyntacticRandomPlBeliefSetSampler(Signature, Probability, Probability, Probability, double) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler
Creates a new sampler.
SyntacticRandomPlBeliefSetSamplerTest - Class in net.sf.tweety.logics.pl.test
 
SyntacticRandomPlBeliefSetSamplerTest() - Constructor for class net.sf.tweety.logics.pl.test.SyntacticRandomPlBeliefSetSamplerTest
 
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links