Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

I

I_MAXIMALITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle

The I-maximality principle

IaqAcceptabilityReasoner - Class in org.tweetyproject.arg.dung.reasoner

Implements the IAQ approach ("iterative acceptability queries") to determine the set of acceptable arguments of an AF, cf.

IaqAcceptabilityReasoner(AbstractExtensionReasoner, InferenceMode) - Constructor for class org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner

Creates a new IaqAcceptabilityReasoner.

IcebergInconsistencyExample - Class in org.tweetyproject.logics.pl.examples

Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter.

IcebergInconsistencyExample() - Constructor for class org.tweetyproject.logics.pl.examples.IcebergInconsistencyExample

IcebergInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis

This class implements the inconsistency measures proposed in [De Bona, Hunter.

IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation) - Constructor for class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure

Creates a new Iceberg Inconsistency Measure with the given consequence operation with default properties.

IcebergInconsistencyMeasure(IcebergInconsistencyMeasure.ConsequenceOperation, boolean) - Constructor for class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure

Creates a new Iceberg Inconsistency Measure with the given consequence operation.

IcebergInconsistencyMeasure.ConsequenceOperation - Enum in org.tweetyproject.logics.pl.analysis

A consequence operation returns parts of knowledge bases.

id - Variable in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure

id

id - Variable in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format

ID

ID - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics

ID

ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants

RegularExpression Id.

ID - Static variable in class org.tweetyproject.web.services.DelpService

The identifier of this service.

ID - Static variable in class org.tweetyproject.web.services.InconsistencyMeasurementService

The identifier of this service.

ID - Static variable in class org.tweetyproject.web.services.PingService

The identifier of this service.

IDEAL_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics

all semantics

IdealReasoner<T extends Formula> - Class in org.tweetyproject.arg.aba.reasoner

This reasoner for ABA theories performs inference on the ideal extension.

IdealReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.IdealReasoner

Identifier() - Method in class org.tweetyproject.lp.asp.parser.ASPParser

IDENTITY - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation

identity

IGNORE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.DirHyperGraph

When inverting a DirHyperGraph, ignore self loops (don't add and don't remove)

IGNORE_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.Graph

When inverting a graph, ignore self loops (don't add and don't remove)

IllegalCharacterTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

ImAdjunctionInvariance - Class in org.tweetyproject.logics.pl.postulates

The "adjunction invariance" postulate for inconsistency measures: The set notation of knowledge bases should be equivalent to the conjunction of its formulas in terms of inconsistency values.

image - Variable in class org.tweetyproject.arg.delp.parser.Token

image - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The string image of the token.

image - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The string image of the token.

image - Variable in class org.tweetyproject.lp.asp.parser.Token

The string image of the token.

image - Variable in class org.tweetyproject.preferences.io.Token

The string image of the token.

ImAttenuation - Class in org.tweetyproject.logics.pl.postulates

The "attenuation" postulate for inconsistency measures: Minimal inconsistent sets of smaller size should have a larger inconsistency value.

IMaximalityPrinciple - Class in org.tweetyproject.arg.dung.principles

I-Maximality Principle A semantics satisfies I-Maximality iff for all pairs of extensions E1, E2 it holds that: if E1 is a subset of E2, then E1 = E2 see: Baroni, P., and Giacomin, M.

IMaximalityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple

ImConsistency - Class in org.tweetyproject.logics.pl.postulates

The "consistency" postulate for inconsistency measures: Consistent knowledge bases receive the minimal inconsistency value (0) and all inconsistent knowledge bases have strictly positive inconsistency values.

ImContradiction - Class in org.tweetyproject.logics.pl.postulates

The "contradiction" postulate for inconsistency measures: A knowledge base is maximally inconsistent if all non-empty subsets are inconsistent.

ImDominance - Class in org.tweetyproject.logics.pl.postulates

The "dominance" postulate for inconsistency measures: Substituting a consistent formula by a weaker formula should not increase the inconsistency value.

ImEqualConflict - Class in org.tweetyproject.logics.pl.postulates

The "equal conflict" postulate for inconsistency measures: Minimal inconsistent subsets of the same size should have the same inconsistency value.

ImExchange - Class in org.tweetyproject.logics.pl.postulates

The "exchange" postulate for inconsistency measures: Exchanging consistent parts of a knowledge base with equivalent ones should not change the inconsistency value.

ImFreeFormulaDilution - Class in org.tweetyproject.logics.pl.postulates

The "free-formula dilution" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set does not make the inconsistency value larger.

ImFreeFormulaIndependence - Class in org.tweetyproject.logics.pl.postulates

The "free-formula independence" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set (= a free formula) does not change the inconsistency value.

ImIrrelevanceOfSyntax - Class in org.tweetyproject.logics.pl.postulates

The "irrelevance of syntax" postulate for inconsistency measures: Knowledge bases with pairwise equivalent formulas should receive the same inconsistency value.

ImMINormalization - Class in org.tweetyproject.logics.pl.postulates

The "MI-normalization" postulate for inconsistency measures: The inconsistency value of any minimal inconsistent subset is 1.

ImMISeparability - Class in org.tweetyproject.logics.pl.postulates

The "MI-separability" postulate for inconsistency measures: The sum of inconsistency values of two knowledge bases with non-interfering sets of minimal inconsistent subsets should be the same as the inconsistency value of their union.

ImMonotony - Class in org.tweetyproject.logics.pl.postulates

The "monotony" postulate for inconsistency measures: Adding information to a belief base cannot decrease the inconsistency value.

ImNormalization - Class in org.tweetyproject.logics.pl.postulates

The "normalization" postulate for inconsistency measures: The inconsistency value is always in the unit interval [0,1], making it possible to compare inconsistency values for knowledge bases of different sizes.

ImPenalty - Class in org.tweetyproject.logics.pl.postulates

