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
- SActionQuery - Class in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.action.query.syntax.SActionQuery
-
Creates a new action query with the given propositional formula and grounding requirements.
- SActionQuerySatisfactionTester - Class in org.tweetyproject.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 org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester
-
Creates a new instance of this satisfaction tester using the given answer set solver.
- SActionQuerySet - Class in org.tweetyproject.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: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.
- SActionQuerySet() - Constructor for class org.tweetyproject.action.query.syntax.SActionQuerySet
-
Creates a new empty action query set for the query language S.
- SActionQuerySet(Collection<SActionQuery>) - Constructor for class org.tweetyproject.action.query.syntax.SActionQuerySet
-
Creates a new belief set with the given collection of queries.
- SAFEFORMULAINDEPENDENCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
-
The SAFEFORMULAINDEPENDENCE postulate
- SafetyReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive
-
a set of arguments S is safe wrt.
- SafetyReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.SafetyReasoner
- SafExample - Class in org.tweetyproject.arg.social.examples
-
Example code for using social abstract argumentation.
- SafExample() - Constructor for class org.tweetyproject.arg.social.examples.SafExample
- SAFExample() - Static method in class org.tweetyproject.arg.rankings.examples.RaPostulateExample
- SAFRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner
-
This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.
- SAFRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with default parameters.
- SAFRankingReasoner(double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
-
Create a new SAFRankingReasoner with the given epsilon for the SimpleProductSemantic.
- SAFRankingReasoner(double, double) - Constructor for class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
-
Samples a random DungTheory from this framework wrt.
- sample() - Method in class org.tweetyproject.math.probability.Probability
-
Returns a sample wrt.
- sample() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
-
Samples one element from the domain of this probability function, depending on its probability.
- sample(Random) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
-
Samples one element from the domain of this probability function, depending on its probability.
- sampleFormula() - Method in class org.tweetyproject.logics.pl.util.CnfSampler
-
Returns a random formula
- sampleFormula(ProbabilityFunction<Byte>) - Method in class org.tweetyproject.logics.pl.util.SyntacticRandomSampler
-
Samples a single formula.
- sampleT1BeliefState() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
-
Returns a T1-belief state that is a projection of this belief state, i.e.
- SasAgent - Class in org.tweetyproject.agents.dialogues.structured
-
This class represents an agent in a structured argumentation system.
- SasAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class org.tweetyproject.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 org.tweetyproject.agents.dialogues.structured.SasAgent
-
Creates a new SasAgent with the given (local) view and utility function.
- SAT - org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
- Sat4jSolver - Class in org.tweetyproject.logics.pl.sat
-
Uses the Sat4j library for SAT solving (note that currently only the light version is used).
- Sat4jSolver() - Constructor for class org.tweetyproject.logics.pl.sat.Sat4jSolver
-
Creates a new solver with default parameters (maxvar=1000000, nbclauses=500000).
- Sat4jSolver(int, int) - Constructor for class org.tweetyproject.logics.pl.sat.Sat4jSolver
-
Creates a new solver with the given parameters.
- SatBasedInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
-
A common base class for inconsistency measure implementations based on SAT encodings.
- SatBasedInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
-
Create a new SAT-based inconsistency measure with the given SAT solver.
- SatBasedInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.SatBasedInconsistencyMeasure
-
Create a new SAT-based inconsistency measure with the given SAT solver.
- SatCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Uses a SAT solver to determine complete extensions.
- SatCompleteReasoner(SatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
-
Constructs a new complete reasoner.
- SatEncoding - Interface in org.tweetyproject.arg.adf.reasoner.sat.encodings
- satisfiable() - Method in class org.tweetyproject.arg.adf.sat.AsynchronousCloseSatSolverState
- satisfiable() - Method in class org.tweetyproject.arg.adf.sat.AsynchronousSatSolverState
- satisfiable() - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
-
Computes if the current state is satisfiable.
- satisfied() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
- satisfied(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
- satisfies(B) - Method in interface org.tweetyproject.commons.Interpretation
-
Checks whether this interpretation satisfies the given knowledge base.
- satisfies(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorld
- satisfies(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(Collection<S>) - Method in class org.tweetyproject.commons.AbstractInterpretation
-
Checks whether this interpretation satisfies all given formulas.
- satisfies(Collection<S>) - Method in interface org.tweetyproject.commons.Interpretation
-
Checks whether this interpretation satisfies all given formulas.
- satisfies(Set<FolFormula>) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aba.semantics.AbaExtension
- satisfies(Assumption<T>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
- satisfies(LdoFormula) - Method in class org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
- satisfies(Argument) - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
- satisfies(Argument) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
- satisfies(Argument) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping
- satisfies(DungTheory) - Method in class org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
- satisfies(DungTheory) - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
- satisfies(DungTheory) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.AbstractPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.CoherentPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.FoundedPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.JustifiablePASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.NeutralPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.OptimisticPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in interface org.tweetyproject.arg.prob.semantics.PASemantics
-
Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.RationalPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.SemiFoundedPASemantics
- satisfies(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.semantics.SemiOptimisticPASemantics
- satisfies(SocialAbstractArgumentationFramework) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping
- satisfies(Formula, Set<Interpretation<FolBeliefSet, FolFormula>>) - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies the given formula.
- satisfies(ClBeliefSet) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
- satisfies(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
- satisfies(DlAxiom) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation
- satisfies(DlBeliefSet) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation
- satisfies(FolBeliefSet) - Method in class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation
- satisfies(FolBeliefSet) - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation
- satisfies(FolBeliefSet) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
- satisfies(FolFormula) - Method in class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation
-
Checks whether this Herbrand interpretation satisfies the given formula.
- satisfies(FolFormula) - Method in class org.tweetyproject.logics.ml.semantics.KripkeModel
- satisfies(FolFormula) - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation
- satisfies(FolFormula) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
- satisfies(FolFormula) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
- satisfies(MlBeliefSet) - Method in class org.tweetyproject.logics.ml.semantics.KripkeModel
- satisfies(PclBeliefSet) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
- satisfies(ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
- satisfies(PossibleWorld, Conditional) - Static method in class org.tweetyproject.logics.cl.semantics.RankingFunction
-
Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
- satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
- satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
- satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorld
- satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
- satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
- satisfies(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
- satisfies(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorld
- satisfies(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
- satisfies(PlFormula) - Method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Checks whether this interpretation satisfies the given formula.
- satisfies(RclBeliefSet) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
- satisfies(RelationalConditional) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
- satisfies(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.AveragingSemantics
- satisfies(RpclProbabilityDistribution<?>, RelationalProbabilisticConditional) - Method in interface org.tweetyproject.logics.rpcl.semantics.RpclSemantics
-
Checks whether the given probability distribution satisfies the given conditional wrt.
- satisfies(RelationalProbabilisticConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
- satisfies(RelationalProbabilisticConditional) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
- satisfies(RpclBeliefSet) - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
- satisfies(RpclBeliefSet) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
- satisfies(ASPRule) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
- satisfies(Program) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
- satisfies(S) - Method in interface org.tweetyproject.commons.Interpretation
-
Checks whether this interpretation satisfies the given formula.
- satisfies3VL(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
-
Determines the 3-valued truth value of the given formula.
- SatLinkStrategy - Class in org.tweetyproject.arg.adf.semantics.link
-
Computes the LinkType via two Sat-calls.
- SatLinkStrategy(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
- SatLinkStrategy(IncrementalSatSolver, Interpretation) - Constructor for class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
-
Computes the link type based on the two-valued assignments of the given assumption.
- SatReasoner - Class in org.tweetyproject.logics.pl.reasoner
-
Uses the default SAT reasoner to perform reasoning in propositional logic
- SatReasoner() - Constructor for class org.tweetyproject.logics.pl.reasoner.SatReasoner
- satSolver - Static variable in class org.tweetyproject.web.services.InconsistencyMeasurementService
-
The SAT solver configured for this service.
- SatSolver - Class in org.tweetyproject.logics.pl.sat
-
Abstract class for specifying SAT solvers.
- SatSolver() - Constructor for class org.tweetyproject.logics.pl.sat.SatSolver
- SatSolverExample - Class in org.tweetyproject.logics.pl.examples
-
Example code illustrating the use of external SAT solvers such as Lingeling and CaDicaL, and related utilities.
- SatSolverExample() - Constructor for class org.tweetyproject.logics.pl.examples.SatSolverExample
- SatSolverState - Interface in org.tweetyproject.arg.adf.sat
-
A high level representation of a sat solver state.
- SatSolverStatePool - Interface in org.tweetyproject.arg.adf.sat
- SatStableReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Uses a SAT solver to determine stable extensions.
- SatStableReasoner(SatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.SatStableReasoner
-
Constructs a new stable reasoner.
- SccCF2Reasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for CF2 extensions using scc-recursiveness.
- SccCF2Reasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
- SCEPTICAL - org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
- ScepticalLiteralTransformationFunction - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
-
Creates a new sceptical transformation function for literals.
- ScepticalLiteralTransformationFunctionTest - Class in org.tweetyproject.lp.asp.beliefdynamics
- ScepticalLiteralTransformationFunctionTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
- SCF2 - org.tweetyproject.arg.dung.semantics.Semantics
- SCF2_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- SCF2Reasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for SCF2 extensions using scc-recursiveness.
- SCF2Reasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
- SCOOCNaiveReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
reasoner for SCOOC-naive semantics.
- SCOOCNaiveReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
- ScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation
-
This class extends the interface for preference aggregation with scoring Scorings are implemented separately.
- ScoringPreferenceAggregator(WeightVector) - Constructor for class org.tweetyproject.preferences.aggregation.ScoringPreferenceAggregator
-
Constructor with given weight vector
- ScoringPreferenceAggregatorTest - Class in org.tweetyproject.preferences.test
-
The class
ScoringPreferenceAggregatorTest
contains tests for the class
.ScoringPreferenceAggregator
- ScoringPreferenceAggregatorTest() - Constructor for class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest
- ScreenedMaxichoiceConsolidation - Class in org.tweetyproject.lp.asp.beliefdynamics.baserevision
-
This class implements the screened maxi-choice consolidation operator from [1].
- ScreenedMaxichoiceConsolidation(Program, SelectionFunction<ASPRule>, ASPSolver) - Constructor for class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Creates a new set of screened remainder sets of program p that all contain the screened rules r.
- Script - org.tweetyproject.logics.bpm.syntax.TaskType
- SdInconsistencyMeasure - Class in org.tweetyproject.lp.asp.analysis
-
This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.
- SdInconsistencyMeasure(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.analysis.SdInconsistencyMeasure
-
Creates a new inconsistency measure based on the given solver.
- SE - org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
- SE_ADM - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_CANNOT_FIND_SOLVER - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_CANNOT_OPEN_INPUT - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_CF - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_CF2 - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_CO - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_ERROR - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_GR - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_ID - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_IO_FAILED - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_NO_BINARY - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_PERMISSIONS - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SE_PR - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_SST - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_ST - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_STG - org.tweetyproject.arg.dung.reasoner.ProboProblem
- SE_SYNTAX_ERROR - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- second - Variable in class org.tweetyproject.arg.adf.util.Pair
- SeeAcceptabilityReasoner - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner
-
Creates a new IaqAcceptabilityReasoner.
- SeemAcceptabilityReasoner - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner
-
Creates a new IaqAcceptabilityReasoner.
- select(RemainderSets<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
- select(RemainderSets<T>) - Method in interface org.tweetyproject.lp.asp.beliefdynamics.baserevision.SelectionFunction
-
Select exactly one remainder set from the set of remainder sets.
- select(ScreenedRemainderSets) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
-
Selects the maximal remainder set from the set of all remainder sets according to a total order on all extended logic programs.
- SelectionCommandParameter - Class in org.tweetyproject.plugin.parameter
-
This class expands the CommandParameter with a selection-array containing strings the parameter supports
- SelectionCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.SelectionCommandParameter
-
Creates a new parameter.
- SelectionCommandParameter(String, String, String[]) - Constructor for class org.tweetyproject.plugin.parameter.SelectionCommandParameter
-
Creates a new parameter.
- SelectionFunction<T extends Formula> - Interface in org.tweetyproject.lp.asp.beliefdynamics.baserevision
-
This interface models a general selection function for remainder sets
- SelectiveRevisionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics.selectiverevision
-
This class implements a selective revision operator following [Ferme:1999].
- SelectiveRevisionOperator(TransformationFunction<T>, BaseRevisionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.selectiverevision.SelectiveRevisionOperator
-
Creates a new selective revision operator for the given transformation function and inner revision.
- SELFCONTRADICTION - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The SELFCONTRADICTION postulate
- SelfSupportingReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
-
a set of arguments S is self-supporting iff all arguments in S are e-supported by S.
- SelfSupportingReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner
- semantics - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
- semantics - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2
-
The argumentation semantics used
- semantics() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
-
Returns the semantics of the problem.
- Semantics - Enum in org.tweetyproject.arg.dung.semantics
-
This enum lists all semantics.
- SEMICOLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SEMICOLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SemiFoundedPASemantics - Class in org.tweetyproject.arg.prob.semantics
-
P is semi-founded wrt.
- SemiFoundedPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.SemiFoundedPASemantics
- SemiOptimisticPASemantics - Class in org.tweetyproject.arg.prob.semantics
-
P is semi-optimistic wrt.
- SemiOptimisticPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.SemiOptimisticPASemantics
- SemiQualifiedReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for semi-qualified sigma-semantics.
- SemiQualifiedReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
-
initialize reasoner with the given semantics as base function.
- SEMISTABLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- Send - org.tweetyproject.logics.bpm.syntax.TaskType
- SequenceFlow - Class in org.tweetyproject.logics.bpm.syntax
-
A class to represent edges of the sequence flow in a BPMN Model
- SequenceFlow(BpmnNode, BpmnNode) - Constructor for class org.tweetyproject.logics.bpm.syntax.SequenceFlow
- SequenceFlow(BpmnNode, BpmnNode, String) - Constructor for class org.tweetyproject.logics.bpm.syntax.SequenceFlow
- SequenceFlowParser - Class in org.tweetyproject.logics.bpm.parser
-
Parse an edge of the sequence flow in a BPMN model
- SequenceFlowParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.SequenceFlowParser
-
Create a new instance
- Service - org.tweetyproject.logics.bpm.syntax.TaskType
- set(int, Boolean) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet
- set(int, LdoFormula) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- set(int, RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- set(int, ComplexConcept) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- set(int, PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- set(int, ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- set(int, T) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- set(String) - Method in class org.tweetyproject.logics.commons.syntax.Constant
- set(String) - Method in class org.tweetyproject.logics.commons.syntax.StringTerm
- set(String) - Method in class org.tweetyproject.logics.commons.syntax.Variable
- set(Proposition, PriestWorld.TruthValue) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
-
Sets the value of the given proposition.
- set(T) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Term
-
Changes the java-object representation of the term to the given value.
- set(T) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
- setAdditionalArguments(String) - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
-
Sets the additional arguments given to the call of the EProver binary (Default value is "--auto-schedule").
- setAlchemyInferenceCommand(String) - Method in class org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner
-
Sets the console command for Alchemy inference (default is 'infer').
- setAmount(Integer) - Method in class org.tweetyproject.preferences.update.Update
-
sets the third element of this triple
- setAnswersetProcessing(CredibilityRevision.AnswersetProcessing) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
- setAssumptions(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- SetAttack - Class in org.tweetyproject.arg.bipolar.syntax
-
This class models an attack between a set of arguments and an argument.
- SetAttack(Collection<BArgument>, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetAttack
-
initializes the arguments used in this attack relation
- SetAttack(ArgumentSet, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetAttack
-
Default constructor; initializes the arguments used in this attack relation
- SetAttack(BArgument, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetAttack
-
initializes the arguments used in this attack relation
- setBeliefbase(Reader) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setBeliefbase(String) - Method in class org.tweetyproject.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 org.tweetyproject.math.opt.solver.GlpkSolver
-
Sets the path to the binary.
- setBinary(String) - Static method in class org.tweetyproject.math.opt.solver.LpSolve
-
Sets the path to the binary.
- setBinaryLocation(String) - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
-
Changes the path of the EProver binary.
- setBinaryLocation(String) - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
-
Changes the path of the Prover9 binaries.
- setBody(ASPBodyElement...) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set this rule's body to the given ASPBodyElements.
- setClassicalNegationSymbol(String) - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
- setCmdOptions(String) - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
-
Sets the command line options that will be used by SPASS when executing the query.
- setCmdOptions(String) - Method in class org.tweetyproject.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 org.tweetyproject.logics.pl.semantics.NicePossibleWorld
-
Changes the used comparator to sort the representation structure and resorts the representation.
- SetComparator<T> - Class in org.tweetyproject.arg.aspic.order
- SetComparator(Comparator<T>, boolean) - Constructor for class org.tweetyproject.arg.aspic.order.SetComparator
-
Constructs an new set comparator
- setConclusion(C) - Method in interface org.tweetyproject.commons.util.rules.Rule
-
Set the conclusion of this rule.
- setConclusion(FolFormula) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
- setConclusion(FolFormula) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
- setConclusion(FolFormula) - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
- setConclusion(PlFormula) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- setConclusion(PlFormula) - Method in class org.tweetyproject.logics.cl.syntax.Conditional
- setConclusion(Proposition) - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
- setConclusion(ASPHead) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
- setConclusion(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set the conclusion of this rule.
- setConclusion(T) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
- setConclusion(T) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
- setConclusion(T) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
-
Change the conclusion
- setConclusion(T) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- setConditonalStructure(ConditionalStructure) - Method in interface org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner.Rule
-
Sets the
ConditionalStructure
that is used as data basis for the rule. - setConditonalStructure(ConditionalStructure) - Method in class org.tweetyproject.logics.cl.rules.RuleAdapter
- setConfigurationFilePath(String) - Method in class org.tweetyproject.cli.plugins.CliMain
- setConsequenceOperation(IcebergInconsistencyMeasure.ConsequenceOperation) - Method in class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure
-
Sets the consequence operation for this IcebergInconsistencyMeasure.
- setContradictionSymbol(String) - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
- setCriteria(String) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
- setDebugStream(PrintStream) - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
- setDebugStream(PrintStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- setDebugStream(PrintStream) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Set debug output.
- setDebugStream(PrintStream) - Method in class org.tweetyproject.lp.asp.parser.ASPCore2ParserTokenManager
- setDebugStream(PrintStream) - Method in class org.tweetyproject.preferences.io.POParserTokenManager
- setDebugStream(PrintStream) - Method in class org.tweetyproject.preferences.io.UPParserTokenManager
-
Set debug output.
- setDefaultEnumerator(AbstractMusEnumerator<PlFormula>) - Static method in class org.tweetyproject.logics.pl.sat.PlMusEnumerator
-
Sets the default MUS enumerator.
- setDefaultGeneralSolver(Solver) - Static method in class org.tweetyproject.math.opt.solver.Solver
-
Sets the default solver for non-linear (general) optimization problems.
- setDefaultIntegerLinearSolver(Solver) - Static method in class org.tweetyproject.math.opt.solver.Solver
-
Sets the default solver for integer linear optimization problems.
- setDefaultLinearSolver(Solver) - Static method in class org.tweetyproject.math.opt.solver.Solver
-
Sets the default solver for linear optimization problems.
- setDefaultReasoner(FolReasoner) - Static method in class org.tweetyproject.logics.fol.reasoner.FolReasoner
-
Set default reasoner with given
- setDefaultReasoner(AbstractMlReasoner) - Static method in class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
-
Set default modal reasoner with given
- setDefaultSolver(SatSolver) - Static method in class org.tweetyproject.logics.pl.sat.SatSolver
-
Sets the default SAT solver.
- setElapsedTime(long) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult
- setElement(T) - Method in class org.tweetyproject.preferences.update.Update
-
sets the fourth element of this triple
- setElements(List<OptimizationElement>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
-
Sets the optimization elements.
- setEntry(int, int, Term) - Method in class org.tweetyproject.math.matrix.Matrix
-
Sets the entry at the given coordinates.
- setFileHandler(RevisionComparePresenter.FileHandler) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.commons.util.Pair
-
sets the first element of this pair
- setFirst(E) - Method in class org.tweetyproject.commons.util.Triple
-
sets the first element of this triple
- setFirstFormula(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.Implication
-
Sets the left side formula of the implication left => right.
- setFlowType(String) - Method in class org.tweetyproject.logics.bpm.parser.BufferedBpmnEdge
- setFormula(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
- setFormula(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
- setFormula(AggregateAtom) - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
-
Sets the aggregate atom that makes up this rule head.
- setFormula(T) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
- setFormulaNames(String) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
-
Set the regular expression that restricts which formulas will be parsed.
- setFormulaRoles(String) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
-
Set the regular expression that restricts which formulas will be parsed.
- setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(Pair<RelationalFormula, RelationalFormula>) - Method in class org.tweetyproject.logics.fol.syntax.Implication
-
Sets the formulas of the implication.
- setFormulas(Pair<PlFormula, PlFormula>) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(Pair<PlFormula, PlFormula>) - Method in class org.tweetyproject.logics.pl.syntax.Implication
-
Sets the formulas of the implication.
- setFormulas(RelationalFormula, RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(RelationalFormula, RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.Implication
-
Sets the formulas of the implication.
- setFormulas(PlFormula, PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
-
Sets the formulas of the equivalence.
- setFormulas(PlFormula, PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.Implication
-
Sets the formulas of the implication.
- setFunction(ASPOperator.AggregateFunction) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Sets the aggregate function.
- setHead(ASPHead) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set the head of this rule.
- setHead(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set the head of this rule.
- setHelptextPath(String) - Method in class org.tweetyproject.cli.plugins.CliMain
- setId(String) - Method in class org.tweetyproject.logics.bpm.parser.BufferedBpmnEdge
- setId(String) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnEdge
-
set the ID of this edge
- setId(String) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnElement
-
set the element's ID
- setIncludePath(String) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
-
Set the location of included files.
- setIntegerMaximum(int) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
-
Set the upper integer bound.
- setInterval(String) - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter
-
sets new selection parameter
- setIntervalset(NumberSet<S>) - Method in class org.tweetyproject.math.Interval
- setKappas(Collection<KappaValue>) - Method in interface org.tweetyproject.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 org.tweetyproject.logics.cl.rules.EvaluateRule
- setKappas(Collection<KappaValue>) - Method in class org.tweetyproject.logics.cl.rules.RuleAdapter
- setLeft(List<Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Sets the term tuple of the aggregate element.
- setLeft(Term<?>, ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Set the left relation term and operator.
- setLeftGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Set the left relation term (right guard).
- setLeftIterative(boolean) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
switches the flag indicating if the left method shall use iterative algorithms
- setLeftOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
Select the left revision method.
- setLeftOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Select the left revision method.
- setLeftOperator(ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Sets the operator of the left aggregate relation.
- setLeftTerm(Term) - Method in class org.tweetyproject.math.equation.Statement
-
Sets the left term of this statement.
- setLevel(int) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Sets the level (priority) of this optimization statement.
- setLevel(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set the level attribute of this constraint.
- setLevel(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Sets the level (priority) of this optimization statement.
- setLiteral(ASPBodyElement) - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
-
Set the default negated literal.
- setLowerBound(S) - Method in class org.tweetyproject.math.Interval
- setMaxNumOfModels(int) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver
-
Set the maximum number of models to be generated.
- setName(String) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
-
Sets the name
- setName(String) - Method in class org.tweetyproject.arg.dung.syntax.Argument
-
sets the name of the argument
- setName(String) - Method in class org.tweetyproject.logics.bpm.parser.BufferedBpmnEdge
- setName(String) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnElement
-
set the element's name
- setName(String) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
-
Changes the name of the Structure
- setName(String) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
- setNewBeliefs(Reader) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setNewBeliefs(String) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setObj1(E) - Method in class org.tweetyproject.preferences.Quadruple
-
sets the first element of this triple
- setObj2(F) - Method in class org.tweetyproject.preferences.Quadruple
-
sets the second element of this triple
- setObj3(G) - Method in class org.tweetyproject.preferences.Quadruple
-
sets the third element of this triple
- setObj4(H) - Method in class org.tweetyproject.preferences.Quadruple
-
sets the fourth element of this triple
- setObjectToBePrinted(Object) - Method in class org.tweetyproject.commons.Writer
-
Sets the object of this writer.
- setOperation(Operation) - Method in class org.tweetyproject.preferences.update.Update
-
sets the second element of this triple
- setOperator(ASPOperator.ArithmeticOperator) - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Sets the operator of this arithmetic term.
- setOptimizeFunction(ASPOperator.OptimizeFunction) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
-
Sets the optimization function.
- setOptions(String) - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver
-
Sets the options parameter of the sat solver.
- setOptions(String) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
-
Set the command line options for Clingo.
- setOptions(String) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
-
Set additional command line options for DLV.
- setOptLiterals(List<ASPBodyElement>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Set the literals tuple of this optimization element.
- setOptTerms(List<Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Set the term tuple of this optimization element.
- setOrder(Comparator<AspicArgument<T>>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Sets a new order over the arguments
- setOrderedBefore(T, T) - Method in class org.tweetyproject.graphs.orders.Order
-
Adds that object1 is ordered before object2
- setOutputWhitelist(Collection<Predicate>) - Method in class org.tweetyproject.lp.asp.syntax.Program
-
Sets the whitelist of predicates.
- setParameterSet(ParameterSet) - Method in class org.tweetyproject.machinelearning.ParameterTrainer
- setParameterSet(ParameterSet) - Method in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer
- setParameterSet(ParameterSet) - Method in interface org.tweetyproject.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 org.tweetyproject.lp.asp.reasoner.ClingoSolver
-
Sets the location of the Clingo solver on the hard drive.
- setPathToDLV(String) - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
-
Sets the location of the DLV solver on the hard drive.
- setPathToOctave(String) - Static method in class org.tweetyproject.math.opt.solver.OctaveSqpSolver
- setPenalty(int) - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
-
Sets the penalty for violated minimum.
- setPredicate(Predicate) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
- setPredicate(Predicate) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
-
Changes the predicate of the atom.
- setPredicate(Predicate) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
- setPredicate(Predicate) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
- setPredicate(Predicate) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
- setPredicate(Predicate) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
- setPreferenceOrderIndex(int) - Method in class org.tweetyproject.preferences.update.Update
-
sets the first element of this triple
- setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
- setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
- setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
- setQuery(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.Program
-
Sets the query of the program.
- setRank(HerbrandInterpretation, Integer) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
-
Sets the rank for the given Herbrand interpretation.
- setRank(PossibleWorld, Integer) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
-
Sets the rank for the given possible world.
- setResult(PreferenceOrder<T>) - Method in class org.tweetyproject.preferences.events.UpdateEvent
-
Sets the result in for this update event
- setRight(List<ASPBodyElement>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Sets the literal tuple of this aggregate element.
- setRight(Term<?>, ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Set the right relation term and operator.
- setRightGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Set the right relation term (right guard).
- setRightIterative(boolean) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
switches the flag indicating if the right method shall use iterative algorithms
- setRightOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
Select the right revision method.
- setRightOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Select the right revision method.
- setRightOperator(ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Sets the operator of the right aggregate relation.
- setRightTerm(Term) - Method in class org.tweetyproject.math.equation.Statement
-
Sets the right term of this statement.
- setRule(AbaRule<T>) - Method in class org.tweetyproject.arg.aba.syntax.Deduction
- setRuleFormulaGenerator(RuleFormulaGenerator<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Set a new generator to transform rules into words of the language they range over
- setScriptLocation(String) - Method in class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner
-
Set the mleancop.sh path.
- setSecond(F) - Method in class org.tweetyproject.commons.util.Pair
-
sets the second element of this pair
- setSecond(F) - Method in class org.tweetyproject.commons.util.Triple
-
sets the second element of this triple
- setSecondFormula(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.Implication
-
Sets the right side formula of the implication left => right
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DummyAgentGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
- setSeed(long) - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameGenerator
- setSeed(long) - Method in interface org.tweetyproject.agents.sim.AgentGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in interface org.tweetyproject.agents.sim.MultiAgentSystemGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator
- setSeed(long) - Method in interface org.tweetyproject.arg.dung.util.DungTheoryGenerator
-
Set the seed for the generation.
- setSeed(long) - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
- setSeed(long) - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
- setSeed(long) - Method in class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- setSeed(long) - Method in class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- setSelections(String[]) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter
-
sets new selection parameter
- setSemantics(RpclSemantics) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- setSemantics(RpclSemantics) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- setSignature(Collection<Proposition>) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
-
Changes the signature of the world.
- setSignature(ActionSignature) - Method in class org.tweetyproject.action.description.parser.CParser
- setSignature(DlSignature) - Method in class org.tweetyproject.logics.dl.parser.DlParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class org.tweetyproject.logics.fol.parser.FolParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class org.tweetyproject.logics.ml.parser.MlParser
-
Sets the signature for this parser.
- setSignature(FolSignature) - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
- setSignature(FolSignature) - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
- setSignature(PlSignature) - Method in class org.tweetyproject.logics.pl.parser.DimacsParser
-
Sets the signature of this parser.
- setSignature(S) - Method in class org.tweetyproject.commons.BeliefSet
-
Sets the signature that is attached to his belief base to a copy of the given signature.
- setSolver(ASPSolver) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- setSolver(ASPSolver) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
- setSortingType(NumericalArgumentRanking.SortingType) - Method in class org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking
-
Set the sorting type for ranking values.
- setSourceRef(String) - Method in class org.tweetyproject.logics.bpm.parser.BufferedBpmnEdge
- setStartingPoint(Map<Variable, Term>) - Method in class org.tweetyproject.math.opt.rootFinder.RootFinder
-
sets the starting point of this root finder.
- setStartingPointsLMult(Map<Statement, Double>) - Method in class org.tweetyproject.math.opt.solver.LagrangeSolver
- setStateHandler(ExecutorService) - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
-
Uses the given
ExecutorService
to create and releaseSatSolverState
. - setStrictlyLessOrEquallyAcceptableThan(Argument, Argument) - Method in class org.tweetyproject.arg.rankings.semantics.LatticeArgumentRanking
-
Defines "a" to be strictly less or equally acceptable than "b".
- SetSupport - Class in org.tweetyproject.arg.bipolar.syntax
-
This class models a support between a set of arguments and an argument.
- SetSupport(Collection<BArgument>, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetSupport
-
initializes the arguments used in this support relation
- SetSupport(ArgumentSet, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetSupport
-
Default constructor; initializes the arguments used in this support relation
- SetSupport(BArgument, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetSupport
-
initializes the arguments used in this support relation
- setSymbolArrow(String) - Method in class org.tweetyproject.arg.aba.parser.AbaParser
- setSymbolComma(String) - Method in class org.tweetyproject.arg.aba.parser.AbaParser
- setSymbolComma(String) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing parameter separators
- setSymbolDefeasible(String) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing defeasible function arrows
- setSymbolStrict(String) - Method in class org.tweetyproject.arg.aspic.parser.AspicParser
-
Sets a new symbol used for parsing strict function arrows
- setSymbolTrue(String) - Method in class org.tweetyproject.arg.aba.parser.AbaParser
- setTargetFunction(Term) - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
-
Sets the target function of this problem.
- setTargetRef(String) - Method in class org.tweetyproject.logics.bpm.parser.BufferedBpmnEdge
- setTempDirectory(String) - Method in class org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
-
Sets the path of the directory for temporary files.
- setTempFolder(File) - Static method in class org.tweetyproject.logics.pl.sat.MaxSatSolver
-
Set the folder for temporary files created by a MaxSAT solver.
- setTempFolder(File) - Static method in class org.tweetyproject.logics.pl.sat.SatSolver
-
Set the folder for temporary files created by SAT solver.
- setThird(G) - Method in class org.tweetyproject.commons.util.Triple
-
sets the third element of this triple
- setTimeFunction(Supplier<Long>) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Sets the function used to measure time in ms.
- setTimeout(long) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Sets the timeout.
- setTmpFolder(File) - Static method in class org.tweetyproject.math.opt.solver.GlpkSolver
-
Sets the path for the temporary folder.
- setTmpFolder(File) - Static method in class org.tweetyproject.math.opt.solver.LpSolve
-
Sets the path for the temporary folder.
- SetTools<E> - Class in org.tweetyproject.commons.util
-
This class provides some methods for set operations.
- SetTools() - Constructor for class org.tweetyproject.commons.util.SetTools
- setTopRule(InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
-
Changes the TopRule
- setType(int) - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
-
Sets the type of this problem, either OptimizationProblem.MINIMIZE or OptimizationProblem.MAXIMIZE.
- setUp() - Method in class org.tweetyproject.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
- setUp() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest
- setUp() - Method in class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
- setUp() - Method in class org.tweetyproject.logics.pl.test.FuzzyInconsistencyMeasureTest
- setUp() - Method in class org.tweetyproject.machinelearning.assoc.AprioriTest
- setUp() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest
-
Perform pre-test initialization.
- SetUp() - Method in class org.tweetyproject.arg.aba.AbaTest
- setUpBefore() - Method in class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
- setUpBefore() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.bipolar.DeductiveArgumentationTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.bipolar.TranslationTest
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
- setUpBeforeClass() - Static method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
- setUpperBound(S) - Method in class org.tweetyproject.math.Interval
- setValue(File[]) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
- setValue(String[]) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter
- setVariables(Map<String, Variable>) - Method in class org.tweetyproject.logics.fol.parser.FolParser
- setVerifier(Verifier) - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
- setWeight(Attack, double) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
-
sets the weight of the given attack to the given value
- setWeight(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Set the weight attribute of this constraint.
- setWeight(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Sets the weight of this optimization statement.
- setWeight(T) - Method in class org.tweetyproject.graphs.WeightedDirectedEdge
-
TODO
- setWorldRepresentation(Comparator<Pair<Proposition, Boolean>>) - Method in class org.tweetyproject.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 org.tweetyproject.logics.cl.semantics.ConditionalStructure
-
Changes the ordering of the PossibleWorlds for representation purposes, before using this method proof if the goal can be easier achieved using the setWorldRepresentation() method that allows changing the ordering of the literals in the world representation.
- shallowCopy() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
- ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>> - Class in org.tweetyproject.logics.commons.analysis
-
This class implements the Shapley culpability measure.
- ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.ShapleyCulpabilityMeasure
-
Creates a new Shapley culpability measure that bases on the given inconsistency measure.
- Shell - Class in org.tweetyproject.commons.util
- Shell() - Constructor for class org.tweetyproject.commons.util.Shell
- show() - Method in class org.tweetyproject.logics.bpm.plotting.BpmnModelPlotter
-
Display the created graph and all possibly added labels
- show(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.OrderingSemanticsReasoner
-
print out table showing the sets according to the given ordering semantics
- showExamples(Collection<Extension>) - Method in class org.tweetyproject.arg.dung.learning.ExampleFinder
-
prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semantics
- showExamples(Collection<Extension>, Collection<Extension>) - Method in class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder
-
prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second semantics
- showOverview() - Method in class org.tweetyproject.arg.dung.learning.ExampleFinder
-
prints an overview over all found examples
- showOverview() - Method in class org.tweetyproject.arg.dung.learning.ExtendedExampleFinder
-
prints an overview over all found examples
- showWeights() - Method in class org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner
- sign(PclBeliefSet, ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
- sign(PclBeliefSet, ProbabilisticConditional) - Method in interface org.tweetyproject.logics.pcl.analysis.SignedCulpabilityMeasure
-
Determines the sign of the culpability of the given conditional in the given belief set, i.e.
- Signal - org.tweetyproject.logics.bpm.syntax.EventType
- Signature - Interface in org.tweetyproject.commons
-
A signatures lists the atomic language structures for some language.
- SIGNATURE_SIZE - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
- SIGNATURE_SIZE - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
- signatureGrow() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
- signatureShrink() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
- SignedCulpabilityMeasure - Interface in org.tweetyproject.logics.pcl.analysis
-
Classes implementing this interface represent signed culpability measures, i.e.
- SimpleAccumulator - Class in org.tweetyproject.arg.deductive.accumulator
-
This implementation of an accumulator simply sums up the categorizations of the argument trees.
- SimpleAccumulator() - Constructor for class org.tweetyproject.arg.deductive.accumulator.SimpleAccumulator
- SimpleAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the admissible extensions.
- SimpleAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleAdmissibleReasoner
- SimpleAspicOrder<T extends Invertable> - Class in org.tweetyproject.arg.aspic.order
- SimpleAspicOrder<T extends Invertable> - Class in org.tweetyproject.arg.aspic.semantics
- SimpleAspicOrder() - Constructor for class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
-
Creates a comparator for AspicArguments, that always returns 0
- SimpleAspicOrder() - Constructor for class org.tweetyproject.arg.aspic.semantics.SimpleAspicOrder
-
Creates a comparator for AspicArguments, that always returns 0
- SimpleAspicOrder(Collection<String>) - Constructor for class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aspic.reasoner
- SimpleAspicReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner
-
Creates a new instance
- SimpleASPRulesTest() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2ParserTest
- SimpleBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QCIRTest
- SimpleBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QDIMACSTest
- SimpleCharStream - Class in org.tweetyproject.arg.delp.parser
- SimpleCharStream - Class in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
- SimpleCharStream - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.parser
- SimpleCharStream - Class in org.tweetyproject.preferences.io
- SimpleCharStream(InputStream) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.arg.delp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleCharStream
- SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
- SimpleCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the complete extensions.
- SimpleCompleteReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleCompleteReasoner
- SimpleConflictFreeReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the conflict-free extensions.
- SimpleConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleConflictFreeReasoner
- SimpleCReasoner - Class in org.tweetyproject.logics.cl.reasoner
-
This class models a brute force c-reasoner for conditional logic.
- SimpleCReasoner() - Constructor for class org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
-
Creates a new simple c-representation reasoner.
- SimpleCReasoner(boolean) - Constructor for class org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
-
Creates a new c-representation reasoner
- SimpleDeductiveReasoner - Class in org.tweetyproject.arg.deductive.reasoner
-
This class implements a brute force approach to deductive argumentation.
- SimpleDeductiveReasoner(Categorizer, Accumulator) - Constructor for class org.tweetyproject.arg.deductive.reasoner.SimpleDeductiveReasoner
-
Creates a new reasoner for the given belief base, categorizer, and accumulator.
- SimpleDefaultReasoner - Class in org.tweetyproject.logics.rdl.reasoner
-
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.
- SimpleDefaultReasoner() - Constructor for class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner
- SimpleDpllSolver - Class in org.tweetyproject.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 org.tweetyproject.logics.pl.sat.SimpleDpllSolver
- SimpleDpllSolverTest - Class in org.tweetyproject.logics.pl.test
- SimpleDpllSolverTest() - Constructor for class org.tweetyproject.logics.pl.test.SimpleDpllSolverTest
- SimpleExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample
- SimpleFolReasoner - Class in org.tweetyproject.logics.fol.reasoner
-
Uses a naive brute force search procedure for theorem proving.
- SimpleFolReasoner() - Constructor for class org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
- SimpleFunction<T,S> - Interface in org.tweetyproject.math.func
-
Encapsulates common methods of mathematical functions with a single parameter.
- SimpleGeneticOptimizationSolver - Class in org.tweetyproject.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 org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver
-
Creates a new simple genetic optimization solver.
- SimpleGeneticOptimizationSolverCombinatorics - Class in org.tweetyproject.math.opt.solver
- SimpleGeneticOptimizationSolverCombinatorics(int, int, int, int, double) - Constructor for class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics
-
Creates a new simple genetic optimization solver.
- SimpleGeneticOptimizationSolverCombinatorics.FitnessComparator - Class in org.tweetyproject.math.opt.solver
-
Compares individuals by the fitness (value of the target function)
- SimpleGeneticOptimizationSolverEx - Class in org.tweetyproject.math.examples
-
This class implements an example for the Genetic Optimization Solver.
- SimpleGeneticOptimizationSolverEx() - Constructor for class org.tweetyproject.math.examples.SimpleGeneticOptimizationSolverEx
- SimpleGeneticOptimizationSolverTest - Class in org.tweetyproject.math.test
- SimpleGeneticOptimizationSolverTest() - Constructor for class org.tweetyproject.math.test.SimpleGeneticOptimizationSolverTest
- SimpleGraph<T extends Node> - Class in org.tweetyproject.graphs
-
An extended version of the DefaultGraph which supports removing of nodes as well as some utility functions for d-separation
- SimpleGraph() - Constructor for class org.tweetyproject.graphs.SimpleGraph
-
create a new SimpleGraph instance
- SimpleGraph(Graph<T>) - Constructor for class org.tweetyproject.graphs.SimpleGraph
-
create a copy of the given graph
- SimpleGroundedReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the grounded extension.
- SimpleGroundedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleGroundedReasoner
- SimpleIdealReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the ideal extension.
- SimpleIdealReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleIdealReasoner
- SimpleLogicalFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces
-
A formula of a logical language
- SimpleMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner
- SimpleMlnReasoner() - Constructor for class org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
- SimpleMlReasoner - Class in org.tweetyproject.logics.ml.reasoner
-
This class implements inference for modal logic using a brute-force approach.
- SimpleMlReasoner() - Constructor for class org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner
- SimpleNaiveReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for naive extensions.
- SimpleNaiveReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
- SimpleNode - Class in org.tweetyproject.graphs
-
A simple node of a graph with a name.
- SimpleNode - Class in org.tweetyproject.lp.asp.parser
- SimpleNode(int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleNode
- SimpleNode(String) - Constructor for class org.tweetyproject.graphs.SimpleNode
-
Creates a new node with the given name.
- SimpleNode(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.SimpleNode
- SimpleOrderTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
- SimplePafReasoner - Class in org.tweetyproject.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 org.tweetyproject.arg.prob.reasoner.SimplePafReasoner
-
Creates a new reasoner.
- SimplePlInterpolantEnumerator - Class in org.tweetyproject.logics.pl.analysis
-
Implements an exhaustive search approach to compute all interpolants of a knowledge base wrt.
- SimplePlInterpolantEnumerator(AbstractPlReasoner) - Constructor for class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
-
Creates a new SimplePlInterpolantEnumerator that uses the given PL reasoner for entailment queries.
- SimplePlInterpolantEnumeratorExample - Class in org.tweetyproject.logics.pl.examples
-
Illustrates the use of the SimplePlInterpolantEnumerator
- SimplePlInterpolantEnumeratorExample() - Constructor for class org.tweetyproject.logics.pl.examples.SimplePlInterpolantEnumeratorExample
- SimplePlLogicArgument - Class in org.tweetyproject.arg.deductive.syntax
- SimplePlLogicArgument(Collection<SimplePlRule>, PlFormula) - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
- SimplePlLogicArgument(Derivation<SimplePlRule>) - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
-
Constructor
- SimplePlLogicDeductiveKnowledgebase - Class in org.tweetyproject.arg.deductive.syntax
- SimplePlLogicDeductiveKnowledgebase() - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
- SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule>) - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
- SimplePlLogicExample - Class in org.tweetyproject.arg.deductive.examples
-
Example code for simple logic argumentation.
- SimplePlLogicExample() - Constructor for class org.tweetyproject.arg.deductive.examples.SimplePlLogicExample
- SimplePlLogicParser - Class in org.tweetyproject.arg.deductive.parser
- SimplePlLogicParser() - Constructor for class org.tweetyproject.arg.deductive.parser.SimplePlLogicParser
- SimplePlReasoner - Class in org.tweetyproject.logics.pl.reasoner
-
Naive classical inference (checks all interpretations for satisfiability).
- SimplePlReasoner() - Constructor for class org.tweetyproject.logics.pl.reasoner.SimplePlReasoner
- SimplePlRule - Class in org.tweetyproject.arg.deductive.syntax
-
Basic data structure for handling simple rule
- SimplePlRule() - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- SimplePlRule(PlFormula) - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- SimplePlRule(PlFormula, Set<PlFormula>) - Constructor for class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- SimplePreferredReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the preferred extensions.
- SimplePreferredReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimplePreferredReasoner
- SimpleProductSemantics - Class in org.tweetyproject.arg.social.semantics
-
The simple product semantics from [Leite, Martins; IJCAI 2011, Def.
- SimpleProductSemantics(double) - Constructor for class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.dl.test.DlReasonerTest
- SimpleQueryTest() - Method in class org.tweetyproject.logics.ml.MleanCoPTest
- SimpleQueryTest1() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
- SimpleQueryTest1() - Method in class org.tweetyproject.logics.ml.SPASSTest
- SimpleQueryTest2() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
- SimpleQueryTest2() - Method in class org.tweetyproject.logics.ml.SPASSTest
- SimpleQueryTest3() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
- SimpleQueryTest4() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
- SimpleRealValuedFunction - Interface in org.tweetyproject.math.func
-
A real-valued function.
- SimpleRelationalCReasoner - Class in org.tweetyproject.logics.rcl.reasoner
-
This class models a relational brute force c-reasoner for relational conditional logic.
- SimpleRelationalCReasoner(boolean) - Constructor for class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner
-
Creates a new relational c-representation reasoner.
- SimpleRevisionCompareModel - Class in org.tweetyproject.lp.asp.beliefdynamics.gui
-
The data-model used to compare two different revision approaches.
- SimpleRevisionCompareModel() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- SimpleRevisionCompareModel(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- SimpleRevisionComparePresenter - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
Default Ctor: registers the view as listener to the correct model.
- SimpleRevisionComparePresenter.FileHandler - Interface in org.tweetyproject.lp.asp.beliefdynamics.gui
-
This interface is used by the SimpleRevisionComparePresenter to handle the file loading.
- SimpleRevisionCompareView - Class in org.tweetyproject.lp.asp.beliefdynamics.gui
-
The default view for a revision compare.
- SimpleRevisionCompareView() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
-
Default Ctor: Creates the view
- SimpleSafSampler - Class in org.tweetyproject.arg.saf.util
-
This class implements a belief base sampler for structured argumentation frameworks.
- SimpleSafSampler(Signature) - Constructor for class org.tweetyproject.arg.saf.util.SimpleSafSampler
-
Creates a new SimpleSafSampler for the given signature.
- SimpleSafSampler(Signature, int, int) - Constructor for class org.tweetyproject.arg.saf.util.SimpleSafSampler
-
Creates a new SimpleSafSampler for the given signature.
- SimpleSamplingMlnReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.mln.reasoner.SimpleSamplingMlnReasoner
-
Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.
- SimpleSccCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the complete extensions.
- SimpleSccCompleteReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleSccCompleteReasoner
- SimpleSemiStableReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the semi-stable extensions.
- SimpleSemiStableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
- SimpleStableReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the stable extensions.
- SimpleStableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleStableReasoner
- SimpleStageReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This reasoner for Dung theories performs inference on the stage extensions.
- SimpleStageReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleStageReasoner
- SimpleTermTest() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2ParserTest
- simpleUpdate(DungTheory) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given theory using "simple redistribution", cf.
- simplify() - Method in class org.tweetyproject.math.matrix.Matrix
-
Simplifies every entry.
- simplify() - Method in class org.tweetyproject.math.term.AbsoluteValue
- simplify() - Method in class org.tweetyproject.math.term.Constant
- simplify() - Method in class org.tweetyproject.math.term.Difference
- simplify() - Method in class org.tweetyproject.math.term.Exp
- simplify() - Method in class org.tweetyproject.math.term.Fraction
- simplify() - Method in class org.tweetyproject.math.term.Logarithm
- simplify() - Method in class org.tweetyproject.math.term.Maximum
- simplify() - Method in class org.tweetyproject.math.term.Minimum
- simplify() - Method in class org.tweetyproject.math.term.Power
- simplify() - Method in class org.tweetyproject.math.term.Product
- simplify() - Method in class org.tweetyproject.math.term.Root
- simplify() - Method in class org.tweetyproject.math.term.Sum
- simplify() - Method in class org.tweetyproject.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 org.tweetyproject.math.term.Variable
- SimulatedAnnealing - Class in org.tweetyproject.math.opt.solver
-
This class implements the simulated annealing algorithm for combinatrics problems It is natively implemented
- SimulatedAnnealing(double, double, int) - Constructor for class org.tweetyproject.math.opt.solver.SimulatedAnnealing
- SimulatedAnnealingEx - Class in org.tweetyproject.math.examples
- SimulatedAnnealingEx() - Constructor for class org.tweetyproject.math.examples.SimulatedAnnealingEx
- SimulatedAnnealingOnConstrProb - Class in org.tweetyproject.math.opt.solver
-
implements the Simulated Annealing algorithm for optimization problems
- SimulatedAnnealingOnConstrProb(double, double, int) - Constructor for class org.tweetyproject.math.opt.solver.SimulatedAnnealingOnConstrProb
- SimulatedAnnealingOnConstrProbEx2 - Class in org.tweetyproject.math.examples
-
This class implements an example for Simulated Annealing on optimization problems.
- SimulatedAnnealingOnConstrProbEx2() - Constructor for class org.tweetyproject.math.examples.SimulatedAnnealingOnConstrProbEx2
- SimulationParameters - Class in org.tweetyproject.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 org.tweetyproject.agents.sim.SimulationParameters
- SimulationResult<S extends AbstractProtocol & GameProtocol,T extends Agent,R extends MultiAgentSystem<T>> - Class in org.tweetyproject.agents.sim
-
Instances of this class summarize information on a performed simulation.
- SimulationResult(List<AgentGenerator<T, R>>) - Constructor for class org.tweetyproject.agents.sim.SimulationResult
-
Creates a new SimulationResult for the given set of agent generators.
- SingleFormulasTest() - Method in class org.tweetyproject.logics.qbf.test.QCIRTest
- SinglePeakWeightVector - Class in org.tweetyproject.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 org.tweetyproject.preferences.aggregation.SinglePeakWeightVector
-
constructor for weight vector with peak value
- SingleSetSignature<T> - Class in org.tweetyproject.commons
-
This class models a signature as a set of formulas.
- SingleSetSignature() - Constructor for class org.tweetyproject.commons.SingleSetSignature
-
Creates a new empty signature.
- SingleSetSignature(Set<T>) - Constructor for class org.tweetyproject.commons.SingleSetSignature
-
Creates a new signature with the given set of elements.
- SingleValeWeightVector - Class in org.tweetyproject.preferences.aggregation
- SingleValeWeightVector(int) - Constructor for class org.tweetyproject.preferences.aggregation.SingleValeWeightVector
-
constructor setting the value for the least chosen element
- singleValued(Argument, boolean, AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
-
Returns an interpretation relative to
adf
with a single truth value decided. - size() - Method in class org.tweetyproject.agents.dialogues.DialogueTrace
- size() - Method in class org.tweetyproject.agents.MultiAgentSystem
- size() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
- size() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
-
Returns the number of arguments in this interpretation.
- size() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
- size() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Clause
- size() - Method in class org.tweetyproject.arg.adf.util.CacheMap
- size() - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet
- size() - Method in class org.tweetyproject.arg.adf.util.LazyMap
- size() - Method in class org.tweetyproject.arg.adf.util.MinusSetView
- size() - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet
- size() - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView
- size() - Method in class org.tweetyproject.arg.adf.util.UnionSetView
- size() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- size() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- size() - Method in class org.tweetyproject.arg.dung.semantics.Extension
- size() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
- size() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
- size() - Method in class org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking
- size() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
- size() - Method in class org.tweetyproject.commons.BeliefSet
- size() - Method in class org.tweetyproject.commons.InterpretationSet
- size() - Method in class org.tweetyproject.commons.SingleSetSignature
-
Returns the number of elements in this signature, i.e.
- size() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- size() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- size() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- size() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
- size() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
- size() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- size() - Method in class org.tweetyproject.logics.rdl.semantics.Extension
- size() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
- size() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
- size() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- size() - Method in class org.tweetyproject.math.Interval
- size() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
- size() - Method in class org.tweetyproject.math.term.AssociativeOperation
-
Returns the number of the terms in this operation.
- size() - Method in class org.tweetyproject.preferences.PreferenceOrder
-
returns the size of the set
- SIZE_OF_KNOWLEDGEBASES - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
- SIZE_OF_KNOWLEDGEBASES - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
- SKEPTICAL - org.tweetyproject.commons.InferenceMode
- skepticalQuery(AbstractDialecticalFramework, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
- SMALLEST_CONJUNCTS - org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
- SmokersExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample
- SmoothedPenalizingCreepingMachineShop - Class in org.tweetyproject.logics.pcl.analysis
-
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
- SmoothedPenalizingCreepingMachineShop(OptimizationRootFinder, CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class org.tweetyproject.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
-
Creates a new creeping machine shop based on the given culpability measure.
- SmoothingFunction - Class in org.tweetyproject.math.func
-
A function that smoothes two values with a smooting factor, i.e.
- SmoothingFunction(double) - Constructor for class org.tweetyproject.math.func.SmoothingFunction
-
Creates a new smoothing function with the given factor.
- SocialAbstractArgumentationFramework - Class in org.tweetyproject.arg.social.syntax
-
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.
- SocialAbstractArgumentationFramework() - Constructor for class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
-
Creates a new empty social abstract argumentation framework
- SocialAbstractArgumentationFramework(Graph<Argument>) - Constructor for class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
-
Creates a new social abstract argumentation framework from the given graph.
- SocialMapping<L> - Class in org.tweetyproject.arg.social.semantics
-
Implements a mapping from arguments to social value.
- SocialMapping(AbstractSocialSemantics<L>) - Constructor for class org.tweetyproject.arg.social.semantics.SocialMapping
-
Creates a new mapping wrt.
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.AntColonyOptimization
-
solves the problem and connects the config and initializes the rest
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearch
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics
-
Returns the solution according the problem; problem has to be minimizing (which only contains variables with defined upper and lower bounds).
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.SimulatedAnnealing
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearch
- solve(CombinatoricsProblem) - Method in class org.tweetyproject.math.opt.solver.TabuSearch
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.ApacheCommonsCMAESOptimizer
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.ApacheCommonsSimplex
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.BfgsSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.CombinatoricsSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.GlpkSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.GradientDescent
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.HessianGradientDescent
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.LagrangeSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.LpSolve
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.OctaveSqpSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.SimulatedAnnealingOnConstrProb
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.Solver
-
Computes a solution to the given constraint satisfaction or optimization problem, i.e.
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearchOnConstrProb
- solve(GeneralConstraintSatisfactionProblem) - Method in class org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb
- solve(Term, int) - Method in class org.tweetyproject.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 org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver
-
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).
- solver - Static variable in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest
- Solver - Class in org.tweetyproject.math.opt.solver
-
This abstract class models an abstract solver for constraint satisfaction or optimization problems.
- Solver() - Constructor for class org.tweetyproject.math.opt.solver.Solver
- solverErrorCode - Variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- solverErrorText - Variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
- SolverException - Exception in org.tweetyproject.lp.asp.reasoner
-
This class models a generic exception for ASP solvers.
- SolverException(String, int) - Constructor for exception org.tweetyproject.lp.asp.reasoner.SolverException
-
Creates a new SolverException with the given message.
- SolverTest() - Method in class org.tweetyproject.logics.pl.test.SimpleDpllSolverTest
- Sort - Class in org.tweetyproject.logics.commons.syntax
-
A sort of first-order logic.
- Sort(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Sort
-
Ctor: Creates an empty Sort with the given name.
- Sort(String, Set<Constant>) - Constructor for class org.tweetyproject.logics.commons.syntax.Sort
-
Ctor: Creates a Sort with the given name and the given constants.
- Sort(Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Sort
-
Copy-Ctor creates a deep copy of the Sort
- sortingType - Variable in class org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking
- sortTerms(Collection<? extends Term<?>>) - Static method in class org.tweetyproject.logics.commons.syntax.Sort
-
Sorts the set of given terms by their sorts, i.e.
- spanNumber() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
-
Returns the span number of this reference world, i.e.
- SpassFolReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
-
Constructs a new instance pointing to a specific SPASS
- SpassFolReasoner(String, Shell) - Constructor for class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
-
Constructs a new instance pointing to a specific SPASS Prover.
- SPASSMlReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner
-
Constructs a new instance pointing to a specific SPASS
- SPASSMlReasoner(String, Shell) - Constructor for class org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner
-
Constructs a new instance pointing to a specific SPASS Prover.
- SPASSTest - Class in org.tweetyproject.logics.fol.test
-
JUnitTest to test SPASS (test cases from
TPTPTest
) - SPASSTest - Class in org.tweetyproject.logics.ml
-
JUnit Test class for SPASS Prover for modal formulas.
- SPASSTest() - Constructor for class org.tweetyproject.logics.fol.test.SPASSTest
- SPASSTest() - Constructor for class org.tweetyproject.logics.ml.SPASSTest
- SPASSWriter - Class in org.tweetyproject.logics.fol.writer
-
This class prints single first-order logic formulas and knowledge bases to the SPASS format.
- SPASSWriter - Class in org.tweetyproject.logics.ml.writer
-
This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.
- SPASSWriter() - Constructor for class org.tweetyproject.logics.fol.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter() - Constructor for class org.tweetyproject.logics.ml.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter(Writer) - Constructor for class org.tweetyproject.logics.fol.writer.SPASSWriter
-
Creates a new SPASSWriter.
- SPASSWriter(Writer) - Constructor for class org.tweetyproject.logics.ml.writer.SPASSWriter
-
Creates a new SPASSWriter.
- special_formula_flag - Variable in class org.tweetyproject.logics.qbf.writer.QdimacsWriter
-
Will be set to true/false if the input can be simplified to a tautology/contradiction.
- SpecialCharactersTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
- SpecialFormula - Class in org.tweetyproject.logics.fol.syntax
-
This class captures the common functionalities of the special formulas tautology and contradiction.
- SpecialFormula - Class in org.tweetyproject.logics.pl.syntax
-
This class captures the common functionalities of the special formulas tautology and contradiction.
- SpecialFormula() - Constructor for class org.tweetyproject.logics.fol.syntax.SpecialFormula
- SpecialFormula() - Constructor for class org.tweetyproject.logics.pl.syntax.SpecialFormula
- specialToken - Variable in class org.tweetyproject.arg.delp.parser.Token
- specialToken - Variable in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SQUARE_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SQUARE_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- SQUARE_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- SST - org.tweetyproject.arg.dung.semantics.Semantics
- ST - org.tweetyproject.arg.dung.semantics.OrderingSemantics
- ST - org.tweetyproject.arg.dung.semantics.Semantics
- STABLE - Static variable in class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
- STABLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.OrderingSemantics
- STABLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- StableKernel - Class in org.tweetyproject.arg.dung.equivalence
-
Kernel SK = (A, R') for strong equivalence wrt.
- StableKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.StableKernel
- StableReasoner<T extends Formula> - Class in org.tweetyproject.arg.aba.reasoner
-
This reasoner for ABA theories performs inference on the stable extensions.
- StableReasoner - Class in org.tweetyproject.arg.adf.reasoner
- StableReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
-
a set of arguments S is stable iff it is conflict-free, self-supporting and for any argument a e-supported by bbase, where a is not in S, S e-support attacks either a or every set of arguments minimally e-supporting a.
- StableReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity
-
a set of arguments S is stable iff the set of arguments deactivated by S equals A\S, where A is the set of all arguments in the argumentation framework.
- StableReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.StableReasoner
- StableReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.StableReasoner
- StableReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.StableReasoner
- StableReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.StableReasoner
- StableReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
- StableReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
- STAGE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- STAGE2_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- Stage2Reasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Reasoner for Stage2 semantics using scc-recursiveness definition see: Dvorak, Gaggl: Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics 2012
- Stage2Reasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
- STANDARD_AGGFUNCTION - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STANDARD_EVENTS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
- STANDARD_EVENTS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STANDARD_INFERENCE - Static variable in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
-
Integer constant for standard inference.
- STANDARD_SMOOTHING_FACTOR - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
- StandardFolWriter - Class in org.tweetyproject.logics.fol.writer
-
Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.
- StandardFolWriter() - Constructor for class org.tweetyproject.logics.fol.writer.StandardFolWriter
-
Creates new writer
- StandardFolWriter(Writer) - Constructor for class org.tweetyproject.logics.fol.writer.StandardFolWriter
-
Creates new writer
- StandardFolWriterExample - Class in org.tweetyproject.logics.fol.examples
-
Shows how to use the StandardFolWriter.
- StandardFolWriterExample() - Constructor for class org.tweetyproject.logics.fol.examples.StandardFolWriterExample
- StartEvent - Class in org.tweetyproject.logics.bpm.syntax
-
A class to represent the starting events of a BPMN Model
- StartEvent() - Constructor for class org.tweetyproject.logics.bpm.syntax.StartEvent
-
Create a new instance
- StartEventParser - Class in org.tweetyproject.logics.bpm.parser
-
Parse a start event of a BPMN model
- StartEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.StartEventParser
-
Create a new instance
- State - Class in org.tweetyproject.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 org.tweetyproject.action.transitionsystem.State
-
Creates a new State with a set of fluents that are mapped to true.
- stateChanged(ChangeEvent) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter
- stateChanged(ChangeEvent) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
- statement(String) - Method in class org.tweetyproject.lp.asp.parser.ASTClingoMeta
- Statement - Class in org.tweetyproject.math.equation
-
This class models a mathematical statement, i.e.
- Statement(Term, Term) - Constructor for class org.tweetyproject.math.equation.Statement
-
Creates a new statement with the given terms.
- Statement() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- Statements() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- StateProcessor - Interface in org.tweetyproject.arg.adf.reasoner.sat.processor
- staticFlag - Static variable in class org.tweetyproject.arg.delp.parser.SimpleCharStream
- staticFlag - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- staticFlag - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
Whether parser is static.
- staticFlag - Static variable in class org.tweetyproject.lp.asp.parser.SimpleCharStream
- staticFlag - Static variable in class org.tweetyproject.preferences.io.SimpleCharStream
- StaticLaw - Class in org.tweetyproject.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 org.tweetyproject.action.description.syntax.StaticLaw
-
Creates an empty static law.
- StaticLaw(FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.StaticLaw
-
Creates an empty static law of the form "caused headFormula if True"
- StaticLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.StaticLaw
-
Creates an empty static law of the form "caused headFormula if True requires requirements"
- StaticLaw(FolFormula, FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.StaticLaw
-
Creates an empty static law of the form "caused headFormula if ifFormula"
- StaticLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.StaticLaw
-
Creates an empty static law of the form "caused headFormula if ifFormula" requires requirements
- STEP_LENGTH - Static variable in class org.tweetyproject.logics.pcl.analysis.PenalizingCreepingMachineShop
-
The step length for the line search.
- STG - org.tweetyproject.arg.dung.semantics.Semantics
- STG2 - org.tweetyproject.arg.dung.semantics.Semantics
- stickyUpdate(DungTheory, double) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given theory using "sticky redistribution", cf.
- StochasticLocalSearch - Class in org.tweetyproject.math.opt.solver
- StochasticLocalSearch(int, int, double) - Constructor for class org.tweetyproject.math.opt.solver.StochasticLocalSearch
- StochasticLocalSearchOnConstrProb - Class in org.tweetyproject.math.opt.solver
- StochasticLocalSearchOnConstrProb(int, int, double) - Constructor for class org.tweetyproject.math.opt.solver.StochasticLocalSearchOnConstrProb
- StochasticLocalSearchOnConstrProbEx - Class in org.tweetyproject.math.examples
-
This class implements an example for Simulated Annealing on optimization problems.
- StochasticLocalSearchOnConstrProbEx() - Constructor for class org.tweetyproject.math.examples.StochasticLocalSearchOnConstrProbEx
- stocks() - Method in class org.tweetyproject.arg.delp.TestQueries
- StratifiedLabeling - Class in org.tweetyproject.arg.dung.semantics
-
This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].
- StratifiedLabeling() - Constructor for class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
-
Creates a new empty stratified labeling.
- StratifiedLabelingExample - Class in org.tweetyproject.arg.dung.examples
-
Example code for using stratified labelings by Thimm/Kern-Isberner.
- StratifiedLabelingExample() - Constructor for class org.tweetyproject.arg.dung.examples.StratifiedLabelingExample
- StratifiedLabelingReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
This class implements a stratified labeling reasoner.
- StratifiedLabelingReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
-
Creates a new reasoner using sceptical inference and grounded semantics.
- StratifiedLabelingReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
-
Creates a new reasoner for the given semantics.
- stream - Variable in class org.tweetyproject.preferences.update.UpdateStream
- stream() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Clause
- StreamBasedInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis.streams
-
General interface for inconsistency measures working on streams.
- StreamBasedInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
- StreamInconsistencyEvaluationExample - Class in org.tweetyproject.logics.pl.examples
-
Illustrates stream-based inconsistency measurement.
- StreamInconsistencyEvaluationExample() - Constructor for class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
- StreamInconsistencyEvaluationExample2 - Class in org.tweetyproject.logics.pl.examples
-
Illustrates stream-based inconsistency measurement.
- StreamInconsistencyEvaluationExample2() - Constructor for class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
- STRENGTHEN - org.tweetyproject.preferences.Operation
- strengthenElement(T) - Method in class org.tweetyproject.preferences.ranking.Functions
-
strengthens the given element in the function
- strengthenElement(T) - Method in class org.tweetyproject.preferences.ranking.LevelingFunction
-
strengthens the given element in the leveling function
- strengthenElement(T) - Method in class org.tweetyproject.preferences.ranking.RankingFunction
-
strengthens the given element in the ranking function
- strengthenElementInLF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
strengthens the given element in this preference order in its leveling function
- strengthenElementInRF(T) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
strengthens the given element in this preference order in its ranking function
- STRICTADDITIONOFDEFENSEBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The STRICTADDITIONOFDEFENSEBRANCH postulate
- STRICTCOUNTERTRANSITIVITY - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The STRICTCOUNTERTRANSITIVITY postulate
- StrictInferenceRule<T extends Invertable> - Class in org.tweetyproject.arg.aspic.syntax
- StrictInferenceRule() - Constructor for class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
-
Constructs an empty instance
- StrictInferenceRule(T, Collection<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
-
Constructs a strict inference rule p -> c
- StrictNegation - Class in org.tweetyproject.lp.asp.syntax
-
This class models the strict negation of an atom (as opposed to a default negation:
DefaultNegation
). - StrictNegation(String) - Constructor for class org.tweetyproject.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given name.
- StrictNegation(Predicate, List<Term<?>>) - Constructor for class org.tweetyproject.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given predicate and terms.
- StrictNegation(ASPAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.StrictNegation
-
Creates a new negation with the given atom.
- StrictNegation(StrictNegation) - Constructor for class org.tweetyproject.lp.asp.syntax.StrictNegation
-
Copy-Constructor
- strictNotClonable() - Method in class org.tweetyproject.arg.delp.TestRules
- StrictRule - Class in org.tweetyproject.arg.delp.syntax
-
This class models a strict rule in defeasible logic programming.
- StrictRule(FolFormula, Set<FolFormula>) - Constructor for class org.tweetyproject.arg.delp.syntax.StrictRule
-
Default constructor; initializes head and body of the strict rule
- strictRules() - Method in class org.tweetyproject.arg.delp.TestRules
- String() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- STRING - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- STRING - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- StringListCommandParameter - Class in org.tweetyproject.plugin.parameter
-
This class models a string list command parameter for Work-in-Progress, do not use!
- StringListCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.StringListCommandParameter
-
constructor with identifier and description
- StringPreferenceOrder() - Method in class org.tweetyproject.preferences.io.POParser
- StringTerm - Class in org.tweetyproject.logics.commons.syntax
-
This class represents terms which are objects identified by a string.
- StringTerm(String) - Constructor for class org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.StringTerm
-
Ctor: Create a string term with the given value and sort.
- StringTerm(StringTerm) - Constructor for class org.tweetyproject.logics.commons.syntax.StringTerm
-
Copy-Ctor: Creates a deep copy of the StringTerm
- StrongAttack - Class in org.tweetyproject.arg.lp.semantics.attack
-
This notion of attack models the strong attack relation.
- StrongConfidentAttack - Class in org.tweetyproject.arg.lp.semantics.attack
-
This notion of attack models the strong confident attack relation.
- StrongEquivalence - Class in org.tweetyproject.arg.dung.equivalence
-
Models strong equivalence wrt.
- StrongEquivalence(EquivalenceKernel) - Constructor for class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
-
initialize Equivalence with the given kernel
- StrongEquivalenceExample - Class in org.tweetyproject.arg.dung.examples
-
Example usage of the StrongEquivalenceChecker class
- StrongEquivalenceExample() - Constructor for class org.tweetyproject.arg.dung.examples.StrongEquivalenceExample
- StrongUndercut - Class in org.tweetyproject.arg.lp.semantics.attack
-
This notion of attack models the strong undercut relation.
- StructuredArgumentationFramework - Class in org.tweetyproject.arg.saf.syntax
-
This class represents a structured argumentation framework, i.e.
- StructuredArgumentationFramework() - Constructor for class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
-
Creates a new empty structured argumentation framework.
- StructuredArgumentationSystem - Class in org.tweetyproject.agents.dialogues.structured
-
This class represents a structured argumentation system, i.e.
- StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework) - Constructor for class org.tweetyproject.agents.dialogues.structured.StructuredArgumentationSystem
-
Creates a new StructuredArgumentationSystem
- StructuredArgumentationSystem(PerceivableStructuredArgumentationFramework, Collection<? extends SasAgent>) - Constructor for class org.tweetyproject.agents.dialogues.structured.StructuredArgumentationSystem
-
Creates a new StructuredArgumentationSystem with the given collection of agents.
- STRUCTURENAME - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
- STRUCTURENAME - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
-
RegularExpression Id.
- SubgraphProbabilityFunction - Class in org.tweetyproject.arg.prob.lotteries
-
Represents a probability function on the subgraphs of some Dung theory.
- SubgraphProbabilityFunction(DungTheory) - Constructor for class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction
-
Creates a new uniform probability function for the given theory, i.e.
- SubgraphProbExample - Class in org.tweetyproject.arg.prob.examples
-
Example code for showing how to work with subgraph probability distributions and updates.
- SubgraphProbExample() - Constructor for class org.tweetyproject.arg.prob.examples.SubgraphProbExample
- subList(int, int) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- subList(int, int) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- subList(int, int) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- subList(int, int) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- subList(int, int) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- subList(int, int) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- subProblem() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
-
Returns the sub-problem of the problem.
- SubsetIterator<T> - Class in org.tweetyproject.commons.util
-
Iterates over all subsets of a given set.
- SubsetIterator(Set<T>) - Constructor for class org.tweetyproject.commons.util.SubsetIterator
-
Creates a new subset iterator for the given set.
- SubsetIteratorExample - Class in org.tweetyproject.commons.examples
- SubsetIteratorExample() - Constructor for class org.tweetyproject.commons.examples.SubsetIteratorExample
- subsets(Collection<? extends E>) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.action.query.syntax.AlwaysQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.action.query.syntax.HoldsQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aba.syntax.AbaElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in interface org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.Program
- substitute(Map<? extends Term<?>, ? extends Term<?>>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aba.syntax.Negation
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.delp.syntax.DelpFact
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.arg.delp.syntax.StrictRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
- substitute(Term<?>, Term<?>) - Method in interface org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.TermAdapter
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.Implication
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.Negation
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.ml.syntax.Necessity
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.ml.syntax.Possibility
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPBodyElement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.Program
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
- substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
- substitute(PlFormula, Proposition) - Method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
-
Substitutes all occurrences of the proposition v with the possible truth values and returns a set of the possible substitutions.
- suite() - Static method in class org.tweetyproject.lp.asp.syntax.DefaultificationTest
- sum(double[]) - Static method in class org.tweetyproject.commons.util.VectorTools
-
Computes the sum of the elements in v
- Sum - Class in org.tweetyproject.math.term
-
This class models a sum of two terms.
- Sum() - Constructor for class org.tweetyproject.math.term.Sum
-
Creates a new (empty) sum.
- Sum(Collection<? extends Term>) - Constructor for class org.tweetyproject.math.term.Sum
-
Creates a new sum with the given list of terms.
- Sum(Term, Term) - Constructor for class org.tweetyproject.math.term.Sum
-
Creates a new sum with the given terms.
- SUM - org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
- SUM_PLUS - org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
- SumAggregator - Class in org.tweetyproject.math.func
-
This aggregation function models the sum function.
- SumAggregator() - Constructor for class org.tweetyproject.math.func.SumAggregator
- SUMFUZZY_MEASURE - Static variable in class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
-
static constant for the Sum-version of the measure
- sumOfValues(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack
- sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack
- sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman
- sumOfWeights(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
- SUPERADDITIVITY - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
-
The SUPERADDITIVITY postulate
- supp(int, int) - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics
-
The vote aggregation function
- supp(int, int) - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
- support(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Returns the support of this rule wrt.
- support(Collection<S>, Collection<Collection<S>>) - Static method in class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Returns the support of the given itemset wrt.
- support(S, Collection<Collection<S>>) - Static method in class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Returns the support of the given item wrt.
- Support - Interface in org.tweetyproject.arg.bipolar.syntax
-
This interface captures common methods of different interpretations of the support relation in bipolar abstract argumentation theories.
- SUPPORTING - org.tweetyproject.arg.adf.semantics.link.LinkType
- SupportVectorMachine - Class in org.tweetyproject.machinelearning.svm
-
Realizes a support vector machine classifier utilizing LIBSVM.
- SvmExample - Class in org.tweetyproject.machinelearning.examples
-
Illustrates the use of support vector machine learning.
- SvmExample() - Constructor for class org.tweetyproject.machinelearning.examples.SvmExample
- SVMTest - Class in org.tweetyproject.machinelearning.test
- SVMTest() - Constructor for class org.tweetyproject.machinelearning.test.SVMTest
- SwitchTo(int) - Method in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
- SwitchTo(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
- SwitchTo(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
-
Switch to specified lex state.
- SwitchTo(int) - Method in class org.tweetyproject.lp.asp.parser.ASPCore2ParserTokenManager
- SwitchTo(int) - Method in class org.tweetyproject.preferences.io.POParserTokenManager
- SwitchTo(int) - Method in class org.tweetyproject.preferences.io.UPParserTokenManager
-
Switch to specified lex state.
- symmetricDifference(Collection<E>, Collection<E>) - Method in class org.tweetyproject.commons.util.SetTools
-
Returns the symmetric difference of the two sets s and t, i.e.
- SynchronousProtocol - Class in org.tweetyproject.agents
-
This class models a synchronous protocol for multi-agent systems.
- SynchronousProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.agents.SynchronousProtocol
-
Creates a new synchronous protocol for the given multi-agent system.
- SyntacticEnumeratingIterator - Class in org.tweetyproject.logics.pl.util
-
Generates all syntactic variations of knowledge bases
- SyntacticEnumeratingIterator(PlSignature, int, File, boolean) - Constructor for class org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator
-
Creates a new sampler.
- SyntacticEnumeratingPlBeliefSetSamplerExample - Class in org.tweetyproject.logics.pl.examples
-
Illustrates the use of the belief base enumerators.
- SyntacticEnumeratingPlBeliefSetSamplerExample() - Constructor for class org.tweetyproject.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
- SyntacticRandomPlBeliefSetSamplerExample - Class in org.tweetyproject.logics.pl.examples
-
Illustrates the use of the belief base enumerators.
- SyntacticRandomPlBeliefSetSamplerExample() - Constructor for class org.tweetyproject.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
- SyntacticRandomSampler - Class in org.tweetyproject.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 org.tweetyproject.logics.pl.util.SyntacticRandomSampler
-
Creates a new sampler.
- SyntacticRandomSampler(Signature, Probability, Probability, Probability, double, int, int) - Constructor for class org.tweetyproject.logics.pl.util.SyntacticRandomSampler
-
Creates a new sampler.
All Classes All Packages