S-Index

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 and Interfaces|All Packages|Constant Field Values|Serialized Form

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 - Class in Unnamed Package: Example code for using social abstract argumentation.
SafExample() - Constructor for class org.tweetyproject.arg.social.examples.SafExample
SafExample() - Constructor for class SafExample
SAFExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
SAFRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the social abstract argumentation 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 SimpleProductSemantics.
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 SimpleProductSemantics.
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 SimpleProductSemantics.
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.
sample(S, A) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Samples the next state for executing a in s (given the corresponding probabilities)
sample(S, Policy<S, A>) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Samples an episode wrt.
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 - Enum constant in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
sat1() - Method in class org.tweetyproject.sat.test.LingelingTest
sat1() - Method in class org.tweetyproject.sat.test.MinisatTest
sat1() - Method in class org.tweetyproject.sat.test.PicosatTest
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 interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState
satisfiable() - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState: Computes if the current state is satisfiable.
satisfiable() - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
satisfiable() - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
satisfiable() - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
satisfiable() - Method in interface org.tweetyproject.sat.SatSolver
satisfiable(int[]) - Method in interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState
satisfiable(int[]) - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver
satisfiable(int[]) - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
satisfiable(int[]) - Method in class org.tweetyproject.sat.picosat.PicosatSatSolver
satisfiable(int[]) - Method in interface org.tweetyproject.sat.SatSolver
satisfied() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
satisfied(Argument) - Method in class org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
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(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
satisfies(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
satisfies(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
satisfies(AspicArgumentationTheory<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
satisfies(AspicArgumentationTheory<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
satisfies(AspicArgumentationTheory<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
satisfies(AspicArgumentationTheory<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
satisfies(InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
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(ClaimArgument) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
satisfies(ClaimBasedTheory) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
satisfies(DungTheory) - Method in class org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
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(ClBeliefSet) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
satisfies(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
satisfies(Conditional) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
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(PlBeliefSet) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld
satisfies(PlBeliefSet) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
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(PlFormula) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
satisfies(PlFormula) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld
satisfies(PlFormula) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
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(PriestWorldAdapted, Conditional) - Static method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
satisfies(ASPRule) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
satisfies(Program) - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
satisfies(R) - Method in class org.tweetyproject.comparator.LatticePartialOrder
satisfies(R) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
satisfies(S) - Method in interface org.tweetyproject.commons.Interpretation: Checks whether this interpretation satisfies the given formula.
satisfies(T) - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
satisfies(T) - Method in class org.tweetyproject.comparator.LatticePartialOrder
satisfies(T) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
satisfies3VL(PlFormula) - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld: Determines the 3-valued truth value of the given formula.
satisfies3VL(PlFormula) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld: Determines the 3-valued truth value of the given formula.
satisfies3VL(PlFormula) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Determines the 3-valued truth value of the given formula.
satisfies4VL(PlFormula) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Determines the 4-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
SatQueryBuilder - Class in org.tweetyproject.arg.adf.reasoner.sat.query
SatQueryBuilder(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder
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 - Interface in org.tweetyproject.sat: A minimalistic, low-level and stateful SAT solver interface.
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.
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.
SCC_DECOMPOSABILITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The SCC decomposability principle
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
SccDecomposabilityPrinciple - Class in org.tweetyproject.arg.dung.principles: SCC Decomposability Principle also: SCC-Recursiveness A semantics satisfies SCC decomposability iff for all AFs we have: The extensions of F are the same as computing the extensions of each SCC individually and combining the result see: Pietro Baroni et al.
SccDecomposabilityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple
SCEPTICAL - Enum constant in enum 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 - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: SCF2
SCF2_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all 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
SCOOC - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The Strong Completeness Outside Odd Cycles (SCOOC) principle
SCOOCNaiveReasoner - Class in org.tweetyproject.arg.dung.reasoner: reasoner for SCOOC-naive semantics.
SCOOCNaiveReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
SCOOCPrinciple - Class in org.tweetyproject.arg.dung.principles: Strong Complete Completeness Outside Odd Cycles Principle (SCOOC) A semantics satisfied SCOOC if for every extension E it holds that: for every argument a, if neither a nor its attackers are in an odd cycle and E does not attack a, then a is in E.
SCOOCPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.SCOOCPrinciple
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 - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType: Script
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 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: SE
SE_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_ADM
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 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_CF
SE_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_CF2
SE_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_CO
SE_ERROR - Static variable in exception org.tweetyproject.lp.asp.reasoner.SolverException
SE_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_GR
SE_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_ID
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 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_PR
SE_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_SST
SE_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_ST
SE_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: SE_STG
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 acceptable arguments of an AF wrt.
SeeAcceptabilityReasoner(SatSolver, Semantics, InferenceMode) - 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, Semantics, InferenceMode) - 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(Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner: select a subset of the initial sets of the theory, i.e.
selectionFunction(Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner
selectionFunction(Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedGroundedReasoner: select all unattacked inital singleton-sets
selectionFunction(Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>, Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedUnchallengedReasoner: a selection function that simply returns all unattacked and unchallenged sets
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.
Semantics - Interface in org.tweetyproject.arg.adf.reasoner.sat.execution: Provides access to the computational building blocks of SAT based ADF semantics.
SemanticsStep - Interface in org.tweetyproject.arg.adf.reasoner.query
SEMI_STABLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: class for extension rnking semantics
SEMICOLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
SEMICOLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: 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
SEMIQUAL_ADM - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The semi qualified admissibility principle
SemiQualifiedAdmissibilityPrinciple - Class in org.tweetyproject.arg.dung.principles: Semi-Qualified Admissibility Principle A semantics s satisfies semi-qualified admissibility iff for every AF F and every s-extension E we have: For all arguments a in E: if an argument b attacks a and b is in any s-extension, then E attacks b see: Dauphin, Jeremie, Tjitze Rienstra, and Leendert Van Der Torre.
SemiQualifiedAdmissibilityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
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: all semantics
Send - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType: Send
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.xml_to_bpmn: Parse an edge of the sequence flow in a BPMN model
SequenceFlowParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.SequenceFlowParser: Create a new instance
SequentialExecution - Class in org.tweetyproject.arg.adf.reasoner.sat.execution
SequentialExecution(Semantics, IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.execution.SequentialExecution
SerialisableExtensionReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Abstract class for computing extensions via a serialised transition system to implement this class, you need to define a selection and a termination function Selection function a(UA, UC, C): selects and returns a subset of the initial sets Termination function b((AF, S)): If the given state satisfies a specific condition, its extension may be accepted by the associated serialised semantics
SerialisableExtensionReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner
SerialisableRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: Implements the serialisable ranking semantics from [Blümel, Thimm.
SerialisableRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner: Creates a new serialisable ranking reasoner that uses SimpleInitialReasoner for determining initial sets.
SerialisableRankingReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner: Creates a new serialisable ranking reasoner that uses the given reasoner for determining initial sets (this object should return all initial sets via getModels().
SerialisableRankingReasonerExample - Class in org.tweetyproject.arg.rankings.examples
SerialisableRankingReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.SerialisableRankingReasonerExample
SerialisedAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised version of the admissible semantics
SerialisedAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner
SerialisedCompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised version of the complete semantics
SerialisedCompleteReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedCompleteReasoner
SerialisedGroundedReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised version of the grounded semantics
SerialisedGroundedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedGroundedReasoner
SerialisedPreferredReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised version of the preferred semantics
SerialisedPreferredReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedPreferredReasoner
SerialisedStableReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised version of the stable semantics
SerialisedStableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedStableReasoner
SerialisedUnchallengedReasoner - Class in org.tweetyproject.arg.dung.reasoner.serialisable: Serialised reasoner for the unchallenged semantics The unchallenged semantics amounts to exhaustively adding unattacked and unchallenged initial sets
SerialisedUnchallengedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedUnchallengedReasoner
Service - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType: Service
set(int, int) - Method in class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet: sets the value of the bit at position i
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(Proposition, FourValuedWorld.TruthValue) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld: Sets the value of the given proposition.
set(Proposition, ThreeValuedWorld.TruthValue) - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld: Sets the value of the given proposition.
set(Proposition, PriestWorldAdapted.TruthValue) - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Sets the value of the given proposition.
set(S, A) - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy: Sets the action for the given state.
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").
setAdditionalOptions(Set<String>) - Method in class org.tweetyproject.lp.asp.syntax.Program: Set additional options for solvers.
SetAf - Class in org.tweetyproject.arg.setaf.syntax: This class implements a SetAF in the sense of Nielson/Parson:

See

Nielsen, Soren Holbech and Parsons, Simon.
SetAf() - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAf: constructor
SetAf(SetAf) - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAf: Creates a new theory from the given DirHyperGraph.
SetAfSignature - Class in org.tweetyproject.arg.setaf.syntax: This class captures the signature of a SetAf theory, i.e.
SetAfSignature() - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAfSignature: Creates a new (empty) SetAf signature.
SetAfSignature(Collection<? extends Argument>) - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAfSignature: Creates a new signature with the given set of arguments.
SetAfSignature(Argument) - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAfSignature: Creates a new signature with the single given argument.
SetAfTheoryTest - Class in org.tweetyproject.arg.setaf.examples: Examples of SetAf Theorys and their semantics
SetAfTheoryTest - Class in Unnamed Package: Examples of SetAf Theorys and their semantics
SetAfTheoryTest() - Constructor for class org.tweetyproject.arg.setaf.examples.SetAfTheoryTest
SetAfTheoryTest() - Constructor for class SetAfTheoryTest
setAggregateElements(List<AggregateElement>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the elements that the aggregate ranges over.
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 - Class in org.tweetyproject.arg.setaf.syntax: This class models an attack between two arguments.
SetAttack(Collection<BArgument>, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetAttack: initializes the arguments used in this attack relation
SetAttack(Set<Argument>, Argument) - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAttack: Default constructor; initializes the two 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
SetAttack(Argument, Argument) - Constructor for class org.tweetyproject.arg.setaf.syntax.SetAttack: Default constructor; initializes the two 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.
setBinaryLocation(String) - Method in class org.tweetyproject.logics.pl.analysis.CmdLineImSolver: 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.
setClaim(Claim) - Method in class org.tweetyproject.arg.dung.syntax.ClaimArgument
setClaims(HashSet<Claim>) - Method in class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory
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
setConditionality(double) - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
setConditionality(double) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
setConditionality(double) - Method in interface org.tweetyproject.arg.bipolar.syntax.Support
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.
setConstraintTerms(List<Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
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.ASPParserTokenManager: Set debug output.
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.
setEdges(Set<Edge<PetriNetNode>>) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
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<ChoiceElement>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Set the choice elements of this choice atom.
setElements(List<OptimizationElement>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement: Sets the optimization elements of this optimization statement.
setEntry(int, int, Term) - Method in class org.tweetyproject.math.matrix.Matrix: Sets the entry at the given coordinates.
setExecutor(Executor) - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder: The executor used to perform the creation of the sat solver states.
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.
setFinal() - Method in class org.tweetyproject.logics.petri.syntax.Place: specify that this place is a designated final place
setFinal() - Method in class org.tweetyproject.logics.petri.syntax.Transition: Mark a transition as "final", that is, it fixes the final state
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(RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.Implication: Sets the left side formula of the implication left => right
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.xml_to_bpmn.BufferedBpmnEdge
setFormula(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula: set formula
setFormula(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: sets formula
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.
setFrom(PEEAFTheory.Argument) - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack: Sets the argument that the attack originates from
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.xml_to_bpmn.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
setId(String) - Method in class org.tweetyproject.logics.petri.syntax.PetriNetNode
setId(String) - Method in class org.tweetyproject.logics.petri.syntax.Place
setId(String) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
setIncludePath(String) - Method in class org.tweetyproject.logics.fol.parser.TPTPParser: Set the location of included files.
setInitial() - Method in class org.tweetyproject.logics.petri.syntax.Place: specify that this place is a designated initial place
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(int, ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the left relation term and operator.
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(int) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the left relation term (left guard).
setLeftGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the left relation term (left guard).
setLeftGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Set the left guard (comparison term)
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.
setLeftOperator(ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Set the left comparison operator.
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: sets lower bound
setMaxNumOfModels(int) - Method in class org.tweetyproject.lp.asp.reasoner.ASPSolver: Set the maximum number of models to be generated.
setMaxtokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place
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.xml_to_bpmn.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
setName(String) - Method in class org.tweetyproject.logics.petri.syntax.PetriNetNode
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.grounder.GringoGrounder: Set additional command line options for gringo.
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: Sets the literals tuple of this optimization element.
setOptTerms(List<Term<?>>) - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement: Sets 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.comparator.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.
setParallelism(int) - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
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.
setPathToClingo(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.
setPathToGrounder(String) - Method in class org.tweetyproject.lp.asp.grounder.GringoGrounder: Set the path to the gringo binary
setPathToOctave(String) - Static method in class org.tweetyproject.math.opt.solver.OctaveSqpSolver
setPEAFTheory(PEAFTheory) - Method in class org.tweetyproject.arg.bipolar.analysis.AbstractAnalysis
setPenalty(int) - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem: Sets the penalty for violated minimum.
setPetriNet(PetriNet) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
setPlaces(List<Place>) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
setPoolSize(int) - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
setPossibility(PossibleWorld, Double) - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution: Sets the possibility for the given possible world.
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
setProbabilityFunction(ProbabilityFunction<MarkingEdge>) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: sets the probability function of this graph
setProvideInitialTokensAtStartEvents(boolean) - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser: Specify if the BPMN start events should get an initial token in the corresponding places of parsed Petri net
setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula: sets variables
setQuantifierVariables(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula: sets vairables
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.
setRank(PriestWorldAdapted, Integer) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: 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(int, ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the right relation term and operator.
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(int) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the right relation term (right guard).
setRightGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom: Set the right relation term (right guard).
setRightGuard(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Set the right guard (comparison term)
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.
setRightOperator(ASPOperator.BinaryOperator) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead: Set the right comparison operator.
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
setSatSolver(IncrementalSatSolver) - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
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(RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.Implication: Sets the right side formula of the implication left => right
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.KwtDungTheoryGenerator
setSeed(long) - Method in class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
setSeed(long) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Sets the seed for the used random number generator.
setSelections(String[]) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter: sets new selection parameter
setSemantics(Semantics) - Method in class org.tweetyproject.arg.dung.learning.syntax.Input: set the semantics of this labeling
setSemantics(Semantics) - Static method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner: manually sets the semantics
setSemantics(Semantics) - Static method in class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner: manually sets the semantics
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(NumericalPartialOrder.SortingType) - Method in class org.tweetyproject.comparator.NumericalPartialOrder: Set the sorting type for ranking values.
setSourceRef(String) - Method in class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.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
setState(Marking) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Set the state (token distribution) according to the provided marking
setStateDecorator(Function<SatSolverState, SatSolverState>) - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
setStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.LatticePartialOrder: Defines comparable element "a" to be strictly less or equally acceptable than comparable element "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>, Collection<BArgument>) - Constructor for class org.tweetyproject.arg.bipolar.syntax.SetSupport: initializes the arguments used in this support relation
SetSupport(ArgumentSet, ArgumentSet) - 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.xml_to_bpmn.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.DimacsMaxSatSolver: Set the folder for temporary files created by a MaxSAT solver.
setTempFolder(File) - Static method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver: 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.
setTo(PEEAFTheory.Argument) - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Support: Set the argument that the support link targets
setTo(PEEAFTheory.Element) - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack: The element (attack, support or argument) that originates the attack
setTokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place
setTokenSensitivity(boolean) - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure: specify before determining the values whether the value should be token sensitive A token sensitive measure assigns higher inconsistency values if more tokens remain in non-final places
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
setTransition(Transition) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge
setTransitions(List<Transition>) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
SetTrie<T extends Comparable<T>> - Class in org.tweetyproject.commons.util: This class provides a general implementation of a set-trie as defined in [Iztok Savnik: Index Data Structure for Fast Subset and Superset Queries.
SetTrie() - Constructor for class org.tweetyproject.commons.util.SetTrie: Creates a new set-trie
SetTrie(boolean) - Constructor for class org.tweetyproject.commons.util.SetTrie: Creates a new set-trie
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.sat.test.LingelingTest
setup() - Method in class org.tweetyproject.sat.test.MinisatTest
setup() - Method in class org.tweetyproject.sat.test.PicosatTest
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: sets variables
setWeight(int) - Method in class org.tweetyproject.logics.petri.syntax.Ark
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
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.commons.Plotter: Show the frame after adding some plots
showExamples(Collection<Extension<DungTheory>>) - 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<DungTheory>>, Collection<Extension<DungTheory>>) - 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: show Weights
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 - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Signal
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
SIGNATURE_SIZE - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: SIGNATURE SIZE
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
SimpleAdmissibleSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for SetAf theories performs inference on the admissible extensions.
SimpleAdmissibleSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner
SimpleAFLearner - Class in org.tweetyproject.arg.dung.learning: Naive implementation of the iterative algorithm for learning argumentation frameworks from labelings
SimpleAFLearner(Collection<Argument>) - Constructor for class org.tweetyproject.arg.dung.learning.SimpleAFLearner: initialize the Learner with a set of arguments
SimpleAspicOrder<T extends Invertable> - Class in org.tweetyproject.arg.aspic.order
SimpleAspicOrder<T extends Invertable> - Class in org.tweetyproject.arg.aspic.semantics: A simple comparator for Aspic Arguments, that compares their top rules according to a given list of rules
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.ASPParserTest: asp rules test
SimpleAttackConstraint - Class in org.tweetyproject.arg.dung.learning.syntax: Implementation of the acceptance conditions used for learning argumentation frameworks from labelings Notation: for each acceptance condition we also store the argument a it is associated with In the condition itself we then use !b and b to represent !r_(ba) and r_(ba) respectively e.g.
SimpleAttackConstraint(SimpleAttackConstraint, SimpleAttackConstraint) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: compute acceptance condition by combining two acceptance conditions for the same argument a
SimpleAttackConstraint(SimpleAttackConstraint, SimpleAttackConstraint, boolean) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: compute acceptance condition by combining two acceptance conditions for the same argument a after combining the acceptance condition is transformed into DNF this leads to better computability in later steps see: thesis.util.ModelComputation
SimpleAttackConstraint(Argument) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: initialize empty acceptance condition for the given argument in tha case any incoming attack is optional
SimpleAttackConstraint(Argument, Input) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint: compute acceptance condition for the given argument with respect to the given input labeling
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: An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
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: Constructor.
SimpleCharStream(Reader, int, int, int) - Constructor for class org.tweetyproject.preferences.io.SimpleCharStream
SimpleClInheritedReasoner - Class in org.tweetyproject.arg.dung.reasoner: calculates claim based inherited extensions
SimpleClInheritedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner: empty constructor
SimpleClInheritedReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner: constructor for direct initialization of semantics
SimpleClNaiveReasoner - Class in org.tweetyproject.arg.dung.reasoner: calculates claim based naive extensions
SimpleClNaiveReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
SimpleClPreferredReaonser - Class in org.tweetyproject.arg.dung.reasoner: calculates claim based preferred reasoner
SimpleClPreferredReaonser() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
SimpleClSemistableReasoner - Class in org.tweetyproject.arg.dung.reasoner: a simple claimbased semi stable reasoner
SimpleClSemistableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
SimpleClStableReasoner - Class in org.tweetyproject.arg.dung.reasoner: a claim based stable reaonser
SimpleClStableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
SimpleClStagedReasoner - Class in org.tweetyproject.arg.dung.reasoner: calculates claim based staged extensions
SimpleClStagedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
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
SimpleCompleteSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for SetAf theories performs inference on the complete extensions.
SimpleCompleteSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner
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
SimpleConflictFreeSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for SetAf theories performs inference on the conflict-free extensions.
SimpleConflictFreeSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner
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
simpleDominance - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver
simpleDominance(DungTheory, LatticePartialOrder<Argument, DungTheory>) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: only ranks two arguments if one is better according to quality and cardinality
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
SimpleEagerReasoner - Class in org.tweetyproject.arg.dung.reasoner: simple reasoner for eager semantics
SimpleEagerReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleEagerReasoner
SimpleEagerSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: simple reasoner for eager semantics
SimpleEagerSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner
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
SimpleGroundedSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for SetAf theories performs inference on the grounded extension.
SimpleGroundedSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner
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
SimpleIdealSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for setAf theories performs inference on the ideal extension.
SimpleIdealSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner
SimpleInitialReasoner - Class in org.tweetyproject.arg.dung.reasoner: Basic Implementation of a reasoner for initial sets A set of arguments S is considered initial iff it is non-empty and minimal among the non-empty admissible sets see: Yuming Xu and Claudette Cayrol.
SimpleInitialReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
SimpleLogicalFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces: A formula of a logical language
SimpleMinimalModelProvider - Class in org.tweetyproject.logics.pl.analysis: comptes all minimal models given a set of models
SimpleMinimalModelProvider(ModelProvider<?, PlBeliefSet, InterpretationSet<Proposition, PlBeliefSet, PlFormula>>) - Constructor for class org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider: standard constructor with model provider
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
SimpleModelEnumerator - Class in org.tweetyproject.logics.pl.sat: enumerates all models naivly
SimpleModelEnumerator() - Constructor for class org.tweetyproject.logics.pl.sat.SimpleModelEnumerator
SimpleNaiveReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for naive extensions.
SimpleNaiveReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleNaiveReasoner
SimpleNaiveSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: Reasoner for naive extensions.
SimpleNaiveSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleNaiveSetAfReasoner
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(ASPParser, 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: constructor
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
SimplePreferredSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for setaf theories performs inference on the preferred extensions.
SimplePreferredSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner
SimplePrimeImplicantEnumerator - Class in org.tweetyproject.logics.pl.analysis: computes the prime implicants given a set of minimal models
SimplePrimeImplicantEnumerator(MinimalModelProvider<Proposition, PlBeliefSet, PlFormula>) - Constructor for class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator
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.
SimpleProgramTest() - Method in class org.tweetyproject.lp.asp.parser.AspifParserTest
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.
SimpleResolutionBasedReasoner - Class in org.tweetyproject.arg.dung.reasoner: This reasoner for Dung theories performs inference on the resolution-based family of semantics.
SimpleResolutionBasedReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
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
SimpleSccRecursiveReasoner - Class in org.tweetyproject.arg.dung.reasoner: Universal scc-recursive reasoner initialize with any reasoner for a scc-recursive semantics
SimpleSccRecursiveReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleSccRecursiveReasoner: initialize the scc-recursive reasoner with the given reasoner as base function
SimpleSemiStableReasoner - Class in org.tweetyproject.arg.dung.reasoner: This reasoner calculates claim based semi stable extensions
SimpleSemiStableReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SimpleSemiStableReasoner
SimpleSemiStableSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for setaf theories performs inference on the semi-stable extensions.
SimpleSemiStableSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner
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
SimpleStableSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for setaf theories performs inference on the stable extensions.
SimpleStableSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner
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
SimpleStageSetAfReasoner - Class in org.tweetyproject.arg.setaf.reasoners: This reasoner for setaf theories performs inference on the stage extensions.
SimpleStageSetAfReasoner() - Constructor for class org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner
SimpleTermTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: term test
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
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
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: Deprecated.
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.ClaimSet
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.saf.syntax.ArgumentStructure
size() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
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.commons.util.SetTrie
size() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
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.logics.translators.adfconditional.GeneralValuedBitSet
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
SIZE_OF_KNOWLEDGEBASES - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: SIZE OF KNOWLEDGEBASES
SKEPTICAL - Enum constant in enum org.tweetyproject.commons.InferenceMode: Skeptical inference assesses a formula as true iff it is contained in every model
skepticalAcceptance(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
skepticalQuery(AbstractDialecticalFramework, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
SMALLEST_CONJUNCTS - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: smallest conjuncts
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.
SolidAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for solid admissibility a set of arguments E solid-defends an argument a, iff for all attackers b of a it holds that all arguments c which attack b are in E see: Liu, X., and Chen, W.
SolidAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
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.GurobiOptimizer
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.GurobiOptimizer: 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
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
SomePEAFInducerExample - Class in org.tweetyproject.arg.bipolar.examples
SomePEAFInducerExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.SomePEAFInducerExample
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
sortByValue(Map<PlFormula, Double>) - Static method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator: Convert an unsorted Map to a map sorted by value in ascending order
sortingType - Variable in class org.tweetyproject.comparator.NumericalPartialOrder: The method used for ordering the numerical values according to acceptability.
sortMarkings() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: fix the sorting to prepare linear algebra analysis in particular, assert a fixed ordering for index-based matrix/vector-access
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.ASPParserConstants: 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.ASPParserConstants: RegularExpression Id.
SST - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: SST
ST - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: ST
stable() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
stable(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
STABLE - Static variable in class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel: STABLE
STABLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
StableExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample: StableExample
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: Deprecated, for removal: This API element is subject to removal in a future version.
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: Deprecated.
StableReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
StableReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
StableVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier: Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
StableVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.StableVerifier
STAGE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
STAGE2_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all 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 AGGFUNCTION
STANDARD_EVENTS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample: STANDARD EVENTS
STANDARD_EVENTS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: STANDARD EVENTS
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: STANDARD SMOOTHING FACTOR
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
START_EVENT - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType: INCLUSIVE_GATEWAY
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.xml_to_bpmn: Parse a start event of a BPMN model
StartEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.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 - Interface in org.tweetyproject.machinelearning.rl.mdp: A state in a Markov Decision Process
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.ASPParser
Statements() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
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: Whether parser is static.
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 - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: STG
STG2 - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: STG2
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: local search
StochasticLocalSearch(int, int, double) - Constructor for class org.tweetyproject.math.opt.solver.StochasticLocalSearch
StochasticLocalSearchOnConstrProb - Class in org.tweetyproject.math.opt.solver: Stochastic Local Search On Constraint Problem
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
StrategyBasedExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
StrategyBasedRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the argument ranking approach of [Matt, Toni.
StrategyBasedRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
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.reasoner.sat.execution.Execution: Must only be called once, it is up to the implementation what happens it is called more than once.
stream() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution
stream() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.SequentialExecution
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 - Enum constant in enum 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: Indefeasible implementation of InferenceRule<T>
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.ASPParser
STRING - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
STRING - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: 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
STRONG_ADMISSIBILITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The strong admissibility principle
StrongAdmissibilityPrinciple - Class in org.tweetyproject.arg.dung.principles: Principle of Strong Admissibility A semantics satisfies strong admissibility iff for every extensions E in every AF it holds that: all arguments in E are strongly defended by E, i.e.
StrongAdmissibilityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
StrongAdmissibleExample - Class in org.tweetyproject.arg.dung.examples
StrongAdmissibleExample() - Constructor for class org.tweetyproject.arg.dung.examples.StrongAdmissibleExample
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
StronglyAdmissibleReasoner - Class in org.tweetyproject.arg.dung.reasoner: Reasoner for strong admissibility A set of arguments E is strongly admissible iff all every argument A in E is defended by some argument B in E \ {A} i.e.
StronglyAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner
StronglyUndisputedReasoner - Class in org.tweetyproject.arg.dung.reasoner: Implements the strongly undisputed semantics, as proposed in [Thimm.
StronglyUndisputedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.StronglyUndisputedReasoner: simple constructor
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
subGraphTest() - Method in class org.tweetyproject.arg.prob.ProbTester
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: Class SubsetIteratorExample
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.ChoiceElement
substitute(Term<?>, Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
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 - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
SUM_PLUS - Enum constant in enum 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: calculates sum of values
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 - Enum constant in enum org.tweetyproject.arg.adf.semantics.link.LinkType: Supporting
supports - Variable in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF: A subset of supports from PEAF
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: tests SVM
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.ASPParserTokenManager
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.
SynchronizedSatSolverState - Class in org.tweetyproject.arg.adf.sat.state: A synchronized wrapper of SatSolverState.
SynchronizedSatSolverState(SatSolverState) - Constructor for class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
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.

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 and Interfaces|All Packages|Constant Field Values|Serialized Form