The "penalty" postulate for inconsistency measures: Adding a formula that participates in an inconsistency (i.e.

Implication - Class in org.tweetyproject.logics.fol.syntax

The implication of first-order logic.

Implication - Class in org.tweetyproject.logics.pl.syntax

This class models the implication of propositional logic.

Implication(Pair<RelationalFormula, RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Implication

Creates a new implication with the given pair of formulas

Implication(Pair<PlFormula, PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Implication

Creates a new implication with the given pair of formulas

Implication(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Implication

Creates a new implication a=>b with the two given formulas

Implication(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Implication

Creates a new implication a=>b with the two given formulas

IMPLICATION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

ImplicationAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc

ImplicationAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition

ImplicationTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest

ImplicationTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest

ImplicationTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

implies(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder

implSetPredicate(Predicate, Predicate, List<Term<?>>) - Static method in class org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl

ImPostulate - Class in org.tweetyproject.logics.pl.postulates

An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.

ImPostulate() - Constructor for class org.tweetyproject.logics.pl.postulates.ImPostulate

ImPostulateEvaluationExample - Class in org.tweetyproject.logics.pl.examples

Example code illustrating automatic postulate evaluation of inconsistency measures.

ImPostulateEvaluationExample() - Constructor for class org.tweetyproject.logics.pl.examples.ImPostulateEvaluationExample

ImprovedRiveretTheoryLearner - Class in org.tweetyproject.arg.dung.learning

Implementation of the algorithm for learning (grounded) labelings from with some improvements: Riveret, Régis, and Guido Governatori.

ImprovedRiveretTheoryLearner(Collection<Argument>, int) - Constructor for class org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner

initialize learner for the given set of arguments

ImSafeFormulaIndependence - Class in org.tweetyproject.logics.pl.postulates

The "safe-formula independence" postulate for inconsistency measures: Removing a safe formula (i.e.

ImSuperAdditivity - Class in org.tweetyproject.logics.pl.postulates

The "super-additivity" postulate for inconsistency measures: The sum of the inconsistency values of two disjoint knowledge bases is not larger than the inconsistency value of the joint knowledge base.

ImWeakDominance - Class in org.tweetyproject.logics.pl.postulates

A weaker variant of the "dominance" postulate using prime implicates, proposed in [Jabbour et al.

IN - Enum constant in enum org.tweetyproject.arg.dung.semantics.ArgumentStatus

IN

INCDEFAULTVALUE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener

incise(Collection<Collection<T>>) - Method in interface org.tweetyproject.beliefdynamics.kernels.IncisionFunction

Selects from each collection in the given collection one element and returns the collection of all those elements.

incise(Collection<Collection<T>>) - Method in class org.tweetyproject.beliefdynamics.kernels.RandomIncisionFunction

IncisionFunction<T extends Formula> - Interface in org.tweetyproject.beliefdynamics.kernels

This interface models an incision function for kernel contraction, ie a function that incises each of the kernel sets of some set.

Inclusive - Enum constant in enum org.tweetyproject.logics.bpm.syntax.GatewayType

Inclusive

INCLUSIVE_GATEWAY - Enum constant in enum org.tweetyproject.logics.bpm.syntax.BpmnModel.BpmnNodeType

InclusiveGateway - Class in org.tweetyproject.logics.bpm.syntax

A class to represent inclusive gateways in a BPMN Model

InclusiveGateway() - Constructor for class org.tweetyproject.logics.bpm.syntax.InclusiveGateway

Create a new instance

InclusiveGatewayParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Parse inclusive gateways in a BPMN model

InclusiveGatewayParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.InclusiveGatewayParser

Create a new instance

INCOMING - Enum constant in enum org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType

Deprecated.

INCOMING

incomingDegree(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

IncomparableArgumentsTest() - Method in class org.tweetyproject.arg.rankings.RankingsTest

IncompleteConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

IncompleteDisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

IncompleteReasoner - Class in org.tweetyproject.arg.dung.reasoner

incomlete argumentation framework class

IncompleteReasoner(Semantics) - Constructor for class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner

constructor for direct initialization of semantics

IncompleteReasonerExample - Class in org.tweetyproject.arg.dung.examples

example of a problem for an incomplete reasoner

IncompleteReasonerExample() - Constructor for class org.tweetyproject.arg.dung.examples.IncompleteReasonerExample

IncompleteTheory - Class in org.tweetyproject.arg.dung.syntax

IncompleteTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.IncompleteTheory

costructor

InconsistencyListener - Interface in org.tweetyproject.logics.commons.analysis.streams

Listener interface for listeners of stream-based inconsistency measures.

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.FbInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.MusVarInconsistencyMeasure

inconsistencyMeasure(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.PmInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

This method measures the inconsistency of the given set of formulas.

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.CcInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DHitInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DrasticInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.DSumInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MaInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.McscInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.MiInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NConsInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NormalizedMicInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NormalizedMiInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.PrInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure

inconsistencyMeasure(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure

inconsistencyMeasure(PartialProbabilityAssignment) - Method in class org.tweetyproject.arg.prob.analysis.PAInconsistencyMeasure

inconsistencyMeasure(BeliefSet<S, ?>) - Method in class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure

inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure

inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure

inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure

inconsistencyMeasure(ReachabilityGraph) - Method in class org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure

inconsistencyMeasure(Program) - Method in class org.tweetyproject.lp.asp.analysis.PmInconsistencyMeasure

inconsistencyMeasure(Program) - Method in class org.tweetyproject.lp.asp.analysis.SdInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.DrasticInconsistencyMeasure

inconsistencyMeasure(T) - Method in interface org.tweetyproject.arg.dung.analysis.InconsistencyMeasure

This method measures the inconsistency of a given Dungian argumentation framework.

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.InSumInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.NonGroundedCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.PreferredCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.UnstableCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedComponentCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedCycleCountInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedInSumInconsistencyMeasure

inconsistencyMeasure(T) - Method in class org.tweetyproject.arg.dung.analysis.WeightedOutSumInconsistencyMeasure

inconsistencyMeasure(T) - Method in interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure

This method measures the inconsistency of the given belief base.

InconsistencyMeasure<T extends DungTheory> - Interface in org.tweetyproject.arg.dung.analysis

InconsistencyMeasure<T extends BeliefBase> - Interface in org.tweetyproject.logics.commons.analysis

Classes implementing this interface represent inconsistency measures on belief bases.

InconsistencyMeasureEvaluationExample - Class in org.tweetyproject.logics.pl.examples

Example code for using InconsistencyMeasureEvaluator for comparing inconsistency measure implementations.

InconsistencyMeasureEvaluationExample() - Constructor for class org.tweetyproject.logics.pl.examples.InconsistencyMeasureEvaluationExample

InconsistencyMeasureEvaluator<T extends Formula,U extends BeliefSet<T,?>> - Class in org.tweetyproject.logics.commons.analysis

This class provides functionality to quickly load or generate sample datasets and to use them to compare the results and performances of different inconsistency measure implementations.

InconsistencyMeasureEvaluator() - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator

Create a new empty InconsistencyMeasureEvaluator.

InconsistencyMeasureEvaluator(Collection<BeliefSetInconsistencyMeasure<T>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator

Create a new InconsistencyMeasureEvaluator with the given inconsistency measures.

InconsistencyMeasureEvaluator(Collection<U>, Collection<BeliefSetInconsistencyMeasure<T>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator

Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measures.

InconsistencyMeasureEvaluator(Collection<U>, BeliefSetInconsistencyMeasure<T>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator

Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measure.

InconsistencyMeasureEvaluator(BeliefSetInconsistencyMeasure<T>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator

Create a new InconsistencyMeasureEvaluator with the given inconsistency measure.

InconsistencyMeasureFactory - Class in org.tweetyproject.logics.pl.analysis

Main factory for retrieving inconsistency measures for propositional logic.

InconsistencyMeasureFactory() - Constructor for class org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory

InconsistencyMeasureFactory.Measure - Enum in org.tweetyproject.logics.pl.analysis

An enumeration of all available inconsistency measures.

InconsistencyMeasurementProcess<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis.streams

The actual process of an inconsistency measure on streams.

InconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess

Creates a new process for the given stream.

InconsistencyMeasurementService - Class in org.tweetyproject.web.services

Inconsistency measurement service.

InconsistencyMeasurementService() - Constructor for class org.tweetyproject.web.services.InconsistencyMeasurementService

Default constructor

inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener

inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener

inconsistencyMeasurementStarted(InconsistencyUpdateEvent) - Method in interface org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener

This method is called by a stream-based inconsistency measure when an inconsistency measurement has started.

InconsistencyMeasureReport<T extends Formula,U extends BeliefSet<T,?>> - Class in org.tweetyproject.logics.commons.analysis

This class summarizes the results of computing inconsistency values for some collection of knowledge bases using some set of inconsistency measures, including computation times and some statistics.

InconsistencyMeasureReport(List<String>, List<U>, List<String>, Map<String, List<InconsistencyMeasureResult>>) - Constructor for class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport

Creates a new InconsistencyMeasureReport with the given results, the given list of measures used and the given list of knowledge bases used.

InconsistencyMeasureResult - Class in org.tweetyproject.logics.commons.analysis

This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e.

InconsistencyMeasureResult.Status - Enum in org.tweetyproject.logics.commons.analysis

Status of an InconsistencyMeasureResult: OK means that an inconsistency value has been computed.

inconsistencyTest() - Method in class org.tweetyproject.arg.prob.ProbTester

InconsistencyUpdateEvent - Class in org.tweetyproject.logics.commons.analysis.streams

An event that is thrown when an inconsistency value has been updated.

InconsistencyUpdateEvent(StreamBasedInconsistencyMeasure<?>, InconsistencyMeasurementProcess<?>, Double, Formula) - Constructor for class org.tweetyproject.logics.commons.analysis.streams.InconsistencyUpdateEvent

Creates a new event with the given parameters.

inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener

inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener

inconsistencyUpdateOccured(InconsistencyUpdateEvent) - Method in interface org.tweetyproject.logics.commons.analysis.streams.InconsistencyListener

This method is called by a stream-based inconsistency measure when an update of an inconsistency value occurs.

INCONSISTENT - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue

inconsistent

INCREASEOFATTACKBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

The INCREASEOFATTACKBRANCH postulate

INCREASEOFDEFENSEBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

The INCREASEOFDEFENSEBRANCH postulate

IncreasingSubsetIterator<T> - Class in org.tweetyproject.commons.util

Iterates over all subsets of a given set.

IncreasingSubsetIterator(Set<T>) - Constructor for class org.tweetyproject.commons.util.IncreasingSubsetIterator

Creates a new subset iterator for the given set.

increment(int) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet

Increments the value at the specified position.

increment(int) - Method in class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet

Increments the value at the specified position.

IncrementalSatSolver - Interface in org.tweetyproject.arg.adf.sat

Indecision - Class in org.tweetyproject.logics.translators.adfrevision

This class models an indecision operator for 3-valued propositional logic as proposed in [Heyninck 2020] Indecision(a) is true, if formula a is undecided Indecision(a) is false, if formula a is true or false Adapted from the class "Negation"

Indecision(PlFormula) - Constructor for class org.tweetyproject.logics.translators.adfrevision.Indecision

Creates a new negation with the given formula.

Independence - Class in org.tweetyproject.arg.dung.independence

This class implements methods for computing conditional independence of sets of arguments in abstract argumentation Rienstra, Tjitze, et al.

Independence() - Constructor for class org.tweetyproject.arg.dung.independence.Independence

INDEPENDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

The INDEPENDENCE postulate

IndependenceExample - Class in org.tweetyproject.arg.dung.examples

Example usage of the Independence class example theory taken from: Rienstra, Tjitze, et al.

IndependenceExample() - Constructor for class org.tweetyproject.arg.dung.examples.IndependenceExample

independentSets(Set<Collection<E>>, int) - Method in class org.tweetyproject.commons.util.SetTools

Returns all independent sets of the given cardinality of the given set of sets.

INDEX - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants

RegularExpression Id.

IndexedSatSolverState - Interface in org.tweetyproject.arg.adf.sat

indexOf(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

indexOf(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

indexOf(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

indexOf(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

indexOf(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

indexOf(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

IndicatorUtilityFunction - Class in org.tweetyproject.agents.dialogues.structured

This class represents an indicator utility function, i.e.

IndicatorUtilityFunction(Proposition) - Constructor for class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction

Creates a new indicator utility function for the given focal element.

Individual - Class in org.tweetyproject.logics.dl.syntax

This class models an individual in description logic, also known as an object.

Individual(String) - Constructor for class org.tweetyproject.logics.dl.syntax.Individual

Individual(Constant) - Constructor for class org.tweetyproject.logics.dl.syntax.Individual

INEQUALITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

InequalityPredicate - Class in org.tweetyproject.logics.fol.syntax

This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.

InequalityPredicate() - Constructor for class org.tweetyproject.logics.fol.syntax.InequalityPredicate

constructor

Inequation - Class in org.tweetyproject.math.equation

This class models an inequation of two terms.

Inequation(Term, Term, int) - Constructor for class org.tweetyproject.math.equation.Inequation

Creates a new inequation of the given type with the two terms.

InferenceMode - Enum in org.tweetyproject.commons

enum fr Inference

InferenceRule<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax

This class models an inference rule from an ABA theory.

InferenceRule<T extends Invertable> - Class in org.tweetyproject.arg.aspic.syntax

InferenceRule() - Constructor for class org.tweetyproject.arg.aba.syntax.InferenceRule

InferenceRule() - Constructor for class org.tweetyproject.arg.aspic.syntax.InferenceRule

Creates an empty instance

InferenceRule(T, Collection<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.InferenceRule

Constructs a new inference rule of rule p -> c if strict or p => c else

INFINITY - Static variable in class org.tweetyproject.logics.cl.semantics.RankingFunction

Integer used to define infinity.

INFINITY - Static variable in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction

Integer used to define infinity.

INFINITY - Static variable in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued

Integer used to define infinity.

INFO - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel

INFO

InformationObject<T extends Formula> - Class in org.tweetyproject.beliefdynamics.mas

This class represents a formula annotated with the source of the formula.

InformationObject(T, Agent) - Constructor for class org.tweetyproject.beliefdynamics.mas.InformationObject

Creates a new information object for the given formula and the given source.

informationOrder(FourValuedWorld.TruthValue, FourValuedWorld.TruthValue) - Static method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld

This method puts the 4 truth values into an information order

init() - Static method in class org.tweetyproject.arg.delp.TestArguments

init() - Static method in class org.tweetyproject.arg.delp.TestDTree

init() - Static method in class org.tweetyproject.logics.fol.test.Prover9Test

init() - Static method in class org.tweetyproject.logics.fol.test.SPASSTest

init() - Static method in class org.tweetyproject.logics.fol.test.TPTPTest

init() - Method in class org.tweetyproject.logics.ml.MleanCoPTest

init() - Static method in class org.tweetyproject.logics.ml.SPASSTest

init() - Static method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld

init() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

init() - Static method in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest

init() - Static method in class org.tweetyproject.lp.asp.analysis.ClingoTest

init() - Static method in class org.tweetyproject.lp.asp.analysis.DLVTest

init() - Static method in class org.tweetyproject.lp.asp.parser.ASPParserTest

initializeDefaultProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

initializes a probability function over the edges of this graph according to Random Walk, i.e.

initializeIrregularProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

Initialize a probability function over the edges of this graph according to a stochastic walk.

initializeOrders() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest

initializeRandomProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

Initialize a probability function over the edges of this graph according to a stochastic walk.

initializeWalk() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk

Initialize the walk by setting up an initial state that assigns equal probabilities to each of the graph's initial markings

initKB() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

initParser() - Method in class org.tweetyproject.logics.dl.test.DlParserTest

initParser() - Method in class org.tweetyproject.logics.dl.test.DlReasonerTest

initParser() - Method in class org.tweetyproject.logics.fol.test.FolParserTest

initParser() - Method in class org.tweetyproject.logics.ml.MlParserTest

initParser() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

initParsers() - Static method in class org.tweetyproject.arg.delp.TestFormulaParsing

initTest() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest

initWorld() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld

INRA - Static variable in class org.tweetyproject.arg.dung.principles.Principle

The Irrelevance of Necessarily Rejected Arguments (INRA) principle

INRAPrinciple - Class in org.tweetyproject.arg.dung.principles

Irrelevance of Necessarily Rejected Arguments (INRA) Principle A semantics s satisfies INRA if for every AF F it holds that: for every argument a in F, if every s-extension attacks a, then s(F) = s(F\{a}) i.e if an argument is attacked by every extension, then it does not influence the computation of extensions and can be ignored see: Cramer, M., and van der Torre, L.

INRAPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.INRAPrinciple

INSTANCE - Enum constant in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition

Instance

INSTANCE - Enum constant in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition

Instance

InstanceAssignment - Class in org.tweetyproject.logics.rpcl.semantics

Instances of this class represent assignenment of true instances for a given predicate wrt.

InstanceAssignment(Predicate) - Constructor for class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment

Creates a new instance assignment for the given predicate with no assignments.

InstanceAssignment(Predicate, Map<? extends Collection<? extends Constant>, Integer>) - Constructor for class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment

Creates a new instance assignment for the given predicate with the given map.

InstanceAssignment(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

instantiate(double) - Method in class org.tweetyproject.machinelearning.TrainingParameter

Instantiates a new parameter with the given value.

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.CommandParameter

instantiate the command with the given argument string if valid

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter

instantiate single string

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter

instantiates a new parameter iff the given value ist valid for this command parameter (for special case with one file);

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter

instantiates a new parameter iff the given value is valid for this command parameter

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter

instantiates a new parameter iff the given value ist valid for this command parameter

instantiate(String) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter

instantiates unary argument if valid

instantiate(String[]) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter

instantiates a list of arguments if valid

instantiate(String[]) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter

instantiates a list of arguments if valid

instantiate(ArrayList<String>) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter

instantiate(ArrayList<String>) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter

instantiate(Set<Argument>, Set<Attack>) - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory

instantiates some possible arguments and attacks

instantiateParameters(TweetyPlugin, ArrayList<ArrayList<String>>) - Static method in class org.tweetyproject.cli.plugins.CliMain

instantiates each given input parameter within the called plugin - if possible

InstantiateVisitor - Class in org.tweetyproject.lp.asp.parser

This visitor iterates over the AST generated by ASPParser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.

InstantiateVisitor() - Constructor for class org.tweetyproject.lp.asp.parser.InstantiateVisitor

instantiateWithDefaultValue() - Method in class org.tweetyproject.machinelearning.TrainingParameter

Instantiates a new parameter with the default value.

InSumInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis

InSumInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.InSumInconsistencyMeasure

inSumWithNoAttackReturnsZero() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure

inSumWithThreeEdgesReturnsThree() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure

inSumWorksWithCycles() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure

IntegerCommandParameter - Class in org.tweetyproject.plugin.parameter

This parameter holds a number-interval of possible arguments

IntegerCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter

IntegerCommandParameter(String, String, String) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter

IntegerCommandParameter(String, String, Interval<Integer>) - Constructor for class org.tweetyproject.plugin.parameter.IntegerCommandParameter

IntegerConstant - Class in org.tweetyproject.math.term

This class encapsulates an integer as a term.

IntegerConstant(int) - Constructor for class org.tweetyproject.math.term.IntegerConstant

Creates a new Integer.

integerLinearSolver - Static variable in class org.tweetyproject.web.services.InconsistencyMeasurementService

The integer linear optimization solver configured for this service.

IntegerVariable - Class in org.tweetyproject.math.term

This class models an integer variable as a mathematical term.

IntegerVariable(String) - Constructor for class org.tweetyproject.math.term.IntegerVariable

Creates a new variable with the given name.

IntegerVariable(String, boolean) - Constructor for class org.tweetyproject.math.term.IntegerVariable

Creates a new variable with the given name.

IntegerVariable(String, double, double) - Constructor for class org.tweetyproject.math.term.IntegerVariable

Creates a new variable with the given name and bounds.

IntermediateEvent - Class in org.tweetyproject.logics.bpm.syntax

A class to represent intermediate events of all kinds in a BPMN Model

IntermediateEvent() - Constructor for class org.tweetyproject.logics.bpm.syntax.IntermediateEvent

Create a new instance

IntermediateEventParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Parse intermediate events in a BPMN model

IntermediateEventParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.IntermediateEventParser

Create a new instance

InterpolantEnumerator<S extends Formula> - Interface in org.tweetyproject.logics.commons.analysis

Interface for classes enumerating (Craig) interpolants.

interpretation() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep

Interpretation - Interface in org.tweetyproject.arg.adf.semantics.interpretation

This class represents a three-valued interpretation of an Abstract Dialectical Framework (ADF).

Interpretation<B extends BeliefBase,S extends Formula> - Interface in org.tweetyproject.commons

An interpretation for some logical language.

Interpretation(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

Interpretation.Builder - Class in org.tweetyproject.arg.adf.semantics.interpretation

InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Interface in org.tweetyproject.commons.analysis

Classes implementing this interface represent distance functions between two interpretations.

InterpretationIterator - Class in org.tweetyproject.arg.adf.semantics.interpretation

Creates all possible interpretations while respecting the order of the given arguments.

InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> - Interface in org.tweetyproject.commons

An iterator over interpretations.

InterpretationIterator(Collection<Argument>) - Constructor for class org.tweetyproject.arg.adf.semantics.interpretation.InterpretationIterator

InterpretationIteratorTest - Class in org.tweetyproject.arg.adf.util.test

InterpretationIteratorTest() - Constructor for class org.tweetyproject.arg.adf.util.test.InterpretationIteratorTest

InterpretationProcessor - Interface in org.tweetyproject.arg.adf.reasoner.sat.processor

Performs further processing on interpretations, e.g.

interpretations() - Method in interface org.tweetyproject.arg.adf.reasoner.query.TaskStep

InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.commons

This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

InterpretationSet() - Constructor for class org.tweetyproject.commons.InterpretationSet

Creates a new empty interpretation.

InterpretationSet(Collection<? extends T>) - Constructor for class org.tweetyproject.commons.InterpretationSet

Creates a new interpretation with the given collection of formulas.

InterpretationTrieSet - Class in org.tweetyproject.arg.adf.util

Deprecated.

Was written for failed experiments and is not maintained anymore.

InterpretationTrieSet() - Constructor for class org.tweetyproject.arg.adf.util.InterpretationTrieSet

Deprecated.

InterpretationTrieSet(List<Interpretation>) - Constructor for class org.tweetyproject.arg.adf.util.InterpretationTrieSet

Deprecated.

Intersection - Class in org.tweetyproject.logics.dl.syntax

This class models an intersection in description logics.

Intersection() - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection

Creates a new (empty) intersection.

Intersection(Collection<? extends ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection

Creates a new intersection with the given inner formulas.

Intersection(ComplexConcept, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Intersection

Creates a new intersection with the two given formulas.

Interval<S extends Number> - Class in org.tweetyproject.math

This class contains a set of closed set (interval) of possible numbers

Interval(NumberSet<S>) - Constructor for class org.tweetyproject.math.Interval

interval

Interval(S, S) - Constructor for class org.tweetyproject.math.Interval

interval

intValue() - Method in class org.tweetyproject.math.ComplexNumber

intValue() - Method in class org.tweetyproject.math.probability.Probability

invalidSignature() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld

INVERT_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.DirHyperGraph

When inverting a DirHyperGraph, deal with self loops like ordinary edges (add if not present and remove if present)

INVERT_SELFLOOPS - Static variable in interface org.tweetyproject.graphs.Graph

When inverting a graph, deal with self loops like ordinary edges (add if not present and remove if present)

Invertable - Interface in org.tweetyproject.logics.commons.syntax.interfaces

Formulas implementing this interface have a complement

invokeExecutable(String) - Static method in class org.tweetyproject.commons.util.NativeShell

Executes the given command on the commandline and returns the complete output.

invokeExecutable(String, long) - Static method in class org.tweetyproject.commons.util.NativeShell

invokeExecutable

invokeExecutable(String, long, boolean) - Static method in class org.tweetyproject.commons.util.NativeShell

Executes the given command on the commandline and returns the output up to a given number of lines.

InvolutaryPASemantics - Class in org.tweetyproject.arg.prob.semantics

P is involutary wrt.

InvolutaryPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics

irreducibleHittingSets(Set<Set<E>>) - Method in class org.tweetyproject.commons.util.SetTools

Computes the set of irreducible hitting sets of "sets".

IRRELEVANCEOFSYNTAX - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate

The IRRELEVANCEOFSYNTAX postulate

IS - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure

IS

IS_BETTER - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result

IS_EQUAL - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result

IS_WORSE - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result

isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

checks whether argument is acceptable wrt.

isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

return true if argument is acceptable with respect to ext argument is acceptable wrt.

isAcceptable(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks whether ext defends argument a set of arguments S defends an argument a iff S u {a} is coherent and S attacks each coherent set T, which attacks a

isAcceptable(DelpArgument, DefeasibleLogicProgram, ComparisonCriterion) - Method in class org.tweetyproject.arg.delp.semantics.DialecticalTree

Checks whether the argumentation line composed of the ancestors of this node and the parameter argument is acceptable given the parameter delp

isAcceptable(Argument, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true if every attacker on argument is attacked by some accepted argument wrt.

isAcceptable(Argument, Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if every attacker on argument is attacked by some accepted argument wrt.

isAdmissable(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

isAdmissable(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if every accepted argument of this is defended by some accepted argument wrt.

isAdmissible(AbaExtension<T>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory

Checks whether a set of arguments is admissible.

isAdmissible(FourValuedWorld, Collection<FourValuedWorld>) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics

Check whether a given world constitutes an admissible interpretation

isApplicable(Collection<? extends FolFormula>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

Checks whether this rule is applicaple in the given context literals,

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.INRAPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ModularizationPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.NaivetyPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.Principle

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SCOOCPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAbstraction

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIndependence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaTotal

isApplicable(Collection<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAttenuation

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImConsistency

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImContradiction

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImDominance

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImEqualConflict

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImExchange

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMINormalization

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMISeparability

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMonotony

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImNormalization

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPenalty

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSuperAdditivity

isApplicable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImWeakDominance

isApplicable(Collection<S>) - Method in interface org.tweetyproject.commons.postulates.Postulate

Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).

isApplicable(DefaultRule) - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence

applicable ^= pre in In and (not jus_i) not in In forall i

isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.AbaRule

isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.Assumption

isAssumption() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule

isAtLeastAsInformativeAs(FourValuedWorld) - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld

This method compares this world to another world by comparing their information-order

isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.AssertionalAxiom

isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion

isAtomic() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion

isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class org.tweetyproject.arg.aspic.semantics.AspicAttack

Determines whether the attack is successful

isAttack(AspicArgument<T>, AspicArgument<T>, RuleFormulaGenerator<T>, Comparator<AspicArgument<T>>) - Static method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

Determines whether the attack is successful

isAttackBranch(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether the path from b to a is an attack branch, i.e.

isAttacked(Arg, Extension<? extends ArgumentationFramework>) - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework

isAttacked(BArgument, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

returns true if some argument of argumentSet attacks argument.

isAttacked(Extension<DungTheory>, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true if some argument of ext2 attacks some argument in ext1

isAttacked(Extension<SetAf>, Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if some argument of ext2 attacks some argument in ext1

isAttacked(Argument, Extension<? extends ArgumentationFramework>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true if some argument of ext attacks argument.

isAttacked(Argument, Extension<? extends ArgumentationFramework>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if some argument of ext attacks argument.

isAttackedBy(Collection<BArgument>, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks whether some argument in argumentSet1 is attacked by any argument in argumentSet2

isAttackedBy(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks whether argument is attacked by any argument in argumentSet

isAttackedBy(BArgument, BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

Checks whether arg1 is attacked by arg2.

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in interface org.tweetyproject.arg.deductive.semantics.attacks.Attack

Returns "true" iff the first argument is attacked by the second argument.

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.CanonicalUndercut

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Defeat

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DefeatingRebuttal

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectDefeat

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.DirectUndercut

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Rebuttal

isAttackedBy(DeductiveArgument, DeductiveArgument) - Method in class org.tweetyproject.arg.deductive.semantics.attacks.Undercut

isAttackedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true if some argument of ext is attacked by argument.

isAttackedBy(Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if some argument of ext is attacked by argument.

isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether arg1 is attacked by arg2.

isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework

isAttackedBy(Argument, Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

Checks whether arg1 is attacked by arg2.

isAttacking() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isAttacking(Set<BArgument>, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

Checks whether argumentSet1 is attacking argumentSet2 ie any element of argumentSet1 is attacking any element of argumentSet2

isAttacking(BArgument, Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

returns true if some argument of argSet is attacked by argument.

isAttackingAllOtherArguments(Extension<? extends ArgumentationFramework<Argument>>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true if arguments attack all other arguments in the theory

isAttackingAllOtherArguments(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if arguments attack all other arguments in the theory

isBipartite(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph

checks whether the given graph is bipartite or not the algorithm starts at a random node and colors adjacent nodes in alternating colors if two adjacent nodes have the same color, the graph is no bipartite NOTE: This method only works if the given graph is connected

isBipolar() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isChallenged(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner

An initial set S is called challenged in F iff there is some other initial set of F which attacks S

isClause() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction

isClause() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

isClause() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

Checks whether this formula is a clause, i.e.

isClosed() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isClosed() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula

Checks whether this formula is closed, i.e.

isClosed() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Implication

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.Negation

isClosed() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isClosed() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

isClosed() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

isClosed() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isClosed() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

isClosed() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isClosed(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory

A set of assumptions is closed iff it equals its closure.

isClosed(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks if the given set of arguments is closed under the support relation a set of arguments S is closed iff every argument a in S has support from a non-empty subset of S

isClosed(Set<Variable>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isClosed(Set<Variable>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula

Checks whether this formula is closed, i.e.

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Implication

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Negation

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isClosed(Set<Variable>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

isClosed(Set<Variable>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isClosed(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

Determines if ext is closed under the support relation of this framework i.e., if all arguments supported by ext are an element of ext

isClosed(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence

Tests wether all applicble defaukts from t have been applied

isCoherent() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Determines if the theory is coherent, i.e., if each preferred extension is stable

isCoherent(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks if the set of arguments S is coherent in his argumentation framework S is coherent iff it is closed and N-Cycle-Free

isComparable(T, T) - Method in class org.tweetyproject.comparator.Order

isComplete() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument

isComplete() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm

Checks whether this term is complete, i.e.

isComplete() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom

isComplete() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure

isComplete() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

isComplete() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

Checks whether this atom is complete, i.e.

isComplete() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

isComplete() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom

isComplete() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation

isComplete(FourValuedWorld, Collection<FourValuedWorld>, ArrayList<PlFormula>, ArrayList<PlFormula>) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics

Check whether a given world constitutes a complete interpretation

isCompliant(ProbabilisticExtension) - Method in class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment

Checks whether the given probabilistic extension is compliant with this partial probability assignment, i.e.

isConflictFree(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.dung.syntax.Attack

returns true if one arguments in arguments attacks another within this attack relation.

isConflictFree(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if one arguments in arguments attacks another within this attack relation.

isConflictFree(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack

returns true if one arguments in arguments attacks another within this attack relation.

isConflictFree(Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory

Checks whether a set of arguments is conflict-free.

isConflictFree(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks whether the given set is conflict-free wrt.

isConflictFree(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

isConflictFree(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true if no accepted argument attacks another accepted one in this interpretation wrt.

isCongruent(Labeling) - Method in class org.tweetyproject.arg.prob.semantics.ProbabilisticExtension

Checks whether the given labeling is congruent to this probabilistic extension, i.e.

isConjunctiveClause() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction

isConjunctiveClause() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

Checks whether this formula is a conjunctive clause, i.e.

isConsistent(Collection<ProbabilisticConditional>) - Method in class org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester

isConsistent(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver

isConsistent(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver

isConsistent(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator

isConsistent(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator

isConsistent(Collection<T>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent(Collection<T>) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester

Checks whether the given collection of formulas is consistent.

isConsistent(Set<DefeasibleRule>) - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram

Checks whether the given set of defeasible rules are consistent given the strict part of this program.

isConsistent(ActionDescription<CLaw>) - Method in class org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester

isConsistent(ActionDescription<T>) - Method in interface org.tweetyproject.action.description.analysis.ActionDescriptionConsistencyTester

Checks whether the given set of causal rules is consistent.

isConsistent(CActionDescription) - Method in class org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester

Checks whether the given action description in the action language C is consistent.

isConsistent(BeliefSet<PlFormula, ?>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver

isConsistent(BeliefSet<PlFormula, ?>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver

isConsistent(BeliefSet<S, ?>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator

isConsistent(BeliefSet<S, ?>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator

isConsistent(BeliefSet<T, ?>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent(BeliefSet<T, ?>) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester

isConsistent(ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.PclDefaultConsistencyTester

isConsistent(PlFormula) - Method in class org.tweetyproject.logics.pl.sat.SatSolver

isConsistent(PlFormula) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver

isConsistent(S) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator

isConsistent(S) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator

isConsistent(T) - Method in class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester

isConsistent(T) - Method in interface org.tweetyproject.logics.commons.analysis.BeliefSetConsistencyTester

Checks whether the given formula is consistent.

isConsistent(T) - Method in interface org.tweetyproject.logics.commons.analysis.ConsistencyTester

Checks whether the given belief base is consistent.

isConstraint() - Method in class org.tweetyproject.arg.aba.syntax.Assumption

isConstraint() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule

isConstraint() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isConstraint() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule

isConstraint() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isConstraint() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument

isConstraint() - Method in interface org.tweetyproject.commons.util.rules.Rule

isConstraint

isConstraint() - Method in class org.tweetyproject.logics.cl.syntax.Conditional

isConstraint() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isConstraint() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isConstraint() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule

isContinuous() - Method in class org.tweetyproject.math.term.Term

Checks whether this term is continuous in all appearing variables.

isContinuous(Variable) - Method in class org.tweetyproject.math.term.AbsoluteValue

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Constant

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Difference

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Exp

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Fraction

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Logarithm

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Maximum

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Minimum

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Power

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Product

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Root

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Sum

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Term

Checks whether this term is continuous in v.

isContinuous(Variable) - Method in class org.tweetyproject.math.term.Variable

isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule

isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule

isDefenseBranch(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether the path from b to a is a defense branch, i.e.

isDefensible(ArgumentationKnowledgeBase, Argument) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner

An argument is called x/y-defensible if it is neither x/y-justified nor x/y-overruled.

isDefinite() - Method in class org.tweetyproject.action.description.syntax.CActionDescription

Checks whether this action description contains any non-definite laws.

isDefinite() - Method in class org.tweetyproject.action.description.syntax.CLaw

Returns true iff this law is definite.

isDefinite() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw

isDefinite() - Method in class org.tweetyproject.action.description.syntax.StaticLaw

isDependent() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isDirectSupportedBy(BArgument, BipolarEntity) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

Checks whether arg1 is directly supported by arg2.

isDisjoint(Collection<Division>, DungTheory, Semantics) - Static method in class org.tweetyproject.arg.dung.divisions.Division

Checks whether the given set o divisions is disjoint wrt.

isDnf() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula

Checks whether this formula is in disjunctive normal form.

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Implication

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.Negation

isDnf() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isDnf() - Method in class org.tweetyproject.logics.ml.syntax.Necessity

isDnf() - Method in class org.tweetyproject.logics.ml.syntax.Possibility

isDnf() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isElementOf(S) - Method in class org.tweetyproject.math.Interval

checks, whether an element is within this interval

isEmpty() - Method in class org.tweetyproject.agents.MultiAgentSystem

isEmpty() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

isEmpty() - Method in class org.tweetyproject.arg.adf.util.CacheMap

isEmpty() - Method in class org.tweetyproject.arg.adf.util.LazyMap

isEmpty() - Method in class org.tweetyproject.arg.adf.util.MinusSetView

isEmpty() - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView

isEmpty() - Method in class org.tweetyproject.arg.adf.util.UnionSetView

isEmpty() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

isEmpty() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet

isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.Extension

isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.Labeling

isEmpty() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling

isEmpty() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

isEmpty() - Method in class org.tweetyproject.commons.BeliefSet

isEmpty() - Method in class org.tweetyproject.commons.DualSetSignature

isEmpty() - Method in class org.tweetyproject.commons.InterpretationSet

isEmpty() - Method in class org.tweetyproject.commons.QuadrupleSetSignature

isEmpty() - Method in interface org.tweetyproject.commons.Signature

Returns true if this signature is empty.

isEmpty() - Method in class org.tweetyproject.commons.SingleSetSignature

isEmpty() - Method in class org.tweetyproject.commons.TripleSetSignature

isEmpty() - Method in class org.tweetyproject.comparator.NumericalPartialOrder

isEmpty() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature

isEmpty() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport

isEmpty() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

isEmpty() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

isEmpty() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isEmpty() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution

isEmpty() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation

isEmpty() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

isEmpty() - Method in class org.tweetyproject.logics.rdl.semantics.Extension

isEmpty() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld

isEmpty() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution

isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead

isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ASPHead

isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead

isEmpty() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

isEmpty() - Method in class org.tweetyproject.math.Interval

isEmpty() - Method in class org.tweetyproject.math.probability.ProbabilityFunction

isEmpty() - Method in class org.tweetyproject.preferences.PreferenceOrder

returns whether the set is empty or not

isEmpty() - Method in class org.tweetyproject.preferences.update.UpdateStream

isEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a is equally acceptable as b, i.e.

isEquivalent(GeneralComparator<T, R>, Collection<T>) - Method in class org.tweetyproject.comparator.GeneralComparator

Checks whether this ranking is equivalent to the other one wrt.

isEquivalent(PlFormula, PlFormula) - Method in class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner

Checks whether the two formulas are equivalent

isEvidenceSupportedAttack(Collection<BArgument>, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

returns true if ext carries out an evidence supported attack on argument ext e-support-attacks an argument a iff a subset S of ext attacks a and all elements of S have e-support from ext.

isExhaustive(Collection<Division>, DungTheory, Semantics) - Static method in class org.tweetyproject.arg.dung.divisions.Division

Checks whether the given set of divisions is exhaustive wrt.

isExtendedProgram() - Method in class org.tweetyproject.lp.asp.syntax.Program

Checks if the program is an extended program, meaning the heads of the literals do not have more than one literal.

isFact() - Method in class org.tweetyproject.arg.aba.syntax.Assumption

isFact() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule

isFact() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isFact() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule

isFact() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isFact() - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument

isFact() - Method in interface org.tweetyproject.commons.util.rules.Rule

isFact

isFact() - Method in class org.tweetyproject.logics.cl.syntax.Conditional

Checks whether this conditional is a fact, i.e.

isFact() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

Checks whether this conditional is a fact, i.e.

isFact() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isFact() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule

isFinal() - Method in class org.tweetyproject.logics.petri.syntax.Place

check if this place is a designated final place

isFinal() - Method in class org.tweetyproject.logics.petri.syntax.Transition

Check if a transition is "final", that is, it fixes the final state

isFinite() - Method in class org.tweetyproject.math.matrix.Matrix

Checks whether each entry in this matrix describes a finite number.

isFirm() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

An argument is firm iff it does not contain ordinary premises

isFlat() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory

An ABA theory is flat iff all subsets of its argumentation set are closed

isFounded() - Method in class org.tweetyproject.commons.util.rules.Derivation

Checks whether this derivation is founded, i.e.

isGround() - Method in class org.tweetyproject.action.description.syntax.CActionDescription

Checks whether this action description contains any non-ground laws.

isGround() - Method in class org.tweetyproject.action.description.syntax.CLaw

isGround() - Method in class org.tweetyproject.action.signature.FolAction

Checks whether this action is ground or not.

isGround() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement

isGround() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isGround() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram

isGround() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

Checks whether there appear any variables in this rule

isGround() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter

isGround() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula

Checks whether this formula is ground, i.e.

isGround() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula

Checks whether this formula is ground, i.e.

isGround() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement

isGround() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isGround() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

isGround() - Method in class org.tweetyproject.lp.asp.syntax.Program

Checks if the program is ground, meaning if it contains no rules with variables.

isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder

isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder

isIncomparable(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder

isIncomparable(InferenceRule<T>, InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator

isIncomparable(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a and b are incomparable (i.e.

isIncomparable(T, T) - Method in class org.tweetyproject.comparator.LatticePartialOrder

isIncomparable(T, T) - Method in class org.tweetyproject.comparator.NumericalPartialOrder

IsInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis

This class implements the inconsistency measure I_CSP from [Said Jabbour.

IsInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.IsInconsistencyMeasure

Creates a new measure that uses the given MUS enumerator.

isIndependent(Set<Collection<E>>) - Method in class org.tweetyproject.commons.util.SetTools

Checks whether the given set of sets is independent, i.e.

isIndependent(DungTheory, Collection<Argument>, Collection<Argument>, Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.independence.Independence

compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjoint

isIndependent(DungTheory, Collection<Argument>, Collection<Argument>, Collection<Argument>, boolean) - Static method in class org.tweetyproject.arg.dung.independence.Independence

compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjoint

isIndependentGiven(DungTheory, Collection<Argument>, Collection<Argument>) - Static method in class org.tweetyproject.arg.dung.independence.Independence

compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjoint

isIndependentGiven(DungTheory, Collection<Argument>, Collection<Argument>, boolean) - Static method in class org.tweetyproject.arg.dung.independence.Independence

compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjoint

isIndirectAttack(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether "arg1" indirectly attacks "arg2", i.e.

isInitial() - Method in class org.tweetyproject.logics.petri.syntax.Place

check if this place is a designated initial place

isInitial(Marking) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet

Check whether the marking is an initial marking

isInitial(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

Check whether a marking is a designated initial marking

isInjective(Map<? extends Object, ? extends Object>) - Static method in class org.tweetyproject.commons.util.MapTools

Checks whether the given map is injective, i.e.

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.CompleteReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.IdealReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.PreferredReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.StableReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aba.reasoner.WellFoundedReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner

isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner

isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner

isInstalled() - Method in class org.tweetyproject.arg.aspic.reasoner.SimpleAspicReasoner

isInstalled() - Method in class org.tweetyproject.arg.deductive.reasoner.CompilationReasoner

isInstalled() - Method in class org.tweetyproject.arg.deductive.reasoner.SimpleDeductiveReasoner

isInstalled() - Method in class org.tweetyproject.arg.delp.reasoner.DelpReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.EeeAcceptabilityReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.IaqAcceptabilityReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.ProboReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.QualifiedReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SatStableReasoner

this method always returns true because the solver is native

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SccCF2Reasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SCF2Reasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SeeAcceptabilityReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClPreferredReaonser

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClSemistableReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStableReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SimpleClStagedReasoner

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.Stage2Reasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.StratifiedLabelingReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.dung.reasoner.StronglyAdmissibleReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner

isInstalled() - Method in class org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner

isInstalled() - Method in class org.tweetyproject.arg.prob.reasoner.SimplePafReasoner

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.SAFRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner

natively installed

isInstalled() - Method in class org.tweetyproject.arg.saf.reasoner.OutputReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleAdmissibleSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleCompleteSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleConflictFreeSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleEagerSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleGroundedSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleIdealSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleNaiveSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimplePreferredSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleSemiStableSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStableSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.setaf.reasoners.SimpleStageSetAfReasoner

isInstalled() - Method in class org.tweetyproject.arg.social.reasoner.IssReasoner

isInstalled() - Method in interface org.tweetyproject.commons.QualitativeReasoner

isInstalled() - Method in interface org.tweetyproject.commons.QuantitativeReasoner

isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.CReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.SimpleCReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.logics.cl.reasoner.ZReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator

isInstalled() - Method in class org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator

isInstalled() - Method in class org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner

the solver is natively installed and is therefore always installed

isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.EFOLReasoner

isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.Prover9FolReasoner

isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner

isInstalled() - Method in class org.tweetyproject.logics.fol.reasoner.SpassFolReasoner

isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner

isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner

isInstalled() - Method in class org.tweetyproject.logics.ml.reasoner.SPASSMlReasoner

isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner

isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner

isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.IteratingMlnReasoner

isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner

isInstalled() - Method in class org.tweetyproject.logics.mln.reasoner.SimpleSamplingMlnReasoner

isInstalled() - Method in class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner

isInstalled() - Method in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner

isInstalled() - Method in class org.tweetyproject.logics.pl.reasoner.SatReasoner

isInstalled() - Method in class org.tweetyproject.logics.pl.reasoner.SimplePlReasoner

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.MarcoMusEnumerator

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.MimusMusEnumerator

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.SatSolver

isInstalled() - Method in class org.tweetyproject.logics.pl.sat.SimpleDpllSolver

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.CadetSolver

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.CaqeSolver

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.GhostQSolver

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver

isInstalled() - Method in class org.tweetyproject.logics.qbf.reasoner.QuteSolver

isInstalled() - Method in class org.tweetyproject.logics.rcl.reasoner.SimpleRelationalCReasoner

isInstalled() - Method in class org.tweetyproject.logics.rdl.reasoner.SimpleDefaultReasoner

isInstalled() - Method in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner

isInstalled() - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver

isInstalled() - Method in class org.tweetyproject.lp.asp.reasoner.DLVSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsCMAESOptimizer

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.ApacheCommonsSimplex

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.BfgsSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GlpkSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GradientDescent

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.GurobiOptimizer

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.HessianGradientDescent

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.LagrangeSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.LpSolve

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.OctaveSqpSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolver

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics

isInstalled() - Static method in class org.tweetyproject.math.opt.solver.Solver

Checks whether the solver of this class is actually installed, i.e.

isInteger() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem

Checks whether this problem is integer, i.e.

isInteger() - Method in class org.tweetyproject.math.term.AssociativeOperation

isInteger() - Method in class org.tweetyproject.math.term.BinaryVariable

isInteger() - Method in class org.tweetyproject.math.term.Difference

isInteger() - Method in class org.tweetyproject.math.term.FloatConstant

isInteger() - Method in class org.tweetyproject.math.term.FloatVariable

isInteger() - Method in class org.tweetyproject.math.term.Fraction

isInteger() - Method in class org.tweetyproject.math.term.FunctionalTerm

isInteger() - Method in class org.tweetyproject.math.term.IntegerConstant

isInteger() - Method in class org.tweetyproject.math.term.IntegerVariable

isInteger() - Method in class org.tweetyproject.math.term.Term

Checks whether this term represents an integer value.

isInterpolant(PlFormula, Collection<PlFormula>, Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePlInterpolantEnumerator

isInterpolant(S, Collection<S>, Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.InterpolantEnumerator

Checks whether the given formula "candidate" is an interpolant of k1 wrt.

isIsomorphic(Graph<? extends Node>, Graph<? extends Node>) - Static method in class org.tweetyproject.graphs.util.GraphUtil

Checks whether the two graphs are isomorphic.

isJustificationProblem() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

isJustificationProblem() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem

isJustified(ArgumentationKnowledgeBase, ASPLiteral) - Method in class org.tweetyproject.arg.lp.reasoner.LiteralReasoner

A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.

isLinear() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem

Checks whether every constraint of this problem is linear.

isLinear() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem

isLinear() - Method in class org.tweetyproject.math.term.FunctionalTerm

isLinear() - Method in class org.tweetyproject.math.term.Power

isLinear() - Method in class org.tweetyproject.math.term.Term

Checks whether this term is linear.

isLiteral() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement

isLiteral() - Method in class org.tweetyproject.arg.aba.syntax.Assumption

isLiteral() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isLiteral() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument

isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

isLiteral() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation

isLiteral() - Method in class org.tweetyproject.logics.cl.syntax.Conditional

isLiteral() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter

isLiteral() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

isLiteral() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.Complement

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept

isLiteral() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Implication

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.Negation

isLiteral() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isLiteral() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

isLiteral() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.Negation

isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

isLiteral() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

isLiteral() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isLiteral() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

isLiteral() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision

isLiteral() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement

isLiteral() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement

isLiteral() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isMappedToTrue(FolAtom) - Method in class org.tweetyproject.action.transitionsystem.State

Returns true iff the fluent given is mapped to true by this state.

isMConflictFree(DungTheory, Collection<Argument>, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is m-conflict-free, cf.

isMediatedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

Checks whether there exists a mediated attack from "arg1" to "arg2", i.e.

isMinimal() - Method in class org.tweetyproject.commons.util.rules.Derivation

Checks whether this derivation is minimal with respect to set inclusion.

isMinimalEvidenceSupportedAttack(Collection<BArgument>, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

returns true if ext carries out a minimal evidence supported attack on argument i.e.

isMinimumFree() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem

Checks whether this problem uses no minimum function.

isMinimumFree() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem

isMNAdmissible(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is mn-admissible, cf.

isMNComplete(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is mn-complete, cf.

isMNGrounded(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is mn-grounded, cf.

isMNPreferred(DungTheory, Collection<Argument>, int, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is mn-preferred, cf.

isMStable(DungTheory, Collection<Argument>, int) - Method in class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

Checks whether the given set of arguments is m-stable, cf.

isNCycleFree(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks if a set of arguments S is N-Cycle-Free in this argumentation framework ie.

isNCycleFreeIn(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks if argument is N-Cycle-Free in the set of arguments

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.BoundedSum

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.MaximumCoNorm

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.MinimumNorm

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.ProbabilisticSum

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.ProductNorm

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.TCoNorm

A T-conorm is nilpotent if there are x,y<1 with s(x,y)=1

isNilpotent() - Method in class org.tweetyproject.math.func.fuzzy.TNorm

A T-norm is nilpotent if there are x,y>0 with t(x,y)=0

isNonBipolar() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableDungTheory

isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableExtension

isNoOperation() - Method in class org.tweetyproject.agents.dialogues.ExecutableFormulaSet

isNoOperation() - Method in interface org.tweetyproject.agents.Executable

Indicates whether this operation can be regarded as no operation at all.

isNormal(DefaultTheory) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

Tests, whether the default is normal normal ^= a:c/c

isNormalized() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction

Checkes whether this OCF is normalized, i.e.

isNormalized() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution

Check whether this PD is normalized, i.e.

isNormalized() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued

Checkes whether this OCF is normalized, i.e.

isNormalized() - Method in class org.tweetyproject.math.equation.Equation

isNormalized() - Method in class org.tweetyproject.math.equation.Inequation

isNormalized() - Method in class org.tweetyproject.math.equation.Statement

Checks whether this constraint is of normalized form, i.e.

isNormalized() - Method in class org.tweetyproject.math.probability.ProbabilityFunction

Checks whether this probability function is normalized, i.e.

isNumeric(String) - Static method in class org.tweetyproject.commons.Parser

Checks whether the given string is a number.

isOptimizationStatement() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

isOrderedBefore(T, T) - Method in class org.tweetyproject.comparator.Order

Checks whether object1 is ordered before object2.

IsoSafeEnumeratingDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util

This generator generators all possible Dung argumentation theories (modulo graph isomorphism).

IsoSafeEnumeratingDungTheoryGenerator() - Constructor for class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator

Creates a new enumerating Dung theory generator.

isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.DualSetSignature

isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.QuadrupleSetSignature

isOverlappingSignature(Signature) - Method in interface org.tweetyproject.commons.Signature

Checks whether this signature has common elements with the given signature, i.e.

isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.SingleSetSignature

isOverlappingSignature(Signature) - Method in class org.tweetyproject.commons.TripleSetSignature

isOverlappingSignature(Signature) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature

isOverruled(ArgumentationKnowledgeBase, Argument) - Method in class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner

An argument is called x/y-overruled, if it is attacked by an x/y-justified argument.

isOverruled(ArgumentationKnowledgeBase, ASPLiteral) - Method in class org.tweetyproject.arg.lp.reasoner.LiteralReasoner

A literal is called x/y-overruled, iff it is not x/y-justified.

isPositive() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal

isPositive() - Method in class org.tweetyproject.math.term.Variable

Checks whether this variables should be positive.

isProcess() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence

process <=> all defaults are unique and applicable in sequence

isQuadratic() - Method in class org.tweetyproject.math.term.Term

Checks whether this term is quadratic.

isRedundant() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isRelated(T, T) - Method in interface org.tweetyproject.preferences.BinaryRelation

returns whether the elements a and b are related

isRelated(T, T) - Method in class org.tweetyproject.preferences.PreferenceOrder

returns whether the elements a and b are related

isRelativelyCoherent() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Determines if the theory is relatively coherent, i.e., if the grounded extension coincides with the intersection of all preferred extensions

isRepresentable(FolFormula) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature

Checks whether the given formula can be represented by this signature.

isSafe() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

This method tests a rule for safety.

isSafe() - Method in class org.tweetyproject.lp.asp.syntax.Program

Returns true if the program is safe, i.e.

isSame(LatticePartialOrder<T, R>) - Method in class org.tweetyproject.comparator.LatticePartialOrder

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver

Checks whether the given set of formulas is satisfiable.

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.MaxSatSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SatSolver

Checks whether the given set of formulas is satisfiable.

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.SimpleDpllSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.CadetSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.CaqeSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.GhostQSolver

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QbfSolver

Checks whether the given set of formulas is satisfiable.

isSatisfiable(Collection<PlFormula>) - Method in class org.tweetyproject.logics.qbf.reasoner.QuteSolver

isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>) - Method in class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver

isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>) - Method in class org.tweetyproject.logics.pl.sat.OpenWboSolver

isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, String, int) - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver

isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, String, int) - Method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver

Checks whether the given set of formulas is satisfiable.

isSatisfiable(Collection<PlFormula>, Map<Proposition, Integer>, String, int) - Method in class org.tweetyproject.logics.pl.sat.Sat4jSolver

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.IMaximalityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.INRAPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ModularizationPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.NaivetyPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.Principle

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ReductAdmissibilityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.ReinstatementPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SccDecomposabilityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SCOOCPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.SemiQualifiedAdmissibilityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.StrongAdmissibilityPrinciple

isSatisfied(Collection<Argument>, AbstractExtensionReasoner) - Method in class org.tweetyproject.arg.dung.principles.WeakReinstatementPrinciple

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAbstraction

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfAttackBranch

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAdditionOfDefenseBranch

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaAttackVsFullDefense

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCardinalityPrecedence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaCounterTransitivity

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDefensePrecedence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaDistDefensePrecedence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfAttackBranch

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIncreaseOfDefenseBranch

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaIndependence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaNonAttackedEquivalence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaQualityPrecedence

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaSelfContradiction

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictAdditionOfDefenseBranch

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaStrictCounterTransitivity

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaTotal

isSatisfied(Collection<Argument>, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>>) - Method in class org.tweetyproject.arg.rankings.postulates.RaVoidPrecedence

isSatisfied(Collection<Argument>, PostulateEvaluatable<Argument>) - Method in class org.tweetyproject.arg.dung.principles.Principle

isSatisfied(Collection<Argument>, PostulateEvaluatable<Argument>) - Method in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

isSatisfied(Collection<PlFormula>, PostulateEvaluatable<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAdjunctionInvariance

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImAttenuation

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImConsistency

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImContradiction

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImDominance

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImEqualConflict

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImExchange

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImFreeFormulaIndependence

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImIrrelevanceOfSyntax

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMINormalization

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMISeparability

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImMonotony

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImNormalization

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPenalty

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImPostulate

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSafeFormulaIndependence

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImSuperAdditivity

isSatisfied(Collection<PlFormula>, BeliefSetInconsistencyMeasure<PlFormula>) - Method in class org.tweetyproject.logics.pl.postulates.ImWeakDominance

isSatisfied(Collection<S>, PostulateEvaluatable<S>) - Method in interface org.tweetyproject.commons.postulates.Postulate

Checks whether this postulate is satisfied by the given approach ev wrt.

isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in interface org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester

Checks whether the given transition system satisfies the given action queries.

isSatisfied(TransitionSystem, Set<ActionQuery>) - Method in class org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester

isSatisfied(TransitionSystem, BeliefBase) - Method in interface org.tweetyproject.action.query.analysis.ActionQuerySatisfactionTester

Checks whether the given transition system satisfies the given action queries.

isSatisfied(TransitionSystem, BeliefBase) - Method in class org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester

isSingleStep() - Method in class org.tweetyproject.agents.dialogues.structured.SasAgent

Checks whether this agent is a single-step argumentation agent, i.e.

isSolidlyDefendedBy(Argument, Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SolidAdmissibleReasoner

IssReasoner - Class in org.tweetyproject.arg.social.reasoner

This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.

IssReasoner(SimpleProductSemantics, double) - Constructor for class org.tweetyproject.arg.social.reasoner.IssReasoner

Creates a new reasoner.

isStable(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether the given extension is stable wrt.

isStable(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

Checks whether the given extension is stable wrt.

isStrict() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

An argument is strict iff it does not contain defeasible subrules

isStrict() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

Returns "true" iff this formula is strict.

isStrictlyLessAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a is strictly less acceptable than b, i.e.

isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder

isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder

isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder

isStrictlyLessOrEquallyAcceptableThan(InferenceRule<T>, InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator

isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.

isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.LatticePartialOrder

isStrictlyLessOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.NumericalPartialOrder

isStrictlyMoreAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a is strictly more acceptable than b, i.e.

isStrictlyMoreOrEquallyAcceptableThan(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator

Returns "true" iff a is strictly more acceptable than b or a is equally acceptable as b, i.e.

isStrictSubsetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

isStrictSupersetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

isStronglyCoherent(Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

checks whether the given set of arguments is strongly coherent in this argumentation framework a set of arguments is strongly coherent iff it is coherent an conflict-free

isStronglyEquivalent(Collection<DungTheory>) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence

compute whether the given theories are equivalent wrt.

isStronglyEquivalent(DungTheory, DungTheory) - Method in class org.tweetyproject.arg.dung.equivalence.StrongEquivalence

compute whether the given theories are equivalent wrt.

isStrongSubargumentOf(DelpArgument) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument

Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argument

isSubargumentOf(DelpArgument) - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument

Checks whether this argument is a subargument of the given argument

isSubArgumentOf(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

Checks wheter this is a direct or indirect subargument of arg

isSubsetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

isSubSignature(Signature) - Method in class org.tweetyproject.commons.DualSetSignature

isSubSignature(Signature) - Method in class org.tweetyproject.commons.QuadrupleSetSignature

isSubSignature(Signature) - Method in interface org.tweetyproject.commons.Signature

Checks whether this signature is a sub-signature of the given signature, i.e.

isSubSignature(Signature) - Method in class org.tweetyproject.commons.SingleSetSignature

isSubSignature(Signature) - Method in class org.tweetyproject.commons.TripleSetSignature

isSubSignature(Signature) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature

isSubsumedBy(ComplexConcept, ComplexConcept) - Method in class org.tweetyproject.logics.dl.semantics.DlInterpretation

Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation.

isSuccessful() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence

successfull <=> there is no x: x in In and x in Out

isSuperMediatedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

Checks whether there exists a super-mediated attack from "arg1" to "arg2", i.e.

isSupersetOf(Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

isSupport(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

Checks whether "arg1" supports "arg2", i.e.

isSupportedAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

Checks whether there exists a supported attack from "arg1" to "arg2", i.e.

isSupporting() - Method in enum org.tweetyproject.arg.adf.semantics.link.LinkType

isSyntacticallyEquivalent(HerbrandInterpretation, Collection<? extends Collection<? extends Constant>>) - Method in class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation

Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.

isSyntacticallyEquivalent(MlHerbrandInterpretation, Collection<? extends Collection<? extends Constant>>) - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation

Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.

isTargetLinear() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem

Checks whether the target function is linear.

isTotal() - Method in interface org.tweetyproject.preferences.BinaryRelation

checks whether the set is total or not

isTotal() - Method in class org.tweetyproject.preferences.PreferenceOrder

checks whether the set is total or not

isTransient() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal

isTransitive() - Method in interface org.tweetyproject.preferences.BinaryRelation

checks whether the given set is transitive or not

isTransitive() - Method in class org.tweetyproject.preferences.PreferenceOrder

checks whether the given set is transitive or not

isTwoValued() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld

Decide whether this world is two-valued or not

isTyped() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure

isTyped() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

isUnattacked(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner

A set S is called unattacked if there is no attacker of S in F

isUnchallenged(Extension<DungTheory>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner

An initial set S is called unchallenged in F iff there is no other initial set of F which attacks S

isValid() - Method in interface org.tweetyproject.preferences.BinaryRelation

checks whether the preference order is valid (transitive, total and unique)

isValid() - Method in class org.tweetyproject.preferences.PreferenceOrder

checks whether the given set represents a valid preference order

isValid(String) - Method in class org.tweetyproject.plugin.parameter.CommandParameter

Checks, if the given String is a valid argument for this command parameter

isValid(String) - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter

valid iff string matches criteria

isValid(String) - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter

checks whether a cli input parameter argument is valid for the called command parameter

isValid(String) - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter

checks whether a cli input parameter argument is valid for the called command parameter

isValid(String) - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter

checks whether a cli input parameter argument is valid for the called command parameter

isValid(String) - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter

checks each input string for validity

isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack

isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman

isValid(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem

checks if a given solution is valid under all constraints

isValid(Collection<Extension<DungTheory>>) - Method in class org.tweetyproject.arg.dung.divisions.Division

Checks whether this division is valid wrt.

isValid(Map<Variable, Constant>) - Method in interface org.tweetyproject.action.grounding.GroundingRequirement

This method checks if an assignment of constants to variables satisfies a given grounding condition.

isValid(Map<Variable, Constant>) - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement

isValid(Map<Variable, Constant>) - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement

isValid(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.divisions.Division

Checks whether this division is valid wrt.

isValid(StructuredArgumentationFramework) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

Checks whether this argument structure is valid wrt.

isValid(Statement) - Method in class org.tweetyproject.math.equation.Equation

isValid(Statement) - Method in class org.tweetyproject.math.equation.Inequation

isValid(Statement) - Method in class org.tweetyproject.math.equation.Statement

checks if a Statement fulfills the relation

isValidFormula(Formula) - Method in class org.tweetyproject.action.signature.ActionSignature

Checks if a given formula is valid in the sense of an action description, 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 org.tweetyproject.action.grounding.GroundingTools

Checks a grounding application for compliance with the grounding requirements.

isWeaklyDefendedBy(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.WeaklyCompleteReasoner

Computes whether E w-defends X i.e.

isWeightedGraph() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

isWeightedGraph() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

isWeightedGraph() - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework

isWeightedGraph() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

isWeightedGraph() - Method in class org.tweetyproject.graphs.DefaultGraph

isWeightedGraph() - Method in interface org.tweetyproject.graphs.DirHyperGraph

Checks whether this DirHyperGraph only contains weighted edges.

isWeightedGraph() - Method in interface org.tweetyproject.graphs.Graph

Checks whether this graph only contains weighted edges.

isWeightedGraph() - Method in class org.tweetyproject.graphs.HyperGraph

isWeightedGraph() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel

isWeightedGraph() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet

isWeightedGraph() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

isWellBound() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isWellBound() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula

Checks whether this formula is well-bound, i.e.

isWellBound() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Implication

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.Negation

isWellBound() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isWellBound() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

isWellBound() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

isWellBound() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isWellBound() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

isWellBound() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isWellBound(Set<Variable>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

isWellBound(Set<Variable>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula

Checks whether this formula is well-bound, i.e.

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Implication

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.Negation

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

isWellBound(Set<Variable>) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

isWellBound(Set<Variable>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

isWellFormed() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement

isWellFormed() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter

isWellFormed() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula

Checks if this formula is well formed in the logical langauge.

isWellFormed() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula

Tests whether this formula is well-formed, i.e.

isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement

isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

isWellFormed() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation

isWellFounded() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

returns true iff the theory is well-founded, i.e., there is no infinite sequence A1,A2,...

isWellFounded() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

returns true iff the theory is well-founded, i.e., there is no infinite sequence A1,A2,...

isWithinTolerance(Probability) - Method in class org.tweetyproject.math.probability.Probability

Checks whether the given probability is "nearly" the same as this probability (given the actual precision).

itemStateChanged(ItemEvent) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter

itemStateChanged(ItemEvent) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

IteratedGradedDefenseReasoner - Class in org.tweetyproject.arg.rankings.reasoner

This class implements the argument ranking approach of [Grossi, Modgil.

IteratedGradedDefenseReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

IteratedGradedDefenseReasonerExample - Class in org.tweetyproject.arg.rankings.examples

Example code for using the iterated graded semantics from [Grossi, Modgil.

IteratedGradedDefenseReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.IteratedGradedDefenseReasonerExample

IteratedLocalSearch - Class in org.tweetyproject.math.opt.solver

implements the Iterates local search algorithm for combinatorial problems

IteratedLocalSearch(double, int, int) - Constructor for class org.tweetyproject.math.opt.solver.IteratedLocalSearch

IteratedLocalSearchOnConstrProb - Class in org.tweetyproject.math.opt.solver

implements the Iterates local search algorithm for optimization problems

IteratedLocalSearchOnConstrProb(double, int, int) - Constructor for class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb

IteratedLocalSearchOnConstrProbEx - Class in org.tweetyproject.math.examples

This class implements an example for Tabu search.

IteratedLocalSearchOnConstrProbEx() - Constructor for class org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx

iterateExamples(int, int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample

IteratingMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner

This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.

IteratingMlnReasoner(AbstractMlnReasoner, long) - Constructor for class org.tweetyproject.logics.mln.reasoner.IteratingMlnReasoner

Creates a new IteratingMlnReasoner for the given MLN reaasoner.

iterator() - Method in class org.tweetyproject.action.signature.FolAction

iterator() - Method in class org.tweetyproject.agents.MultiAgentSystem

iterator() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

iterator() - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet

Deprecated.

iterator() - Method in class org.tweetyproject.arg.adf.util.MinusSetView

iterator() - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView

iterator() - Method in class org.tweetyproject.arg.adf.util.UnionSetView

iterator() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

iterator() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

iterator() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet

iterator() - Method in class org.tweetyproject.arg.dung.semantics.Extension

iterator() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

iterator() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

iterator() - Method in class org.tweetyproject.commons.BeliefSet

iterator() - Method in class org.tweetyproject.commons.examples.SubsetIteratorExample

iterator for subsets

iterator() - Method in class org.tweetyproject.commons.InterpretationSet

iterator() - Method in class org.tweetyproject.commons.SingleSetSignature

iterator() - Method in class org.tweetyproject.graphs.DefaultGraph

iterator() - Method in interface org.tweetyproject.graphs.DirHyperGraph

iterator() - Method in interface org.tweetyproject.graphs.Graph

iterator() - Method in class org.tweetyproject.graphs.HyperGraph

iterator() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel

iterator() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

iterator() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

iterator() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

iterator() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet

iterator() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

iterator() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

iterator() - Method in class org.tweetyproject.logics.rdl.semantics.Extension

iterator() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

iterator() - Method in class org.tweetyproject.math.Interval

iterator() - Method in class org.tweetyproject.preferences.PreferenceOrder

iterator(Set<Triple<T, T, Relation>>) - Method in class org.tweetyproject.preferences.PreferenceOrder

returns an iterator over a set of triples

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form