I-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 All Packages

I

i - Variable in class net.sf.tweety.math.term.IntegerConstant: the actual integer.
id - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode: The id of this node.
id - Variable in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
id - Variable in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
id - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
ID - net.sf.tweety.arg.dung.semantics.Semantics
ID - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
ID - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
ID - Static variable in class net.sf.tweety.web.services.DelpService: The identifier of this service.
ID - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService: The identifier of this service.
ID - Static variable in class net.sf.tweety.web.services.PingService: The identifier of this service.
IDEAL_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
IdealReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
IdealReasoner() - Constructor for class net.sf.tweety.arg.aba.reasoner.IdealReasoner
identifier - Variable in class net.sf.tweety.plugin.parameter.CommandParameter: The identifier string for the command parameter
Identifier() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
IdentifierNode(String, Map<String, Argument>) - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IdentifierNode
idx - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator: The index of the next theory to be returned.
idx2newVars - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver: A map mapping indices to new variables.
IffNode() - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.IffNode
ifFormula - Variable in class net.sf.tweety.action.description.syntax.CLaw
IGNORE_SELFLOOPS - Static variable in interface net.sf.tweety.graphs.Graph: When inverting a graph, ignore self loops (don't add and don't remove)
ignoreNotFeasibleError - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
ignoreUndeclaredConstants - Variable in class net.sf.tweety.logics.fol.parser.FolParser: Do not raise exceptions when encountering new constants, all new constants are treated as THING
IllegalCharacterTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
ImAdjunctionInvariance - Class in net.sf.tweety.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.
ImAdjunctionInvariance() - Constructor for class net.sf.tweety.logics.pl.postulates.ImAdjunctionInvariance: Protected constructor so one uses only the single instance ImPostulate.ADJUNCTIONINVARIANCE
image - Variable in class net.sf.tweety.arg.delp.parser.Token: The string image of the token.
image - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: The string image of the token.
image - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: The string image of the token.
image - Variable in class net.sf.tweety.lp.asp.parser.Token: The string image of the token.
image - Variable in class net.sf.tweety.preferences.io.Token: The string image of the token.
imagPart - Variable in class net.sf.tweety.math.ComplexNumber: The imaginary part of this complex number.
ImAttenuation - Class in net.sf.tweety.logics.pl.postulates: The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.
ImAttenuation() - Constructor for class net.sf.tweety.logics.pl.postulates.ImAttenuation: Protected constructor so one uses only the single instance ImPostulate.ATTENUATION
ImConsistency - Class in net.sf.tweety.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.
ImConsistency() - Constructor for class net.sf.tweety.logics.pl.postulates.ImConsistency: Protected constructor so one uses only the single instance ImPostulate.CONSISTENCY
ImContradiction - Class in net.sf.tweety.logics.pl.postulates: The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all non-empty subsets are inconsistent.
ImContradiction() - Constructor for class net.sf.tweety.logics.pl.postulates.ImContradiction: Protected constructor so one uses only the single instance ImPostulate.CONTRADICTION
ImDominance - Class in net.sf.tweety.logics.pl.postulates: The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.
ImDominance() - Constructor for class net.sf.tweety.logics.pl.postulates.ImDominance: Protected constructor so one uses only the single instance ImPostulate.DOMINANCE
ImEqualConflict - Class in net.sf.tweety.logics.pl.postulates: The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.
ImEqualConflict() - Constructor for class net.sf.tweety.logics.pl.postulates.ImEqualConflict: Protected constructor so one uses only the single instance ImPostulate.EQUALCONFLICT
ImExchange - Class in net.sf.tweety.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.
ImExchange() - Constructor for class net.sf.tweety.logics.pl.postulates.ImExchange: Protected constructor so one uses only the single instance ImPostulate.EXCHANGE
ImFreeFormulaDilution - Class in net.sf.tweety.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.
ImFreeFormulaDilution() - Constructor for class net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution: Protected constructor so one uses only the single instance ImPostulate.FREEFORMULADILUTION
ImFreeFormulaIndependence - Class in net.sf.tweety.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.
ImFreeFormulaIndependence() - Constructor for class net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence: Protected constructor so one uses only the single instance ImPostulate.FREEFORMULAINDEPENDENCE
ImIrrelevanceOfSyntax - Class in net.sf.tweety.logics.pl.postulates: The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.
ImIrrelevanceOfSyntax() - Constructor for class net.sf.tweety.logics.pl.postulates.ImIrrelevanceOfSyntax: Protected constructor so one uses only the single instance ImPostulate.IRRELEVANCEOFSYNTAX
ImMINormalization - Class in net.sf.tweety.logics.pl.postulates: The "MI-normalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.
ImMINormalization() - Constructor for class net.sf.tweety.logics.pl.postulates.ImMINormalization: Protected constructor so one uses only the single instance ImPostulate.MINORMALIZATION
ImMonotony - Class in net.sf.tweety.logics.pl.postulates: The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.
ImMonotony() - Constructor for class net.sf.tweety.logics.pl.postulates.ImMonotony: Protected constructor so one uses only the single instance ImPostulate.MONOTONY
ImNormalization - Class in net.sf.tweety.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.
ImNormalization() - Constructor for class net.sf.tweety.logics.pl.postulates.ImNormalization: Protected constructor so one uses only the single instance ImPostulate.NORMALIZATION
imp - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee
ImPenalty - Class in net.sf.tweety.logics.pl.postulates: The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.
ImPenalty() - Constructor for class net.sf.tweety.logics.pl.postulates.ImPenalty: Protected constructor so one uses only the single instance ImPostulate.PENALTY
Implication - Class in net.sf.tweety.logics.fol.syntax: The implication of first-order logic.
Implication - Class in net.sf.tweety.logics.pl.syntax: This class models the implication of propositional logic.
Implication(Pair<RelationalFormula, RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Implication: Creates a new implication with the given pair of formulas
Implication(Pair<PlFormula, PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Implication: Creates a new implication with the given pair of formulas
Implication(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Implication: Creates a new implication a=>b with the two given formulas
Implication(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Implication: Creates a new implication a=>b with the two given formulas
IMPLICATION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
ImplicationAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax
ImplicationAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.ImplicationAcceptanceCondition: creates an implication of acceptance conditions
ImplicationTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
ImplicationTest() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
ImplicationTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
implSetPredicate(Predicate, Predicate, List<Term<?>>) - Static method in class net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl
ImpNode() - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.ImpNode
ImPostulate - Class in net.sf.tweety.logics.pl.postulates: An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.
ImPostulate() - Constructor for class net.sf.tweety.logics.pl.postulates.ImPostulate
ImPostulate.SimpleMUSComparator - Class in net.sf.tweety.logics.pl.postulates: Comparator for sorting MUS by comparing hash codes.
ImPostulateEvaluationExample - Class in net.sf.tweety.logics.pl.examples: Example code illustrating automatic postulate evaluation of inconsistency measures.
ImPostulateEvaluationExample() - Constructor for class net.sf.tweety.logics.pl.examples.ImPostulateEvaluationExample
ImSafeFormulaIndependence - Class in net.sf.tweety.logics.pl.postulates: The "safe-formula independence" postulate for inconsistency measures: Removing a safe formula (i.e.
ImSafeFormulaIndependence() - Constructor for class net.sf.tweety.logics.pl.postulates.ImSafeFormulaIndependence: Protected constructor so one uses only the single instance ImPostulate.SAFEFORMULAINDEPENDENCE
ImSuperAdditivity - Class in net.sf.tweety.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.
ImSuperAdditivity() - Constructor for class net.sf.tweety.logics.pl.postulates.ImSuperAdditivity: Protected constructor so one uses only the single instance ImPostulate.ADDITIVITY
in - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: the in set
IN - net.sf.tweety.arg.dung.semantics.ArgumentStatus
inBuf - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
inBuf - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
inBuf - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
inBuf - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
inBuf - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
inc - Variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner: The corresponding inconsistency measure.
inc - Variable in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
inc - Variable in class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
INCDEFAULTVALUE - Static variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
incise(Collection<Collection<T>>) - Method in interface net.sf.tweety.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 net.sf.tweety.beliefdynamics.kernels.RandomIncisionFunction
incisionFunction - Variable in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator: The incision function of the kernel contraction.
IncisionFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.kernels: This interface models an incision function for kernel contraction, ie a function that incises each of the kernel sets of some set.
includePath - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser: Location of included files (optional).
IncompleteConjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
IncompleteDisjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
InconsistencyListener - Interface in net.sf.tweety.logics.commons.analysis.streams: Listener interface for listeners of stream-based inconsistency measures.
inconsistencyMeasure - Variable in class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure: The inconsistency measure this Shapley culpability measure bases on.
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
inconsistencyMeasure(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure
inconsistencyMeasure(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
inconsistencyMeasure(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
inconsistencyMeasure(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.MusVarInconsistencyMeasure
inconsistencyMeasure(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.analysis.PmInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure: This method measures the inconsistency of the given set of formulas.
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.EtaInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.IsInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NConsInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NormalizedMicInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NormalizedMiInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.PrInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
inconsistencyMeasure(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
inconsistencyMeasure(PartialProbabilityAssignment) - Method in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
inconsistencyMeasure(BeliefSet<S, ?>) - Method in class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure
inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
inconsistencyMeasure(T) - Method in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure: This method measures the inconsistency of the given belief base.
InconsistencyMeasure<T extends BeliefBase> - Interface in net.sf.tweety.logics.commons.analysis: Classes implementing this interface represent inconsistency measures on belief bases.
InconsistencyMeasureFactory - Class in net.sf.tweety.logics.pl.analysis: Main factory for retrieving inconsistency measures for propositional logic.
InconsistencyMeasureFactory() - Constructor for class net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory
InconsistencyMeasureFactory.Measure - Enum in net.sf.tweety.logics.pl.analysis: An enumeration of all available inconsistency measures.
InconsistencyMeasurementProcess<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis.streams: The actual process of an inconsistency measure on streams.
InconsistencyMeasurementProcess() - Constructor for class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Creates a new process for the given stream.
InconsistencyMeasurementProcess.UpdateCallee - Class in net.sf.tweety.logics.commons.analysis.streams: For handling timeouts.
InconsistencyMeasurementService - Class in net.sf.tweety.web.services: Inconsistency measurement service.
InconsistencyMeasurementService() - Constructor for class net.sf.tweety.web.services.InconsistencyMeasurementService: Default constructor
InconsistencyMeasurementService.MeasurementCallee - Class in net.sf.tweety.web.services: For handling timeouts.
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultInconsistencyListener
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in interface net.sf.tweety.logics.commons.analysis.streams.InconsistencyListener: This method is called by a stream-based inconsistency measure when an inconsistency measurement has started.
InconsistencyUpdateEvent - Class in net.sf.tweety.logics.commons.analysis.streams: An event that is thrown when an inconsistency value has been updated.
InconsistencyUpdateEvent(StreamBasedInconsistencyMeasure<?>, InconsistencyMeasurementProcess<?>, Double, Formula) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent: Creates a new event with the given parameters.
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultInconsistencyListener
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in interface net.sf.tweety.logics.commons.analysis.streams.InconsistencyListener: This method is called by a stream-based inconsistency measure when an update of an inconsistency value occurs.
inconsistencyValue - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
inconsistent(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
IncreasingSubsetIterator<T> - Class in net.sf.tweety.commons.util: Iterates over all subsets of a given set.
IncreasingSubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.IncreasingSubsetIterator: Creates a new subset iterator for the given set.
increment() - Method in class net.sf.tweety.commons.util.IncreasingSubsetIterator: Increments the indices.
increment(int) - Method in class net.sf.tweety.commons.util.IncreasingSubsetIterator: Increments the indices.
increment(int[], int) - Method in class net.sf.tweety.machinelearning.GridSearchParameterLearner: Increments the given array of indices, e.g.
increment(Integer[]) - Method in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner: This method increments the given array by one value.
increment(BitSet) - Method in class net.sf.tweety.commons.util.DefaultSubsetIterator: Increments the given bit set, returns null if an overflow happens.
increment(BitSet) - Method in class net.sf.tweety.commons.util.RandomSubsetIterator: Increments the given bit set
increment(BitSet) - Method in class net.sf.tweety.logics.pl.util.EnumeratingIterator: Increments the given bit set, returns null if an overflow happens.
increment(List<Integer[]>, int) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner: This method increments the given array by one value.
IncrementalSatSolver - Class in net.sf.tweety.arg.adf.sat
IncrementalSatSolver() - Constructor for class net.sf.tweety.arg.adf.sat.IncrementalSatSolver
incrementStep(Integer[]) - Method in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner: This method increments the given vector (which composes of exactly one "1" entry and zeros otherwise), e.g.
incrementStep(Integer[]) - Method in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner: This method increments the given vector (which composes of exactly one "1" entry and zeros otherwise), e.g.
incvalue - Variable in class net.sf.tweety.logics.pl.util.ContensionSampler: The inconsistency value of the generated belief sets (wrt.
incvalue - Variable in class net.sf.tweety.logics.pl.util.HsSampler: The inconsistency value of the generated belief sets (wrt.
incvalue - Variable in class net.sf.tweety.logics.pl.util.MiSampler: The inconsistency value of the generated belief sets (wrt.
INDEPENDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The INDEPENDENCE postulate
independentSets(Set<Collection<E>>, int) - Method in class net.sf.tweety.commons.util.SetTools: Returns all independent sets of the given cardinality of the given set of sets.
index - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue: the index of the kappa, used to differentiate the several kappa values of a c-representation
index - Variable in class net.sf.tweety.preferences.update.Update: The first element
INDEX - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants: RegularExpression Id.
indexOf(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
indexOf(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
indexOf(Object) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
indexOf(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
indexOf(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
indexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
indexToConditional - Variable in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner: Maps the indices of the kappa vector to their corresponding conditionals.
IndicatorUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured: This class represents an indicator utility function, i.e.
IndicatorUtilityFunction(Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction: Creates a new indicator utility function for the given focal element.
indices - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator: The indices of the generated subsets.
indices - Variable in class net.sf.tweety.logics.pl.util.EnumeratingIterator: The current indices of the worlds that construct the formulas.
individual - Variable in class net.sf.tweety.logics.dl.syntax.ConceptAssertion: The individual of this assertional axiom (= the individual that is an instance of this assertion's concept)
Individual - Class in net.sf.tweety.logics.dl.syntax: This class models an individual in description logic, also known as an object.
Individual(String) - Constructor for class net.sf.tweety.logics.dl.syntax.Individual
Individual(Constant) - Constructor for class net.sf.tweety.logics.dl.syntax.Individual
individuals - Variable in class net.sf.tweety.logics.dl.syntax.RoleAssertion: The individuals of this assertional axiom (= the individuals that are instances of the role)
INEQUALITY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
InequalityPredicate - Class in net.sf.tweety.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 net.sf.tweety.logics.fol.syntax.InequalityPredicate
Inequation - Class in net.sf.tweety.math.equation: This class models an inequation of two terms.
Inequation(Term, Term, int) - Constructor for class net.sf.tweety.math.equation.Inequation: Creates a new inequation of the given type with the two terms.
inferCmd - Variable in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner: The console command for Alchemy inference.
inference - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
InferenceMode - Enum in net.sf.tweety.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 credoulous inference (assess a formula as true iff it is contained in some model).
InferenceMode() - Constructor for enum net.sf.tweety.commons.InferenceMode
InferenceRule<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax
InferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
InferenceRule() - Constructor for class net.sf.tweety.arg.aba.syntax.InferenceRule
InferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.InferenceRule: Creates an empty instance
InferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.InferenceRule: Constructs a new inference rule of rule p -> c if strict or p => c else
inferenceType - Variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner: Whether this reasoner should use lifted inference for reasoning.
INFINITY - Static variable in class net.sf.tweety.logics.cl.semantics.RankingFunction: Integer used to define infinity.
INFINITY - Static variable in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction: Integer used to define infinity.
INFO - net.sf.tweety.commons.TweetyConfiguration.LogLevel
InformationObject<T extends Formula> - Class in net.sf.tweety.beliefdynamics.mas: This class represents a formula annotated with the source of the formula.
InformationObject(T, Agent) - Constructor for class net.sf.tweety.beliefdynamics.mas.InformationObject: Creates a new information object for the given formula and the given source.
init() - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
init() - Static method in class net.sf.tweety.arg.delp.TestArguments
init() - Static method in class net.sf.tweety.arg.delp.TestDTree
init() - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
init() - Static method in class net.sf.tweety.logics.fol.test.Prover9Test
init() - Static method in class net.sf.tweety.logics.fol.test.SPASSTest
init() - Static method in class net.sf.tweety.logics.fol.test.TPTPTest
init() - Method in class net.sf.tweety.logics.ml.MleanCoPTest
init() - Static method in class net.sf.tweety.logics.ml.SPASSTest
init() - Static method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
init() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
init() - Static method in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
init() - Static method in class net.sf.tweety.lp.asp.analysis.ClingoTest
init() - Static method in class net.sf.tweety.lp.asp.analysis.DLVTest
init() - Static method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
init(Map<String, Object>) - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Additional initialization statements are put here.
init(Map<String, Object>) - Method in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
init(Map<String, Object>) - Method in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
init(Map<String, Object>) - Method in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
init(FormulaStream<S>, StreamBasedInconsistencyMeasure<S>, Map<String, Object>) - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Initialization statements.
init(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop: Performs some optional initializations before beginning to restore consistency.
init(PclBeliefSet) - Method in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.arg.delp.parser.ParseException
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.lp.asp.parser.ParseException
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.preferences.io.ParseException
initializeOrders() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
initKB() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
initLogging() - Static method in class net.sf.tweety.commons.TweetyLogging: Initialize the logging system.
initParser() - Method in class net.sf.tweety.logics.dl.test.DlParserTest
initParser() - Method in class net.sf.tweety.logics.dl.test.DlReasonerTest
initParser() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
initParser() - Method in class net.sf.tweety.logics.ml.MlParserTest
initParser() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
initParsers() - Static method in class net.sf.tweety.arg.delp.TestFormulaParsing
initTest() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
initWorld() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
inner - Variable in class net.sf.tweety.lp.nlp.syntax.NLPNot
innerFormula - Variable in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality: The inner formula of this modality
innerFormula - Variable in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport: The formula this quantified formula ranges over.
input_stream - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
input_stream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
input_stream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
input_stream - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
input_stream - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
input_stream - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
inputFiles - Static variable in class net.sf.tweety.cli.plugins.CliMain: the list of input files
inputFiles - Static variable in class net.sf.tweety.cli.TweetyCli: The input file
inputParser - Static variable in class net.sf.tweety.cli.TweetyCli: The parser used for reading the input file
inputStream - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
inputStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
inputStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
inputStream - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
inputStream - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.CanonicalUndercut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.Defeat: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.DirectDefeat: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.DirectUndercut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.Rebuttal: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.deductive.semantics.attacks.Undercut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.Attack: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.Defeat: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.Rebut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut: Singleton instance.
instance - Static variable in class net.sf.tweety.arg.lp.semantics.attack.Undercut: Singleton instance.
InstanceAssignment - Class in net.sf.tweety.logics.rpcl.semantics: Instances of this class represent assignenment of true instances for a given predicate wrt.
InstanceAssignment(Predicate) - Constructor for class net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics.InstanceAssignment: Creates a new instance assignment for the given predicate with the given map.
InstanceAssignment(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
instantiate(double) - Method in class net.sf.tweety.machinelearning.TrainingParameter: Instantiates a new parameter with the given value.
instantiate(String) - Method in class net.sf.tweety.plugin.parameter.CommandParameter: instantiate the command with the given argument string if valid
instantiate(String) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter: instantiate single string
instantiate(String) - Method in class net.sf.tweety.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 net.sf.tweety.plugin.parameter.IntegerCommandParameter: instantiates a new parameter iff the given value is valid for this command parameter
instantiate(String) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter: instantiates a new parameter iff the given value ist valid for this command parameter
instantiate(String) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter: instantiates unary argument if valid
instantiate(String[]) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter: instantiates a list of arguments if valid
instantiate(String[]) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter: instantiates a list of arguments if valid
instantiate(ArrayList<String>) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
instantiate(ArrayList<String>) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
instantiateParameters(TweetyPlugin, ArrayList<ArrayList<String>>) - Static method in class net.sf.tweety.cli.plugins.CliMain: instantiates each given input parameter within the called plugin - if possible
instantiateSet() - Method in class net.sf.tweety.commons.BeliefSet: Instantiates the set which is used as data holder for the belief set.
instantiateSignature() - Method in class net.sf.tweety.action.description.syntax.ActionDescription
instantiateSignature() - Method in class net.sf.tweety.action.query.syntax.ActionQuerySet
instantiateSignature() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
instantiateSignature() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
instantiateSignature() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
instantiateSignature() - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase
instantiateSignature() - Method in class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
instantiateSignature() - Method in class net.sf.tweety.commons.BeliefSet: Instantiates the signature which is attached to the belief base.
instantiateSignature() - Method in class net.sf.tweety.logics.cl.syntax.ClBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.dl.syntax.DlBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.fol.syntax.FolBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.ml.syntax.MlBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
instantiateSignature() - Method in class net.sf.tweety.logics.pcl.syntax.PclBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.rcl.syntax.RclBeliefSet
instantiateSignature() - Method in class net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet
instantiateSignature(S) - Method in class net.sf.tweety.commons.BeliefSet: Instantiates the signature which is attached to the belief base as an instance of the class of the given signature.
InstantiateVisitor - Class in net.sf.tweety.lp.asp.parser: This visitor iterates over the AST generated by ASPCore2Parser 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 net.sf.tweety.lp.asp.parser.InstantiateVisitor
instantiateWithDefaultValue() - Method in class net.sf.tweety.machinelearning.TrainingParameter: Instantiates a new parameter with the default value.
IntegerCommandParameter - Class in net.sf.tweety.plugin.parameter: This parameter holds a number-interval of possible arguments
IntegerCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.IntegerCommandParameter
IntegerCommandParameter(String, String, String) - Constructor for class net.sf.tweety.plugin.parameter.IntegerCommandParameter
IntegerCommandParameter(String, String, Interval<Integer>) - Constructor for class net.sf.tweety.plugin.parameter.IntegerCommandParameter
IntegerConstant - Class in net.sf.tweety.math.term: This class encapsulates an integer as a term.
IntegerConstant(int) - Constructor for class net.sf.tweety.math.term.IntegerConstant: Creates a new Integer.
integerLinearSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService: The integer linear optimization solver configured for this service.
integerMaximum - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver: Represents the upper integer bound.
IntegerVariable - Class in net.sf.tweety.math.term: This class models an integer variable as a mathematical term.
IntegerVariable(String) - Constructor for class net.sf.tweety.math.term.IntegerVariable: Creates a new variable with the given name.
IntegerVariable(String, boolean) - Constructor for class net.sf.tweety.math.term.IntegerVariable: Creates a new variable with the given name.
IntegerVariable(String, double, double) - Constructor for class net.sf.tweety.math.term.IntegerVariable: Creates a new variable with the given name and bounds.
interpretation - Variable in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
Interpretation - Class in net.sf.tweety.arg.adf.semantics: This class represents an immutable three-valued interpretation of an Abstract Dialectical Framework (ADF).
Interpretation<B extends BeliefBase,S extends Formula> - Interface in net.sf.tweety.commons: An interpretation for some logical language.
Interpretation(Iterable<Argument>) - Constructor for class net.sf.tweety.arg.adf.semantics.Interpretation
Interpretation(Collection<Argument>) - Constructor for class net.sf.tweety.arg.adf.semantics.Interpretation
Interpretation(Map<Argument, Boolean>) - Constructor for class net.sf.tweety.arg.adf.semantics.Interpretation
Interpretation(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Interface in net.sf.tweety.commons.analysis: Classes implementing this interface represent distance functions between two interpretations.
interpretationFromWitness(Interpretation<PlBeliefSet, PlFormula>) - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> - Interface in net.sf.tweety.commons: An iterator over interpretations.
InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula> - Class in net.sf.tweety.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 net.sf.tweety.commons.InterpretationSet: Creates a new empty interpretation.
InterpretationSet(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.InterpretationSet: Creates a new interpretation with the given collection of formulas.
Intersection - Class in net.sf.tweety.logics.dl.syntax: This class models an intersection in description logics.
Intersection() - Constructor for class net.sf.tweety.logics.dl.syntax.Intersection: Creates a new (empty) intersection.
Intersection(Collection<? extends ComplexConcept>) - Constructor for class net.sf.tweety.logics.dl.syntax.Intersection: Creates a new intersection with the given inner formulas.
Intersection(ComplexConcept, ComplexConcept) - Constructor for class net.sf.tweety.logics.dl.syntax.Intersection: Creates a new intersection with the two given formulae
interval - Variable in class net.sf.tweety.plugin.parameter.IntegerCommandParameter: all possible values for this parameter's argument
Interval<S extends java.lang.Number> - Class in net.sf.tweety.math: This class contains a set of closed set (interval) of possible numbers
Interval(NumberSet<S>) - Constructor for class net.sf.tweety.math.Interval
Interval(S, S) - Constructor for class net.sf.tweety.math.Interval
intervalset - Variable in class net.sf.tweety.math.Interval
intValue() - Method in class net.sf.tweety.math.ComplexNumber
intValue() - Method in class net.sf.tweety.math.probability.Probability
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError: Tried to change to an invalid lexical state.
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: Tried to change to an invalid lexical state.
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: Tried to change to an invalid lexical state.
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError: Tried to change to an invalid lexical state.
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.preferences.io.TokenMgrError: Tried to change to an invalid lexical state.
invalidSignature() - Method in class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
INVERT_SELFLOOPS - Static variable in interface net.sf.tweety.graphs.Graph: When inverting a graph, deal with self loops like ordinary edges (add if not present and remove if present)
Invertable - Interface in net.sf.tweety.logics.commons.syntax.interfaces: Formulas implementing this interface have a complement
invokeExecutable(String) - Static method in class net.sf.tweety.commons.util.NativeShell: Executes the given command on the commandline and returns the complete output.
invokeExecutable(String, long) - Static method in class net.sf.tweety.commons.util.NativeShell
invokeExecutable(String, long, boolean) - Static method in class net.sf.tweety.commons.util.NativeShell: Executes the given command on the commandline and returns the output up to a given number of lines.
InvolutaryPASemantics - Class in net.sf.tweety.arg.prob.semantics: P is involutary wrt.
InvolutaryPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics
irreducibleHittingSets(Set<Set<E>>) - Method in class net.sf.tweety.commons.util.SetTools: Computes the set of irreducible hitting sets of "sets".
IRRELEVANCEOFSYNTAX - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The IRRELEVANCEOFSYNTAX postulate
IS - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
IS_BETTER - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
IS_EQUAL - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
is_smaller(Collection<T>, Collection<T>) - Method in class net.sf.tweety.arg.aspic.order.SetComparator
IS_WORSE - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
isAcceptable(DelpArgument, DefeasibleLogicProgram, ComparisonCriterion) - Method in class net.sf.tweety.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, DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation: returns true if every attacker on argument is attacked by some accepted argument wrt.
isAcceptable(ArgumentationKnowledgeBase, Set<Argument>, Set<Argument>, Argument) - Method in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner: Returns true iff the argument toCheck is x/y-acceptable wrt.
isActivated(DelpArgument, Set<FolFormula>, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity: Test whether the given argument is activated by the given activation set.
isActiveCMA - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer: Chooses the covariance matrix update method.
isAdmissable(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation: returns true if every accepted argument of this is defended by some accepted argument wrt.
isAdmissible(AbaExtension<T>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory: Checks whether a set of arguments is admissible
isApplicable(Collection<? extends FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule: Checks whether this rule is applicaple in the given context literals,
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAbstraction
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfAttackBranch
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfDefenseBranch
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAttackVsFullDefense
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaCardinalityPrecedence
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaIndependence
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The INCREASEOFDEFENSEBRANCH postulate
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaNonAttackedEquivalence
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaQualityPrecedence
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaSelfContradiction
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaTotal
isApplicable(Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RaVoidPrecedence
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImAdjunctionInvariance
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImAttenuation
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImConsistency
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImContradiction
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImDominance
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImEqualConflict
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImExchange
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImIrrelevanceOfSyntax
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImMINormalization
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImMonotony
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImNormalization
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImPenalty
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImPostulate
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImSafeFormulaIndependence
isApplicable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImSuperAdditivity
isApplicable(Collection<S>) - Method in interface net.sf.tweety.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 net.sf.tweety.logics.rdl.semantics.DefaultSequence: applicable ^= pre in In and (not jus_i) not in In forall i
isAssumption() - Method in interface net.sf.tweety.arg.aba.syntax.ABARule
isAssumption() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
isAssumption() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
isAtLeastAsPreferredAs(Collection<? extends PlFormula>, Collection<? extends PlFormula>) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer: Checks whether col1 is at least as preferred as col2 wrt.
isAtLeastAsPreferredAs(PlFormula, Collection<? extends PlFormula>) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer: Checks whether f is at least as preferred as some formula in "formulas"
isAtLeastAsPreferredAs(PlFormula, PlFormula) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer: Checks whether f is at least as preferred as f2
isAtomic() - Method in class net.sf.tweety.logics.dl.syntax.AssertionalAxiom
isAtomic() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
isAtomic() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class net.sf.tweety.arg.aspic.semantics.AspicAttack: Determines whether the attack is successful
isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Determines whether the attack is successful
isAttacked(Extension, Extension) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: returns true if some argument of ext2 attacks some argument in ext1
isAttacked(Argument, Extension) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: returns true if some argument of ext attacks argument.
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in interface net.sf.tweety.arg.deductive.semantics.attacks.Attack: Returns "true" iff the first argument is attacked by the second argument.
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.CanonicalUndercut
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.Defeat
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.DirectDefeat
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.DirectUndercut
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.Rebuttal
isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.attacks.Undercut
isAttackedBy(Argument, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: returns true if some argument of ext is attacked by argument.
isAttackedBy(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether arg1 is attacked by arg2.
isAttackedBy(Argument, Argument) - Method in class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework
isAttacking(PlFormula, PlFormula) - Method in class net.sf.tweety.arg.adf.reasoner.SatLinkStrategy
isAttackingAllOtherArguments(Extension) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: returns true if arguments attack all other arguments in the theory
isBipolar() - Method in class net.sf.tweety.arg.adf.semantics.Link: Delegates to linkType.isBipolar()
isBipolar() - Method in enum net.sf.tweety.arg.adf.semantics.LinkType
isClause() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
isClause() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Checks whether this formula is a clause, i.e.
isClosed() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isClosed() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula: Checks whether this formula is closed, i.e.
isClosed() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.Implication
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isClosed() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
isClosed() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
isClosed() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isClosed() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isClosed() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isClosed(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory: A set of assumptions is closed iff it equals its closure
isClosed(Set<Variable>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isClosed(Set<Variable>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula: Checks whether this formula is closed, i.e.
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Implication
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isClosed(Set<Variable>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isClosed(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: Tests wether all applicble defaukts from t have been applied
isCoherent() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Determines if the theory is coherent, i.e., if each preferred extension is stable
isComplete() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
isComplete() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm: Checks whether this term is complete, i.e.
isComplete() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom
isComplete() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
isComplete() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
isComplete() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom: Checks whether this atom is complete, i.e.
isComplete() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
isComplete() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
isComplete() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
isCompliant(ProbabilisticExtension) - Method in class net.sf.tweety.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 net.sf.tweety.arg.dung.syntax.Attack: returns true if one arguments in arguments attacks another within this attack relation.
isConflictFree(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory: Checks whether a set of arguments is conflict-free
isConflictFree(DungTheory) - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation: returns true if no accepted argument attacks another accepted one in this interpretation wrt.
isCongruent(Labeling) - Method in class net.sf.tweety.arg.prob.semantics.ProbabilisticExtension: Checks whether the given labeling is congruent to this probabilistic extension, i.e.
isConjunctiveClause() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
isConjunctiveClause() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Checks whether this formula is a conjunctive clause, i.e.
isConjunctiveClause(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw: a conjunctive clause is either a literal or a conjunction of literals.
isConsistent(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
isConsistent(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(Collection<ASPLiteral>) - Method in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure: Checks whether the given set of literals is consistent, i.e.
isConsistent(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(Collection<T>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(Collection<T>) - Method in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester: Checks whether the given collection of formulas is consistent.
isConsistent(Set<DefeasibleRule>) - Method in class net.sf.tweety.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 net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester
isConsistent(ActionDescription<T>) - Method in interface net.sf.tweety.action.description.analysis.ActionDescriptionConsistencyTester: Checks whether the given set of causal rules is consistent.
isConsistent(CActionDescription) - Method in class net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester: Checks, whether the given action description in the action language C is consistent.
isConsistent(BeliefSet<PlFormula, ?>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(BeliefSet<S, ?>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(BeliefSet<S, ?>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(BeliefSet<T, ?>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(BeliefSet<T, ?>) - Method in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester
isConsistent(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
isConsistent(PlFormula) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
isConsistent(S) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(S) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(T) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(T) - Method in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester: Checks whether the given formula is consistent.
isConsistent(T) - Method in interface net.sf.tweety.logics.commons.analysis.ConsistencyTester: Checks whether the given belief base is consistent.
isConstraint() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
isConstraint() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
isConstraint() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
isConstraint() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
isConstraint() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isConstraint() - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
isConstraint() - Method in interface net.sf.tweety.commons.util.rules.Rule
isConstraint() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
isConstraint() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isConstraint() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
isConstraint() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
isContainedInAll(Argument, Collection<Extension>) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given argument "y" is contained in all sets of arguments in "args".
isContinuous() - Method in class net.sf.tweety.math.term.Term: Checks whether this term is continuous in all appearing variables.
isContinuous(Variable) - Method in class net.sf.tweety.math.term.AbsoluteValue
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Constant
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Difference
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Exp
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Fraction
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Logarithm
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Maximum
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Minimum
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Power
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Product
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Root
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Sum
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Term: Checks whether this term is continuous in v.
isContinuous(Variable) - Method in class net.sf.tweety.math.term.Variable
isCorrect() - Method in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
isDefeasible() - Method in class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
isDefeasible() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
isDefeasible() - Method in class net.sf.tweety.arg.aspic.syntax.StrictInferenceRule
isDefensible(ArgumentationKnowledgeBase, Argument) - Method in class net.sf.tweety.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 net.sf.tweety.action.description.syntax.CActionDescription: Checks whether this action description contains any non-definite laws.
isDefinite() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns true iff this law is definite.
isDefinite() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
isDefinite() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
isDisjoint(Collection<Division>, DungTheory, Semantics) - Static method in class net.sf.tweety.arg.dung.divisions.Division: Checks whether the given set o divisions is disjoint wrt.
isDnf() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula: Checks whether this formula is in disjunctive normal form.
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Implication
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isDnf() - Method in class net.sf.tweety.logics.ml.syntax.Necessity
isDnf() - Method in class net.sf.tweety.logics.ml.syntax.Possibility
isDnf() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isDynamic - Variable in class net.sf.tweety.preferences.plugin.PreferencesPlugin
isElementOf(S) - Method in class net.sf.tweety.math.Interval: checks, whether an element is within this interval
isEmpty() - Method in class net.sf.tweety.agents.MultiAgentSystem
isEmpty() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
isEmpty() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
isEmpty() - Method in class net.sf.tweety.arg.dung.semantics.Extension
isEmpty() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
isEmpty() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
isEmpty() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
isEmpty() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
isEmpty() - Method in class net.sf.tweety.commons.BeliefSet
isEmpty() - Method in class net.sf.tweety.commons.DualSetSignature
isEmpty() - Method in class net.sf.tweety.commons.InterpretationSet
isEmpty() - Method in class net.sf.tweety.commons.QuadrupleSetSignature
isEmpty() - Method in interface net.sf.tweety.commons.Signature: Returns true if this signature is empty.
isEmpty() - Method in class net.sf.tweety.commons.SingleSetSignature
isEmpty() - Method in class net.sf.tweety.commons.TripleSetSignature
isEmpty() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
isEmpty() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
isEmpty() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isEmpty() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
isEmpty() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
isEmpty() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
isEmpty() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
isEmpty() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
isEmpty() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
isEmpty() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
isEmpty() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
isEmpty() - Method in class net.sf.tweety.math.Interval
isEmpty() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
isEmpty() - Method in class net.sf.tweety.preferences.PreferenceOrder: returns whether the set is empty or not
isEmpty() - Method in class net.sf.tweety.preferences.update.UpdateStream
isEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: Returns "true" iff a is equally acceptable as b or a and b are not comparable, i.e.
isEquivalent(ArgumentRanking, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: Checks whether this ranking is equivalent to the other one wrt.
isEquivalent(PlFormula, PlFormula) - Method in class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner: Checks whether the two formulas are equivalent
isExhaustive(Collection<Division>, DungTheory, Semantics) - Static method in class net.sf.tweety.arg.dung.divisions.Division: Checks whether the given set of divisions is exhaustive wrt.
isExtendedProgram() - Method in class net.sf.tweety.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 net.sf.tweety.arg.aba.syntax.Assumption
isFact() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
isFact() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
isFact() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
isFact() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isFact() - Method in class net.sf.tweety.arg.saf.syntax.BasicArgument
isFact() - Method in interface net.sf.tweety.commons.util.rules.Rule
isFact() - Method in class net.sf.tweety.logics.cl.syntax.Conditional: Checks whether this conditional is a fact, i.e.
isFact() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional: Checks whether this conditional is a fact, i.e.
isFact() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
isFact() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
isFinite() - Method in class net.sf.tweety.math.matrix.Matrix: Checks whether each entry in this matrix describes a finite number.
isFirm() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: An argument is firm iff it does not contain ordinary premises
isFlat() - Method in class net.sf.tweety.arg.aba.syntax.ABATheory: An ABA theory is flat iff all subsets of its argumentation set are closed
isFormerAtLeastAsPreferredAsLatter(PlFormula, Collection<PlFormula>) - Method in class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator.CredibilityComparer
isFounded() - Method in class net.sf.tweety.commons.util.rules.Derivation: Checks whether this derivation is founded, i.e.
isGround() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Checks whether this action description contains any non-ground laws.
isGround() - Method in class net.sf.tweety.action.description.syntax.CLaw
isGround() - Method in class net.sf.tweety.action.signature.FolAction: Checks whether this action is ground or not.
isGround() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
isGround() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule: Checks whether there appear any variables in this rule
isGround() - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
isGround() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula: Checks whether this formula is ground, i.e.
isGround() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula: Checks whether this formula is ground, i.e.
isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
isGround() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
isGround() - Method in class net.sf.tweety.lp.asp.syntax.Program
isHittingSet(Collection<S>, Collection<Interpretation<B, S>>) - Method in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure: Checks whether the given candidate is a hitting set.
isIgnoreNotFeasibleError() - Method in class net.sf.tweety.math.opt.solver.OpenOptSolver
isIncision(Collection<Collection<T>>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.kernels.RandomIncisionFunction: Checks whether possibleIncision is an incision, ie.
IsInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class implements the inconsistency measure I_CSP from [Said Jabbour.
IsInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.IsInconsistencyMeasure: Creates a new measure that uses the given MUS enumerator.
isIndependent(Set<Collection<E>>) - Method in class net.sf.tweety.commons.util.SetTools: Checks whether the given set of sets is independent, i.e.
isIndirectAttack(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether "arg1" indirectly attacks "arg2", i.e.
isIndirectAttack(Argument, Argument, Set<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether "arg1" indirectly attacks "arg2", i.e.
isInjective(Map<? extends Object, ? extends Object>) - Static method in class net.sf.tweety.commons.util.MapTools: Checks whether the given map is injective, i.e.
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.BfgsSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.GlpkSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.GradientDescent
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.HessianGradientDescent
isInstalled() - Static method in class net.sf.tweety.math.opt.Solver: Checks whether the solver of this class is actually installed, i.e.
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.LagrangeSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.LbfgsSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.LpSolve
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.OctaveSqpSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.OpenOptSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
isInstalled() - Static method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
isInteger() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem: Checks whether this problem is integer, i.e.
isInteger() - Method in class net.sf.tweety.math.term.AssociativeOperation
isInteger() - Method in class net.sf.tweety.math.term.BinaryVariable
isInteger() - Method in class net.sf.tweety.math.term.Difference
isInteger() - Method in class net.sf.tweety.math.term.FloatConstant
isInteger() - Method in class net.sf.tweety.math.term.FloatVariable
isInteger() - Method in class net.sf.tweety.math.term.Fraction
isInteger() - Method in class net.sf.tweety.math.term.FunctionalTerm
isInteger() - Method in class net.sf.tweety.math.term.IntegerConstant
isInteger() - Method in class net.sf.tweety.math.term.IntegerVariable
isInteger() - Method in class net.sf.tweety.math.term.Term: Checks whether this term represents an integer value.
isIsomorphic(DungTheory, Collection<DungTheory>) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator: Checks whether the first theory is isomorphic to some theory in "theories".
isIsomorphic(Graph<? extends Node>, Graph<? extends Node>) - Static method in class net.sf.tweety.graphs.util.GraphUtil: Checks whether the two graphs are isomorphic.
isJustificationProblem() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
isJustificationProblem() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
isJustified(ArgumentationKnowledgeBase, ASPLiteral) - Method in class net.sf.tweety.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.
isLegal(ArgumentationEnvironment, DialogueTrace<Argument, Extension>, Set<Argument>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState: Given the theory from the environment and the dialogue trace, returns true if move is a valid move.
isLessThan(BitSet, boolean, int, int, int, int) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator: Checks whether the bitvector at positions [i,...,j] is less than the bitvector at positions [k,...,l].
isLinear() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem: Checks whether every constraint of this problem is linear.
isLinear() - Method in class net.sf.tweety.math.opt.OptimizationProblem
isLinear() - Method in class net.sf.tweety.math.term.Term: Checks whether this term is linear.
isLiteral() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isLiteral() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
isLiteral() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
isLiteral() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
isLiteral() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
isLiteral() - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
isLiteral() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
isLiteral() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.Complement
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.DlAxiom
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
isLiteral() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.Implication
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isLiteral() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
isLiteral() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.Negation
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
isLiteral() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isLiteral() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPLiteral
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
isLiteral() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
isLiteral() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isMappedToTrue(FolAtom) - Method in class net.sf.tweety.action.transitionsystem.State: Returns true iff the fluent given is mapped to true by this state.
isMConflictFree(DungTheory, Collection<Argument>, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is m-conflict-free, cf.
isMinimal() - Method in class net.sf.tweety.commons.util.rules.Derivation: Checks whether this derivation is minimal with respect to set inclusion.
isMinimumFree() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem: Checks whether this problem uses no minimum function.
isMinimumFree() - Method in class net.sf.tweety.math.opt.OptimizationProblem
isMNAdmissible(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is mn-admissible, cf.
isMNComplete(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is mn-complete, cf.
isMNGrounded(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is mn-grounded, cf.
isMNPreferred(DungTheory, Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is mn-preferred, cf.
isMStable(DungTheory, Collection<Argument>, int) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner: Checks whether the given set of arguments is m-stable, cf.
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.BoundedSum
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.MinimumNorm
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.ProbabilisticSum
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.ProductNorm
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.TCoNorm: A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1
isNilpotent() - Method in class net.sf.tweety.math.func.fuzzy.TNorm: A T-norm is nilpotent if there are x,y>0 with t(x,y)=0
isNoOperation() - Method in class net.sf.tweety.agents.dialogues.ExecutableDungTheory
isNoOperation() - Method in class net.sf.tweety.agents.dialogues.ExecutableExtension
isNoOperation() - Method in class net.sf.tweety.agents.dialogues.ExecutableFormulaSet
isNoOperation() - Method in interface net.sf.tweety.agents.Executable: Indicates whether this operation can be regarded as no operation at all.
isNormal(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule: Tests, whether the default is normal normal ^= a:c/c
isNormalized() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Checkes whether this OCF is normalized, i.e.
isNormalized() - Method in class net.sf.tweety.math.equation.Equation
isNormalized() - Method in class net.sf.tweety.math.equation.Inequation
isNormalized() - Method in class net.sf.tweety.math.equation.Statement: Checks whether this constraint is of normalized form, i.e.
isNormalized() - Method in class net.sf.tweety.math.probability.ProbabilityFunction: Checks whether this probability function is normalized, i.e.
isNumeric(String) - Static method in class net.sf.tweety.commons.Parser: Checks whether the given string is a number.
isOrderedBefore(T, T) - Method in class net.sf.tweety.graphs.orders.Order: Checks whether object1 is ordered before object2.
IsoSafeEnumeratingDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util: This generator generators all possible Dung argumentation theories (modulo graph isomorphism).
IsoSafeEnumeratingDungTheoryGenerator() - Constructor for class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator: Creates a new enumerating Dung theory generator.
isOverlappingSignature(Signature) - Method in class net.sf.tweety.commons.DualSetSignature
isOverlappingSignature(Signature) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
isOverlappingSignature(Signature) - Method in interface net.sf.tweety.commons.Signature: Checks whether this signature has common elements with the given signature, i.e.
isOverlappingSignature(Signature) - Method in class net.sf.tweety.commons.SingleSetSignature
isOverlappingSignature(Signature) - Method in class net.sf.tweety.commons.TripleSetSignature
isOverruled(ArgumentationKnowledgeBase, Argument) - Method in class net.sf.tweety.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 net.sf.tweety.arg.lp.reasoner.LiteralReasoner: A literal is called x/y-overruled, iff it is not x/y-justified.
isPositive - Variable in class net.sf.tweety.math.term.Variable: Whether this variables should be positive.
isPositive() - Method in class net.sf.tweety.math.term.Variable: Checks whether this variables should be positive.
isProcess() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: process <=> all defaults are unique and applicable in sequence
isProperSubset(Program, Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Returns true iff program p is a proper (strict) subset of program q
isRelated(T, T) - Method in interface net.sf.tweety.preferences.BinaryRelation: returns whether the elements a and b are related
isRelated(T, T) - Method in class net.sf.tweety.preferences.PreferenceOrder: returns whether the elements a and b are related
isRelativelyCoherent() - Method in class net.sf.tweety.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
isRepresentable(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Checks whether the given formula can be represented by this signature.
isRigid - Variable in class net.sf.tweety.agents.RoundRobinProtocol: Indicates whether this protocol is rigid.
isRigid - Variable in class net.sf.tweety.agents.SynchronousProtocol: Indicates whether this protocol is rigid.
isSafe() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule: This methods tests a rule for safety.
isSafe() - Method in class net.sf.tweety.lp.asp.syntax.Program: Returns true if the program is safe, i.e.
isSatisfiable(Collection<PlFormula>) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
isSatisfiable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.LingelingSolver
isSatisfiable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.Sat4jSolver
isSatisfiable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver: Checks whether the given set of formulas is satisfiable.
isSatisfiable(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.SimpleDpllSolver
isSatisfiable(SatSolverState) - Method in class net.sf.tweety.arg.adf.sat.IncrementalSatSolver
isSatisfiable(SatSolverState) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAbstraction
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfAttackBranch
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAdditionOfDefenseBranch
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaAttackVsFullDefense
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaCardinalityPrecedence
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaIndependence
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaNonAttackedEquivalence
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaQualityPrecedence
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaSelfContradiction
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaTotal
isSatisfied(Collection<Argument>, AbstractRankingReasoner<ArgumentRanking>) - Method in class net.sf.tweety.arg.rankings.postulates.RaVoidPrecedence
isSatisfied(Collection<Argument>, PostulateEvaluatable<Argument>) - Method in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
isSatisfied(Collection<PlFormula>, PostulateEvaluatable<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImPostulate
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImAdjunctionInvariance
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImAttenuation
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImConsistency
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImContradiction
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImDominance
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImEqualConflict
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImExchange
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaDilution
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImFreeFormulaIndependence
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImIrrelevanceOfSyntax
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImMINormalization
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImMonotony
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImNormalization
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImPenalty
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImPostulate
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImSafeFormulaIndependence
isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class net.sf.tweety.logics.pl.postulates.ImSuperAdditivity
isSatisfied(Collection<S>, PostulateEvaluatable<S>) - Method in interface net.sf.tweety.commons.postulates.Postulate: Checks whether this postulate is satisfied by the given approach ev wrt.
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in interface net.sf.tweety.action.query.analysis.ActionQuerySatisfactionTester: Checks whether the given transition system satisfies the given action queries.
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester
isSatisfied(TransitionSystem, BeliefBase) - Method in interface net.sf.tweety.action.query.analysis.ActionQuerySatisfactionTester: Checks whether the given transition system satisfies the given action queries.
isSatisfied(TransitionSystem, BeliefBase) - Method in class net.sf.tweety.action.query.analysis.SActionQuerySatisfactionTester
isSatisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
isSingleStep - Variable in class net.sf.tweety.agents.dialogues.structured.SasAgent: Indicates whether this agent is a single-step argumentation agent, i.e.
isSingleStep() - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent: Checks whether this agent is a single-step argumentation agent, i.e.
isSkeptical - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction: Whether this transformation function is skeptical.
IssReasoner - Class in net.sf.tweety.arg.social.reasoner: This reasoner provides is an implementation of the "Iterative Successive Subsitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.
IssReasoner(SimpleProductSemantics, double) - Constructor for class net.sf.tweety.arg.social.reasoner.IssReasoner: Creates a new reasoner.
isStable(Extension) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether the given extension is stable wrt.
isStrict() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: An argument is strict iff it does not contain defeasible subrules
isStrict() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula: Returns "true" iff this formula is strict.
isStrictlyLessAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: Returns "true" iff a is strictly less acceptable than b, i.e.
isStrictlyLessOrEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: 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(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking
isStrictlyLessOrEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
isStrictlyMoreAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: Returns "true" iff a is strictly more acceptable than b, i.e.
isStrictlyMoreOrEquallyAcceptableThan(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking: Returns "true" iff a is strictly more acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.
isStrongSubargumentOf(DelpArgument) - Method in class net.sf.tweety.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 net.sf.tweety.arg.delp.syntax.DelpArgument: Checks whether this argument is a subargument of the given argument
isSubArgumentOf(AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument: Checks wheter this is a direct or indirect subargument of arg
isSubSignature(Signature) - Method in class net.sf.tweety.commons.DualSetSignature
isSubSignature(Signature) - Method in class net.sf.tweety.commons.QuadrupleSetSignature
isSubSignature(Signature) - Method in interface net.sf.tweety.commons.Signature: Checks whether this signature is a sub-signature of the given signature, i.e.
isSubSignature(Signature) - Method in class net.sf.tweety.commons.SingleSetSignature
isSubSignature(Signature) - Method in class net.sf.tweety.commons.TripleSetSignature
isSubsumedBy(ComplexConcept, ComplexConcept) - Method in class net.sf.tweety.logics.dl.semantics.DlInterpretation: Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation
isSuccessful() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence: successfull <=> there is no x: x in In and x in Out
isSupport(Argument, Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether "arg1" supports "arg2", i.e.
isSupport(Argument, Argument, Set<Argument>) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: Checks whether "arg1" supports "arg2", i.e.
isSupporting(PlFormula, PlFormula) - Method in class net.sf.tweety.arg.adf.reasoner.SatLinkStrategy
isSyntacticallyEquivalent(HerbrandInterpretation, Collection<? extends Collection<? extends Constant>>) - Method in class net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.math.opt.OptimizationProblem: Checks whether the target function is linear.
isTolerated(Conditional, ClBeliefSet, Set<PossibleWorld>) - Method in class net.sf.tweety.logics.cl.reasoner.ZReasoner: Checks whether or not the given formula is tolerated by the knowledge base, i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A) in the knowledge base (it satisfies the material implication A => B).
isTotal() - Method in interface net.sf.tweety.preferences.BinaryRelation: checks whether the set is total or not
isTotal() - Method in class net.sf.tweety.preferences.PreferenceOrder: checks whether the set is total or not
isTransitive() - Method in interface net.sf.tweety.preferences.BinaryRelation: checks whether the given set is transitive or not
isTransitive() - Method in class net.sf.tweety.preferences.PreferenceOrder: checks whether the given set is transitive or not
isTrue(Proposition) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
isTrue(Proposition) - Method in interface net.sf.tweety.arg.adf.sat.SatSolverState
isTrue(ASPRule, Set<ASPLiteral>) - Method in class net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase: Returns true iff each non-default-negated literal in the premise of rule is contained in the set of literals
isTyped() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
isTyped() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
isUndecided(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
isUnsatisfied(Argument) - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
isValid() - Method in interface net.sf.tweety.preferences.BinaryRelation: checks whether the preference order is valid (transitive, total and unique)
isValid() - Method in class net.sf.tweety.preferences.PreferenceOrder: checks whether the given set represents a valid preference order
isValid(String) - Method in class net.sf.tweety.plugin.parameter.CommandParameter: Checks, if the given String is a valid argument for this command parameter
isValid(String) - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter: valid iff string matches criteria
isValid(String) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter: checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter: checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter: checks whether a cli input parameter argument is valid for the called command parameter
isValid(String) - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter: checks each input string for validity
isValid(Collection<Extension>) - Method in class net.sf.tweety.arg.dung.divisions.Division: Checks whether this division is valid wrt.
isValid(Map<Variable, Constant>) - Method in interface net.sf.tweety.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 net.sf.tweety.action.grounding.VarConstNeqRequirement
isValid(Map<Variable, Constant>) - Method in class net.sf.tweety.action.grounding.VarsNeqRequirement
isValid(Extension) - Method in class net.sf.tweety.arg.dung.divisions.Division: Checks whether this division is valid wrt.
isValid(StructuredArgumentationFramework) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure: Checks whether this argument structure is valid wrt.
isValidDefiniteHead(RelationalFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw: Checks if a propositional formula is a valid head formula for a definite causal law, which means either a contradiction, a fluent or the negation of a fluent.
isValidFormula(Formula) - Method in class net.sf.tweety.action.signature.ActionSignature: Checks, if a given formula is valid in the sense of an action description, containing only predicates that are either fluentnames or actionnames and containing neither quantifiers nor functions.
isValidGroundingApplication(Map<Variable, Constant>, Set<GroundingRequirement>) - Static method in class net.sf.tweety.action.grounding.GroundingTools: Checks a grounding application for compliance with the grounding requirements.
isWarrant(DefeasibleLogicProgram, DelpArgument) - Method in class net.sf.tweety.arg.delp.reasoner.DelpReasoner: Checks whether the given argument is a warrant regarding a given set of arguments
isWeightedGraph() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
isWeightedGraph() - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
isWeightedGraph() - Method in class net.sf.tweety.graphs.DefaultGraph
isWeightedGraph() - Method in interface net.sf.tweety.graphs.Graph: Checks whether this graph only contains weighted edges.
isWellBound() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isWellBound() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula: Checks whether this formula is well-bound, i.e.
isWellBound() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.Implication
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isWellBound() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
isWellBound() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
isWellBound() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isWellBound() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isWellBound() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isWellBound(Set<Variable>) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isWellBound(Set<Variable>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula: Checks whether this formula is well-bound, i.e.
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Implication
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isWellBound(Set<Variable>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isWellFormed() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
isWellFormed() - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
isWellFormed() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula: Checks if this formula is well formed in the logical langauge.
isWellFormed() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula: Tests whether this formula is well-formed, i.e.
isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.ASPElement
isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
isWellFormed() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
isWellFounded() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory: returns true iff the theory is well-founded, i.e., there is no infinite sequence A1,A2,...
isWithinTolerance(Probability) - Method in class net.sf.tweety.math.probability.Probability: Checks whether the given probability is "nearly" the same as this probability (given the actual precision).
it - Variable in class net.sf.tweety.commons.streams.DefaultFormulaStream: The actual iterator.
it - Variable in class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure: For iterating over interpretations.
it - Variable in class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure: For iterating over interpretations.
it - Variable in class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure: For iterating over interpretations.
it - Variable in class net.sf.tweety.logics.commons.analysis.EtaInconsistencyMeasure: Used for enumerating the interpretations of the underlying language.
it - Variable in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure: Used for iterating over interpretations of the underlying language.
it - Variable in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator: Used for iterating over subsets of propositions.
it - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator: Used for iterating over all possible kbs
itemStateChanged(ItemEvent) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
itemStateChanged(ItemEvent) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
iterateExamples(int, int) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
IteratingMlnReasoner - Class in net.sf.tweety.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 net.sf.tweety.logics.mln.reasoner.IteratingMlnReasoner: Creates a new IteratingMlnReasoner for the given MLN reaasoner.
iterator - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator: The iterator on currentTheories.
iterator - Variable in class net.sf.tweety.commons.postulates.PostulateEvaluator: The belief base sampler used to test the rationality postulates
iterator() - Method in class net.sf.tweety.action.signature.FolAction
iterator() - Method in class net.sf.tweety.agents.MultiAgentSystem
iterator() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
iterator() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
iterator() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
iterator() - Method in class net.sf.tweety.arg.dung.semantics.Extension
iterator() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
iterator() - Method in class net.sf.tweety.commons.BeliefSet
iterator() - Method in class net.sf.tweety.commons.InterpretationSet
iterator() - Method in class net.sf.tweety.commons.SingleSetSignature
iterator() - Method in class net.sf.tweety.graphs.DefaultGraph
iterator() - Method in interface net.sf.tweety.graphs.Graph
iterator() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
iterator() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
iterator() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
iterator() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
iterator() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
iterator() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
iterator() - Method in class net.sf.tweety.math.Interval
iterator() - Method in class net.sf.tweety.preferences.PreferenceOrder
iterator(Set<Triple<T, T, Relation>>) - Method in class net.sf.tweety.preferences.PreferenceOrder: returns an iterator over a set of triples
iValue - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess: The current inconsistency value.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages