Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

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 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.
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links