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 class net.sf.tweety.logics.commons.syntax.Individual
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 - 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
IdealReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.aba.IdealReasoner
Creates a new ideal reasoner for the given knowledge base.
IdealReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the ideal extension.
IdealReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.IdealReasoner
Creates a new ideal reasoner for the given knowledge base.
IdealReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.IdealReasoner
Creates a new ideal reasoner for the given knowledge base using sceptical inference.
identifier() - Method in class net.sf.tweety.logics.fol.parser.FolParserB
Identifier() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
identifier - Variable in class net.sf.tweety.plugin.parameter.CommandParameter
The identifier string for the command parameter
IdentifierLst() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
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.
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
image - Variable in class net.sf.tweety.arg.delp.parser.Token
The string image of the token.
image - Variable in class net.sf.tweety.arg.dung.parser.Token
The string image of the token.
image - Variable in class net.sf.tweety.logics.fol.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.
imp - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee
IMPL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
implSetPredicate(Predicate, Predicate, List<Term<?>>) - Static method in class net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl
in - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
the in set
inBuf - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
inBuf - Static variable in class net.sf.tweety.arg.dung.parser.SimpleCharStream
inBuf - Variable in class net.sf.tweety.logics.fol.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.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 <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.
incisionFunction - Variable in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
The incision function of the kernel contraction.
InconsistencyListener - Interface in net.sf.tweety.logics.commons.analysis.streams
Listener interface for listeners of stream-based inconsistency measures.
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(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 <T extends BeliefBase > - Interface in net.sf.tweety.logics.commons.analysis
Classes implementing this interface represent inconsistency measures
on belief bases.
inconsistencyMeasure(T) - Method in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
This method measures the inconsistency of the given belief base.
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 - Variable in class net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure
The inconsistency measure this Shapley culpability measure bases on.
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(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<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure
inconsistencyMeasure(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
inconsistencyMeasure(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
inconsistencyMeasure(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.analysis.MusVarInconsistencyMeasure
inconsistencyMeasure(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.analysis.PmInconsistencyMeasure
inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.PmInconsistencyMeasure
inconsistencyMeasure(Program) - Method in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
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.
InconsistencyMeasurementValueDistributionTest - Class in net.sf.tweety.logics.pl.test
InconsistencyMeasurementValueDistributionTest() - Constructor for class net.sf.tweety.logics.pl.test.InconsistencyMeasurementValueDistributionTest
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
IncProbTest - Class in net.sf.tweety.arg.prob.test
IncProbTest() - Constructor for class net.sf.tweety.arg.prob.test.IncProbTest
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(BitSet) - Method in class net.sf.tweety.commons.util.DefaultSubsetIterator
Increments the given bit set, returns null
if an overflow happens.
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(BitSet) - Method in class net.sf.tweety.commons.util.RandomSubsetIterator
Increments the given bit set
increment(Integer[]) - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner
This method increments the given array by one value.
increment(BitSet) - Method in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler
Increments the given bit set, returns null
if an overflow happens.
increment(Integer[]) - Method in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
This method increments the given array by one value.
increment(int[], int) - Method in class net.sf.tweety.machinelearning.GridSearchParameterLearner
Increments the given array of indices, e.g.
incrementStep(Integer[]) - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner
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.RelationalBruteForceCReasoner
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.
inDegree() - Method in class net.sf.tweety.commons.util.DigraphNode
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 - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
RegularExpression Id.
index - Variable in class net.sf.tweety.preferences.update.Update
The first element
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.fol.syntax.AssociativeFOLFormula
indexOf(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
indexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
indexToConditional - Variable in class net.sf.tweety.logics.cl.BruteForceCReasoner
Maps the indices of the kappa vector to their corresponding
conditionals.
indexToConditional - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
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.EnumeratingPlBeliefSetSampler
The current indices of the worlds that construct the formulas.
Individual - Class in net.sf.tweety.logics.commons.syntax
An individual is an single object similar to objects used in
Individual() - Constructor for class net.sf.tweety.logics.commons.syntax.Individual
individuals - Variable in class net.sf.tweety.logics.dl.syntax.DlSignature
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.ml.AlchemyMlnReasoner
The console command for Alchemy inference.
inference - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
InferenceRule <T extends Formula > - Class in net.sf.tweety.arg.aba.syntax
InferenceRule() - Constructor for class net.sf.tweety.arg.aba.syntax.InferenceRule
InferenceRule <T extends Invertable > - Class in net.sf.tweety.arg.aspic.syntax
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.arg.aba.FlatABAReasoner
inferenceType - Variable in class net.sf.tweety.arg.aba.GeneralABAReasoner
inferencetype - Variable in class net.sf.tweety.arg.aspic.AspicReasoner
inferenceType - Variable in class net.sf.tweety.arg.dung.AbstractExtensionReasoner
The type of inference for this reasoner, either sceptical or
credulous.
inferenceType - Variable in class net.sf.tweety.arg.dung.StratifiedLabelingReasoner
The type of inference for this reasoner, either sceptical or
credulous.
inferenceType - Variable in class net.sf.tweety.arg.prob.MonteCarloPafReasoner
The inference type used for estimating acceptability probability
of single arguments (credulous or skeptical inference).
inferenceType - Variable in class net.sf.tweety.logics.rpcl.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.
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() - 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.test.ReasonerCompare
init(FormulaStream<S>, StreamBasedInconsistencyMeasure<S>, Map<String, Object>) - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Initialization statements.
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() - Static method in class net.sf.tweety.logics.fol.test.Prover9Test
init() - Static method in class net.sf.tweety.logics.fol.test.TPTPTest
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
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() - 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.parser.ParserTest
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.arg.delp.parser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.arg.dung.parser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.logics.fol.parser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.lp.asp.parser.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initialise(Token, int[][], String[]) - Static method in exception net.sf.tweety.preferences.io.ParseException
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
initKB() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
initLogging() - Static method in class net.sf.tweety.commons.TweetyLogging
Initialize the logging system.
initParsers() - Static method in class net.sf.tweety.arg.delp.TestFormulaParsing
initParsers() - Static method in class net.sf.tweety.arg.delp.TestQueries
initTest() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
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
input_stream - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
input_stream - Static variable in class net.sf.tweety.arg.dung.parser.DungParserTokenManager
input_stream - Variable in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
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.ASPParserTokenManager
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.arg.dung.parser.SimpleCharStream
inputStream - Variable in class net.sf.tweety.logics.fol.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
Instances of this class represent assignenment of true instances for a given
predicate wrt.
InstanceAssignment(Predicate) - Constructor for class net.sf.tweety.logics.rpcl.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.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.CustomStringListCommandParameter
instantiates a list of arguments if valid
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(ArrayList<String>) - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
instantiate(String) - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
instantiates a new parameter iff the given value ist 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(ArrayList<String>) - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
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.StringListCommandParameter
instantiates a list of arguments if valid
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.
InstantiateVisitor - Class in net.sf.tweety.lp.asp.parser
This visitor uses an AST generated by the ASPParser and allocates
the classes representing the constructs of a source file, like
programs, rules, literals, arithmetics, relations, 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, Interval<Integer>) - Constructor for class net.sf.tweety.plugin.parameter.IntegerCommandParameter
IntegerCommandParameter(String, String, String) - 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.
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.
InterfaceSolver - Interface in net.sf.tweety.arg.dung.prover
The most general interface for solvers of argumentation problems.
Interpretation - Interface in net.sf.tweety.commons
An interpretation for some logical language.
interpretation - Variable in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
Interpretation(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
InterpretationDistance <T extends Interpretation ,S extends Formula > - Interface in net.sf.tweety.commons.analysis
Classes implementing this interface represent distance functions
between two interpretations.
InterpretationFunction - Class in net.sf.tweety.logics.dl.semantics
InterpretationFunction() - Constructor for class net.sf.tweety.logics.dl.semantics.InterpretationFunction
InterpretationIterator <T extends Interpretation > - Interface in net.sf.tweety.commons
An iterator over interpretations.
InterpretationSet <T 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.
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
interval - Variable in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
all possible values for this parameter's argument
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.arg.dung.parser.TokenMgrError
Tried to change to an invalid lexical state.
INVALID_LEXICAL_STATE - Static variable in error net.sf.tweety.logics.fol.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.
invalidAggregateRange() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
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
InvertedHITSRankTest() - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest
InvertedPageRankTest() - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest
InvertedPageRankTest2() - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest
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".
is - Variable in class net.sf.tweety.lp.asp.solver.AspInterface.StreamFlusher
is_smaller(Collection<T>, Collection<T>) - Method in class net.sf.tweety.arg.aspic.order.SetComparator
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(Set<Argument>, Set<Argument>, Argument) - Method in class net.sf.tweety.arg.lp.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(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.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(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 PropositionalFormula>, Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
Checks whether col1 is at least as preferred as col2 wrt.
isAtLeastAsPreferredAs(PropositionalFormula, Collection<? extends PropositionalFormula>) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
Checks whether f is at least as preferred as some formula in "formulas"
isAtLeastAsPreferredAs(PropositionalFormula, PropositionalFormula) - Method in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
Checks whether f is at least as preferred as f2
isAttacked(Argument, Extension) - Method in class net.sf.tweety.arg.dung.DungTheory
returns true if some argument of ext attacks argument.
isAttacked(Extension, Extension) - Method in class net.sf.tweety.arg.dung.DungTheory
returns true if some argument of ext2 attacks some argument
in ext1
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.DungTheory
returns true if some argument of ext is attacked by argument.
isAttackedBy(Argument, Argument) - Method in class net.sf.tweety.arg.dung.DungTheory
Checks whether arg1 is attacked by arg2.
isAttackedBy(Argument, Argument) - Method in class net.sf.tweety.arg.saf.StructuredArgumentationFramework
isAttackingAllOtherArguments(Extension) - Method in class net.sf.tweety.arg.dung.DungTheory
returns true if arguments attack all other arguments in the theory
isClosed(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.ABATheory
A set of assumptions is closed iff it equals its closure
isClosed() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
isClosed(Set<Variable>) - 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(Set<Variable>) - 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.el.syntax.ModalFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isClosed() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isClosed() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
isClosed() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isClosed(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
Tests wether all applicble defaukts from t have been applied
isClosed() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isClosed() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isClosed(Set<Variable>) - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
isCoherent() - Method in class net.sf.tweety.arg.dung.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.cl.RuleBasedCReasoner
Checks every kappa value.
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.DLPAtom
isComplete() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
isCompliant(ProbabilisticExtension) - Method in class net.sf.tweety.arg.prob.PartialProbabilityAssignment
Checks whether the given probabilistic extension is compliant with this
partial probability assignment, i.e.
isConflictFree(Collection<Assumption<T>>) - Method in class net.sf.tweety.arg.aba.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.
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.
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(FolFormula) - Method in class net.sf.tweety.action.description.syntax.CLaw
a conjunctive clause is either a literal or a conjunction of literals.
isConjunctiveClause() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
isConjunctiveClause() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
Checks whether this formula is a conjunctive clause,
i.e.
isConsistent(ActionDescription<T>) - Method in interface net.sf.tweety.action.ActionDescriptionConsistencyTester
Checks whether the given set of causal rules is consistent.
isConsistent(CActionDescription) - Method in class net.sf.tweety.action.description.CActionDescriptionConsistencyTester
Checks, whether the given action description in the action language C is
consistent.
isConsistent(ActionDescription<CLaw>) - Method in class net.sf.tweety.action.description.CActionDescriptionConsistencyTester
isConsistent(Set<DefeasibleRule>) - Method in class net.sf.tweety.arg.delp.DefeasibleLogicProgram
Checks whether the given set of defeasible rules are consistent given the strict part of this
program.
isConsistent(Collection<T>) - Method in class net.sf.tweety.commons.EntailmentRelation
Checks whether the given set of formulas is consistent.
isConsistent(BeliefSet<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(S) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractBeliefSetConsistencyTester
isConsistent(BeliefSet<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(S) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
isConsistent(BeliefSet<S>) - Method in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester
isConsistent(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester
Checks whether the given collection of formulas is consistent.
isConsistent(S) - 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.
isConsistent(BeliefSet<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(S) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
isConsistent(Collection<ProbabilisticConditional>) - Method in class net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
isConsistent(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.PclDefaultConsistencyTester
isConsistent(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.ClassicalEntailment
isConsistent(BeliefSet<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
isConsistent(Collection<DLPLiteral>) - Method in class net.sf.tweety.lp.asp.analysis.SdInconsistencyMeasure
Checks whether the given set of literals is consistent, i.e.
isConsistent(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
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.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.Rule
isConstraint() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
isContainedInAll(Argument, Collection<Extension>) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner
Checks whether the given argument "y" is contained in all sets of arguments
in "args".
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() - 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.Variable
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(Argument) - Method in class net.sf.tweety.arg.lp.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.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.fol.syntax.Conjunction
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
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.Negation
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isDnf() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
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.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.InterpretationSet
isEmpty() - Method in class net.sf.tweety.commons.SetSignature
isEmpty() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
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.AssociativePropositionalFormula
isEmpty() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
isEmpty() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
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(T, T) - Method in class net.sf.tweety.commons.EntailmentRelation
Checks whether the two formula are equivalent, i.e.
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 programs, that means the heads of the
literals have not 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.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.Rule
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.ABATheory
An ABA theory is flat iff all subsets of its argumentation set are closed
isFormerAtLeastAsPreferredAsLatter(PropositionalFormula, Collection<PropositionalFormula>) - 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.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.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.fol.syntax.RelationalFormula
Checks whether this formula is ground, i.e.
isGround() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
isGround() - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic
isGround() - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
isGround() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
isGround() - Method in class net.sf.tweety.lp.asp.syntax.DLPNot
isGround() - Method in class net.sf.tweety.lp.asp.syntax.Program
Checks whether this program is ground, i.e.
isHittingSet(Collection<S>, Collection<Interpretation>) - Method in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure
Checks whether the given candidate is a hitting set.
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.DungTheory
Checks whether "arg1" indirectly attacks "arg2", i.e.
isIndirectAttack(Argument, Argument, Set<Argument>) - Method in class net.sf.tweety.arg.dung.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.semantics.Problem
isJustificationProblem() - Method in enum net.sf.tweety.arg.dung.semantics.Problem.SubProblem
isJustified(Argument) - Method in class net.sf.tweety.arg.lp.ArgumentationReasoner
An argument is called x/y-justified if it is contained in J_{P,x/y}.
isJustified(DLPLiteral) - Method in class net.sf.tweety.arg.lp.LiteralReasoner
A literal is called x/y-justified, if a x/y-justified
argument with conclusion arg can be constructed from p.
isLeaf() - Method in class net.sf.tweety.commons.util.DigraphNode
leafs have an outdegree of 0
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.CanonicalEnumerator
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.el.syntax.ModalFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isLiteral() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isLiteral() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.Negation
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
isLiteral() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
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.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(Collection<Argument>, int) - Method in class net.sf.tweety.arg.dung.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(Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner
Checks whether the given set of arguments is mn-admissible, cf.
isMNComplete(Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner
Checks whether the given set of arguments is mn-complete, cf.
isMNGrounded(Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner
Checks whether the given set of arguments is mn-grounded, cf.
isMNPreferred(Collection<Argument>, int, int) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner
Checks whether the given set of arguments is mn-preferred, cf.
isMStable(Collection<Argument>, int) - Method in class net.sf.tweety.arg.dung.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.SetSignature
isOverlappingSignature(Signature) - Method in class 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.logics.dl.syntax.DlSignature
isOverlappingSignature(Signature) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
isOverruled(Argument) - Method in class net.sf.tweety.arg.lp.ArgumentationReasoner
An argument is called x/y-overruled, if it is attacked by an
x/y-justified argument.
isOverruled(DLPLiteral) - Method in class net.sf.tweety.arg.lp.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.DungTheory
Determines if the theory is relatively coherent, i.e., if the grounded extension coincides with the intersection of all preferred extensions
isRepresentable(Formula) - Method in class net.sf.tweety.commons.Language
Checks whether the given formula is representable in this language.
isRepresentable(BeliefBase) - Method in class net.sf.tweety.commons.Language
Checks whether the given knowledge base is representable in this language.
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguage
isRepresentable(BeliefBase) - Method in class net.sf.tweety.logics.fol.lang.FolLanguage
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguageNoFunctions
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguageNoFunctionsOnlyBeginForall
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiers
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiersNoFunctions
isRepresentable(Formula) - Method in class net.sf.tweety.logics.fol.lang.FolLanguagePropositional
isRepresentable(FolFormula) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
Checks whether the given formula can be represented by this signature.
isRepresentable(Formula) - Method in class net.sf.tweety.logics.pl.lang.PropositionalLanguage
isRepresentable(BeliefBase) - Method in class net.sf.tweety.logics.pl.lang.PropositionalLanguage
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.
isRoot() - Method in class net.sf.tweety.commons.util.DigraphNode
roots have an indegree of 0
isSafe() - Method in class net.sf.tweety.lp.asp.syntax.Rule
Proofs if the given rule is safe for use in a solver.
isSatisfiable(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.LingelingSolver
isSatisfiable(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.Sat4jSolver
isSatisfiable(Collection<PropositionalFormula>) - Method in class net.sf.tweety.logics.pl.sat.SatSolver
Checks whether the given set of formulas is satisfiable.
isSatisfied(TransitionSystem, BeliefBase) - Method in interface net.sf.tweety.action.ActionQuerySatisfactionTester
Checks whether the given transition system satisfies the given action
queries.
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in interface net.sf.tweety.action.ActionQuerySatisfactionTester
Checks whether the given transition system satisfies the given action
queries.
isSatisfied(TransitionSystem, BeliefBase) - Method in class net.sf.tweety.action.query.SActionQuerySatisfactionTester
isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in class net.sf.tweety.action.query.SActionQuerySatisfactionTester
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
This reasoner provides is an implementation of the "Iterative Successive Subsitution Algorithm"
from [Marco Correia and Jorge Cruz and João Leite.
IssReasoner(BeliefBase, SimpleProductSemantics, double) - Constructor for class net.sf.tweety.arg.social.IssReasoner
Creates a new reasoner for the given social abstract argumentation framework
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.ml.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(AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
Checks wheter this is a direct or indirect subargument of arg
isSubargumentOf(DelpArgument) - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument
Checks whether this argument is a subargument of the given argument
isSubSignature(Signature) - Method in class net.sf.tweety.commons.SetSignature
isSubSignature(Signature) - Method in class 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.logics.dl.syntax.DlSignature
isSubSignature(Signature) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
isSuccessful() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
successfull <=> there is no x: x in In and x in Out
isSuccessfull() - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
isSupport(Argument, Argument) - Method in class net.sf.tweety.arg.dung.DungTheory
Checks whether "arg1" supports "arg2", i.e.
isSupport(Argument, Argument, Set<Argument>) - Method in class net.sf.tweety.arg.dung.DungTheory
Checks whether "arg1" supports "arg2", i.e.
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.
isTargetLinear() - Method in class net.sf.tweety.math.opt.OptimizationProblem
Checks whether the target function is linear.
isTolerated(Conditional, ClBeliefSet) - Method in class net.sf.tweety.logics.cl.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(Rule, Set<DLPLiteral>) - Method in class net.sf.tweety.arg.lp.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
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(Collection<Extension>) - Method in class net.sf.tweety.arg.dung.divisions.Division
Checks whether this division is valid wrt.
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.
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() - 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
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(DelpArgument, Set<DelpArgument>) - Method in class net.sf.tweety.arg.delp.DelpReasoner
Checks whether the given argument is a warrant regarding a given set of arguments
isWeightedGraph() - Method in class net.sf.tweety.arg.dung.DungTheory
isWeightedGraph() - Method in class net.sf.tweety.arg.prob.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(Set<Variable>) - 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(Set<Variable>) - 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.el.syntax.ModalFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.Negation
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.Negation
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
isWellBound() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
isWellBound() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
isWellBound() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
isWellBound() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
isWellBound(Set<Variable>) - 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.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.fol.syntax.RelationalFormula
Tests whether this formula is well-formed, i.e.
isWellFounded() - Method in class net.sf.tweety.arg.dung.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.SyntacticEnumeratingPlBeliefSetSampler
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.ml.test.MlnTest
IteratingMlnReasoner - Class in net.sf.tweety.logics.ml
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.ml.IteratingMlnReasoner
Creates a new IteratingMlnReasoner for the given MLN reaasoner.
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.dung.ldo.syntax.LdoAssociativeFormula
iterator() - Method in class net.sf.tweety.arg.dung.semantics.Extension
iterator - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
The iterator on currentTheories.
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.SetSignature
iterator() - Method in class net.sf.tweety.commons.util.Digraph
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.fol.syntax.AssociativeFOLFormula
iterator() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
iterator() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
iterator() - Method in class net.sf.tweety.math.Interval
iterator(Set<Triple<T, T, Relation>>) - Method in class net.sf.tweety.preferences.PreferenceOrder
returns an iterator over a set of pairs
iterator() - Method in class net.sf.tweety.preferences.PreferenceOrder
an Iterator over all relations in this po
iValue - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
The current inconsistency value.