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

I

I_MAXIMALITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle
The I-maximality principle
IaqAcceptabilityReasoner - Class in org.tweetyproject.arg.dung.reasoner
Implements the IAQ approach ("iterative acceptability queries") to determine the set of acceptable arguments of an AF, cf.
IaqAcceptabilityReasoner(AbstractExtensionReasoner, InferenceMode) - Constructor for class org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
Creates a new IaqAcceptabilityReasoner.
Iccma23Parser - Class in org.tweetyproject.arg.dung.parser
Parses abstract argumentation frameworks in the ICCMA 23 format (see also https://iccma2023.github.io/rules.html#input-format).
Iccma23Parser() - Constructor for class org.tweetyproject.arg.dung.parser.Iccma23Parser
 
Iccma23Writer - Class in org.tweetyproject.arg.dung.writer
Writes an abstract argumentation framework into a file of the ICCMA23 format, see https://iccma2023.github.io/rules.html#input-format.

NOTE: this format is a slight variation of the CNF format (see CnfWriter)
Iccma23Writer() - Constructor for class org.tweetyproject.arg.dung.writer.Iccma23Writer
 
IcebergInconsistencyExample - Class in org.tweetyproject.logics.pl.examples
Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter.
IcebergInconsistencyExample() - Constructor for class org.tweetyproject.logics.pl.examples.IcebergInconsistencyExample
Default Constructor
IcebergInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
This class implements the inconsistency measures proposed in [De Bona, Hunter.
IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation) - Constructor for class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure
Creates a new Iceberg Inconsistency Measure with the given consequence operation with default properties.
IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation, boolean) - Constructor for class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure
Creates a new Iceberg Inconsistency Measure with the given consequence operation.
IcebergInconsistencyMeasure.ConsequenceOperation - Enum in org.tweetyproject.logics.pl.analysis
A consequence operation returns parts of knowledge bases.
id - Variable in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
id
id - Variable in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format
ID
id - Variable in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command
Identifier for the command
id - Variable in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics
The identifier of the semantics
id - Variable in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
id
id - Variable in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command
ID of the command
ID - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics
ID
ID - Enum constant in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics
ideal
ID - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
Ideal semantics
ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
IDEAL_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
all semantics
IdealReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner
This reasoner for ABA theories performs inference on the ideal extension.
IdealReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.IdealReasoner
Default
Identifier() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
 
IDENTITY - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
identity
IdentityEquivalence - Class in org.tweetyproject.arg.dung.equivalence
This class defines 'syntactic' equivalence of Argumentation Frameworks, i.e., it checks whether two AFs have exactly the same arguments and attacks.
IdentityEquivalence() - Constructor for class org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
 
IGNORE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.DirHyperGraph
When inverting a DirHyperGraph, ignore self loops (don't add and don't remove)
IGNORE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.Graph
When inverting a graph, ignore self loops (don't add and don't remove)
IllegalCharacterTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
ImAdjunctionInvariance - Class in org.tweetyproject.logics.pl.postulates
The "adjunction invariance" postulate for inconsistency measures: The set notation of knowledge bases should be equivalent to the conjunction of its formulas in terms of inconsistency values.
image - Variable in class org.tweetyproject.arg.delp.parser.Token
The string image of the token.
image - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The string image of the token.
image - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The string image of the token.
image - Variable in class org.tweetyproject.lp.asp.parser.Token
The string image of the token.
image - Variable in class org.tweetyproject.preferences.io.Token
The string image of the token.
ImAttenuation - Class in org.tweetyproject.logics.pl.postulates
The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.
IMaximalityPrinciple - Class in org.tweetyproject.arg.dung.principles
I-Maximality Principle
IMaximalityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple
 
