A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages
All Classes All Packages
All Classes All Packages
S
- s - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
- SActionQuery - Class in net.sf.tweety.action.query.syntax
-
This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages.
- SActionQuery(PlFormula) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery
-
Creates a new action query with the given propositional formula and no grounding requirements.
- SActionQuery(PlFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuery
-
Creates a new action query with the given propositional formula and grounding requirements.
- SActionQuerySatisfactionTester - Class in net.sf.tweety.action.query.analysis
-
This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language s.
- SActionQuerySatisfactionTester(ASPSolver) - Constructor for class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester
-
Creates a new instance of this satisfaction tester using the given answer set solver.
- SActionQuerySet - Class in net.sf.tweety.action.query.syntax
-
This class models a set of action queries in the language S which is based on the query language "P" discussed in the paper: Action Languages.
- SActionQuerySet() - Constructor for class net.sf.tweety.action.query.syntax.SActionQuerySet
-
Creates a new empty action query set for the query language S.
- SActionQuerySet(Collection<SActionQuery>) - Constructor for class net.sf.tweety.action.query.syntax.SActionQuerySet
-
Creates a new belief set with the given collection of queries.
- saf - Variable in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
-
The underlying structured argumentation framework.
- SAFEFORMULAINDEPENDENCE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
-
The SAFEFORMULAINDEPENDENCE postulate
- SafetyReasoner - Class in net.sf.tweety.arg.bipolar.reasoner
- SafetyReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.SafetyReasoner
- SafExample - Class in net.sf.tweety.arg.social.examples
-
Example code for using social abstract argumentation.
- SafExample() - Constructor for class net.sf.tweety.arg.social.examples.SafExample
- SAFExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
- SAFRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner
-
This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.
- SAFRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with default parameters.
- SAFRankingReasoner(double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with the given epsilon for the SimpleProductSemantic.
- SAFRankingReasoner(double, double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with the given epsilon and the given tolerance for the SimpleProductSemantic.
- SAFRankingReasoner(double, double, double) - Constructor for class net.sf.tweety.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with the given epsilon, the given precision and the given tolerance for the SimpleProductSemantic.
- sample() - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
-
Samples a random DungTheory from this framework wrt.
- sample() - Method in class net.sf.tweety.math.probability.Probability
-
Returns a sample wrt.
- sample() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Samples one element from the domain of this probability function, depending on its probability.
- sample(Random) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Samples one element from the domain of this probability function, depending on its probability.
- sampleArgument(Map<T, List<InferenceRule<T>>>) - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
-
Samples a single ASPIC argument via a random search.
- sampleArgument(Map<T, List<InferenceRule<T>>>, T, Set<T>) - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
-
Samples a single ASPIC argument for the given conclusion via a random search.
- sampleFormula() - Method in class net.sf.tweety.logics.pl.util.CnfSampler
-
Returns a random formula
- sampleFormula(ProbabilityFunction<Byte>) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
Samples a single formula.
- sampleT1BeliefState() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
-
Returns a T1-belief state that is a projection of this belief state, i.e.
- SasAgent - Class in net.sf.tweety.agents.dialogues.structured
-
This class represents an agent in a structured argumentation system.
- SasAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent
-
Creates a new (non-single-step) SasAgent with the given (local) view and utility function.
- SasAgent(StructuredArgumentationFramework, UtilityFunction, boolean) - Constructor for class net.sf.tweety.agents.dialogues.structured.SasAgent
-
Creates a new SasAgent with the given (local) view and utility function.
- SasEnvironment(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
-
Creates a new SasEnvironment based on the given SAF.
- sat - Variable in class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest
- sat(long) - Static method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- SAT - net.sf.tweety.logics.qbf.parser.QdimacsParser.Answer
- Sat4jSolver - Class in net.sf.tweety.logics.pl.sat
-
Uses the Sat4j library for SAT solving (note that currently only the light version is used).
- Sat4jSolver() - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Creates a new solver with default parameters (maxvar=1000000, nbclauses=500000).
- Sat4jSolver(int, int) - Constructor for class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Creates a new solver with the given parameters.
- SatAdmissibleVerifier - Class in net.sf.tweety.arg.adf.reasoner.verifier
- SatAdmissibleVerifier() - Constructor for class net.sf.tweety.arg.adf.reasoner.verifier.SatAdmissibleVerifier
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.AdmissibleReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.CompleteReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.ConflictFreeReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.GroundReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.ModelReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.NaiveReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.PreferredReasoner
- satBased(IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.StableReasoner
- SatCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
Uses a SAT solver to determine complete extensions.
- SatCompleteReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SatCompleteReasoner
-
Constructs a new complete reasoner.
- SatCompleteVerifier - Class in net.sf.tweety.arg.adf.reasoner.verifier
- SatCompleteVerifier() - Constructor for class net.sf.tweety.arg.adf.reasoner.verifier.SatCompleteVerifier
- SatConflictFreeGenerator - Class in net.sf.tweety.arg.adf.reasoner.generator
- SatConflictFreeGenerator(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.generator.SatConflictFreeGenerator
- SatEncoding - Interface in net.sf.tweety.arg.adf.reasoner.encodings
-
TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance
- SatEncodingContext - Class in net.sf.tweety.arg.adf.reasoner.encodings
-
Stores the shared context which is needed to interconnect the sat encodings, e.g.
- SatEncodingContext(AbstractDialecticalFramework) - Constructor for class net.sf.tweety.arg.adf.reasoner.encodings.SatEncodingContext
- SatGroundGenerator - Class in net.sf.tweety.arg.adf.reasoner.generator
- SatGroundGenerator(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.generator.SatGroundGenerator
- satisfiable() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
- satisfiable() - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState
- satisfied - Variable in class net.sf.tweety.arg.adf.semantics.Interpretation
- satisfied() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- satisfies(B) - Method in interface net.sf.tweety.commons.Interpretation
-
Checks whether this interpretation satisfies the given knowledge base.
- satisfies(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
- satisfies(Collection<PlFormula>) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(Collection<S>) - Method in class net.sf.tweety.commons.AbstractInterpretation
-
Checks whether this interpretation satisfies all given formulas.
- satisfies(Collection<S>) - Method in interface net.sf.tweety.commons.Interpretation
-
Checks whether this interpretation satisfies all given formulas.
- satisfies(Set<FolFormula>) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.
- satisfies(Set<FolFormula>) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.
- satisfies(AbaTheory<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- satisfies(Assumption<T>) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- satisfies(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- satisfies(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- satisfies(LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
- satisfies(Argument) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
- satisfies(Argument) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- satisfies(Argument) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
- satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
- satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
- satisfies(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.AbstractPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.CoherentPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.FoundedPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.NeutralPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in interface net.sf.tweety.arg.prob.semantics.PASemantics
-
Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.RationalPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics
- satisfies(SocialAbstractArgumentationFramework) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
- satisfies(Formula, Set<Interpretation<FolBeliefSet, FolFormula>>) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies the given formula.
- satisfies(ClBeliefSet) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
- satisfies(Conditional) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
- satisfies(DlAxiom) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation
- satisfies(DlBeliefSet) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation
- satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
- satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
- satisfies(FolBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- satisfies(FolFormula) - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies the given formula.
- satisfies(FolFormula) - Method in class net.sf.tweety.logics.ml.semantics.KripkeModel
- satisfies(FolFormula) - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
- satisfies(FolFormula) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- satisfies(FolFormula) - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- satisfies(MlBeliefSet) - Method in class net.sf.tweety.logics.ml.semantics.KripkeModel
- satisfies(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- satisfies(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- satisfies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
- satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
- satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
- satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
- satisfies(PlBeliefSet) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(PlFormula) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- satisfies(PlFormula) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
- satisfies(PlFormula) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
- satisfies(PlFormula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
- satisfies(PlFormula) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(RclBeliefSet) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
- satisfies(RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
- satisfies(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics
-
Checks whether the given probability distribution satisfies the given conditional wrt.
- satisfies(RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
- satisfies(RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- satisfies(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
- satisfies(RpclBeliefSet) - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- satisfies(ASPRule) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet
- satisfies(Program) - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet
- satisfies(S) - Method in interface net.sf.tweety.commons.Interpretation
-
Checks whether this interpretation satisfies the given formula.
- satisfies3VL(PlFormula) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
-
Determines the 3-valued truth value of the given formula.
- satisfiesGroundConditional(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
-
Checks whether the given ground conditional is satisfied by the given distribution wrt.
- SatKBipolarStateProcessor - Class in net.sf.tweety.arg.adf.reasoner.processor
- SatKBipolarStateProcessor() - Constructor for class net.sf.tweety.arg.adf.reasoner.processor.SatKBipolarStateProcessor
- SatLinkStrategy - Class in net.sf.tweety.arg.adf.semantics
-
Computes the LinkType via two Sat-calls.
- SatLinkStrategy(SatSolver) - Constructor for class net.sf.tweety.arg.adf.semantics.SatLinkStrategy
- SatMaximizeInterpretationProcessor - Class in net.sf.tweety.arg.adf.reasoner.processor
-
Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.
- SatMaximizeInterpretationProcessor() - Constructor for class net.sf.tweety.arg.adf.reasoner.processor.SatMaximizeInterpretationProcessor
- SatMaximizeInterpretationProcessor(Verifier<SatReasonerContext>) - Constructor for class net.sf.tweety.arg.adf.reasoner.processor.SatMaximizeInterpretationProcessor
- SatModelGenerator - Class in net.sf.tweety.arg.adf.reasoner.generator
- SatModelGenerator(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.generator.SatModelGenerator
- SatPartialKBipolarInterpretationProcessor - Class in net.sf.tweety.arg.adf.reasoner.processor
- SatPartialKBipolarInterpretationProcessor() - Constructor for class net.sf.tweety.arg.adf.reasoner.processor.SatPartialKBipolarInterpretationProcessor
- SatReasoner - Class in net.sf.tweety.logics.pl.reasoner
-
Uses the default SAT reasoner to perform reasoning in propositional logic
- SatReasoner() - Constructor for class net.sf.tweety.logics.pl.reasoner.SatReasoner
- SatReasonerContext - Class in net.sf.tweety.arg.adf.reasoner
-
Encapsulates the necessary information needed by Sat based algorithms.
- SatReasonerContext(SatEncodingContext, IncrementalSatSolver, SatSolverState) - Constructor for class net.sf.tweety.arg.adf.reasoner.SatReasonerContext
- satSolver - Static variable in class net.sf.tweety.arg.adf.cli.CommandLineInterface
- satSolver - Static variable in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
- satSolver - Variable in class net.sf.tweety.arg.dung.reasoner.SeeAcceptabilityReasoner
- satSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
-
The SAT solver configured for this service.
- SatSolver - Class in net.sf.tweety.logics.pl.sat
-
Abstract class for specifying SAT solvers.
- SatSolver() - Constructor for class net.sf.tweety.logics.pl.sat.SatSolver
- SatSolverState - Interface in net.sf.tweety.arg.adf.sat
-
A high level representation of a sat solver state.
- SatStableReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
Uses a SAT solver to determine stable extensions.
- SatStableReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SatStableReasoner
-
Constructs a new stable reasoner.
- scalingParameter - Variable in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
-
The scaling parameter for the function 'v'
- SCEPTICAL - net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
- ScepticalLiteralTransformationFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
-
This class represents the sceptical transformation function for literals as introduced in [1].
- ScepticalLiteralTransformationFunction(Collection<ASPRule>, AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
-
Creates a new sceptical transformation function for literals.
- ScepticalLiteralTransformationFunctionTest - Class in net.sf.tweety.lp.asp.beliefdynamics
- ScepticalLiteralTransformationFunctionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
- ScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
-
This class extends the interface for preference aggregation with scoring Scorings are implemented separately.
- ScoringPreferenceAggregator(WeightVector) - Constructor for class net.sf.tweety.preferences.aggregation.ScoringPreferenceAggregator
-
Constructor with given weight vector
- ScoringPreferenceAggregatorTest - Class in net.sf.tweety.preferences.test
-
The class
ScoringPreferenceAggregatorTest
contains tests for the class
.ScoringPreferenceAggregator
- ScoringPreferenceAggregatorTest() - Constructor for class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
- screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
- screen - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
- ScreenedMaxichoiceConsolidation - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
-
This class implements the screened maxi-choice consolidation operator from [1].
- ScreenedMaxichoiceConsolidation(Program, SelectionFunction<ASPRule>, ASPSolver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
-
Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.
- ScreenedRemainderSets - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
-
This class represents the set of Screened Consistent Remainder Sets as defined in [1].
- ScreenedRemainderSets(Program, Program, ASPSolver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Creates a new set of screened remainder sets of program p that all contain the screened rules r.
- scriptLocation - Variable in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
-
String representation of the mleancop.sh path.
- SdInconsistencyMeasure - Class in net.sf.tweety.lp.asp.analysis
-
This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.
- SdInconsistencyMeasure(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
-
Creates a new inconsistency measure based on the given solver.
- SE - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
- SE_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_CANNOT_FIND_SOLVER - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_CANNOT_OPEN_INPUT - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_IO_FAILED - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_NO_BINARY - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_PERMISSIONS - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SE_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
- SE_SYNTAX_ERROR - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- second - Variable in class net.sf.tweety.action.grounding.VarsNeqRequirement
- second - Variable in class net.sf.tweety.arg.adf.parser.KppADFFormatParser.BinaryNode
- second - Variable in class net.sf.tweety.math.term.Difference
-
The two terms of the difference
- secondSet - Variable in class net.sf.tweety.commons.DualSetSignature
-
The second set of formulas of this signature.
- secondSet - Variable in class net.sf.tweety.commons.QuadrupleSetSignature
-
The second set of formulas in this signature.
- secondSet - Variable in class net.sf.tweety.commons.TripleSetSignature
-
The second set of formulas of this signature.
- SeeAcceptabilityReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
Implements the SEE approach ("selective extension enumeration") to determine the set of credulously acceptable arguments of an AF wrt.
- SeeAcceptabilityReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SeeAcceptabilityReasoner
-
Creates a new IaqAcceptabilityReasoner.
- SeemAcceptabilityReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
Implements the SEEM approach ("selective extension enumeration with MaxSAT") to determine the set of credulously acceptable arguments of an AF wrt.
- SeemAcceptabilityReasoner(MaxSatSolver) - Constructor for class net.sf.tweety.arg.dung.reasoner.SeemAcceptabilityReasoner
-
Creates a new IaqAcceptabilityReasoner.
- select(RemainderSets<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
- select(RemainderSets<T>) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.baserevision.SelectionFunction
-
Select exactly one remainder set from the set of remainder sets.
- select(ScreenedRemainderSets) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
-
Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.
- 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
-
Creates a new parameter.
- SelectionCommandParameter(String, String, String[]) - Constructor for class net.sf.tweety.plugin.parameter.SelectionCommandParameter
-
Creates a new parameter.
- SelectionFunction<T extends Formula> - Interface in net.sf.tweety.lp.asp.beliefdynamics.baserevision
-
This interface models a general selection function for remainder sets
- 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.
- SELFCONTRADICTION - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
The SELFCONTRADICTION postulate
- SelfSupportingReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential
- SelfSupportingReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
- sem - Variable in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
-
The used semantics
- sem - Variable in class net.sf.tweety.arg.rankings.reasoner.ProbabilisticRankingReasoner
-
The classical semantics used for evaluating subgraphs
- semantics - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
- semantics - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
-
The argumentation semantics used
- semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent
-
The used semantics
- semantics - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
-
The semantics used.
- semantics - Variable in class net.sf.tweety.arg.aba.reasoner.FlatAbaReasoner
- semantics - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
-
The semantics for the problem.
- semantics - Variable in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
-
The semantics to be used
- semantics - Variable in class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
-
The semantics used for this reasoner.
- semantics - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
-
The semantics against which the inconsistency of partial probability assignments are measured.
- semantics - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
-
The semantics used for change.
- semantics - Variable in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery
-
The semantics used for this lottery
- semantics - Variable in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
-
The semantics used for this lottery
- semantics - Variable in class net.sf.tweety.arg.prob.reasoner.AbstractPafReasoner
-
Semantics for plain AAFs.
- semantics - Variable in class net.sf.tweety.arg.social.reasoner.IssReasoner
-
The semantics used by this reasoner.
- semantics - Variable in class net.sf.tweety.arg.social.semantics.SocialMapping
-
The semantics used for this mapping
- semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- semantics - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- semantics - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
- semantics - Variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
-
The semantics used for this reasoner.
- semantics - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
-
The semantics used for this probability distribution.
- semantics() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
-
Returns the semantics of the problem.
- Semantics - Enum in net.sf.tweety.arg.dung.semantics
-
This enum lists all semantics.
- Semantics(String, String) - Constructor for enum net.sf.tweety.arg.dung.semantics.Semantics
-
Creates a new semantics.
- semanticsByFile - Variable in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark.LazyModelStorage
-
file -> semantics -> list of modelStorage
- SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SEMICOLON - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SemiFoundedPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is semi-founded wrt.
- SemiFoundedPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics
- SemiOptimisticPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is semi-optimistic wrt.
- SemiOptimisticPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics
- SEMISTABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- sequenceTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
- serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.DialogueTrace
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.ExecutableFormulaSet
-
Fpr serialization.
- serialVersionUID - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction
-
For serialization
- serialVersionUID - Static variable in exception net.sf.tweety.agents.ProtocolTerminatedException
- serialVersionUID - Static variable in class net.sf.tweety.agents.sim.SimulationParameters
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
- serialVersionUID - Static variable in exception net.sf.tweety.arg.delp.parser.ParseException
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.arg.delp.parser.Token
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.arg.dung.divisions.Division
- serialVersionUID - Static variable in class net.sf.tweety.arg.lp.syntax.Argument
- serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.arg.prob.lotteries.UtilityFunction
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.arg.prob.syntax.PartialProbabilityAssignment
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
-
kill warning
- serialVersionUID - Static variable in exception net.sf.tweety.commons.ParserException
- serialVersionUID - Static variable in class net.sf.tweety.commons.util.Pair
- serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.Derivation
- serialVersionUID - Static variable in class net.sf.tweety.commons.util.rules.RuleSet
- serialVersionUID - Static variable in exception net.sf.tweety.logics.commons.error.LanguageException
-
kill warning
- serialVersionUID - Static variable in class net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure
- serialVersionUID - Static variable in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
- serialVersionUID - Static variable in class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
- serialVersionUID - Static variable in exception net.sf.tweety.logics.pl.error.PlException
-
kill warning
- serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets
- serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
- serialVersionUID - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
-
kill warning
- serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.parser.ParseException
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in class net.sf.tweety.lp.asp.parser.Token
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
-
The version identifier for this Serializable class.
- serialVersionUID - Static variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- serialVersionUID - Static variable in class net.sf.tweety.lp.asp.syntax.Program
- serialVersionUID - Static variable in exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
-
kill warning
- serialVersionUID - Static variable in class net.sf.tweety.lp.nlp.syntax.NLPProgram
-
kill warning
- serialVersionUID - Static variable in class net.sf.tweety.machinelearning.DefaultObservation
-
For serialization
- serialVersionUID - Static variable in class net.sf.tweety.machinelearning.ParameterSet
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.machinelearning.TrainingSet
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.math.ComplexNumber
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.math.func.AverageAggregator
- serialVersionUID - Static variable in class net.sf.tweety.math.func.MaxAggregator
- serialVersionUID - Static variable in class net.sf.tweety.math.func.MinAggregator
- serialVersionUID - Static variable in class net.sf.tweety.math.func.ProductAggregator
- serialVersionUID - Static variable in class net.sf.tweety.math.func.SumAggregator
- serialVersionUID - Static variable in exception net.sf.tweety.math.GeneralMathException
-
For serialization.
- serialVersionUID - Static variable in exception net.sf.tweety.math.NonDifferentiableException
-
For serialization
- serialVersionUID - Static variable in class net.sf.tweety.math.norm.AggregatingNorm
- serialVersionUID - Static variable in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- serialVersionUID - Static variable in class net.sf.tweety.math.norm.ProbabilisticPNorm
- serialVersionUID - Static variable in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
-
For serialization.
- serialVersionUID - Static variable in exception net.sf.tweety.math.opt.ProblemInconsistentException
-
For serialization.
- serialVersionUID - Static variable in class net.sf.tweety.math.probability.Probability
-
For serialization
- serialVersionUID - Static variable in class net.sf.tweety.preferences.events.UpdateEvent
- serialVersionUID - Static variable in exception net.sf.tweety.preferences.io.ParseException
- 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 - 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, LdoFormula) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- set(int, RelationalFormula) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- set(int, ComplexConcept) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- set(int, PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- set(int, ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- set(int, T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- set(String) - Method in class net.sf.tweety.logics.commons.syntax.Constant
- set(String) - Method in class net.sf.tweety.logics.commons.syntax.StringTerm
- set(String) - Method in class net.sf.tweety.logics.commons.syntax.Variable
- set(Proposition, PriestWorld.TruthValue) - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
-
Sets the value of the given proposition.
- set(T) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
-
Changes the java-object representation of the term to the given value.
- set(T) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
- setAdditionalArguments(String) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
-
Sets the additional arguments given to the call of the EProver binary (Default value is "--auto-schedule").
- setAdf(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.encodings.SatEncodingContext
- setAfterFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
-
Sets the afterFormula of this causal law
- setAlchemyInferenceCommand(String) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
-
Sets the console command for Alchemy inference (default is 'infer').
- setAmount(Integer) - Method in class net.sf.tweety.preferences.update.Update
-
sets the third element of this triple
- setAnswersetProcessing(CredibilityRevision.AnswersetProcessing) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
- setAssumptions(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
- setBeliefbase(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setBeliefbase(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Adds a belief base to the end of the ordered list of belief bases.
- setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver
-
Sets the path to the binary.
- setBinary(String) - Static method in class net.sf.tweety.math.opt.solver.LpSolve
-
Sets the path to the binary.
- setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner
-
Changes the path of the EProver binary.
- setBinaryLocation(String) - Method in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner
-
Changes the path of the Prover9 binaries.
- setBody(List<ASPBodyElement>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setClassicalNegationSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- setCmdOptions(String) - Method in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
Sets the command line options that will be used by SPASS when executing the query.
- setCmdOptions(String) - Method in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
Sets the command line options that will be used by SPASS when executing the query.
- setComparator(Comparator<Pair<Proposition, Boolean>>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
-
Changes the used comparator to sort the representation structure and resorts the representation.
- SetComparator<T> - Class in net.sf.tweety.arg.aspic.order
- SetComparator(Comparator<T>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.SetComparator
-
Constructs an new set comparator
- setConclusion(C) - Method in interface net.sf.tweety.commons.util.rules.Rule
- setConclusion(FolFormula) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- setConclusion(FolFormula) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- setConclusion(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
- setConclusion(PlFormula) - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- setConclusion(PlFormula) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
- setConclusion(Proposition) - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
- setConclusion(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setConclusion(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
- setConclusion(T) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
- setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
-
Change the conclusion
- setConclusion(T) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
- setConditonalStructure(ConditionalStructure) - Method in interface net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner.Rule
-
Sets the
ConditionalStructure
that is used as data basis for the rule. - setConditonalStructure(ConditionalStructure) - Method in class net.sf.tweety.logics.cl.rules.RuleAdapter
- setConfigurationFilePath(String) - Method in class net.sf.tweety.cli.plugins.CliMain
- setContol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder
- setContol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setContradictionSymbol(String) - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- setCriteria(String) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
- setDebugStream(PrintStream) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
- setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- setDebugStream(PrintStream) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Set debug output.
- setDebugStream(PrintStream) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
- setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
- setDebugStream(PrintStream) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager
-
Set debug output.
- setDefaultEnumerator(AbstractMusEnumerator<PlFormula>) - Static method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
-
Sets the default MUS enumerator.
- setDefaultGeneralSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
-
Sets the default solver for non-linear (general) optimization problems.
- setDefaultIntegerLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
-
Sets the default solver for integer linear optimization problems.
- setDefaultLinearSolver(Solver) - Static method in class net.sf.tweety.math.opt.Solver
-
Sets the default solver for linear optimization problems.
- setDefaultReasoner(FolReasoner) - Static method in class net.sf.tweety.logics.fol.reasoner.FolReasoner
-
Set default reasoner with given
- setDefaultReasoner(AbstractMlReasoner) - Static method in class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
-
Set default modal reasoner with given
- setDefaultSolver(SatSolver) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Sets the default SAT solver.
- setElement(T) - Method in class net.sf.tweety.preferences.update.Update
-
sets the fourth element of this triple
- setEntry(int, int, Term) - Method in class net.sf.tweety.math.matrix.Matrix
-
Sets the entry at the given coordinates.
- setFileHandler(RevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
-
Sets a file handler which is responsible to filter the open file dialog and to load the selected file.
- setFileHandler(SimpleRevisionComparePresenter.FileHandler) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
Sets a file handler responsible for filtering the open file dialog and loading the selected file.
- setFirst(E) - Method in class net.sf.tweety.commons.util.Pair
-
sets the first element of this pair
- setFirst(E) - Method in class net.sf.tweety.commons.util.Triple
-
sets the first element of this triple
- setFirstFormula(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Implication
-
Sets the left side formula of the implication left => right.
- setFormula(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- setFormula(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- setFormula(T) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
- setFormulaNames(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
-
Set the regular expression that restricts which formulas will be parsed.
- setFormulaRoles(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
-
Set the regular expression that restricts which formulas will be parsed.
- setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class net.sf.tweety.logics.fol.syntax.Implication
-
Sets the formulas of the implication.
- setFormulas(Pair<PlFormula, PlFormula>) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(Pair<PlFormula, PlFormula>) - Method in class net.sf.tweety.logics.pl.syntax.Implication
-
Sets the formulas of the implication.
- setFtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder
- setFtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setFunction(Function<T, R>) - Method in class net.sf.tweety.arg.adf.util.Cache
-
Sets the function which is used for future calls, but does not recompute already cached elements.
- setFunction(ASPOperator.AggregateFunction) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Sets the aggregate function.
- setGroundingRequirements(Set<GroundingRequirement>) - Method in class net.sf.tweety.action.description.syntax.CLaw
- setGtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder
- setGtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setHasPerformedNoOperation(Agent) - Method in class net.sf.tweety.agents.RigidProtocol
-
Sets that the given agent has performed a NO_OPERATION.
- setHead(ASPHead) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setHeadFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw
-
Sets the headFormula of this causal law
- setHelptextPath(String) - Method in class net.sf.tweety.cli.plugins.CliMain
- setIfFormula(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw
-
Sets the IfFormula of this causal law
- setIgnoreNotFeasibleError(boolean) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setIncludePath(String) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
-
Set the location of included files.
- setIntegerMaximum(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver
-
Set the upper integer bound.
- setInterval(String) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
-
sets new selection parameter
- setIntervalset(NumberSet<S>) - Method in class net.sf.tweety.math.Interval
- setKappas(Collection<KappaValue>) - Method in interface net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner.Rule
-
Sets the Collection of
KappaValue
that is used as data basis for the rule - setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule
- setKappas(Collection<KappaValue>) - Method in class net.sf.tweety.logics.cl.rules.RuleAdapter
- setLeftGuard(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Set the left relation term (right guard).
- setLeftIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
switches the flag indicating if the left method shall use iterative algorithms
- setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
Select the left revision method.
- setLeftOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Select the left revision method.
- setLeftOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Sets the operator of the left aggregate relation.
- setLeftTerm(Term) - Method in class net.sf.tweety.math.equation.Statement
-
Sets the left term of this statement.
- setLevel(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setLinkStrategy(LinkStrategy) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
- setLiteral(ASPBodyElement) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
- setLowerBound(S) - Method in class net.sf.tweety.math.Interval
- setMaxFunEvals(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setMaxIter(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setMaxNumOfModels(int) - Method in class net.sf.tweety.lp.asp.reasoner.ASPSolver
-
Set the maximum number of models to be generated.
- setName(String) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
-
Sets the name
- setName(String) - Method in class net.sf.tweety.arg.dung.syntax.Argument
-
sets the name of the argument
- setName(String) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
-
Changes the name of the Structure
- setName(String) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
- setNewBeliefs(Reader) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setNewBeliefs(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setObj1(E) - Method in class net.sf.tweety.preferences.Quadruple
-
sets the first element of this triple
- setObj2(F) - Method in class net.sf.tweety.preferences.Quadruple
-
sets the second element of this triple
- setObj3(G) - Method in class net.sf.tweety.preferences.Quadruple
-
sets the third element of this triple
- setObj4(H) - Method in class net.sf.tweety.preferences.Quadruple
-
sets the fourth element of this triple
- setObject(Object) - Method in class net.sf.tweety.commons.Writer
-
Sets the object of this writer.
- setOperation(Operation) - Method in class net.sf.tweety.preferences.update.Update
-
sets the second element of this triple
- setOperator(ASPOperator.ArithmeticOperator) - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
-
Sets the operator of this arithmetic term.
- setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Set additional command line options for Clingo.
- setOptions(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
-
Set additional command line options for DLV.
- setOrder(Comparator<AspicArgument<T>>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
-
Sets a new order over the arguments
- setOrderedBefore(T, T) - Method in class net.sf.tweety.graphs.orders.Order
-
Adds that object1 is ordered before object2
- setOutputWhitelist(Collection<Predicate>) - Method in class net.sf.tweety.lp.asp.syntax.Program
-
Sets the whitelist of predicates.
- setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
- setParameterSet(ParameterSet) - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
- setParameterSet(ParameterSet) - Method in interface net.sf.tweety.machinelearning.Trainer
-
Sets the parameters for this trainer (calling this method must ensure that the next time
train(TrainingSet<S,T> trainingSet)
is used it uses these parameters. - setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Sets the location of the Clingo solver on the hard drive.
- setPathToDLV(String) - Method in class net.sf.tweety.lp.asp.reasoner.DLVSolver
-
Sets the location of the DLV solver on the hard drive.
- setPathToOctave(String) - Static method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver
- setPenalty(int) - Method in class net.sf.tweety.math.opt.OptimizationProblem
-
Sets the penalty for violated minimum.
- setPredicate(Predicate) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
- setPredicate(Predicate) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
-
Changes the predicate of the atom.
- setPredicate(Predicate) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
- setPredicate(Predicate) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- setPredicate(Predicate) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- setPreferenceOrderIndex(int) - Method in class net.sf.tweety.preferences.update.Update
-
sets the first element of this triple
- setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
- setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- setQuantifierVariables(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- setQuery(ASPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.Program
-
Sets the query of the program.
- setRank(HerbrandInterpretation, Integer) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Sets the rank for the given Herbrand interpretation.
- setRank(PossibleWorld, Integer) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Sets the rank for the given possible world.
- setResult(PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.events.UpdateEvent
-
Sets the result in for this update event
- setRightGuard(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Set the right relation term (right guard).
- setRightIterative(boolean) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
switches the flag indicating if the right method shall use iterative algorithms
- setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
-
Select the right revision method.
- setRightOperator(BaseRevisionOperator<?>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Select the right revision method.
- setRightOperator(ASPOperator.BinaryOperator) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Sets the operator of the right aggregate relation.
- setRightTerm(Term) - Method in class net.sf.tweety.math.equation.Statement
-
Sets the right term of this statement.
- setRule(AbaRule<T>) - Method in class net.sf.tweety.arg.aba.syntax.Deduction
- setRuleFormulaGenerator(RuleFormulaGenerator<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
-
Set a new generator to transform rules into words of the language they range over
- setScriptLocation(String) - Method in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
-
Set the mleancop.sh path.
- setSecond(F) - Method in class net.sf.tweety.commons.util.Pair
-
sets the second element of this pair
- setSecond(F) - Method in class net.sf.tweety.commons.util.Triple
-
sets the second element of this triple
- setSecondFormula(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Implication
-
Sets the right side formula of the implication left => right
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
- setSeed(long) - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
- setSeed(long) - Method in interface net.sf.tweety.agents.sim.AgentGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in interface net.sf.tweety.agents.sim.MultiAgentSystemGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
- setSeed(long) - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
- setSeed(long) - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
- setSeed(long) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- setSeed(long) - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- setSelections(String[]) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
-
sets new selection parameter
- setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- setSemantics(RpclSemantics) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- setSignature(Collection<Proposition>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
-
Changes the signature of the world.
- setSignature(ActionSignature) - Method in class net.sf.tweety.action.description.parser.CParser
- setSignature(DlSignature) - Method in class net.sf.tweety.logics.dl.parser.DlParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.TPTPParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class net.sf.tweety.logics.ml.parser.MlParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- setSignature(FolSignature) - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- setSignature(PlSignature) - Method in class net.sf.tweety.logics.pl.parser.DimacsParser
-
Sets the signature of this parser.
- setSignature(S) - Method in class net.sf.tweety.commons.BeliefSet
-
Sets the signature that is attached to his belief base to a copy of the given signature.
- setSolver(String) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- setSolver(ASPSolver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setSolver(ASPSolver) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
- setSortingType(NumericalArgumentRanking.SortingType) - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
-
Set the sorting type for ranking values.
- setStartingPoint(Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.RootFinder
-
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.rankings.semantics.LatticeArgumentRanking
-
Defines "a" to be strictly less or equally acceptable than "b".
- setSymbolArrow(String) - Method in class net.sf.tweety.arg.aba.parser.AbaParser
- setSymbolComma(String) - Method in class net.sf.tweety.arg.aba.parser.AbaParser
- setSymbolComma(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing parameter separators
- setSymbolDefeasible(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing defeasible function arrows
- setSymbolStrict(String) - Method in class net.sf.tweety.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing strict function arrows
- setSymbolTrue(String) - Method in class net.sf.tweety.arg.aba.parser.AbaParser
- setTabSize(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
- setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- setTabSize(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- setTabSize(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
- setTabSize(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream
- setTargetFunction(Term) - Method in class net.sf.tweety.math.opt.OptimizationProblem
-
Sets the target function of this problem.
- setTempDirectory(String) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner
-
Sets the path of the directory for temporary files.
- setTempFolder(File) - Static method in class net.sf.tweety.logics.pl.sat.MaxSatSolver
-
Set the folder for temporary files created by a MaxSAT solver.
- setTempFolder(File) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
-
Set the folder for temporary files created by SAT solver.
- setThird(G) - Method in class net.sf.tweety.commons.util.Triple
-
sets the third element of this triple
- setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver
-
Sets the path for the temporary folder.
- setTmpFolder(File) - Static method in class net.sf.tweety.math.opt.solver.LpSolve
-
Sets the path for the temporary folder.
- setTools - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
-
For convenience methods on sets.
- setTools - Variable in class net.sf.tweety.logics.pl.util.RandomSatSampler
-
For randomisation
- 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(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.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
- setUp() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
- setUp() - Method in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
- setUp() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
- setUp() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
- setUp() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
-
Perform pre-test initialization.
- SetUp() - Method in class net.sf.tweety.arg.aba.AbaTest
- setUpBeforeClass() - Static method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
- setUpBeforeClass() - Static method in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
- setUpperBound(S) - Method in class net.sf.tweety.math.Interval
- setValue(File[]) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
-
sets the instantiated parameter argument value, value has to be one of the options contained in selections
- setValue(Integer) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
-
sets the instantiated parameter argument value, value has to be one of the options contained in selections
- setValue(String) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
-
sets the instantiated parameter argument value, value has to be one of the options contained in selections
- setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
- setValue(String[]) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter
- setVariables(Map<String, Variable>) - Method in class net.sf.tweety.logics.fol.parser.FolParser
- setWeight(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- setWeight(T) - Method in class net.sf.tweety.graphs.WeightedDirectedEdge
-
TODO
- setWorldRepresentation(Comparator<Pair<Proposition, Boolean>>) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Changes the internal representations of the worlds, normally the propositions of a world are ordered alphabetically but this behavior can be changed using this method.
- setWorldSorting(Comparator<NicePossibleWorld>) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
Changes the ordering of the PossibleWorlds for representation purposes, before using this method proof if the goal can be easier achieved using the setWorldRepresentation() method that allows changing the ordering of the literals in the world representation.
- setXtol(double) - Method in class net.sf.tweety.math.opt.OpenOptRootFinder
- setXtol(double) - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
- shallowCopy() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
- ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements the Shapley culpability measure.
- ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure
-
Creates a new Shapley culpability measure that bases on the given inconsistency measure.
- shell - Static variable in class net.sf.tweety.arg.dung.ProboTest
- Shell - Class in net.sf.tweety.commons.util
- Shell() - Constructor for class net.sf.tweety.commons.util.Shell
- showTime - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
- sig - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
The signature of the formulas.
- sig - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
The signature of the formulas.
- sig - Variable in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
-
The signature used for creating possible worlds.
- sign(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
- sign(PclBeliefSet, ProbabilisticConditional) - Method in interface net.sf.tweety.logics.pcl.analysis.SignedCulpabilityMeasure
-
Determines the sign of the culpability of the given conditional in the given belief set, i.e.
- signature - Variable in class net.sf.tweety.action.description.parser.CLawParser
- signature - Variable in class net.sf.tweety.action.description.parser.CParser
- signature - Variable in class net.sf.tweety.action.query.parser.ActionQueryParser
- signature - Variable in class net.sf.tweety.action.signature.parser.ActionSignatureParser
-
Resulting signature.
- signature - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem
- signature - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
- signature - Variable in class net.sf.tweety.commons.BeliefSet
-
The signature of this belief base.
- signature - Variable in class net.sf.tweety.commons.BeliefSetSampler
-
The signature of this sampler.
- signature - Variable in class net.sf.tweety.commons.FormulaSampler
-
The signature of this sampler.
- signature - 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.dl.parser.DlParser
-
Keeps track of the signature.
- signature - Variable in class net.sf.tweety.logics.fol.parser.FolParser
-
Keeps track of the signature.
- signature - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser
-
Keeps track of the signature.
- signature - Variable in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
The signature of the underlying language.
- signature - Variable in class net.sf.tweety.logics.pl.parser.DimacsParser
-
The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).
- signature - Static variable in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- signature - Variable in class net.sf.tweety.logics.pl.util.EnumeratingIterator
-
The used signature.
- signature - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
-
The used signature.
- signature - Variable in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
The signature of the language this ranking function is defined on.
- signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- signature - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- signature - Variable in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
-
The used FOL signature
- Signature - Interface in net.sf.tweety.commons
-
A signatures lists the atomic language structures for some language.
- SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- SIGNATURE_SIZE - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- signatureGrow() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- signatureShrink() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
- SignedCulpabilityMeasure - Interface in net.sf.tweety.logics.pcl.analysis
-
Classes implementing this interface represent signed culpability measures, i.e.
- simple - Variable in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
-
indicates whether the computed c-representation is simple.
- simple - Variable in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
-
indicates whether the computed c-representation is simple.
- SimpleAccumulator - Class in net.sf.tweety.arg.deductive.accumulator
-
This implementation of an accumulator simply sums up the categorizations of the argument trees.
- SimpleAccumulator() - Constructor for class net.sf.tweety.arg.deductive.accumulator.SimpleAccumulator
- SimpleAdmissibleReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the admissible extensions.
- SimpleAdmissibleReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleAdmissibleReasoner
- SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order
- SimpleAspicOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.semantics
- SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
-
Creates a comparator for AspicArguments, that always returns 0
- SimpleAspicOrder() - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
-
Creates a comparator for AspicArguments, that always returns 0
- SimpleAspicOrder(Collection<String>) - Constructor for class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
-
Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
- SimpleAspicOrder(List<String>) - Constructor for class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
-
Creates a comparator for AspicArguments from a list of AspicInferneceRules This will return a value <0, ==0 or >0 if the first argument's top rule is <,=,> the second argument's top rule
- SimpleAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner
- SimpleAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.SimpleAspicReasoner
-
Creates a new instance
- SimpleASPRulesTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- SimpleBeliefBaseTest() - Method in class net.sf.tweety.logics.qbf.test.QCIRTest
- SimpleBeliefBaseTest() - Method in class net.sf.tweety.logics.qbf.test.QDIMACSTest
- SimpleCF2Reasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the CF2 extensions.
- SimpleCF2Reasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner
- SimpleCharStream - Class in net.sf.tweety.arg.delp.parser
-
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
- SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
- SimpleCharStream - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
-
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
- SimpleCharStream - Class in net.sf.tweety.lp.asp.parser
-
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
- SimpleCharStream - Class in net.sf.tweety.preferences.io
- SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class net.sf.tweety.preferences.io.SimpleCharStream
- SimpleCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the complete extensions.
- SimpleCompleteReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner
- SimpleConflictFreeReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the conflict-free extensions.
- SimpleConflictFreeReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleConflictFreeReasoner
- SimpleCReasoner - Class in net.sf.tweety.logics.cl.reasoner
-
This class models a brute force c-reasoner for conditional logic.
- SimpleCReasoner() - Constructor for class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
-
Creates a new simple c-representation reasoner.
- SimpleCReasoner(boolean) - Constructor for class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
-
Creates a new c-representation reasoner
- SimpleDeductiveReasoner - Class in net.sf.tweety.arg.deductive.reasoner
-
This class implements a brute force approach to deductive argumentation.
- SimpleDeductiveReasoner(Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.reasoner.SimpleDeductiveReasoner
-
Creates a new reasoner for the given belief base, categorizer, and accumulator.
- SimpleDefaultReasoner - Class in net.sf.tweety.logics.rdl.reasoner
-
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.
- SimpleDefaultReasoner() - Constructor for class net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner
- SimpleDpllSolver - Class in net.sf.tweety.logics.pl.sat
-
This class provides a simple reference implementation of the DPLL (Davis–Putnam–Logemann–Loveland) algorithm for satisfiability testing, see e.g https://en.wikipedia.org/wiki/DPLL_algorithm.
- SimpleDpllSolver() - Constructor for class net.sf.tweety.logics.pl.sat.SimpleDpllSolver
- SimpleDpllSolverTest - Class in net.sf.tweety.logics.pl.test
- SimpleDpllSolverTest() - Constructor for class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest
- SimpleExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
- SimpleFolReasoner - Class in net.sf.tweety.logics.fol.reasoner
-
Uses a naive brute force search procedure for theorem proving.
- SimpleFolReasoner() - Constructor for class net.sf.tweety.logics.fol.reasoner.SimpleFolReasoner
- SimpleFunction<T,S> - Interface in net.sf.tweety.math.func
-
Encapsulates common methods of mathematical functions with a single parameter.
- SimpleGeneticOptimizationSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements a simple genetic optimization algorithm for solving optimization problems with box or equality constraints on float variables.
- SimpleGeneticOptimizationSolver(int, int, int, int, double) - Constructor for class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
Creates a new simple genetic optimization solver.
- SimpleGeneticOptimizationSolver.FitnessComparator - Class in net.sf.tweety.math.opt.solver
-
Compares individuals by the fitness (value of the target function)
- SimpleGeneticOptimizationSolverTest - Class in net.sf.tweety.math.test
- SimpleGeneticOptimizationSolverTest() - Constructor for class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest
- SimpleGroundedReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the grounded extension.
- SimpleGroundedReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleGroundedReasoner
- SimpleIdealReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the ideal extension.
- SimpleIdealReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleIdealReasoner
- SimpleIncrementalSatSolver - Class in net.sf.tweety.arg.adf.sat
-
A simple wrapper which can be used where instances of
IncrementalSatSolver
are needed. - SimpleIncrementalSatSolver(SatSolver) - Constructor for class net.sf.tweety.arg.adf.sat.SimpleIncrementalSatSolver
- SimpleLogicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces
-
A formula of a logical language
- SimpleMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner
- SimpleMlnReasoner() - Constructor for class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner
- SimpleMlReasoner - Class in net.sf.tweety.logics.ml.reasoner
-
This class implements inference for modal logic using a brute-force approach.
- SimpleMlReasoner() - Constructor for class net.sf.tweety.logics.ml.reasoner.SimpleMlReasoner
- SimpleMUSComparator() - Constructor for class net.sf.tweety.logics.pl.postulates.ImPostulate.SimpleMUSComparator
- SimpleNode - Class in net.sf.tweety.graphs
-
A simple node of a graph with a name.
- SimpleNode - Class in net.sf.tweety.lp.asp.parser
- SimpleNode(int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode
- SimpleNode(String) - Constructor for class net.sf.tweety.graphs.SimpleNode
-
Creates a new node with the given name.
- SimpleNode(ASPCore2Parser, int) - Constructor for class net.sf.tweety.lp.asp.parser.SimpleNode
- SimpleOrderTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
- SimplePafReasoner - Class in net.sf.tweety.arg.prob.reasoner
-
This class implements a naive algorithm for computing probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.
- SimplePafReasoner(Semantics) - Constructor for class net.sf.tweety.arg.prob.reasoner.SimplePafReasoner
-
Creates a new reasoner.
- SimplePlLogicArgument - Class in net.sf.tweety.arg.deductive.syntax
- SimplePlLogicArgument(Collection<SimplePlRule>, PlFormula) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
- SimplePlLogicArgument(Derivation<SimplePlRule>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
-
Constructor
- SimplePlLogicDeductiveKnowledgebase - Class in net.sf.tweety.arg.deductive.syntax
- SimplePlLogicDeductiveKnowledgebase() - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
- SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
- SimplePlLogicExample - Class in net.sf.tweety.arg.deductive.examples
-
For testing purpose only
- SimplePlLogicExample() - Constructor for class net.sf.tweety.arg.deductive.examples.SimplePlLogicExample
- SimplePlLogicParser - Class in net.sf.tweety.arg.deductive.parser
- SimplePlLogicParser() - Constructor for class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser
- SimplePlReasoner - Class in net.sf.tweety.logics.pl.reasoner
-
Naive classical inference (checks all interpretations for satisfiability).
- SimplePlReasoner() - Constructor for class net.sf.tweety.logics.pl.reasoner.SimplePlReasoner
- SimplePlRule - Class in net.sf.tweety.arg.deductive.syntax
-
Basic data structure for handling simple rule
- SimplePlRule() - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- SimplePlRule(PlFormula) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- SimplePlRule(PlFormula, Set<PlFormula>) - Constructor for class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- SimplePreferredReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the preferred extensions.
- SimplePreferredReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimplePreferredReasoner
- SimpleProductSemantics - Class in net.sf.tweety.arg.social.semantics
-
The simple product semantics from [Leite, Martins; IJCAI 2011, Def.
- SimpleProductSemantics(double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
-
Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.
- SimpleProductSemantics(double, double) - Constructor for class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
-
Creates a new simple product semantics with the given epsilon parameter for the simple vote aggregation function.
- SimpleQueryTest() - Method in class net.sf.tweety.logics.dl.test.DlReasonerTest
- SimpleQueryTest() - Method in class net.sf.tweety.logics.ml.MleanCoPTest
- SimpleQueryTest1() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- SimpleQueryTest1() - Method in class net.sf.tweety.logics.ml.SPASSTest
- SimpleQueryTest2() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- SimpleQueryTest2() - Method in class net.sf.tweety.logics.ml.SPASSTest
- SimpleQueryTest3() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- SimpleQueryTest4() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
- SimpleRealValuedFunction - Interface in net.sf.tweety.math.func
-
A real-valued function.
- SimpleRelationalCReasoner - Class in net.sf.tweety.logics.rcl.reasoner
-
This class models a relational brute force c-reasoner for relational conditional logic.
- SimpleRelationalCReasoner(boolean) - Constructor for class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
-
Creates a new relational c-representation reasoner.
- SimpleRevisionCompareModel - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
-
The data-model used to compare two different revision approaches.
- SimpleRevisionCompareModel() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- SimpleRevisionCompareModel(ASPSolver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- SimpleRevisionComparePresenter - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
-
This class couples the SimpleRevisionCompare View and Model, it needs to know the implementation used to load external belief base files, see FileHandler interface.
- SimpleRevisionComparePresenter(SimpleRevisionCompareModel, SimpleRevisionCompareView) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
Default Ctor: registers the view as listener to the correct model.
- SimpleRevisionComparePresenter.DefaultFileHandler - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
-
does not try to load the file, returns null
- SimpleRevisionComparePresenter.FileHandler - Interface in net.sf.tweety.lp.asp.beliefdynamics.gui
-
This interface is used by the SimpleRevisionComparePresenter to handle the file loading.
- SimpleRevisionComparePresenter.MockOperator - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
-
Mock revision operator for functional test.
- SimpleRevisionCompareView - Class in net.sf.tweety.lp.asp.beliefdynamics.gui
-
The default view for a revision compare.
- SimpleRevisionCompareView() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
-
Default Ctor: Creates the view
- SimpleSafSampler - Class in net.sf.tweety.arg.saf.util
-
This class implements a belief base sampler for structured argumentation frameworks.
- SimpleSafSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.SimpleSafSampler
-
Creates a new SimpleSafSampler for the given signature.
- SimpleSafSampler(Signature, int, int) - Constructor for class net.sf.tweety.arg.saf.util.SimpleSafSampler
-
Creates a new SimpleSafSampler for the given signature.
- SimpleSamplingMlnReasoner - Class in net.sf.tweety.logics.mln.reasoner
-
This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.
- SimpleSamplingMlnReasoner(double, int) - Constructor for class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner
-
Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.
- SimpleSatSolverState - Class in net.sf.tweety.arg.adf.sat
-
A dummy state that can be used in combination with non-incremental Sat-Solvers and
SimpleIncrementalSatSolver
at positions where a SatSolverState is required. - SimpleSatSolverState(SatSolver) - Constructor for class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
- SimpleSccCompleteReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the complete extensions.
- SimpleSccCompleteReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner
- SimpleSemiStableReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the semi-stable extensions.
- SimpleSemiStableReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleSemiStableReasoner
- SimpleStableReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the stable extensions.
- SimpleStableReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleStableReasoner
- SimpleStageReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the stage extensions.
- SimpleStageReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.SimpleStageReasoner
- SimpleTermTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
- SimpleTransform<R> - Interface in net.sf.tweety.arg.adf.transform
-
A convenience interface for simple transformation operations on the recursive structure of the acceptance conditions.
- simpleUpdate(DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given theory using "simple redistribution", cf.
- simplify() - Method in class net.sf.tweety.math.matrix.Matrix
-
Simplifies every entry.
- simplify() - Method in class net.sf.tweety.math.term.AbsoluteValue
- simplify() - Method in class net.sf.tweety.math.term.Constant
- simplify() - Method in class net.sf.tweety.math.term.Difference
- simplify() - Method in class net.sf.tweety.math.term.Exp
- simplify() - Method in class net.sf.tweety.math.term.Fraction
- simplify() - Method in class net.sf.tweety.math.term.Logarithm
- simplify() - Method in class net.sf.tweety.math.term.Maximum
- simplify() - Method in class net.sf.tweety.math.term.Minimum
- simplify() - Method in class net.sf.tweety.math.term.Power
- simplify() - Method in class net.sf.tweety.math.term.Product
- simplify() - Method in class net.sf.tweety.math.term.Root
- simplify() - Method in class net.sf.tweety.math.term.Sum
- simplify() - Method in class net.sf.tweety.math.term.Term
-
Simplifies this term in an equivalent way:
- Replaces products that contain a zero by the constant zero
- Removes a term one from products
- Removes a term zero from sums
- Aggregates constants in sums, products, and minimums
- Evaluates functional terms on constants
- Simplifies fractions where possible. - simplify() - Method in class net.sf.tweety.math.term.Variable
- SimulationParameters - Class in net.sf.tweety.agents.sim
-
Objects of this class store additional simulation parameters that should be shared among the generating components of a simulation.
- SimulationParameters() - Constructor for class net.sf.tweety.agents.sim.SimulationParameters
- SimulationResult<S extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - Class in net.sf.tweety.agents.sim
-
Instances of this class summarize information on a performed simulation.
- SimulationResult(List<AgentGenerator<T, R>>) - Constructor for class net.sf.tweety.agents.sim.SimulationResult
-
Creates a new SimulationResult for the given set of agent generators.
- singleAFExtensions(DungTheory) - Method in class net.sf.tweety.arg.dung.reasoner.SimpleCF2Reasoner
-
Computes the extensions for the single af case.
- SingleFormulasTest() - Method in class net.sf.tweety.logics.qbf.test.QCIRTest
- SinglePeakWeightVector - Class in net.sf.tweety.preferences.aggregation
-
The single peak implementation of the weight vector, where only the highest rated value in each preference order scores (1,0,0,0,0,0)
- SinglePeakWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector
-
constructor for weight vector with peak value
- SingleSetSignature<T> - Class in net.sf.tweety.commons
-
This class models a signature as a set of formulas.
- SingleSetSignature() - Constructor for class net.sf.tweety.commons.SingleSetSignature
-
Creates a new empty signature.
- SingleSetSignature(Set<T>) - Constructor for class net.sf.tweety.commons.SingleSetSignature
-
Creates a new signature with the given set of elements.
- SingleValeWeightVector - Class in net.sf.tweety.preferences.aggregation
- SingleValeWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.SingleValeWeightVector
-
constructor setting the value for the least chosen element
- size - Variable in class net.sf.tweety.preferences.aggregation.BordaWeightVector
- size() - Method in class net.sf.tweety.agents.dialogues.DialogueTrace
- size() - Method in class net.sf.tweety.agents.MultiAgentSystem
- size() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
- size() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
- size() - Method in class net.sf.tweety.arg.adf.util.Cache
- size() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- size() - Method in class net.sf.tweety.arg.dung.semantics.Extension
- size() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
- size() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
- size() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
- size() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
- size() - Method in class net.sf.tweety.commons.BeliefSet
- size() - Method in class net.sf.tweety.commons.InterpretationSet
- size() - Method in class net.sf.tweety.commons.SingleSetSignature
-
Returns the number of elements in this signature, i.e.
- size() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- size() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- size() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- size() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
- size() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
- size() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- size() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
- size() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
- size() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
- size() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- size() - Method in class net.sf.tweety.math.Interval
- size() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
- size() - Method in class net.sf.tweety.math.term.AssociativeOperation
-
Returns the number of the terms in this operation.
- size() - Method in class net.sf.tweety.preferences.PreferenceOrder
-
returns the size of the set
- SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- SIZE_OF_KNOWLEDGEBASES - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- SKEPTICAL - net.sf.tweety.commons.InferenceMode
- sliderStep - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
- smallestEvaluate - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin
- smallestGreaterEqual - Variable in class net.sf.tweety.logics.cl.kappa.KappaMin
- SmokersExample(int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
- SmoothedPenalizingCreepingMachineShop - Class in net.sf.tweety.logics.pcl.analysis
-
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
- SmoothedPenalizingCreepingMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
-
Creates a new creeping machine shop based on the given culpability measure.
- smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
-
Whether the inconsistency value should be smoothed: if X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor).
- smoothingFactor - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
-
Whether the inconsistency value should be smoothed: if X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by X=X1*smoothingFactor + X2*(1-smoothingFactor).
- SmoothingFunction - Class in net.sf.tweety.math.func
-
A function that smoothes two values with a smooting factor, i.e.
- SmoothingFunction(double) - Constructor for class net.sf.tweety.math.func.SmoothingFunction
-
Creates a new smoothing function with the given factor.
- SNode(Map<String, Argument>) - Constructor for class net.sf.tweety.arg.adf.parser.KppADFFormatParser.SNode
- SocialAbstractArgumentationFramework - Class in net.sf.tweety.arg.social.syntax
-
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.
- SocialAbstractArgumentationFramework() - Constructor for class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
-
Creates a new empty social abstract argumentation framework
- SocialAbstractArgumentationFramework(Graph<Argument>) - Constructor for class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
-
Creates a new social abstract argumentation framework from the given graph.
- SocialMapping<L> - Class in net.sf.tweety.arg.social.semantics
-
Implements a mapping from arguments to social value.
- SocialMapping(AbstractSocialSemantics<L>) - Constructor for class net.sf.tweety.arg.social.semantics.SocialMapping
-
Creates a new mapping wrt.
- solve(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
- solve(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(ConstraintSatisfactionProblem) - Method in class net.sf.tweety.math.opt.Solver
-
Computes a solution to the given constraint satisfaction or optimization problem, i.e.
- solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).
- solve(Term, int) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
-
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).
- solver - Variable in class net.sf.tweety.arg.adf.reasoner.generator.SatConflictFreeGenerator
- solver - Variable in class net.sf.tweety.arg.adf.reasoner.generator.SatGroundGenerator
- solver - Variable in class net.sf.tweety.arg.adf.reasoner.generator.SatModelGenerator
- solver - Variable in class net.sf.tweety.arg.adf.reasoner.SatReasonerContext
- solver - Variable in class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
- solver - Variable in class net.sf.tweety.arg.adf.semantics.SatLinkStrategy
- solver - Variable in class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
-
A SAT solver
- solver - Variable in class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure
-
A solver for integer linear programs.
- solver - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
-
A solver for integer linear programs.
- solver - Variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
-
The solver used for solving the optimization problem
- solver - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
- solver - Static variable in class net.sf.tweety.lp.asp.analysis.ClingoTest
- solver - Static variable in class net.sf.tweety.lp.asp.analysis.DLVTest
- solver - Variable in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure
-
The ASP solver used for determining inconsistency
- solver - Variable in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
-
The ASP solver used for determining inconsistency
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPBaseRevisionOperator
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
-
reference to the solver used for the answer set generation
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
- solver - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
- solver - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
- 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
- solverErrorCode - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- solverErrorText - Variable in exception net.sf.tweety.lp.asp.reasoner.SolverException
- SolverException - Exception in net.sf.tweety.lp.asp.reasoner
-
This class models a generic exception for ASP solvers.
- SolverException(String, int) - Constructor for exception net.sf.tweety.lp.asp.reasoner.SolverException
-
Creates a new SolverException with the given message.
- solverState - Variable in class net.sf.tweety.arg.adf.reasoner.SatReasonerContext
- SolverTest() - Method in class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest
- sort - Static variable in class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator
-
Constants needed for atom creation
- sort - Variable in class net.sf.tweety.logics.commons.syntax.TermAdapter
-
the type of the term
- Sort - Class in net.sf.tweety.logics.commons.syntax
-
A sort of first-order logic.
- Sort(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
-
Ctor: Creates an empty Sort with the given name.
- Sort(String, Set<Constant>) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
-
Ctor: Creates a Sort with the given name and the given constants.
- Sort(Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Sort
-
Copy-Ctor creates a deep copy of the Sort
- sortingType - Variable in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
- SortingType() - Constructor for enum net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType
- 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.JJTASPCore2ParserState
- spanNumber - Variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
-
The span number of this reference world; saved for efficiency.
- spanNumber() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
-
Returns the span number of this reference world, i.e.
- spass - Static variable in class net.sf.tweety.logics.fol.test.SPASSTest
- spass - Static variable in class net.sf.tweety.logics.ml.SPASSTest
- SpassFolReasoner - Class in net.sf.tweety.logics.fol.reasoner
-
Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.
- SpassFolReasoner(String) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
Constructs a new instance pointing to a specific SPASS
- SpassFolReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner
-
Constructs a new instance pointing to a specific SPASS Prover.
- SPASSMlReasoner - Class in net.sf.tweety.logics.ml.reasoner
-
Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.
- SPASSMlReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
Constructs a new instance pointing to a specific SPASS
- SPASSMlReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner
-
Constructs a new instance pointing to a specific SPASS Prover.
- SPASSTest - Class in net.sf.tweety.logics.fol.test
-
JUnitTest to test SPASS (test cases from
TPTPTest
) - SPASSTest - Class in net.sf.tweety.logics.ml
-
JUnit Test class for SPASS Prover for modal formulas.
- SPASSTest() - Constructor for class net.sf.tweety.logics.fol.test.SPASSTest
- SPASSTest() - Constructor for class net.sf.tweety.logics.ml.SPASSTest
- SPASSWriter - Class in net.sf.tweety.logics.fol.writer
-
This class prints single first-order logic formulas and knowledge bases to the SPASS format.
- SPASSWriter - Class in net.sf.tweety.logics.ml.writer
-
This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.
- SPASSWriter() - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter() - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SpecialCharactersTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- SpecialFormula - Class in net.sf.tweety.logics.fol.syntax
-
This class captures the common functionalities of the special formulas tautology and contradiction.
- SpecialFormula - Class in net.sf.tweety.logics.pl.syntax
-
This class captures the common functionalities of the special formulas tautology and contradiction.
- SpecialFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.SpecialFormula
- SpecialFormula() - Constructor for class net.sf.tweety.logics.pl.syntax.SpecialFormula
- specialToken - Variable in class net.sf.tweety.arg.delp.parser.Token
-
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
- specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
- specialToken - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
- specialToken - Variable in class net.sf.tweety.lp.asp.parser.Token
-
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
- specialToken - Variable in class net.sf.tweety.preferences.io.Token
-
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
- SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SQUARE_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SQUARE_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SST - net.sf.tweety.arg.dung.semantics.Semantics
- ST - net.sf.tweety.arg.dung.semantics.Semantics
- STABLE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- StableReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
-
This reasoner for ABA theories performs inference on the stable extensions.
- StableReasoner - Class in net.sf.tweety.arg.adf.reasoner
- StableReasoner - Class in net.sf.tweety.arg.bipolar.reasoner.evidential
- StableReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.StableReasoner
- StableReasoner() - Constructor for class net.sf.tweety.arg.bipolar.reasoner.evidential.StableReasoner
- StableReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.StableReasoner
- STAGE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
- STANDARD_AGGFUNCTION - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- STANDARD_EVENTS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STANDARD_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
-
Integer constant for standard inference.
- STANDARD_PENALTY - Static variable in class net.sf.tweety.math.opt.OptimizationProblem
-
standard penalty for converted minimums.
- STANDARD_SMOOTHING_FACTOR - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- StandardFolWriter - Class in net.sf.tweety.logics.fol.writer
-
Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.
- StandardFolWriter() - Constructor for class net.sf.tweety.logics.fol.writer.StandardFolWriter
-
Creates new writer
- StandardFolWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.StandardFolWriter
-
Creates new writer
- StandardFolWriterExample - Class in net.sf.tweety.logics.fol.examples
-
Shows how to use the StandardFolWriter
- StandardFolWriterExample() - Constructor for class net.sf.tweety.logics.fol.examples.StandardFolWriterExample
- 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.
- startTimeInMillis - Variable in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
-
The starting time of the reasoner
- state - Variable in class net.sf.tweety.arg.adf.reasoner.Pipeline.PipelineIterator
- state - Variable in class net.sf.tweety.arg.adf.sat.SimpleSatSolverState
- 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.
- stateCache - Variable in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
-
Contains the disjunctions which were added after the last sat call and must be added before the next sat call.
- 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 - Variable in class net.sf.tweety.lp.asp.parser.ASTClingoMeta
- statement(String) - Method in class net.sf.tweety.lp.asp.parser.ASTClingoMeta
- Statement - Class in net.sf.tweety.math.equation
-
This class models a mathematical statement, i.e.
- Statement(Term, Term) - Constructor for class net.sf.tweety.math.equation.Statement
-
Creates a new statement with the given terms.
- Statement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- statements - Variable in class net.sf.tweety.arg.adf.parser.KppADFFormatParser.IdentifierNode
- statements - Variable in class net.sf.tweety.arg.adf.parser.KppADFFormatParser.SNode
- Statements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- StateProcessor<S> - Interface in net.sf.tweety.arg.adf.reasoner.processor
- stateProcessors - Variable in class net.sf.tweety.arg.adf.reasoner.Pipeline.Builder
- stateProcessors - Variable in class net.sf.tweety.arg.adf.reasoner.Pipeline
- states - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem
- STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
-
An attempt was made to create a second instance of a static token manager.
- STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
-
An attempt was made to create a second instance of a static token manager.
- STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
-
An attempt was made to create a second instance of a static token manager.
- STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
-
An attempt was made to create a second instance of a static token manager.
- STATIC_LEXER_ERROR - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
-
An attempt was made to create a second instance of a static token manager.
- staticFlag - Static variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
Whether parser is static.
- staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- staticFlag - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Whether parser is static.
- staticFlag - Static variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
Whether parser is static.
- staticFlag - Static variable in class net.sf.tweety.preferences.io.SimpleCharStream
- StaticLaw - Class in net.sf.tweety.action.description.syntax
-
This class represents a static rule in C, which has the following form: caused H if G where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions
- StaticLaw() - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
-
Creates an empty static law.
- StaticLaw(FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
-
Creates an empty static law of the form caused headFormula if True
- StaticLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
-
Creates an empty static law of the form caused headFormula if True requires requirements
- StaticLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
-
Creates an empty static law of the form caused headFormula if ifFormula
- StaticLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.StaticLaw
-
Creates an empty static law of the form caused headFormula if ifFormula requires requirements
- step() - 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.
- STG - net.sf.tweety.arg.dung.semantics.Semantics
- stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
-
Stickyness coefficient for the sticky update.
- stickynesscoefficient - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
- stickyUpdate(DungTheory, double) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given theory using "sticky redistribution", cf.
- stocks() - Method in class net.sf.tweety.arg.delp.TestQueries
- stopFitness - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Whether to stop if objective function value is smaller than stopFitness.
- STR_TINA_FLIES1 - Static variable in class net.sf.tweety.arg.delp.TestArguments
- STR_TINA_FLIES2 - Static variable in class net.sf.tweety.arg.delp.TestArguments
- STR_TINA_NESTS - Static variable in class net.sf.tweety.arg.delp.TestArguments
- STR_TINA_NOT_FLIES - Static variable in class net.sf.tweety.arg.delp.TestArguments
- strategy - Variable in class net.sf.tweety.arg.lp.semantics.AttackRelation
- StratifiedLabeling - Class in net.sf.tweety.arg.dung.semantics
-
This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].
- StratifiedLabeling() - Constructor for class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
-
Creates a new empty stratified labeling.
- StratifiedLabelingExample - Class in net.sf.tweety.arg.dung.examples
-
Example code for using stratified labelings by Thimm/Kern-Isberner
- StratifiedLabelingExample() - Constructor for class net.sf.tweety.arg.dung.examples.StratifiedLabelingExample
- StratifiedLabelingReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
This class implements a stratified labeling reasoner.
- StratifiedLabelingReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
-
Creates a new reasoner using sceptical inference and grounded semantics.
- StratifiedLabelingReasoner(Semantics) - Constructor for class net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
-
Creates a new reasoner for the given semantics.
- stream - Variable in class net.sf.tweety.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
- StreamInconsistencyEvaluationExample - Class in net.sf.tweety.logics.pl.examples
- StreamInconsistencyEvaluationExample() - Constructor for class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- StreamInconsistencyEvaluationExample2 - Class in net.sf.tweety.logics.pl.examples
- StreamInconsistencyEvaluationExample2() - Constructor for class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STRENGTHEN - net.sf.tweety.preferences.Operation
- strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.Functions
-
strengthens the given element in the function
- strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.LevelingFunction
-
strengthens the given element in the leveling function
- strengthenElement(T) - Method in class net.sf.tweety.preferences.ranking.RankingFunction
-
strengthens the given element in the ranking function
- strengthenElementInLF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
strengthens the given element in this preference order in its leveling function
- strengthenElementInRF(T) - Method in class net.sf.tweety.preferences.PreferenceOrder
-
strengthens the given element in this preference order in its ranking function
- STRICTADDITIONOFDEFENSEBRANCH - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
The STRICTADDITIONOFDEFENSEBRANCH postulate
- STRICTCOUNTERTRANSITIVITY - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
The STRICTCOUNTERTRANSITIVITY postulate
- StrictInferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
- StrictInferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
-
Constructs an empty instance
- StrictInferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
-
Constructs a strict inference rule p -> c
- StrictNegation - Class in net.sf.tweety.lp.asp.syntax
-
This class models the strict negation of an atom (as apposed to a NAF negation:
DefaultNegation
). - StrictNegation(String) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given name.
- StrictNegation(Predicate, List<Term<?>>) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given predicate and terms.
- StrictNegation(ASPAtom) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given atom.
- StrictNegation(StrictNegation) - Constructor for class net.sf.tweety.lp.asp.syntax.StrictNegation
-
Copy-Constructor
- strictNotClonable() - Method in class net.sf.tweety.arg.delp.TestRules
- StrictRule - Class in net.sf.tweety.arg.delp.syntax
-
This class models a strict rule in defeasible logic programming.
- StrictRule(FolFormula, Set<FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.StrictRule
-
Default constructor; initializes head and body of the strict rule
- strictRules() - Method in class net.sf.tweety.arg.delp.TestRules
- String() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- STRING - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- StringListCommandParameter - Class in net.sf.tweety.plugin.parameter
-
This class models a string list command parameter for Work-in-Progress, do not use!
- StringListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.StringListCommandParameter
-
constructor with identifier and description
- StringPreferenceOrder() - Method in class net.sf.tweety.preferences.io.POParser
- StringTerm - Class in net.sf.tweety.logics.commons.syntax
-
This class represents terms which are objects identified by a string.
- StringTerm(String) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
-
Ctor: Creates a string term with the given String as value, uses the Sort "Thing"
- StringTerm(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
-
Ctor: Create a string term with the given value and sort.
- StringTerm(StringTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.StringTerm
-
Copy-Ctor: Creates a deep copy of the StringTerm
- StrongAttack - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the strong attack relation.
- StrongAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
-
Private constructor.
- StrongConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the strong confident attack relation.
- StrongConfidentAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
-
Private constructor.
- StrongUndercut - Class in net.sf.tweety.arg.lp.semantics.attack
-
This notion of attack models the strong undercut relation.
- StrongUndercut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut
-
Private constructor.
- StructuredArgumentationFramework - Class in net.sf.tweety.arg.saf.syntax
-
This class represents a structured argumentation framework, i.e.
- StructuredArgumentationFramework() - Constructor for class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework
-
Creates a new empty structured argumentation framework.
- StructuredArgumentationSystem - Class in net.sf.tweety.agents.dialogues.structured
-
This class represents a structured argumentation system, i.e.
- StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem
-
Creates a new StructuredArgumentationSystem
- StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework, Collection<? extends SasAgent>) - Constructor for class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem
-
Creates a new StructuredArgumentationSystem with the given collection of agents.
- StructuredArgumentationSystem.SasEnvironment - Class in net.sf.tweety.agents.dialogues.structured
-
This class models an environment for structured argumentation systems.
- STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
- STRUCTURENAME - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
-
RegularExpression Id.
- sub - Variable in class net.sf.tweety.arg.adf.syntax.UnaryAcceptanceCondition
- subconditions - Variable in class net.sf.tweety.arg.adf.syntax.AssociativeAcceptanceCondition
- subcuts(DeductiveArgumentNode, Set<CompilationNode>, CompilationNode, Set<PlFormula>, ArgumentTree) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation
-
This method recursively builds up the argument tree from the given argument.
- SubgraphProbabilityFunction - Class in net.sf.tweety.arg.prob.lotteries
-
Represents a probability function on the subgraphs of some Dung theory.
- SubgraphProbabilityFunction(DungTheory) - Constructor for class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Creates a new uniform probability function for the given theory, i.e.
- SubgraphProbExample - Class in net.sf.tweety.arg.prob.examples
-
Example code for showing how to work with subgraph probability distributions and updates.
- SubgraphProbExample() - Constructor for class net.sf.tweety.arg.prob.examples.SubgraphProbExample
- subList(int, int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
- subList(int, int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- subList(int, int) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
- subList(int, int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- subList(int, int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- subList(int, int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- subPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.NegationAcceptanceCondition
- subPolarity(int) - Method in class net.sf.tweety.arg.adf.syntax.UnaryAcceptanceCondition
- subProblem - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
-
The description of the problem.
- subProblem() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
-
Returns the sub-problem of the problem.
- SubProblem(String, String, boolean) - Constructor for enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
-
Creates a new sub-problem
- subs - Variable in class net.sf.tweety.arg.aba.syntax.Deduction
- SubsetIterator<T> - Class in net.sf.tweety.commons.util
-
Iterates over all subsets of a given set.
- SubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.SubsetIterator
-
Creates a new subset iterator for the given set.
- SubsetIteratorExample - Class in net.sf.tweety.commons.examples
- SubsetIteratorExample() - Constructor for class net.sf.tweety.commons.examples.SubsetIteratorExample
- subsets(Collection<? extends E>) - Method in class net.sf.tweety.commons.util.SetTools
-
This method computes all subsets of the given set of elements of class "E".
- subsets(Collection<? extends E>, int) - Method in class net.sf.tweety.commons.util.SetTools
-
This method computes all subsets of the given set of elements of class "E" with the given size.
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.HoldsQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.query.syntax.QueryProposition
-
Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.action.signature.FolAction
-
Substitutes terms in all non-zero-arity atoms in this action according to the given map.
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.arg.aba.syntax.AbaElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
-
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
-
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
-
Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map. - substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.asp.syntax.Program
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.AbaElement
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.Assumption
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aba.syntax.Negation
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpFact
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.arg.delp.syntax.StrictRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
- substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
-
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
- substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
-
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
- substitute(Term<?>, Term<?>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
-
Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
-
Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Implication
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.ml.syntax.Necessity
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.ml.syntax.Possibility
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPBodyElement
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.Program
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPProgram
- substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
- substitute(PlFormula, Proposition) - Method in class net.sf.tweety.logics.qbf.semantics.QbPossibleWorld
-
Substitutes all occurrences of the proposition v with the possible truth values and returns a set of the possible substitutions.
- 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>, PlFormula) - Static method in class net.sf.tweety.action.query.syntax.SActionQuery
-
Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.
- subtermsProcessing - Static variable in class net.sf.tweety.logics.cl.kappa.KappaValue
-
A flag used to store if this kappa-value is processing its sub-terms
- suite() - Static method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest
- sum(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Computes the sum of the elements in v
- Sum - Class in net.sf.tweety.math.term
-
This class models a sum of two terms.
- Sum() - Constructor for class net.sf.tweety.math.term.Sum
-
Creates a new (empty) sum.
- Sum(Collection<? extends Term>) - Constructor for class net.sf.tweety.math.term.Sum
-
Creates a new sum with the given list of terms.
- Sum(Term, Term) - Constructor for class net.sf.tweety.math.term.Sum
-
Creates a new sum with the given terms.
- SUM - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
- SUM_PLUS - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
- SumAggregator - Class in net.sf.tweety.math.func
-
This aggregation function models the sum function.
- SumAggregator() - Constructor for class net.sf.tweety.math.func.SumAggregator
- SUMFUZZY_MEASURE - Static variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
static constant for the Sum-version of the measure
- SUPERADDITIVITY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
-
The SUPERADDITIVITY postulate
- superGraphs(DungTheory, DungTheory, DungTheory) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Computes Super(G,G′,Ci) = {(α,β) ∈ Arcs(G) | (α ∈ Nodes(G′) and β ∈ Nodes(Ci)) or (α ∈ Nodes(Ci) and β ∈ Nodes(G′)) or (α ∈ Nodes(Ci) and β ∈ Nodes(Ci))
- supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The vote aggregation function
- supp(int, int) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- support - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
-
The support of this argument.
- support - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
- support - Variable in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
- support - Variable in class net.sf.tweety.arg.delp.syntax.DelpArgument
-
The support of this argument
- support - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
-
The inner formulas of this formula
- support - Variable in class net.sf.tweety.arg.saf.syntax.BasicArgument
-
The support of this basic argument.
- support - Variable in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
-
This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.
- support - Variable in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
-
This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.
- support - Variable in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
-
This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.
- support - Variable in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
-
This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.
- support - Variable in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
-
The inner formulas of this formula
- support(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule
-
Returns the support of this rule wrt.
- support(Collection<S>, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule
-
Returns the support of the given itemset wrt.
- support(S, Collection<Collection<S>>) - Static method in class net.sf.tweety.machinelearning.assoc.AssociationRule
-
Returns the support of the given item wrt.
- Support - Class in net.sf.tweety.arg.bipolar.syntax
-
This class models a support between two arguments.
- Support(Argument, Argument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.Support
-
Default constructor; initializes the two arguments used in this support relation
- supportChildren - Variable in class net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework
- supportedFormats() - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
-
Gives a collection view of the supported formats of this solver, cf.
- supportedProblems() - Method in class net.sf.tweety.arg.dung.reasoner.ProboReasoner
-
Gives a collection view on the supported problems of this solver, cf.
- SUPPORTING - net.sf.tweety.arg.adf.semantics.LinkType
- supportParents - Variable in class net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework
-
explicit listing of direct supporters and supported (for efficiency reasons)
- SupportVectorMachine - Class in net.sf.tweety.machinelearning.svm
-
Realizes a support vector machine classifier utilizing LIBSVM.
- SupportVectorMachine(svm_model) - Constructor for class net.sf.tweety.machinelearning.svm.SupportVectorMachine
-
Creates a new SVM from the given libsvm model.
- SvmExample - Class in net.sf.tweety.machinelearning.examples
- SvmExample() - Constructor for class net.sf.tweety.machinelearning.examples.SvmExample
- SVMTest - Class in net.sf.tweety.machinelearning.test
- SVMTest() - Constructor for class net.sf.tweety.machinelearning.test.SVMTest
- switched - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
-
Only used when avoidDuplicats is set to true.
- SwitchTo(int) - Method in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
- SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- SwitchTo(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Switch to specified lex state.
- SwitchTo(int) - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
- SwitchTo(int) - Method in class net.sf.tweety.preferences.io.POParserTokenManager
- SwitchTo(int) - Method in class net.sf.tweety.preferences.io.UPParserTokenManager
-
Switch to specified lex state.
- symbolArrow - Variable in class net.sf.tweety.arg.aba.parser.AbaParser
-
Symbols used for parsing rules.
- symbolComma - Variable in class net.sf.tweety.arg.aba.parser.AbaParser
-
Symbols used for parsing rules.
- symbolComma - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
- symbolComma - Variable in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser
- symbolDefeasible - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
- symbolInf - Variable in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser
- symbolStrict - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
- symbolTrue - Variable in class net.sf.tweety.arg.aba.parser.AbaParser
-
Symbols used for parsing rules.
- symmetricDifference(Collection<E>, Collection<E>) - Method in class net.sf.tweety.commons.util.SetTools
-
Returns the symmetric difference of the two sets s and t, i.e.
- SynchronousProtocol - Class in net.sf.tweety.agents
-
This class models a synchronous protocol for multi-agent systems.
- SynchronousProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
-
Creates a new (non-rigid) synchronous protocol for the given multi-agent system and unlimited number of steps.
- SynchronousProtocol(MultiAgentSystem<? extends Agent>, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
-
Creates a new synchronous protocol for the given multi-agent system and unlimited number of steps.
- SynchronousProtocol(MultiAgentSystem<? extends Agent>, int) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
-
Creates a new (non-rigid) synchronous protocol for the given multi-agent system and the given number of steps.
- SynchronousProtocol(MultiAgentSystem<? extends Agent>, int, boolean) - Constructor for class net.sf.tweety.agents.SynchronousProtocol
-
Creates a new synchronous protocol for the given multi-agent system.
- SyntacticEnumeratingIterator - Class in net.sf.tweety.logics.pl.util
-
Generates all syntactic variations of knowledge bases
- SyntacticEnumeratingIterator(PlSignature, int, File, boolean) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
-
Creates a new sampler.
- SyntacticEnumeratingPlBeliefSetSamplerExample - Class in net.sf.tweety.logics.pl.examples
- SyntacticEnumeratingPlBeliefSetSamplerExample() - Constructor for class net.sf.tweety.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
- SyntacticRandomPlBeliefSetSamplerExample - Class in net.sf.tweety.logics.pl.examples
- SyntacticRandomPlBeliefSetSamplerExample() - Constructor for class net.sf.tweety.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
- SyntacticRandomSampler - Class in net.sf.tweety.logics.pl.util
-
This sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.
- SyntacticRandomSampler(Signature, Probability, Probability, Probability, double) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
Creates a new sampler.
- SyntacticRandomSampler(Signature, Probability, Probability, Probability, double, int, int) - Constructor for class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
Creates a new sampler.
All Classes All Packages