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