ImConsistency - Class in org.tweetyproject.logics.pl.postulates
The "consistency" postulate for inconsistency measures: Consistent knowledge bases receive the minimal inconsistency value (0) and all inconsistent knowledge bases have strictly positive inconsistency values.
ImContradiction - Class in org.tweetyproject.logics.pl.postulates
The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all non-empty subsets are inconsistent.
ImDominance - Class in org.tweetyproject.logics.pl.postulates
The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.
ImEqualConflict - Class in org.tweetyproject.logics.pl.postulates
The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.
ImExchange - Class in org.tweetyproject.logics.pl.postulates
The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.
ImFreeFormulaDilution - Class in org.tweetyproject.logics.pl.postulates
The "free-formula dilution" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set does not make the inconsistency value larger.
ImFreeFormulaIndependence - Class in org.tweetyproject.logics.pl.postulates
The "free-formula independence" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set (= a free formula) does not change the inconsistency value.
ImIrrelevanceOfSyntax - Class in org.tweetyproject.logics.pl.postulates
The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.
ImMINormalization - Class in org.tweetyproject.logics.pl.postulates
The "MI-normalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.
ImMISeparability - Class in org.tweetyproject.logics.pl.postulates
The "MI-separability" postulate for inconsistency measures: The sum of inconsistency values of two knowledge bases with non-interfering sets of minimal inconsistent subsets should be the same as the inconsistency value of their union.
ImMonotony - Class in org.tweetyproject.logics.pl.postulates
The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.
ImNormalization - Class in org.tweetyproject.logics.pl.postulates
The "normalization" postulate for inconsistency measures: The inconsistency value is always in the unit interval [0,1], making it possible to compare inconsistency values for knowledge bases of different sizes.
ImPenalty - Class in org.tweetyproject.logics.pl.postulates
The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.
Implication - Class in org.tweetyproject.logics.fol.syntax
The implication of first-order logic.
Implication - Class in org.tweetyproject.logics.pl.syntax
This class models the implication of propositional logic.
Implication(Pair<RelationalFormula, RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Implication
Creates a new implication with the given pair of formulas
Implication(Pair<PlFormula, PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Implication
Creates a new implication with the given pair of formulas
Implication(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Implication
Creates a new implication a=>b with the two given formulas
Implication(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Implication
Creates a new implication a=>b with the two given formulas
IMPLICATION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for implication.
ImplicationAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
ImplicationAcceptanceCondition class
ImplicationAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
 
ImplicationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
ImplicationTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
 
ImplicationTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
implies(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
 
implSetPredicate(Predicate, Predicate, List<Term<?>>) - Static method in class org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl
Return set predicate
ImPostulate - Class in org.tweetyproject.logics.pl.postulates
An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.
ImPostulate() - Constructor for class org.tweetyproject.logics.pl.postulates.ImPostulate
Default Constructor
ImPostulateEvaluationExample - Class in org.tweetyproject.logics.pl.examples
Example code illustrating automatic postulate evaluation of inconsistency measures.
ImPostulateEvaluationExample() - Constructor for class org.tweetyproject.logics.pl.examples.ImPostulateEvaluationExample
Default Constructor
ImprovedRiveretTheoryLearner - Class in org.tweetyproject.arg.dung.learning
Implementation of the algorithm for learning (grounded) labelings from with some improvements: Riveret, RĂ©gis, and Guido Governatori.
ImprovedRiveretTheoryLearner(Collection<Argument>, int) - Constructor for class org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner
initialize learner for the given set of arguments
ImSafeFormulaIndependence - Class in org.tweetyproject.logics.pl.postulates
The "safe-formula independence" postulate for inconsistency measures: Removing a safe formula (i.e.
ImSuperAdditivity - Class in org.tweetyproject.logics.pl.postulates
The "super-additivity" postulate for inconsistency measures: The sum of the inconsistency values of two disjoint knowledge bases is not larger than the inconsistency value of the joint knowledge base.
ImWeakDominance - Class in org.tweetyproject.logics.pl.postulates
A weaker variant of the "dominance" postulate using prime implicates, proposed in [Jabbour et al.
IN - Enum constant in enum org.tweetyproject.arg.dung.semantics.ArgumentStatus
IN
IN - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
Initial semantics
INCDEFAULTVALUE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener
TEMPORARY BEGIN
incise(Collection<Collection<T>>) - Method in interface org.tweetyproject.beliefdynamics.kernels.IncisionFunction
Selects from each collection in the given collection one element and returns the collection of all those elements.
incise(Collection<Collection<T>>) - Method in class org.tweetyproject.beliefdynamics.kernels.RandomIncisionFunction
 
IncisionFunction<T> - Interface in org.tweetyproject.beliefdynamics.kernels
This interface models an incision function for kernel contraction, ie a function that incises each of the kernel sets of some set.
Inclusive - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType
Inclusive
INCLUSIVE_GATEWAY - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType
INCLUSIVE_GATEWAY
InclusiveGateway - Class in org.tweetyproject.logics.bpm.syntax
A class to represent inclusive gateways in a BPMN Model
InclusiveGateway() - Constructor for class org.tweetyproject.logics.bpm.syntax.InclusiveGateway
Create a new instance
InclusiveGatewayParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse inclusive gateways in a BPMN model
InclusiveGatewayParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.InclusiveGatewayParser
Create a new instance
INCOMING - Enum constant in enum org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType
Deprecated.
Compare based on the number of incoming links.
incomingDegree(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns the number of incoming links to the given argument.
IncomparableArgumentsTest() - Method in class org.tweetyproject.arg.rankings.RankingsTest
 
IncompleteConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
IncompleteDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
IncompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner
Reasoner for incomplete argumentation frameworks
IncompleteReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
constructor for direct initialization of reasoner
IncompleteReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
constructor for direct initialization of semantics
IncompleteReasonerExample - Class in org.tweetyproject.arg.dung.examples
example of a problem for an incomplete reasoner
IncompleteReasonerExample() - Constructor for class org.tweetyproject.arg.dung.examples.IncompleteReasonerExample
 
IncompleteTheory - Class in org.tweetyproject.arg.dung.syntax
implementation of incomplete argumentation frameworks
IncompleteTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.IncompleteTheory
constructor
InconsistencyGetMeasuresResponse - Class in org.tweetyproject.web.services.incmes
Represents a response object that contains a list of measures related to identified inconsistencies.
InconsistencyGetMeasuresResponse() - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse
Constructs an empty InconsistencyGetMeasuresResponse with uninitialized fields.
InconsistencyGetMeasuresResponse(List<HashMap<String, String>>, String, String) - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse
Constructs a InconsistencyGetMeasuresResponse initialized with measures, a reply message, and an email.
InconsistencyListener - Interface in org.tweetyproject.logics.commons.analysis.streams
Listener interface for listeners of stream-based inconsistency measures.
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.CmdLineImSolver
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.FbInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.MusVarInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.PmInconsistencyMeasure
 
inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.PrimeImplicantBasedInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
This method measures the inconsistency of the given set of formulas.
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.CcInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DHitInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DrasticInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DSumInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MaInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.McscInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MiInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NConsInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NormalizedMicInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NormalizedMiInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.PrInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
 
inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
 
inconsistencyMeasure(PartialProbabilityAssignment) - Method in class org.tweetyproject.arg.prob.analysis.PAInconsistencyMeasure
 
inconsistencyMeasure(BeliefSet<S, ?>) - Method in class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
 
inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure
 
inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure
 
inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure
 
inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure
 
inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure
 
inconsistencyMeasure(Program) - Method in class org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure
 
inconsistencyMeasure(Program) - Method in class org.tweetyproject.lp.asp.analysis.SdInconsistencyMeasure
 
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure
Calculates the inconsistency measure based on the count of cycles in the argumentation framework.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.DrasticInconsistencyMeasure
Calculates the inconsistency measure based on the drastic inconsistency measure.
inconsistencyMeasure(T) - Method in interface org.tweetyproject.arg.dung.analysis.InconsistencyMeasure
Calculates the inconsistency measure of a given Dungian argumentation framework.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.InSumInconsistencyMeasure
Calculates the inconsistency measure of the given Dung theory argumentation framework.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.NonGroundedCountInconsistencyMeasure
 
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.PreferredCountInconsistencyMeasure
Calculates the inconsistency measure of the given argumentation framework based on preferred extensions.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.UnstableCountInconsistencyMeasure
Calculates the unstable count inconsistency measure of the given argumentation framework.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure
Calculates the inconsistency measure of the given Dung theory argumentation framework based on the weighted count of its components.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure
Calculates the inconsistency measure of a given Dung theory argumentation framework by evaluating the cycles within the framework.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure
Calculates the inconsistency measure of a given Dung theory argumentation framework by evaluating the weighted sum of incoming attacks for each argument.
inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure
Calculates the inconsistency measure of a given Dung theory argumentation framework by evaluating the weighted sum of outgoing attacks for each argument.
inconsistencyMeasure(T) - Method in interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
This method measures the inconsistency of the given belief base.
InconsistencyMeasure<T> - Interface in org.tweetyproject.arg.dung.analysis
This interface represents a measure of inconsistency for a Dungian argumentation framework.
InconsistencyMeasure<T> - Interface in org.tweetyproject.logics.commons.analysis
Classes implementing this interface represent inconsistency measures on belief bases.
InconsistencyMeasureEvaluationExample - Class in org.tweetyproject.logics.pl.examples
Example code for using InconsistencyMeasureEvaluator for comparing inconsistency measure implementations.
InconsistencyMeasureEvaluationExample() - Constructor for class org.tweetyproject.logics.pl.examples.InconsistencyMeasureEvaluationExample
Default Constructor
InconsistencyMeasureEvaluator<T,U> - Class in org.tweetyproject.logics.commons.analysis
This class provides functionality to quickly load or generate sample datasets and to use them to compare the results and performances of different inconsistency measure implementations.
InconsistencyMeasureEvaluator() - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Create a new empty InconsistencyMeasureEvaluator.
InconsistencyMeasureEvaluator(Collection<BeliefSetInconsistencyMeasure<T>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Create a new InconsistencyMeasureEvaluator with the given inconsistency measures.
InconsistencyMeasureEvaluator(Collection<U>, Collection<BeliefSetInconsistencyMeasure<T>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measures.
InconsistencyMeasureEvaluator(Collection<U>, BeliefSetInconsistencyMeasure<T>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measure.
InconsistencyMeasureEvaluator(BeliefSetInconsistencyMeasure<T>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
Create a new InconsistencyMeasureEvaluator with the given inconsistency measure.
InconsistencyMeasureFactory - Class in org.tweetyproject.logics.pl.analysis
Main factory for retrieving inconsistency measures for propositional logic.
InconsistencyMeasureFactory() - Constructor for class org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory
Default Constructor
InconsistencyMeasureFactory.Measure - Enum in org.tweetyproject.logics.pl.analysis
An enumeration of all available inconsistency measures.
InconsistencyMeasurementProcess<S> - Class in org.tweetyproject.logics.commons.analysis.streams
The actual process of an inconsistency measure on streams.
InconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Creates a new process for the given stream.
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener
 
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener
 
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in interface org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener
This method is called by a stream-based inconsistency measure when an inconsistency measurement has started.
InconsistencyMeasureReport<T,U> - Class in org.tweetyproject.logics.commons.analysis
This class summarizes the results of computing inconsistency values for some collection of knowledge bases using some set of inconsistency measures, including computation times and some statistics.
InconsistencyMeasureReport(List<String>, List<U>, List<String>, Map<String, List<InconsistencyMeasureResult>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport
Creates a new InconsistencyMeasureReport with the given results, the given list of measures used and the given list of knowledge bases used.
InconsistencyMeasureResult - Class in org.tweetyproject.logics.commons.analysis
This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e.
InconsistencyMeasureResult.Status - Enum in org.tweetyproject.logics.commons.analysis
Enum representing the status of an InconsistencyMeasureResult.
InconsistencyPost - Class in org.tweetyproject.web.services.incmes
Represents a data transfer object for inconsistency calculation requests.
InconsistencyPost() - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyPost
Constructs an empty InconsistencyPost.
InconsistencyPost(String, String, String, String, String, int, String) - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyPost
Constructs an InconsistencyPost with specified values for each field.
inconsistencyTest() - Method in class org.tweetyproject.arg.prob.ProbTester
 
InconsistencyUpdateEvent - Class in org.tweetyproject.logics.commons.analysis.streams
An event that is thrown when an inconsistency value has been updated.
InconsistencyUpdateEvent(StreamBasedInconsistencyMeasure<?>, InconsistencyMeasurementProcess<?>, Double, Formula) - Constructor for class org.tweetyproject.logics.commons.analysis.streams.InconsistencyUpdateEvent
Creates a new event with the given parameters.
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener
 
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener
 
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in interface org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener
This method is called by a stream-based inconsistency measure when an update of an inconsistency value occurs.
InconsistencyValueResponse - Class in org.tweetyproject.web.services.incmes
Represents a response object for inconsistency value calculations.
InconsistencyValueResponse() - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyValueResponse
Default Constructor
InconsistencyValueResponse(String, String, String, String, String, double, double) - Constructor for class org.tweetyproject.web.services.incmes.InconsistencyValueResponse
Constructs a fully initialized InconsistencyValueResponse with the specified details.
INCONSISTENT - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue
inconsistent
INCREASEOFATTACKBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
The INCREASEOFATTACKBRANCH postulate
INCREASEOFDEFENSEBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
The INCREASEOFDEFENSEBRANCH postulate
IncreasingSubsetIterator<T> - Class in org.tweetyproject.commons.util
Iterates over all subsets of a given set.
IncreasingSubsetIterator(Set<T>) - Constructor for class org.tweetyproject.commons.util.IncreasingSubsetIterator
Creates a new subset iterator for the given set.
increment(int) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet
Increments the value at the specified position.
increment(int) - Method in class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet
Increments the value at the specified position.
IncrementalSatSolver - Interface in org.tweetyproject.arg.adf.sat
IncrementalSatSolver interface
Indecision - Class in org.tweetyproject.logics.translators.adfrevision
This class models an indecision operator for 3-valued propositional logic as proposed in [Heyninck 2020] Indecision(a) is true, if formula a is undecided Indecision(a) is false, if formula a is true or false Adapted from the class "Negation"
Indecision(PlFormula) - Constructor for class org.tweetyproject.logics.translators.adfrevision.Indecision
Creates a new negation with the given formula.
Independence - Class in org.tweetyproject.arg.dung.independence
This class implements methods for computing conditional independence of sets of arguments in abstract argumentation Rienstra, Tjitze, et al.
Independence() - Constructor for class org.tweetyproject.arg.dung.independence.Independence
 
INDEPENDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
The INDEPENDENCE postulate
IndependenceExample - Class in org.tweetyproject.arg.dung.examples
Example usage of the Independence class
IndependenceExample() - Constructor for class org.tweetyproject.arg.dung.examples.IndependenceExample
 
independentSets(Set<Collection<E>>, int) - Method in class org.tweetyproject.commons.util.SetTools
Returns all independent sets of the given cardinality of the given set of sets.
INDEX - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants
RegularExpression Id.
IndexedSatSolverState - Interface in org.tweetyproject.arg.adf.sat
The IndexedSatSolverState interface represents a state of a SAT solver with indexed literals.
indexOf(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
indexOf(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
indexOf(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
indexOf(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
indexOf(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
indexOf(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
indexOf(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
IndicatorUtilityFunction - Class in org.tweetyproject.agents.dialogues.structured
This class represents an indicator utility function, i.e.
IndicatorUtilityFunction(Proposition) - Constructor for class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction
Creates a new indicator utility function for the given focal element.
Individual - Class in org.tweetyproject.logics.dl.syntax
This class models an individual in description logic, also known as an object.
Individual(String) - Constructor for class org.tweetyproject.logics.dl.syntax.Individual
Constructs a new individual with the given name.
Individual(Constant) - Constructor for class org.tweetyproject.logics.dl.syntax.Individual
Constructs a new individual by copying another constant.
induce(Consumer<InducibleEAF>) - Method in class org.tweetyproject.arg.bipolar.inducers.ApproxPEAFInducer
Inducer induces inducibleEAFs and gives to a consumer function
induce(Consumer<InducibleEAF>) - Method in class org.tweetyproject.arg.bipolar.inducers.ExactPEAFInducer
Inducer induces inducibleEAFs and gives to a consumer function
induce(Consumer<InducibleEAF>) - Method in class org.tweetyproject.arg.bipolar.inducers.LiExactPEAFInducer
Deprecated.
induce(Consumer<InducibleEAF>) - Method in interface org.tweetyproject.arg.bipolar.inducers.PEAFInducer
Inducer induces inducibleEAFs and gives to a consumer function
InducedArgument - Class in org.tweetyproject.arg.dung.causal.syntax
This class is responsible for the representation of an Argument that was induced by a CausalKnowledgeBase Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia BlĂ¼mel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
InducedArgument(CausalKnowledgeBase, Set<PlFormula>, PlFormula) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.InducedArgument
Creates a causal argument
InducedTheory - Class in org.tweetyproject.arg.dung.causal.syntax
This class describes an abstract argumentation framework that was induced by a CausalKnowledgeBase Reference "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia BlĂ¼mel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
InducedTheory(CausalKnowledgeBase) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.InducedTheory
Creates an abstract argumentation framework, which was induced from a specified causal knowledge base
induceNTimes(Consumer<InducibleEAF>, int) - Method in class org.tweetyproject.arg.bipolar.inducers.AbstractPEAFInducer
Induce n times
inducePro - Variable in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
inducePro
InducibleEAF - Class in org.tweetyproject.arg.bipolar.syntax
This class is an intermediate representation of EAFs that are induced from a PEAF.
InducibleEAF(Set<BArgument>, Set<Support>, Set<EAttack>, Set<BArgument>, double, double) - Constructor for class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
Constructor
INEQUALITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for inequality.
InequalityPredicate - Class in org.tweetyproject.logics.fol.syntax
This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.
InequalityPredicate() - Constructor for class org.tweetyproject.logics.fol.syntax.InequalityPredicate
constructor
Inequation - Class in org.tweetyproject.math.equation
This class models an inequation of two terms.
Inequation(Term, Term, int) - Constructor for class org.tweetyproject.math.equation.Inequation
Creates a new inequation of the given type with the two terms.
InferenceMode - Enum in org.tweetyproject.commons
Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).
InferenceRule<T> - Class in org.tweetyproject.arg.aba.syntax
This class models an inference rule from an ABA theory.
InferenceRule<T> - Class in org.tweetyproject.arg.aspic.syntax
This stands for an inference rule or for a premise if premises has length 0.
InferenceRule() - Constructor for class org.tweetyproject.arg.aba.syntax.InferenceRule
Default
InferenceRule() - Constructor for class org.tweetyproject.arg.aspic.syntax.InferenceRule
Creates an empty instance
InferenceRule(T, Collection<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.InferenceRule
Constructs a new inference rule of rule p -> c if strict or p => c else
INFINITY - Static variable in class org.tweetyproject.logics.cl.semantics.RankingFunction
Integer used to define infinity.
INFINITY - Static variable in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction
Integer used to define infinity.
INFINITY - Static variable in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
Integer used to define infinity.
INFO - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
INFO
InformationObject<T> - Class in org.tweetyproject.beliefdynamics.mas
This class represents a formula annotated with the source of the formula.
InformationObject(T, Agent) - Constructor for class org.tweetyproject.beliefdynamics.mas.InformationObject
Creates a new information object for the given formula and the given source.
informationOrder(FourValuedWorld.TruthValue, FourValuedWorld.TruthValue) - Static method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
This method puts the 4 truth values into an information order
init() - Static method in class org.tweetyproject.arg.delp.TestArguments
 
init() - Static method in class org.tweetyproject.arg.delp.TestDTree
 
init() - Static method in class org.tweetyproject.logics.fol.test.Prover9Test
 
init() - Static method in class org.tweetyproject.logics.fol.test.SPASSTest
 
init() - Static method in class org.tweetyproject.logics.fol.test.TPTPTest
 
init() - Method in class org.tweetyproject.logics.ml.MleanCoPTest
 
init() - Static method in class org.tweetyproject.logics.ml.SPASSTest
 
init() - Static method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
 
init() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest
 
init() - Static method in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest
initializes values
init() - Static method in class org.tweetyproject.lp.asp.analysis.ClingoTest
initializes values
init() - Static method in class org.tweetyproject.lp.asp.analysis.DLVTest
initialzes values
init() - Static method in class org.tweetyproject.lp.asp.parser.ASPParserTest
initializes values
INITIAL_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
all semantics
initializeDefaultProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
initializes a probability function over the edges of this graph according to Random Walk, i.e.
initializeIrregularProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
Initialize a probability function over the edges of this graph according to a stochastic walk.
initializeOrders() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest
initialize orders
initializeRandomProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
Initialize a probability function over the edges of this graph according to a stochastic walk.
initializeWalk() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk
Initialize the walk by setting up an initial state that assigns equal probabilities to each of the graph's initial markings
initKB() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
 
initParser() - Method in class org.tweetyproject.logics.dl.test.DlParserTest
 
initParser() - Method in class org.tweetyproject.logics.dl.test.DlReasonerTest
 
initParser() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
initParser() - Method in class org.tweetyproject.logics.ml.MlParserTest
 
initParser() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
initParsers() - Static method in class org.tweetyproject.arg.delp.TestFormulaParsing
 
initTest() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest
 
initWorld() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
 
Input - Class in org.tweetyproject.arg.dung.learning.syntax
Implementation of the input labeling (here called example) as an extension of normal labeling i.e.
Input() - Constructor for class org.tweetyproject.arg.dung.learning.syntax.Input
simple constructor
Input(DungTheory, Extension, Semantics) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.Input
initialize input labeling from the given extension
INRA - Static variable in class org.tweetyproject.arg.dung.principles.Principle
The Irrelevance of Necessarily Rejected Arguments (INRA) principle
INRAPrinciple - Class in org.tweetyproject.arg.dung.principles
Irrelevance of Necessarily Rejected Arguments (INRA) Principle
INRAPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.INRAPrinciple
 
INSTANCE - Enum constant in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
Instance
INSTANCE - Enum constant in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition
Instance
InstanceAssignment - Class in org.tweetyproject.logics.rpcl.semantics
Instances of this class represent assignenment of true instances for a given predicate wrt.
InstanceAssignment(Predicate) - Constructor for class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
Creates a new instance assignment for the given predicate with no assignments.
InstanceAssignment(Predicate, Map<? extends Collection<? extends Constant>, Integer>) - Constructor for class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
Creates a new instance assignment for the given predicate with the given map.
InstanceAssignment(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Parses an InstanceAssignment from the input stream.
instantiate(double) - Method in class org.tweetyproject.machinelearning.TrainingParameter
Instantiates a new parameter with the given value.
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.CommandParameter
instantiate the command with the given argument string if valid
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
instantiate single string
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter
instantiates a new parameter iff the given value ist valid for this command parameter (for special case with one file);
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter
instantiates a new parameter iff the given value is valid for this command parameter
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter
instantiates a new parameter iff the given value ist valid for this command parameter
instantiate(String) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter
instantiates unary argument if valid
instantiate(String[]) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
instantiates a list of arguments if valid
instantiate(String[]) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter
instantiates a list of arguments if valid
instantiate(ArrayList<String>) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter
Instantiates a `FileListCommandParameter` with the given list of file paths.
instantiate(ArrayList<String>) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter
Instantiates a list of `CommandParameter` objects based on the provided list of strings.
instantiate(Collection<Argument>, Collection<Attack>) - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory
instantiates some possible arguments and attacks
instantiateParameters(TweetyPlugin, ArrayList<ArrayList<String>>) - Static method in class org.tweetyproject.cli.plugins.CliMain
instantiates each given input parameter within the called plugin - if possible
InstantiateVisitor - Class in org.tweetyproject.lp.asp.parser
This visitor iterates over the AST generated by ASPParser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.
InstantiateVisitor() - Constructor for class org.tweetyproject.lp.asp.parser.InstantiateVisitor
 
instantiateWithDefaultValue() - Method in class org.tweetyproject.machinelearning.TrainingParameter
Instantiates a new parameter with the default value.
InSumInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis
This class implements an inconsistency measure for Dung's argumentation frameworks based on the number of attacks within the framework.
InSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.InSumInconsistencyMeasure
 
inSumWithNoAttackReturnsZero() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the InSumInconsistencyMeasure.inconsistencyMeasure(T) method to verify that it returns zero when applied to an attack-free DungTheory framework.
inSumWithThreeEdgesReturnsThree() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the InSumInconsistencyMeasure.inconsistencyMeasure(T) method to verify that it returns three when applied to a DungTheory framework with three edges.
inSumWorksWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the InSumInconsistencyMeasure.inconsistencyMeasure(T) method to verify that it works correctly with cyclic DungTheory frameworks.
IntegerCommandParameter - Class in org.tweetyproject.plugin.parameter
This parameter holds a number-interval of possible arguments
IntegerCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter
Constructs an `IntegerCommandParameter` with the specified identifier and description.
IntegerCommandParameter(String, String, String) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter
Constructs an `IntegerCommandParameter` with the specified identifier, description, and interval.
IntegerCommandParameter(String, String, Interval<Integer>) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter
Constructs an `IntegerCommandParameter` with the specified identifier, description, and interval.
IntegerConstant - Class in org.tweetyproject.math.term
This class encapsulates an integer as a term.
IntegerConstant(int) - Constructor for class org.tweetyproject.math.term.IntegerConstant
Creates a new Integer.
IntegerVariable - Class in org.tweetyproject.math.term
This class models an integer variable as a mathematical term.
IntegerVariable(String) - Constructor for class org.tweetyproject.math.term.IntegerVariable
Creates a new variable with the given name.
IntegerVariable(String, boolean) - Constructor for class org.tweetyproject.math.term.IntegerVariable
Creates a new variable with the given name.
IntegerVariable(String, double, double) - Constructor for class org.tweetyproject.math.term.IntegerVariable
Creates a new variable with the given name and bounds.
IntermediateEvent - Class in org.tweetyproject.logics.bpm.syntax
A class to represent intermediate events of all kinds in a BPMN Model
IntermediateEvent() - Constructor for class org.tweetyproject.logics.bpm.syntax.IntermediateEvent
Create a new instance
IntermediateEventParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse intermediate events in a BPMN model
IntermediateEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.IntermediateEventParser
Create a new instance
InterpolantEnumerator<S> - Interface in org.tweetyproject.logics.commons.analysis
Interface for classes enumerating (Craig) interpolants.
interpretation() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep
Return interpretation
Interpretation - Interface in org.tweetyproject.arg.adf.semantics.interpretation
This class represents a three-valued interpretation of an Abstract Dialectical Framework (ADF).
Interpretation<B,S> - Interface in org.tweetyproject.commons
An interpretation for some logical language.
Interpretation(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Parses an Interpretation (specifically, a ReferenceWorld) from the input stream
Interpretation.Builder - Class in org.tweetyproject.arg.adf.semantics.interpretation
Builder class
InterpretationDistance<T,B,S> - Interface in org.tweetyproject.commons.analysis
Classes implementing this interface represent distance functions between two interpretations.
InterpretationIterator - Class in org.tweetyproject.arg.adf.semantics.interpretation
Creates all possible interpretations while respecting the order of the given arguments.
InterpretationIterator<S,B,T> - Interface in org.tweetyproject.commons
An iterator over interpretations.
InterpretationIterator(Collection<Argument>) - Constructor for class org.tweetyproject.arg.adf.semantics.interpretation.InterpretationIterator
 
InterpretationIteratorTest - Class in org.tweetyproject.arg.adf.util.test
 
InterpretationIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.InterpretationIteratorTest
 
InterpretationProcessor - Interface in org.tweetyproject.arg.adf.reasoner.sat.processor
Performs further processing on interpretations, e.g.
interpretations() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep
Return interpretations
InterpretationSet<T,B,S> - Class in org.tweetyproject.commons
This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
InterpretationSet() - Constructor for class org.tweetyproject.commons.InterpretationSet
Creates a new empty interpretation.
InterpretationSet(Collection<? extends T>) - Constructor for class org.tweetyproject.commons.InterpretationSet
Creates a new interpretation with the given collection of formulas.
InterpretationTrieSet - Class in org.tweetyproject.arg.adf.util
Deprecated.
Was written for failed experiments and is not maintained anymore.
InterpretationTrieSet() - Constructor for class org.tweetyproject.arg.adf.util.InterpretationTrieSet
Deprecated.
Constructs an empty InterpretationTrieSet.
InterpretationTrieSet(List<Interpretation>) - Constructor for class org.tweetyproject.arg.adf.util.InterpretationTrieSet
Deprecated.
Constructs an InterpretationTrieSet and populates it with the given list of interpretations.
Intersection - Class in org.tweetyproject.logics.dl.syntax
This class models an intersection in description logics.
Intersection() - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection
Creates a new (empty) intersection.
Intersection(Collection<? extends ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection
Creates a new intersection with the given inner formulas.
Intersection(ComplexConcept, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection
Creates a new intersection with the two given formulas.
Interval<S> - Class in org.tweetyproject.math
This class contains a set of closed set (interval) of possible numbers
Interval(NumberSet<S>) - Constructor for class org.tweetyproject.math.Interval
interval
Interval(S, S) - Constructor for class org.tweetyproject.math.Interval
interval
intervene(Proposition, boolean) - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel
This method implements the interventional statement, by replacing all structural equations for the specified explainable atom "v" of this causal model with a formula "v = x".
InterventionalStatement - Class in org.tweetyproject.arg.dung.causal.syntax
This class describes an interventional causal statement like: given phi, if v would be x then rho would be true Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia BlĂ¼mel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
InterventionalStatement(HashSet<PlFormula>, HashMap<Proposition, Boolean>, HashSet<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.InterventionalStatement
Creates a new interventional causal statement.
intValue() - Method in class org.tweetyproject.math.ComplexNumber
 
intValue() - Method in class org.tweetyproject.math.probability.Probability
 
invalidSignature() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
 
INVERT_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.DirHyperGraph
When inverting a DirHyperGraph, deal with self loops like ordinary edges (add if not present and remove if present)
INVERT_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.Graph
When inverting a graph, deal with self loops like ordinary edges (add if not present and remove if present)
Invertable - Interface in org.tweetyproject.logics.commons.syntax.interfaces
Formulas implementing this interface have a complement
invokeExecutable(String) - Static method in class org.tweetyproject.commons.util.NativeShell
Executes the given command on the commandline and returns the complete output.
invokeExecutable(String, long) - Static method in class org.tweetyproject.commons.util.NativeShell
invokeExecutable
invokeExecutable(String, long, boolean) - Static method in class org.tweetyproject.commons.util.NativeShell
Executes the given command on the commandline and returns the output up to a given number of lines.
InvolutaryPASemantics - Class in org.tweetyproject.arg.prob.semantics
P is involutary wrt.
InvolutaryPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics
Default
irreducibleHittingSets(Set<Set<E>>) - Method in class org.tweetyproject.commons.util.SetTools
Computes the set of irreducible hitting sets of "sets".
IRRELEVANCEOFSYNTAX - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The IRRELEVANCEOFSYNTAX postulate
IS - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics
IS
IS - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
IS
IS_BETTER - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result
Indicates that the first item is better than the second item.
IS_EQUAL - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result
Indicates that the two items are equal in terms of the comparison criterion.
IS_WORSE - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result
Indicates that the first item is worse than the second item.
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
checks whether argument is acceptable wrt.
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
 
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory
 
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
return true if argument is acceptable with respect to ext argument is acceptable wrt.
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks whether ext defends argument a set of arguments S defends an argument a iff S u {a} is coherent and S attacks each coherent set T, which attacks a
isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.PEAFTheory
 
isAcceptable(DelpArgument, DefeasibleLogicProgram, ComparisonCriterion) - Method in class org.tweetyproject.arg.delp.semantics.DialecticalTree
Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp
isAcceptable(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether the argument 'arg' is defended by the set 'ext'
isAcceptable(Argument, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if every attacker on argument is attacked by some accepted argument wrt.
isAcceptable(Argument, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
returns true if every attacker on argument is successfully attacked by some accepted argument wrt.
isAcceptable(Argument, Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if every attacker on argument is attacked by some accepted argument wrt.
isAcceptable(DungEntity, Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'ext' defends 'entity'.
isAdmissible(Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether 'ext' is admissible, i.e., conflict-free and defends all its arguments
isAdmissible(Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'ext' is admissible.
isAdmissible(AbaExtension<T>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
Checks whether a set of arguments is admissible.
isAdmissible(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if every accepted argument of this is defended by some accepted argument wrt.
isAdmissible(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if every accepted argument of this is defended by some accepted argument wrt.
isAdmissible(FourValuedWorld, Collection<FourValuedWorld>) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics
Check whether a given world constitutes an admissible interpretation
isAlphaConflictFree(T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the given extension is alpha-conflict-free.
isAlphaGammaAdmissible(T, T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the given extension is both alpha-conflict-free and gamma-defensible.
isAlphaGammaComplete(T, T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the given extension is both alpha-gamma-complete.
isAlphaGammaPreferred(T, T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the given extension is alpha-gamma-preferred.
isAlphaGammaStable(T, T, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the given extension is alpha-gamma-stable.
isApplicable(Collection<? extends FolFormula>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
Checks whether this rule is applicaple in the given context literals,
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.AllowingAbstentionPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.DefencePrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.INRAPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ModularizationPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.NaivetyPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.Principle
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SCOOCPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAbstraction
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIndependence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
(non-Javadoc)
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaTotal
 
isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAttenuation
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImConsistency
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImContradiction
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImDominance
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImEqualConflict
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImExchange
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMINormalization
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMISeparability
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMonotony
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImNormalization
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPenalty
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSuperAdditivity
 
isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImWeakDominance
 
isApplicable(Collection<S>) - Method in interface org.tweetyproject.commons.postulates.Postulate
Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
isApplicable(DefaultRule) - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
applicable ^= pre in In and (not jus_i) not in In forall i
isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.AbaRule
Return whether this rule is an assumption
isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
 
isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
 
isAtLeastAsInformativeAs(FourValuedWorld) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
This method compares this world to another world by comparing their information-order
isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.AssertionalAxiom
Determines if the concept involved in the assertion is atomic.
isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
 
isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
 
isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class org.tweetyproject.arg.aspic.semantics.AspicAttack
Determines whether the attack is successful
isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
Determines whether the attack is successful
isAttackBranch(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether the path from b to a is an attack branch, i.e.
isAttacked(Arg, Extension<? extends ArgumentationFramework<?>>) - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework
Determines whether a given argument is attacked by any arguments in the specified extension.
isAttacked(BArgument, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
returns true if some argument of argumentSet attacks argument.
isAttacked(Extension<DungTheory>, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if some argument of ext2 attacks some argument in ext1
isAttacked(Extension<DungTheory>, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
returns true if some argument of ext2 attacks some argument in ext1 and ext1 cannot w-defend itself
isAttacked(Argument, Extension<? extends ArgumentationFramework<?>>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if some argument of ext attacks argument.
isAttacked(Argument, Extension<? extends ArgumentationFramework<?>>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
 
isAttacked(Argument, Extension<? extends ArgumentationFramework<?>>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
 
isAttacked(Argument, Extension<? extends ArgumentationFramework<?>>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if some argument of ext attacks argument.
isAttacked(Argument, Extension<? extends ArgumentationFramework<?>>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
returns true if some argument of ext attacks argument and argument cannot w-defend itself.
isAttacked(Argument, Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether 'a' is attacked by 'b' in the theory
isAttacked(Argument, Argument) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'a' is attacked by 'b'.
isAttacked(Attack, Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether 'a' is attacked by 'b' in the theory
isAttacked(ExtendedAttack, Argument) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'a' is attacked by 'b'.
isAttackedBy(Collection<BArgument>, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks whether some argument in argumentSet1 is attacked by any argument in argumentSet2
isAttackedBy(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks whether argument is attacked by any argument in argumentSet
isAttackedBy(BArgument, BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
Checks whether arg1 is attacked by arg2.
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in interface org.tweetyproject.arg.deductive.semantics.attacks.Attack
Returns "true" iff the first argument is attacked by the second argument.
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.CanonicalUndercut
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Defeat
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DefeatingRebuttal
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectDefeat
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectUndercut
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Rebuttal
 
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Undercut
 
isAttackedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if some argument of ext is attacked by argument.
isAttackedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if some argument of ext is attacked by argument.
isAttackedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
returns true if some argument of ext is attacked by argument and cannot be w-defended by ext.
isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether arg1 is attacked by arg2.
isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework
 
isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
Checks whether arg1 is attacked by arg2.
isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Checks whether arg1 is attacked by arg2 and cannot w-defend itself.
isAttacking() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is attacking.
isAttacking(Set<BArgument>, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Checks whether argumentSet1 is attacking argumentSet2 ie any element of argumentSet1 is attacking any element of argumentSet2
isAttacking(BArgument, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
returns true if some argument of argSet is attacked by argument.
isAttackingAllOtherArguments(Extension<? extends ArgumentationFramework<Argument>>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if arguments attack all other arguments in the theory
isAttackingAllOtherArguments(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if arguments attack all other arguments in the theory
isAttackRelation(ExtendedAttack, DungEntity) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'attack' attacks 'target'.
isBipartite(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph
checks whether the given graph is bipartite or not the algorithm starts at a random node and colors adjacent nodes in alternating colors if two adjacent nodes have the same color, the graph is no bipartite NOTE: This method only works if the given graph is connected
isBipolar() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is bipolar, meaning it is either attacking or supporting.
isChallenged(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
An initial set S is called challenged in F iff there is some other initial set of F which attacks S
isClause() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
 
isClause() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
 
isClause() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
Checks whether this formula is a clause, i.e.
isClosed() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isClosed() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula is closed, i.e.
isClosed() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is closed, meaning all variables are bound by a quantifier.
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isClosed() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isClosed() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
isClosed() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
isClosed() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isClosed() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
isClosed() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isClosed(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
A set of assumptions is closed iff it equals its closure.
isClosed(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks if the given set of arguments is closed under the support relation a set of arguments S is closed iff every argument a in S has support from a non-empty subset of S
isClosed(Set<Variable>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isClosed(Set<Variable>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula is closed, i.e.
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is closed when considering an additional set of bound variables.
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
isClosed(Set<Variable>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isClosed(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of ext
isClosed(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
Tests wether all applicble defaukts from t have been applied
isCoherent() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Determines if the theory is coherent, i.e., if each preferred extension is stable
isCoherent() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the theory is coherent, i.e., if each preferred extension is stable
isCoherent(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks if the set of arguments S is coherent in his argumentation framework S is coherent iff it is closed and N-Cycle-Free
isCoherent(T, T) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the theory is coherent, i.e., if each alpha gamma preferred extension is stable
isComparable(T, T) - Method in class org.tweetyproject.comparator.Order
Return whether the objects are comparable
isComplete() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
 
isComplete() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
Checks whether this term is complete, i.e.
isComplete() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
 
isComplete() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
 
isComplete() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
 
isComplete() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
Checks whether this atom is complete, i.e.
isComplete() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
 
isComplete() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
 
isComplete() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
 
isComplete(Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether 'ext' is complete, i.e., admissible and contains all arguments defended by it
isComplete(Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether 'ext' is complete.
isComplete(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether the given extension is complete wrt.
isComplete(FourValuedWorld, Collection<FourValuedWorld>, ArrayList<PlFormula>, ArrayList<PlFormula>) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics
Check whether a given world constitutes a complete interpretation
isCompliant(ProbabilisticExtension) - Method in class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment
Checks whether the given probabilistic extension is compliant with this partial probability assignment, i.e.
isConflictFree(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.dung.syntax.Attack
returns true if one arguments in arguments attacks another within this attack relation.
isConflictFree(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
returns true if one arguments in arguments attacks another within this attack relation.
isConflictFree(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
Checks whether a set of arguments is conflict-free.
isConflictFree(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks whether the given set is conflict-free wrt.
isConflictFree(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if no accepted argument attacks another one in the set
isConflictFree(Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether the given set of arguments contains no conflicts, i.e., there are no attacks between any of its members
isConflictFree(Collection<DungEntity>) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
Determines whether the given set of arguments/attacks is conflict-free.
isConflictFree(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true if no accepted argument attacks another accepted one in this interpretation wrt.
isConflictFree(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
returns true if one arguments in arguments attacks another within this attack relation.
isCongruent(Labeling) - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
Checks whether the given labeling is congruent to this probabilistic extension, i.e.
isConjunctiveClause() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
 
isConjunctiveClause() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
Checks whether this formula is a conjunctive clause, i.e.
isConnected(Graph<T>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Returns "true" if the graph is (simply) connected, i.e.
isConsistent(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester
 
isConsistent(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver
 
isConsistent(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver
 
isConsistent(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
 
isConsistent(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator
 
isConsistent(Collection<T>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
 
isConsistent(Collection<T>) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.
isConsistent(Set<DefeasibleRule>) - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram
Checks whether the given set of defeasible rules are consistent given the strict part of this program.
isConsistent(ActionDescription<CLaw>) - Method in class org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester
 
isConsistent(ActionDescription<T>) - Method in interface org.tweetyproject.action.description.analysis.ActionDescriptionConsistencyTester
Checks whether the given set of causal rules is consistent.
isConsistent(CActionDescription) - Method in class org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester
Checks whether the given action description in the action language C is consistent.
isConsistent(BeliefSet<PlFormula, ?>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver
 
isConsistent(BeliefSet<PlFormula, ?>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver
 
isConsistent(BeliefSet<S, ?>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
 
isConsistent(BeliefSet<S, ?>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator
 
isConsistent(BeliefSet<T, ?>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
 
isConsistent(BeliefSet<T, ?>) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester
 
isConsistent(ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester
 
isConsistent(PlFormula) - Method in class org.tweetyproject.logics.pl.sat.SatSolver
 
isConsistent(PlFormula) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver
 
isConsistent(S) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
 
isConsistent(S) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator
 
isConsistent(T) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
 
isConsistent(T) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester
Checks whether the given formula is consistent.
isConsistent(T) - Method in interface org.tweetyproject.logics.commons.analysis.ConsistencyTester
Checks whether the given belief base is consistent.
isConstraint() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
 
isConstraint() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
 
isConstraint() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isConstraint() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
Determines if this rule is a constraint.
isConstraint() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isConstraint() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
 
isConstraint() - Method in interface org.tweetyproject.commons.util.rules.Rule
isConstraint
isConstraint() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
 
isConstraint() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isConstraint() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
isConstraint() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
 
isContinuous() - Method in class org.tweetyproject.math.term.Term
Checks whether this term is continuous in all appearing variables.
isContinuous(Variable) - Method in class org.tweetyproject.math.term.AbsoluteValue
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Constant
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Difference
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Exp
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Fraction
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Logarithm
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Maximum
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Minimum
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Power
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Product
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Root
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Sum
 
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Term
Checks whether this term is continuous in v.
isContinuous(Variable) - Method in class org.tweetyproject.math.term.Variable
 
isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule
 
isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
 
isDefenseBranch(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether the path from b to a is a defense branch, i.e.
isDefensible(ArgumentationKnowledgeBase, Argument) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
An argument is called x/y-defensible if it is neither x/y-justified nor x/y-overruled.
isDefinite() - Method in class org.tweetyproject.action.description.syntax.CActionDescription
Checks whether this action description contains any non-definite laws.
isDefinite() - Method in class org.tweetyproject.action.description.syntax.CLaw
Returns true iff this law is definite.
isDefinite() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw
 
isDefinite() - Method in class org.tweetyproject.action.description.syntax.StaticLaw
 
isDependent() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is dependent, meaning it is neither attacking nor supporting.
isDirectSupportedBy(BArgument, BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
Checks whether arg1 is directly supported by arg2.
isDisjoint(Collection<Division>, DungTheory, Semantics) - Static method in class org.tweetyproject.arg.dung.divisions.Division
Checks whether the given set o divisions is disjoint wrt.
isDnf() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is in Disjunctive Normal Form (DNF).
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
Checks whether this formula is in disjunctive normal form.
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isDnf() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isDnf() - Method in class org.tweetyproject.logics.ml.syntax.Necessity
 
isDnf() - Method in class org.tweetyproject.logics.ml.syntax.Possibility
 
isDnf() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isElementOf(S) - Method in class org.tweetyproject.math.Interval
checks, whether an element is within this interval
isEmpty() - Method in class org.tweetyproject.agents.MultiAgentSystem
 
isEmpty() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
 
isEmpty() - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
isEmpty() - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
isEmpty() - Method in class org.tweetyproject.arg.adf.util.MinusSetView
 
isEmpty() - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView
 
isEmpty() - Method in class org.tweetyproject.arg.adf.util.UnionSetView
 
isEmpty() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Returns true if this set contains no arguments.
isEmpty() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
 
isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
 
isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
isEmpty() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
isEmpty() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
 
isEmpty() - Method in class org.tweetyproject.commons.BeliefSet
 
isEmpty() - Method in class org.tweetyproject.commons.DualSetSignature
 
isEmpty() - Method in class org.tweetyproject.commons.InterpretationSet
 
isEmpty() - Method in class org.tweetyproject.commons.QuadrupleSetSignature
 
isEmpty() - Method in interface org.tweetyproject.commons.Signature
Returns true if this signature is empty.
isEmpty() - Method in class org.tweetyproject.commons.SingleSetSignature
 
isEmpty() - Method in class org.tweetyproject.commons.TripleSetSignature
 
isEmpty() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
isEmpty() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
 
isEmpty() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport
 
isEmpty() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
isEmpty() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
isEmpty() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isEmpty() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
isEmpty() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
isEmpty() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
isEmpty() - Method in class org.tweetyproject.logics.rdl.semantics.Extension
 
isEmpty() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
isEmpty() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
 
isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ASPHead
Return true if the head is empty, false otherwise
isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
return true if the rule's head and body are both empty, false otherwise.
isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
 
isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
isEmpty() - Method in class org.tweetyproject.math.Interval
 
isEmpty() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
isEmpty() - Method in class org.tweetyproject.preferences.PreferenceOrder
returns whether the set is empty or not
isEmpty() - Method in class org.tweetyproject.preferences.update.UpdateStream
Checks if the stream is empty.
isEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a is equally acceptable as b, i.e.
isEquivalent(Collection<DungTheory>) - Method in class org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
 
isEquivalent(Collection<DungTheory>) - Method in class org.tweetyproject.arg.dung.equivalence.SerialisationEquivalence
 
isEquivalent(Collection<DungTheory>) - Method in class org.tweetyproject.arg.dung.equivalence.StandardEquivalence
 
isEquivalent(Collection<DungTheory>) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
 
isEquivalent(Collection<T>) - Method in interface org.tweetyproject.arg.dung.equivalence.Equivalence
Checks whether the specified collection of objects are pairwise equivalent
isEquivalent(DungTheory, DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.IdentityEquivalence
 
isEquivalent(DungTheory, DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.SerialisationEquivalence
 
isEquivalent(DungTheory, DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StandardEquivalence
 
isEquivalent(DungTheory, DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence
 
isEquivalent(GeneralComparator<T, R>, Collection<T>) - Method in class org.tweetyproject.comparator.GeneralComparator
Checks whether this ranking is equivalent to the other one wrt.
isEquivalent(PlFormula, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
Checks whether the two formulas are equivalent
isEquivalent(T, T) - Method in interface org.tweetyproject.arg.dung.equivalence.Equivalence
Checks whether the specified objects are equivalent
isEvidenceSupportedAttack(Collection<BArgument>, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
returns true if ext carries out an evidence supported attack on argument ext e-support-attacks an argument a iff a subset S of ext attacks a and all elements of S have e-support from ext.
isExhaustive(Collection<Division>, DungTheory, Semantics) - Static method in class org.tweetyproject.arg.dung.divisions.Division
Checks whether the given set of divisions is exhaustive wrt.
isExtendedProgram() - Method in class org.tweetyproject.lp.asp.syntax.Program
Checks if the program is an extended program, meaning the heads of the literals do not have more than one literal.
isFact() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
 
isFact() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
 
isFact() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isFact() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
Determines if this rule is a fact.
isFact() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isFact() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
 
isFact() - Method in interface org.tweetyproject.commons.util.rules.Rule
isFact
isFact() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
Checks whether this conditional is a fact, i.e.
isFact() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
Checks whether this conditional is a fact, i.e.
isFact() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
isFact() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
 
isFinal() - Method in class org.tweetyproject.logics.petri.syntax.Place
check if this place is a designated final place
isFinal() - Method in class org.tweetyproject.logics.petri.syntax.Transition
Check if a transition is "final", that is, it fixes the final state
isFinite() - Method in class org.tweetyproject.math.matrix.Matrix
Checks whether each entry in this matrix describes a finite number.
isFirm() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
An argument is firm iff it does not contain ordinary premises
isFlat() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
An ABA theory is flat iff all subsets of its argumentation set are closed
isFounded() - Method in class org.tweetyproject.commons.util.rules.Derivation
Checks whether this derivation is founded, i.e.
isGround() - Method in class org.tweetyproject.action.description.syntax.CActionDescription
Checks whether this action description contains any non-ground laws.
isGround() - Method in class org.tweetyproject.action.description.syntax.CLaw
Checks if the CLaw is ground, i.e., if all the atoms in the CLaw are ground.
isGround() - Method in class org.tweetyproject.action.signature.FolAction
Checks whether this action is ground or not.
isGround() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
 
isGround() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isGround() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram
Checks if all the rules in the current collection are grounded.
isGround() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
Checks whether there appear any variables in this rule
isGround() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
isGround() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula
Checks whether this formula is ground, i.e.
isGround() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
Checks whether this formula is ground, i.e.
isGround() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
 
isGround() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
isGround() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
isGround() - Method in class org.tweetyproject.lp.asp.syntax.Program
Checks if the program is ground, meaning if it contains no rules with variables.
isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
 
isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
 
isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
 
isIncomparable(InferenceRule<T>, InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
 
isIncomparable(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a and b are incomparable (i.e.
isIncomparable(T, T) - Method in class org.tweetyproject.comparator.LatticePartialOrder
 
isIncomparable(T, T) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
IsInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis
This class implements the inconsistency measure I_CSP from [Said Jabbour.
IsInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure
Creates a new measure that uses the given MUS enumerator.
isIndependent(Set<Collection<E>>) - Method in class org.tweetyproject.commons.util.SetTools
Checks whether the given set of sets is independent, i.e.
isIndependent(DungTheory, Collection<Argument>, Collection<Argument>, Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.independence.Independence
compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjoint
isIndependent(DungTheory, Collection<Argument>, Collection<Argument>, Collection<Argument>, boolean) - Static method in class org.tweetyproject.arg.dung.independence.Independence
compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjoint
isIndependentGiven(DungTheory, Collection<Argument>, Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.independence.Independence
compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjoint
isIndependentGiven(DungTheory, Collection<Argument>, Collection<Argument>, boolean) - Static method in class org.tweetyproject.arg.dung.independence.Independence
compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjoint
isIndirectAttack(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether "arg1" indirectly attacks "arg2", i.e.
isInitial() - Method in class org.tweetyproject.logics.petri.syntax.Place
check if this place is a designated initial place
isInitial(Marking) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
Check whether the marking is an initial marking
isInitial(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
Check whether a marking is a designated initial marking
isInjective(Map<? extends Object, ? extends Object>) - Static method in class org.tweetyproject.commons.util.MapTools
Checks whether the given map is injective, i.e.
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.CompleteReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.IdealReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.PreferredReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.StableReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.deductive.reasoner.CompilationReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.deductive.reasoner.SimpleDeductiveReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner
Return is installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner
this method always returns true because the solver is native
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner
this method always returns true because the solver is native
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.ProboReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner
this method always returns true because the solver is native
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
this method always returns true because the solver is native
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SatStableReasoner
this method always returns true because the solver is native
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SCF2Reasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.Stage2Reasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner
The reasoner is native and thus always installed
isInstalled() - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.prob.reasoner.SimplePafReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner
Is installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.SerialisableRankingReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
natively installed
isInstalled() - Method in class org.tweetyproject.arg.saf.reasoner.OutputReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner
 
isInstalled() - Method in class org.tweetyproject.arg.social.reasoner.IssReasoner
 
isInstalled() - Method in interface org.tweetyproject.commons.QualitativeReasoner
Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.
isInstalled() - Method in interface org.tweetyproject.commons.QuantitativeReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.CReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.SimpleCReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.ZReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator
 
isInstalled() - Method in class org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator
 
isInstalled() - Method in class org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner
the solver is natively installed and is therefore always installed
isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.IteratingMlnReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.SimpleSamplingMlnReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.pl.analysis.CmdLineImSolver
Return if the solver is installed
isInstalled() - Method in class org.tweetyproject.logics.pl.reasoner.SatReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.pl.reasoner.SimplePlReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.MarcoMusEnumerator
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.MimusMusEnumerator
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver
 
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.SatSolver
Return whether the solve ris installed
isInstalled() - Method in class org.tweetyproject.logics.pl.sat.SimpleDpllSolver
 
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.CadetSolver
 
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.CaqeSolver
 
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.GhostQSolver
 
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver
Return installation status
isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.QuteSolver
 
isInstalled() - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner
 
isInstalled() - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
 
isInstalled() - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver
 
isInstalled() - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver
 
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsCMAESOptimizer
Return if it is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsSimplex
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.BfgsSolver
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GlpkSolver
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GradientDescent
return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GurobiOptimizer
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.HessianGradientDescent
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.LagrangeSolver
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.LpSolve
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.OctaveSqpSolver
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver
Return if solver is installed
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics
 
isInstalled() - Static method in class org.tweetyproject.math.opt.solver.Solver
Checks whether the solver of this class is actually installed, i.e.
isInteger() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
Checks whether this problem is integer, i.e.
isInteger() - Method in class org.tweetyproject.math.term.AssociativeOperation
 
isInteger() - Method in class org.tweetyproject.math.term.BinaryVariable
 
isInteger() - Method in class org.tweetyproject.math.term.Difference
 
isInteger() - Method in class org.tweetyproject.math.term.FloatConstant
 
isInteger() - Method in class org.tweetyproject.math.term.FloatVariable
 
isInteger() - Method in class org.tweetyproject.math.term.Fraction
 
isInteger() - Method in class org.tweetyproject.math.term.FunctionalTerm
 
isInteger() - Method in class org.tweetyproject.math.term.IntegerConstant
 
isInteger() - Method in class org.tweetyproject.math.term.IntegerVariable
 
isInteger() - Method in class org.tweetyproject.math.term.Term
Checks whether this term represents an integer value.
isInterpolant(PlFormula, Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator
 
isInterpolant(S, Collection<S>, Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.InterpolantEnumerator
Checks whether the given formula "candidate" is an interpolant of k1 wrt.
isIsomorphic(Graph<? extends Node>, Graph<? extends Node>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Checks whether the two graphs are isomorphic.
isJustificationProblem() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem
 
isJustificationProblem() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
 
isJustified(ArgumentationKnowledgeBase, ASPLiteral) - Method in class org.tweetyproject.arg.lp.reasoner.LiteralReasoner
A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
isLinear() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
Checks whether every constraint of this problem is linear.
isLinear() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
 
isLinear() - Method in class org.tweetyproject.math.term.FunctionalTerm
 
isLinear() - Method in class org.tweetyproject.math.term.Power
 
isLinear() - Method in class org.tweetyproject.math.term.Term
Checks whether this term is linear.
isLiteral() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
 
isLiteral() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
 
isLiteral() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isLiteral() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
 
isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
 
isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
 
isLiteral() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
 
isLiteral() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
isLiteral() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
 
isLiteral() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is a literal.
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
Indicates whether this concept is a literal.
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.Complement
Determines whether this complement is a literal.
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
 
isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isLiteral() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
isLiteral() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.Negation
 
isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
 
isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
 
isLiteral() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isLiteral() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
isLiteral() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
 
isLiteral() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
 
isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
 
isLiteral() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isMappedToTrue(FolAtom) - Method in class org.tweetyproject.action.transitionsystem.State
Returns true iff the fluent given is mapped to true by this state.
isMConflictFree(DungTheory, Collection<Argument>, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is m-conflict-free, cf.
isMediatedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Checks whether there exists a mediated attack from "arg1" to "arg2", i.e.
isMinimal() - Method in class org.tweetyproject.commons.util.rules.Derivation
Checks whether this derivation is minimal with respect to set inclusion.
isMinimalEvidenceSupportedAttack(Collection<BArgument>, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
returns true if ext carries out a minimal evidence supported attack on argument i.e.
isMinimumFree() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
Checks whether this problem uses no minimum function.
isMinimumFree() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
 
isMNAdmissible(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is mn-admissible, cf.
isMNComplete(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is mn-complete, cf.
isMNGrounded(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is mn-grounded, cf.
isMNPreferred(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is mn-preferred, cf.
isMStable(DungTheory, Collection<Argument>, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Checks whether the given set of arguments is m-stable, cf.
isNCycleFree(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks if a set of arguments S is N-Cycle-Free in this argumentation framework ie.
isNCycleFreeIn(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks if argument is N-Cycle-Free in the set of arguments
isNecessaryCredulous(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
Decides whether the given argument is a necessary credulous conclusion of the incomplete theory
isNecessarySkeptical(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
Decides whether the given argument is a necessary skeptical conclusion of the incomplete theory
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm
 
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm
A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1
isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.TNorm
A T-norm is nilpotent if there are x,y>0 with t(x,y)=0
isNonBipolar() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is non-bipolar, meaning it is neither attacking nor supporting.
isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableDungTheory
 
isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableExtension
 
isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableFormulaSet
 
isNoOperation() - Method in interface org.tweetyproject.agents.Executable
Indicates whether this operation can be regarded as no operation at all.
isNormal(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
Tests, whether the default is normal normal ^= a:c/c
isNormalized() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
Checkes whether this OCF is normalized, i.e.
isNormalized() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
Check whether this PD is normalized, i.e.
isNormalized() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
Checkes whether this OCF is normalized, i.e.
isNormalized() - Method in class org.tweetyproject.math.equation.Equation
 
isNormalized() - Method in class org.tweetyproject.math.equation.Inequation
 
isNormalized() - Method in class org.tweetyproject.math.equation.Statement
Checks whether this constraint is of normalized form, i.e.
isNormalized() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
Checks whether this probability function is normalized, i.e.
isNumeric(String) - Static method in class org.tweetyproject.commons.Parser
Checks whether the given string is a number.
isOptimizationStatement() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
Return true if isOptimizationStatement
isOrderedBefore(T, T) - Method in class org.tweetyproject.comparator.Order
Checks whether object1 is ordered before object2.
IsoSafeEnumeratingDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util
This generator generators all possible Dung argumentation theories (modulo graph isomorphism).
IsoSafeEnumeratingDungTheoryGenerator() - Constructor for class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
Creates a new enumerating Dung theory generator.
isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.DualSetSignature
 
isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
 
isOverlappingSignature(Signature) - Method in interface org.tweetyproject.commons.Signature
Checks whether this signature has common elements with the given signature, i.e.
isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.SingleSetSignature
 
isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.TripleSetSignature
 
isOverlappingSignature(Signature) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
 
isOverruled(ArgumentationKnowledgeBase, Argument) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.
isOverruled(ArgumentationKnowledgeBase, ASPLiteral) - Method in class org.tweetyproject.arg.lp.reasoner.LiteralReasoner
A literal is called x/y-overruled, iff it is not x/y-justified.
isPositive() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
Checks if this literal is positive.
isPositive() - Method in class org.tweetyproject.math.term.Variable
Checks whether this variables should be positive.
isPossibleCredulous(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
Decides whether the given argument is a possible credulous conclusion of the incomplete theory
isPossibleSkeptical(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
Decides whether the given argument is a possible skeptical conclusion of the incomplete theory
isProcess() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
process <=> all defaults are unique and applicable in sequence
isQuadratic() - Method in class org.tweetyproject.math.term.Term
Checks whether this term is quadratic.
isRedundant() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is redundant, meaning it is both attacking and supporting.
isReinstatementSet(Collection<Attack>, Argument, Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether 'W' is a reinstatement set for the attack (a,b) A set of attacks W is a reinstatement set for an attack (a,b) iff (a,b) is an attack undisturbed by the set S and W contains all attack originating from S necessary to reinstate the attack (a,b) against all its attacks
isRelated(T, T) - Method in interface org.tweetyproject.preferences.BinaryRelation
returns whether the elements a and b are related
isRelated(T, T) - Method in class org.tweetyproject.preferences.PreferenceOrder
returns whether the elements a and b are related
isRelativelyCoherent() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Determines if the theory is relatively coherent, i.e., if the grounded extension coincides with the intersection of all preferred extensions
isRelativelyCoherent() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the theory is relatively coherent, i.e., if the grounded extension coincides with the intersection of all preferred extensions
isRelativelyCoherent(T, T) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines if the theory is relatively coherent, i.e., if the alpha gamma grounded extension coincides with the intersection of all alpha gamma preferred extensions
isRepresentable(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Checks whether the given formula can be represented by this signature.
isSafe() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
This method tests a rule for safety.
isSafe() - Method in class org.tweetyproject.lp.asp.syntax.Program
Returns true if the program is safe, i.e.
isSame(LatticePartialOrder<T, R>) - Method in class org.tweetyproject.comparator.LatticePartialOrder
Return if they are the same
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver
Checks whether the given set of formulas is satisfiable.
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.MaxSatSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver
Checks whether the given set of formulas is satisfiable.
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SimpleDpllSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.CadetSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.CaqeSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.GhostQSolver
 
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver
Checks whether the given set of formulas is satisfiable.
isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QuteSolver
 
isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver
Return "true" if the set is consistent.
isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>) - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver
 
isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver
 
isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver
Checks whether the given set of formulas is satisfiable.
isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, List<String>) - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.AllowingAbstentionPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.DefencePrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.INRAPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ModularizationPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.NaivetyPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.NonInterferencePrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.Principle
Computes whether the given extension reasoner (i.e.
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SCOOCPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SemiDirectionalityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.WeakDirectionalityPrinciple
 
isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAbstraction
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIndependence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
Return status
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaTotal
 
isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence
 
isSatisfied(Collection<Argument>, PostulateEvaluatable<Argument>) - Method in class org.tweetyproject.arg.dung.principles.Principle
 
isSatisfied(Collection<Argument>, PostulateEvaluatable<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
 
isSatisfied(Collection<PlFormula>, PostulateEvaluatable<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAttenuation
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImConsistency
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImContradiction
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImDominance
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImEqualConflict
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImExchange
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMINormalization
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMISeparability
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMonotony
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImNormalization
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPenalty
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate
Return whether the formulas are satisfied
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSuperAdditivity
 
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImWeakDominance
 
isSatisfied(Collection<S>, PostulateEvaluatable<S>) - Method in interface org.tweetyproject.commons.postulates.Postulate
Checks whether this postulate is satisfied by the given approach ev wrt.
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in interface org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester
Checks whether the given transition system satisfies the given action queries.
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in class org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester
 
isSatisfied(TransitionSystem, BeliefBase) - Method in interface org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester
Checks whether the given transition system satisfies the given action queries.
isSatisfied(TransitionSystem, BeliefBase) - Method in class org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester
 
isSinglePath() - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode
Checks whether the tree rooted at this node is a single path
isSingleStep() - Method in class org.tweetyproject.agents.dialogues.structured.SasAgent
Checks whether this agent is a single-step argumentation agent, i.e.
isSMA(Extension<DungTheory>, Extension<DungTheory>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Determines whether the given attacker Extension is a set-maximal attack on the attacked Extension.
isSolidlyDefendedBy(Argument, Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner
 
IssReasoner - Class in org.tweetyproject.arg.social.reasoner
This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and Joàƒo Leite.
IssReasoner(SimpleProductSemantics, double) - Constructor for class org.tweetyproject.arg.social.reasoner.IssReasoner
Creates a new reasoner.
isStable(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether the given extension is stable wrt.
isStable(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
Checks whether the given extension is stable wrt.
isStrict() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
An argument is strict iff it does not contain defeasible subrules
isStrict() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
Returns "true" iff this formula is strict.
isStrictlyLessAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a is strictly less acceptable than b, i.e.
isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
 
isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
 
isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
 
isStrictlyLessOrEquallyAcceptableThan(InferenceRule<T>, InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
 
isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.
isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.LatticePartialOrder
 
isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
isStrictlyMoreAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a is strictly more acceptable than b, i.e.
isStrictlyMoreOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
Returns "true" iff a is strictly more acceptable than b or a is equally acceptable as b, i.e.
isStrictSubsetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
isStrictSupersetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
isStronglyCoherent(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
checks whether the given set of arguments is strongly coherent in this argumentation framework a set of arguments is strongly coherent iff it is coherent an conflict-free
isStronglyDefendedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether a specified argument is strongly defended by the given set of arguments.
isStronglyDefendedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
 
isStrongSubargumentOf(DelpArgument) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument
Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argument
isSubargumentOf(DelpArgument) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument
Checks whether this argument is a subargument of the given argument
isSubArgumentOf(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
Checks wheter this is a direct or indirect subargument of arg
isSubsetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
isSubSignature(Signature) - Method in class org.tweetyproject.commons.DualSetSignature
 
isSubSignature(Signature) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
 
isSubSignature(Signature) - Method in interface org.tweetyproject.commons.Signature
Checks whether this signature is a sub-signature of the given signature, i.e.
isSubSignature(Signature) - Method in class org.tweetyproject.commons.SingleSetSignature
 
isSubSignature(Signature) - Method in class org.tweetyproject.commons.TripleSetSignature
 
isSubSignature(Signature) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
 
isSubsumedBy(ComplexConcept, ComplexConcept) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation
Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation.
isSuccessful() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
successfull <=> there is no x: x in In and x in Out
isSuperMediatedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Checks whether there exists a super-mediated attack from "arg1" to "arg2", i.e.
isSupersetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
isSupport(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether "arg1" supports "arg2", i.e.
isSupport(Argument, Argument) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Checks whether "arg1" supports "arg2", i.e.
isSupportedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
Checks whether there exists a supported attack from "arg1" to "arg2", i.e.
isSupportedBy(EAFTheory, BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.BArgument
Checks if this argument is supported by another argument in the given theory.
isSupporting() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType
Checks if the link is supporting.
isSyntacticallyEquivalent(HerbrandInterpretation, Collection<? extends Collection<? extends Constant>>) - Method in class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation
Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.
isSyntacticallyEquivalent(MlHerbrandInterpretation, Collection<? extends Collection<? extends Constant>>) - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation
Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.
isTargetLinear() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
Checks whether the target function is linear.
isTerminal() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode
Return whether this state is considered terminal
isTerminal(S) - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess
Checks whether the given state is terminal
isTotal() - Method in interface org.tweetyproject.preferences.BinaryRelation
checks whether the set is total or not
isTotal() - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether the set is total or not
isTransient() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
Checks if this literal is transient.
isTransitive() - Method in interface org.tweetyproject.preferences.BinaryRelation
checks whether the given set is transitive or not
isTransitive() - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether the given set is transitive or not
isTwoValued() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
Decide whether this world is two-valued or not
isTyped() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
 
isTyped() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
 
isUnattacked(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
A set S is called unattacked if there is no attacker of S in F
isUnchallenged(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner
An initial set S is called unchallenged in F iff there is no other initial set of F which attacks S
isUndisturbedAttack(Argument, Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether there is an undisturbed attack from 'a' to 'b' given 'ext', i.e., whether 'a' attacks 'b' and there is no extended attack from some element of 'ext' onto the attack (a,b)
isUndisturbedAttack(Attack, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Determines whether there is an undisturbed attack from 'a' to 'b' given 'ext', i.e., whether 'a' attacks 'b' and there is no extended attack from some element of 'ext' onto the attack (a,b)
isValid() - Method in interface org.tweetyproject.preferences.BinaryRelation
checks whether the preference order is valid (transitive, total and unique)
isValid() - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether the given set represents a valid preference order
isValid(String) - Method in class org.tweetyproject.plugin.parameter.CommandParameter
Checks, if the given String is a valid argument for this command parameter
isValid(String) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
valid iff string matches criteria
isValid(String) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter
checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter
checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter
checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter
checks each input string for validity
isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack
 
isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman
 
isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
checks if a given solution is valid under all constraints
isValid(Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.divisions.Division
Checks whether this division is valid wrt.
isValid(Map<Variable, Constant>) - Method in interface org.tweetyproject.action.grounding.GroundingRequirement
This method checks if an assignment of constants to variables satisfies a given grounding condition.
isValid(Map<Variable, Constant>) - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement
 
isValid(Map<Variable, Constant>) - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement
 
isValid(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.divisions.Division
Checks whether this division is valid wrt.
isValid(StructuredArgumentationFramework) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
Checks whether this argument structure is valid wrt.
isValid(Statement) - Method in class org.tweetyproject.math.equation.Equation
 
isValid(Statement) - Method in class org.tweetyproject.math.equation.Inequation
 
isValid(Statement) - Method in class org.tweetyproject.math.equation.Statement
checks if a Statement fulfills the relation
isValidFormula(Formula) - Method in class org.tweetyproject.action.signature.ActionSignature
Checks if a given formula is valid in the sense of an action description.
isValidGroundingApplication(Map<Variable, Constant>, Set<GroundingRequirement>) - Static method in class org.tweetyproject.action.grounding.GroundingTools
Checks a grounding application for compliance with the grounding requirements.
isWeaklyDefendedBy(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner
Computes whether E w-defends X i.e.
isWeightedGraph() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
 
isWeightedGraph() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
 
isWeightedGraph() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
 
isWeightedGraph() - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
 
isWeightedGraph() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
isWeightedGraph() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
Indicates whether the framework is weighted.
isWeightedGraph() - Method in class org.tweetyproject.graphs.DefaultGraph
 
isWeightedGraph() - Method in interface org.tweetyproject.graphs.DirHyperGraph
Checks whether this DirHyperGraph only contains weighted edges.
isWeightedGraph() - Method in interface org.tweetyproject.graphs.Graph
Checks whether this graph only contains weighted edges.
isWeightedGraph() - Method in class org.tweetyproject.graphs.HyperGraph
 
isWeightedGraph() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
 
isWeightedGraph() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
 
isWeightedGraph() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
 
isWellBound() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isWellBound() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula is well-bound, i.e.
isWellBound() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is well-bound, meaning no variable is bound more than once.
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isWellBound() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
isWellBound() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
isWellBound() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isWellBound() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
isWellBound() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
isWellBound(Set<Variable>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula is well-bound, i.e.
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula is well-bound when considering an additional set of bound variables.
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
isWellBound(Set<Variable>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
isWellFormed() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
 
isWellFormed() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
isWellFormed() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula
Checks if this formula is well formed in the logical langauge.
isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
Tests whether this formula is well-formed, i.e.
isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
 
isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
 
isWellFormed() - Method in class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess
Checks whether this MDP is well-formed, i.e.
isWellFormed(Collection<S>) - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy
Checks whether this policy is well-formed, i.e.
isWellFounded() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
returns true iff the theory is well-founded, i.e., there is no infinite sequence A1,A2,...
isWellFounded() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
returns true iff the theory is well-founded, i.e., there is no infinite sequence A1,A2,...
isWithinTolerance(Probability) - Method in class org.tweetyproject.math.probability.Probability
Checks whether the given probability is "nearly" the same as this probability (given the actual precision).
itemStateChanged(ItemEvent) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter
 
itemStateChanged(ItemEvent) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
 
IteratedGradedDefenseReasoner - Class in org.tweetyproject.arg.rankings.reasoner
This class implements the argument ranking approach of [Grossi, Modgil.
IteratedGradedDefenseReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner
Default Constructor
IteratedGradedDefenseReasonerExample - Class in org.tweetyproject.arg.rankings.examples
Example code for using the iterated graded semantics from [Grossi, Modgil.
IteratedGradedDefenseReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.IteratedGradedDefenseReasonerExample
Default Constructor
IteratedLocalSearch - Class in org.tweetyproject.math.opt.solver
implements the Iterates local search algorithm for combinatorial problems
IteratedLocalSearch(double, int, int) - Constructor for class org.tweetyproject.math.opt.solver.IteratedLocalSearch
Constructs an IteratedLocalSearch instance with the specified parameters.
IteratedLocalSearchOnConstrProb - Class in org.tweetyproject.math.opt.solver
implements the Iterates local search algorithm for optimization problems
IteratedLocalSearchOnConstrProb(double, int, int) - Constructor for class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
Constructor
IteratedLocalSearchOnConstrProbEx - Class in org.tweetyproject.math.examples
This class implements an example for Tabu search.
IteratedLocalSearchOnConstrProbEx() - Constructor for class org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx
Construcot
iterateExamples(int, int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample
Generates a pair of a MarkovLogicNetwork and a FolSignature based on the example number.
IteratingMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner
This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.
IteratingMlnReasoner(AbstractMlnReasoner, long) - Constructor for class org.tweetyproject.logics.mln.reasoner.IteratingMlnReasoner
Creates a new IteratingMlnReasoner for the given MLN reaasoner.
IterativePolicyEvaluation<S,A> - Class in org.tweetyproject.machinelearning.rl.mdp.algorithms
Determines utilities iteratively.
IterativePolicyEvaluation(long) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.algorithms.IterativePolicyEvaluation
Creates a new policy evaluation algorithm
iterator() - Method in class org.tweetyproject.action.signature.FolAction
 
iterator() - Method in class org.tweetyproject.agents.MultiAgentSystem
 
iterator() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
 
iterator() - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet
Deprecated.
 
iterator() - Method in class org.tweetyproject.arg.adf.util.MinusSetView
 
iterator() - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView
 
iterator() - Method in class org.tweetyproject.arg.adf.util.UnionSetView
 
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Returns an iterator over the arguments in this set.
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.BArgument
Returns an iterator over the arguments in this set.
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
 
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
 
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
 
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
 
iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
 
iterator() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
iterator() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
 
iterator() - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
iterator() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
 
iterator() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
iterator() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
 
iterator() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
iterator() - Method in class org.tweetyproject.commons.BeliefSet
 
iterator() - Method in class org.tweetyproject.commons.examples.SubsetIteratorExample
iterator for subsets
iterator() - Method in class org.tweetyproject.commons.InterpretationSet
 
iterator() - Method in class org.tweetyproject.commons.SingleSetSignature
 
iterator() - Method in class org.tweetyproject.graphs.DefaultGraph
 
iterator() - Method in interface org.tweetyproject.graphs.DirHyperGraph
 
iterator() - Method in interface org.tweetyproject.graphs.Graph
 
iterator() - Method in class org.tweetyproject.graphs.HyperGraph
 
iterator() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
 
iterator() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
iterator() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
iterator() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
iterator() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
 
iterator() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
 
iterator() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
iterator() - Method in class org.tweetyproject.logics.rdl.semantics.Extension
 
iterator() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
iterator() - Method in class org.tweetyproject.math.Interval
 
iterator() - Method in class org.tweetyproject.preferences.PreferenceOrder
 
iterator(Set<Triple<T, T, Relation>>) - Method in class org.tweetyproject.preferences.PreferenceOrder
returns an iterator over a set of triples
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