C-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

C

C - Enum constant in enum org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial: Indicates that the argument is challenged.
C_PARAMETER - Static variable in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer: The c parameter for learning
CacheMap<K,V> - Class in org.tweetyproject.arg.adf.util: Uses the provided function to compute absent values on access, theses values are memorized for future access to avoid further computations.
CacheMap(Function<K, V>) - Constructor for class org.tweetyproject.arg.adf.util.CacheMap: Creates an empty cache
CActionDescription - Class in org.tweetyproject.action.description.syntax: This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
CActionDescription() - Constructor for class org.tweetyproject.action.description.syntax.CActionDescription: Creates a new empty action description.
CActionDescription(Collection<? extends CausalLaw>) - Constructor for class org.tweetyproject.action.description.syntax.CActionDescription: Creates a new belief set with the given collection of formulae.
CActionDescriptionConsistencyTester - Class in org.tweetyproject.action.description.analysis: This class is able to check if a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state.
CActionDescriptionConsistencyTester(ASPSolver) - Constructor for class org.tweetyproject.action.description.analysis.CActionDescriptionConsistencyTester: Creates a new consistency tester which will use the given answer set solver.
CadetSolver - Class in org.tweetyproject.logics.qbf.reasoner: A wrapper for the Cadet (https://markusrabe.github.io/cadet/) solver.
CadetSolver(String) - Constructor for class org.tweetyproject.logics.qbf.reasoner.CadetSolver: Constructs a new instance pointing to a specific CadetSolver
CadetSolver(String, Shell) - Constructor for class org.tweetyproject.logics.qbf.reasoner.CadetSolver: Constructs a new instance pointing to a specific CadetSolver.
CADFSemantics - Class in org.tweetyproject.logics.translators.adfconditional: This class implements the cADF semantics by applying the Gamma Operator and checking for admissible, complete, grounded, preferred and 2-valued interpretations plus the grounded state refer to [Heyninck et al.
CADFSemantics() - Constructor for class org.tweetyproject.logics.translators.adfconditional.CADFSemantics: Default Constructor
CAdmissibleReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive: reasoner for admissibility in bipolar argumentation frameworks with deductive support interpretation a set of arguments is c-admissible iff it is admissible wrt.
CAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.CAdmissibleReasoner: Default Constructor
calculateResultingAnswersets() - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel: Calculates and updates the resulting answer sets from the revision results.
calculateStates(CActionDescription, ActionSignature) - Method in class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator: Calculates the set of all states of the transition system described by an action description.
calculateTransitionSystem(CActionDescription, ActionSignature) - Method in class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator: Calculates a transition system as described by the given action description using all symbols in the given action signature.
call() - Method in class org.tweetyproject.web.services.aba.AbaReasonerGetModelCallee: Calls the ABA reasoner to obtain some model from the provided ABA theory.
call() - Method in class org.tweetyproject.web.services.aba.AbaReasonerGetModelsCallee: Calls the ABA reasoner to obtain multiple models from the provided ABA theory.
call() - Method in class org.tweetyproject.web.services.aba.AbaReasonerQueryCallee: Calls the ABA reasoner to perform a query using the provided ABA theory and assumption.
call() - Method in class org.tweetyproject.web.services.Callee
call() - Method in class org.tweetyproject.web.services.delp.DeLPCallee: Executes the query operation using the specified DefeasibleLogicProgram, DelpReasoner, and Formula.
call() - Method in class org.tweetyproject.web.services.dung.DungReasonerGetModelCallee: Executes the getModel operation using the specified reasoner and base DungTheory.
call() - Method in class org.tweetyproject.web.services.dung.DungReasonerGetModelsCallee: Executes the getModels operation using the specified reasoner and base DungTheory.
Callee - Class in org.tweetyproject.web.services: A generic Callable implementation that throws an UnsupportedOperationException in the call method.
Callee() - Constructor for class org.tweetyproject.web.services.Callee
canAddTokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place: Check if tokens can be added
Cancel - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Cancel
CandidateGenerator - Interface in org.tweetyproject.arg.adf.reasoner.sat.generator: The CandidateGenerator interface defines a contract for generating interpretations (candidates) using SAT solvers.
canFire() - Method in class org.tweetyproject.logics.petri.syntax.Ark: Return true if this ark can fire based on its weight and properties of the connected place
canFire() - Method in class org.tweetyproject.logics.petri.syntax.Transition: Return true if all incoming arks and all outgoing arks of this transition can fire
cannotRead() - Method in class org.tweetyproject.arg.delp.TestDeLP
CanonicalIterator - Class in org.tweetyproject.logics.pl.util: Provides an iterator on all syntactically equivalent knowledge bases.
CanonicalIterator() - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Default constructor.
CanonicalIterator(Integer) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(Integer, Integer) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
CanonicalIterator(Long) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(Long, Long) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
CanonicalIterator(BigInteger) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given index
CanonicalIterator(BigInteger, BigInteger) - Constructor for class org.tweetyproject.logics.pl.util.CanonicalIterator: Creates a new enumerator that enumerates knowledge bases starting from the given start index up to the given end index (including)
CanonicalUndercut - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A).
canRemoveTokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place: Check if tokens are removeable
capabilities() - Method in class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin: Return String representation of capabilities
capabilities() - Method in class org.tweetyproject.logics.pl.plugin.PlPlugin: Return capabilities representation
capabilities() - Method in class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin: Return capabilities
capabilities() - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin: Return capabilities
CaqeSolver - Class in org.tweetyproject.logics.qbf.reasoner: A wrapper for the Caqe (https://www.react.uni-saarland.de/tools/caqe/ solver.
CaqeSolver(String) - Constructor for class org.tweetyproject.logics.qbf.reasoner.CaqeSolver: Constructs a new instance pointing to a specific CaqeSolver
CaqeSolver(String, Shell) - Constructor for class org.tweetyproject.logics.qbf.reasoner.CaqeSolver: Constructs a new instance pointing to a specific CaqeSolver.
cardinality - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Strategy based on the cardinality (number) of arguments.
cardinality(DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: orders arguments after the amount of attackers they have.
CardinalityConstraintEncoder - Class in org.tweetyproject.logics.pl.util: This class generates SAT encodings for cardinality constraints.
CardinalityConstraintEncoder(Collection<Proposition>, int) - Constructor for class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder: Create a new at-most-n cardinality constraint with the given set of atoms and the given n.
cardinalityFirst - Enum constant in enum org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner.solver: Strategy that prioritizes cardinality over quality.
cardinalityFirst(DungTheory, LatticePartialOrder<Argument, DungTheory>) - Method in class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: ranks arguments according to the cardinality function.
CARDINALITYPRECEDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The CARDINALITYPRECEDENCE postulate
categorize(ArgumentTree) - Method in interface org.tweetyproject.arg.deductive.categorizer.Categorizer: This method categorizes the given argument tree.
categorize(ArgumentTree) - Method in class org.tweetyproject.arg.deductive.categorizer.ClassicalCategorizer
categorize(ArgumentTree) - Method in class org.tweetyproject.arg.deductive.categorizer.HCategorizer
categorize(ArgumentTree) - Method in class org.tweetyproject.beliefdynamics.mas.CredibilityCategorizer
Categorizer - Interface in org.tweetyproject.arg.deductive.categorizer: Classes implementing this interface represent categorizer in the sense of Definition 8.10 in

Philippe Besnard and Anthony Hunter.
CategorizerExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample: Evaluates the CategorizerRankingReasoner against all postulates and prints the results.
CategorizerRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.
CategorizerRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner: Create a new CountingRankingReasoner with default parameters.
CategorizerRankingReasoner(double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CategorizerRankingReasoner: Create a new CategorizerRankingReasoner with the given parameters.
Category - Interface in org.tweetyproject.machinelearning: A category within the space of observations.
CausalKnowledgeBase - Class in org.tweetyproject.arg.dung.causal.syntax: This class describes a causal knowledge base.
CausalKnowledgeBase(CausalModel, Set<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase: Creates a new causal knowledge base
CausalLaw - Interface in org.tweetyproject.action.description.syntax: A basic interface representing a causal law.
CausalModel - Class in org.tweetyproject.arg.dung.causal.syntax: This class describes a causal model.
CausalModel() - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Creates an empty causal model
CausalModel(Set<Equivalence>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Creates a causal model
CausalModel(Set<Proposition>, Set<Proposition>, Set<Equivalence>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CausalModel: Creates a causal model
CausalStatement - Class in org.tweetyproject.arg.dung.causal.syntax: This class describes a causal statement, such as an interventional or counterfactual statement.
CausalStatement(HashSet<PlFormula>, HashSet<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CausalStatement: Creates a new causal statement.
CautiousArgumentationAgent - Class in org.tweetyproject.agents.dialogues.structured: This class models a cautious argumentation agent, i.e.
CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean, Proposition) - Constructor for class org.tweetyproject.agents.dialogues.structured.CautiousArgumentationAgent: Creates a new agent with the given (local) view and utility function.
CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, Proposition) - Constructor for class org.tweetyproject.agents.dialogues.structured.CautiousArgumentationAgent: Creates a new (non-single-step) agent with the given (local) view and utility function.
CC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: CC
CcInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis: This class implements the inconsistency measure I_CC from [Said Jabbour and Yue Ma and Badran Raddaoui.
CcInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class org.tweetyproject.logics.commons.analysis.CcInconsistencyMeasure: Creates a new measure that uses the given MUS enumerator and Integer programming solver
CF - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: CF
CF - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Conflict-free semantics
CF_REINSTATEMENT - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The CF-reinstatement principle
CF2 - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: CF2
CF2_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
CF2Example - Class in org.tweetyproject.arg.dung.examples: Example code for CF2 semantics.
CF2Example() - Constructor for class org.tweetyproject.arg.dung.examples.CF2Example
CFReinstatementPrinciple - Class in org.tweetyproject.arg.dung.principles: CF-Reinstatement Principle
CFReinstatementPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.CFReinstatementPrinciple
CG_MINUS - Enum constant in enum org.tweetyproject.logics.cl.semantics.ConditionalStructure.Generator: The possible world falsifies the conditional
CG_ONE - Enum constant in enum org.tweetyproject.logics.cl.semantics.ConditionalStructure.Generator: The possible world neither verifies nor falsifies the conditional because the premise is false
CG_PLUS - Enum constant in enum org.tweetyproject.logics.cl.semantics.ConditionalStructure.Generator: The possible world verifies the conditional
change(ProbabilisticExtension, DungTheory) - Method in class org.tweetyproject.arg.prob.dynamics.AbstractPAChangeOperator
change(ProbabilisticExtension, DungTheory) - Method in interface org.tweetyproject.arg.prob.dynamics.ChangeOperator: Given a probabilistic extension and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state p.
change(PartialProbabilityAssignment, DungTheory) - Method in class org.tweetyproject.arg.prob.dynamics.AbstractPAChangeOperator
change(PartialProbabilityAssignment, DungTheory) - Method in interface org.tweetyproject.arg.prob.dynamics.ChangeOperator: Given a partial probability assignment ppa and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state ppa.
change(PartialProbabilityAssignment, DungTheory) - Method in class org.tweetyproject.arg.prob.dynamics.PARevisionOperator
change(PartialProbabilityAssignment, DungTheory) - Method in class org.tweetyproject.arg.prob.dynamics.PAUpdateOperator
ChangeOperator - Interface in org.tweetyproject.arg.prob.dynamics: This interface provides common methods for change operators for probabilistic argumentation.
changeOrder() - Method in class org.tweetyproject.preferences.io.POChanger: Change the order
check1Norm() - Method in class org.tweetyproject.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
checkAndGetArgument(String) - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory: Get the argument with the identifier
checkConsistency() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: check if all nodes (markings) of this graph describe the same Petri net, i.e.
CheckIfSelfSupportingExample - Class in org.tweetyproject.arg.bipolar.examples: This class demonstrates the use of the EAFTheory class to check for self-supporting sets of arguments.
CheckIfSelfSupportingExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.CheckIfSelfSupportingExample: Default constructor for the CheckIfSelfSupportingExample class.
checkIsSelfSupporting(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Checks if a set of arguments whether they are self-supporting or not This is used for conversion from EAF to DAF.
checkMaxNorm() - Method in class org.tweetyproject.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
checkShortCircuit() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: check if this Petri net is short-circuited
checkUserTimeout(int, int, TimeUnit) - Static method in class org.tweetyproject.web.services.Utils: Checks and adjusts the user-defined timeout based on the server timeout and time unit.
checkValid() - Method in class org.tweetyproject.arg.lp.syntax.Argument: An argument may only contain nonempty ground rules (i.e.
children(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Returns a set of child arguments for the given parent argument.
childrenAccept(ASPParserVisitor, Object) - Method in class org.tweetyproject.lp.asp.parser.SimpleNode: Accepts the visitor and allows it to visit all the children of this node.
Choice() - Method in class org.tweetyproject.lp.asp.parser.ASPParser: Return Choice
ChoiceElement - Class in org.tweetyproject.lp.asp.syntax: This class represents an element of a choice atom.
ChoiceElement(ASPLiteral) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceElement: Create a new choice element with the given atom.
ChoiceElement(ASPLiteral, List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceElement: Create a new choice element with the given atom and list of literals.
ChoiceElement() - Method in class org.tweetyproject.lp.asp.parser.ASPParser: Return ChoiceElement
ChoiceElements() - Method in class org.tweetyproject.lp.asp.parser.ASPParser: Return ChoiceElementList
ChoiceHead - Class in org.tweetyproject.lp.asp.syntax: This class is a variant of the basic ASP rule head.
ChoiceHead(List<ChoiceElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceHead
ChoiceHead(List<ChoiceElement>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceHead
ChoiceHead(List<ChoiceElement>, ASPOperator.BinaryOperator, Term<?>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceHead
ChoiceHead(ChoiceElement) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceHead
ChoiceHead(ChoiceElement, ASPOperator.BinaryOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ChoiceHead
ChoiceTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: choice test
chooseANeighbor(Map<Variable, Term>, int, int, double, Term) - Method in class org.tweetyproject.math.opt.solver.SimulatedAnnealingOnConstrProb
chooseANeighbor(Map<Variable, Term>, int, int, double, Term) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearchOnConstrProb: Return the best solution that was found and is a mutant of currSol
chooseANeighbor(Map<Variable, Term>, int, int, double, Term) - Method in class org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb: Return the best solution that was found and is a mutant of currSol
Claim - Class in org.tweetyproject.arg.dung.syntax: a claim for an argument
Claim(String) - Constructor for class org.tweetyproject.arg.dung.syntax.Claim
ClaimArgument - Class in org.tweetyproject.arg.dung.syntax: an argument with a claim
ClaimArgument(String, Claim) - Constructor for class org.tweetyproject.arg.dung.syntax.ClaimArgument
ClaimBasedReasonersTest - Class in org.tweetyproject.arg.dung.examples: test for claim based reasoners
ClaimBasedReasonersTest() - Constructor for class org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest
ClaimBasedTheory - Class in org.tweetyproject.arg.dung.syntax: implements claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )
ClaimBasedTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory: Default constructor; initializes empty sets of arguments and attacks
ClaimBasedTheory(HashMap<ClaimArgument, Claim>) - Constructor for class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory: Default constructor; initializes empty sets of arguments and attacks
ClaimSet - Class in org.tweetyproject.arg.dung.semantics: a set of claims
ClaimSet() - Constructor for class org.tweetyproject.arg.dung.semantics.ClaimSet: constructor
ClaimSet(Set<ClaimArgument>) - Constructor for class org.tweetyproject.arg.dung.semantics.ClaimSet: constructor
ClaimSet(ClaimSet) - Constructor for class org.tweetyproject.arg.dung.semantics.ClaimSet: constructor
CLASSICAL_NEGATION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols: Returns the symbol for classical negation.
ClassicalCategorizer - Class in org.tweetyproject.arg.deductive.categorizer: This class implements a simple categorizer that does an bottom-up marking of the tree; leafs are marked undefeated and an inner node is marked defeated if at least one child is marked undefeated and defeated otherwise.

The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated.
ClassicalCategorizer() - Constructor for class org.tweetyproject.arg.deductive.categorizer.ClassicalCategorizer: Default Constructor
ClassicalFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces: This interface models a classical formula, i.e.
ClassicalHead - Class in org.tweetyproject.lp.asp.syntax: This formula represents the head of an disjunctive rule which is a disjunction of literals.
ClassicalHead() - Constructor for class org.tweetyproject.lp.asp.syntax.ClassicalHead: Empty Constructor.
ClassicalHead(List<ASPLiteral>) - Constructor for class org.tweetyproject.lp.asp.syntax.ClassicalHead: Creates a new head with the given elements.
ClassicalHead(ASPLiteral) - Constructor for class org.tweetyproject.lp.asp.syntax.ClassicalHead: Creates a new head with a single element.
ClassicalHead(ClassicalHead) - Constructor for class org.tweetyproject.lp.asp.syntax.ClassicalHead: Copy-Constructor
ClassicalLiteral() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ClassificationTester<S,T> - Class in org.tweetyproject.machinelearning: Classes implementing this interface provide the means to test a training mechanism for performance.
ClassificationTester() - Constructor for class org.tweetyproject.machinelearning.ClassificationTester: Default constructor for the `ClassificationTester` class.
Classifier - Interface in org.tweetyproject.machinelearning: A classifier classifies observations into categories.
classify(Observation) - Method in interface org.tweetyproject.machinelearning.Classifier: Classifies the given observation.
classify(Observation) - Method in class org.tweetyproject.machinelearning.svm.SupportVectorMachine
ClausalAttackConstraint - Class in org.tweetyproject.arg.dung.learning.syntax: This class models a clausal attack constraint
ClausalAttackConstraint(ClausalAttackConstraint, ClausalAttackConstraint) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint
ClausalAttackConstraint(Argument) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint: simple constructor
ClausalAttackConstraint(Argument, Input) - Constructor for class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint
Clause - Interface in org.tweetyproject.arg.adf.syntax.pl: The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.
ClauseSplittingProcessor - Class in org.tweetyproject.arg.adf.transform.processor: ClauseSplittingProcessor class
ClauseSplittingProcessor(int) - Constructor for class org.tweetyproject.arg.adf.transform.processor.ClauseSplittingProcessor
CLaw - Class in org.tweetyproject.action.description.syntax: The action description language C consists of two distinct expressions: static laws and dynamic laws.
CLaw() - Constructor for class org.tweetyproject.action.description.syntax.CLaw: Creates an empty causal law.
CLaw(FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.CLaw: Creates a causal law of the form "caused headFormula if True"
CLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.CLaw: Creates a causal law of the form "caused headFormula if True requires requirements"
CLaw(FolFormula, FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.CLaw: Creates a causal law of the form "caused headFormula if ifFormula"
CLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.CLaw: Creates a causal law of the form "caused headFormula if ifFormula requires requirements"
CLawParser - Class in org.tweetyproject.action.description.parser: This class implements a parser for causal laws in C.
CLawParser(ActionSignature) - Constructor for class org.tweetyproject.action.description.parser.CLawParser: This parser needs a valid action signature to parse causal laws.
ClBeliefSet - Class in org.tweetyproject.logics.cl.syntax: This class models a belief set on conditional logic, i.e.
ClBeliefSet() - Constructor for class org.tweetyproject.logics.cl.syntax.ClBeliefSet: Creates a new (empty) conditional belief set.
ClBeliefSet(Collection<? extends Conditional>) - Constructor for class org.tweetyproject.logics.cl.syntax.ClBeliefSet: Creates a new conditional belief set with the given collection of conditionals.
clear() - Method in class org.tweetyproject.agents.MultiAgentSystem
clear() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
clear() - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
clear() - Method in class org.tweetyproject.arg.adf.util.CacheMap
clear() - Method in class org.tweetyproject.arg.adf.util.LazyMap
clear() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Clears the set, removing all arguments.
clear() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
clear() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
clear() - Method in class org.tweetyproject.arg.dung.semantics.Extension
clear() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
clear() - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
clear() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
clear() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
clear() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
clear() - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
clear() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
clear() - Method in class org.tweetyproject.commons.BeliefSet
clear() - Method in class org.tweetyproject.commons.DualSetSignature
clear() - Method in class org.tweetyproject.commons.InterpretationSet
clear() - Method in class org.tweetyproject.commons.QuadrupleSetSignature
clear() - Method in interface org.tweetyproject.commons.Signature: Removes all elements of this signature.
clear() - Method in class org.tweetyproject.commons.SingleSetSignature
clear() - Method in class org.tweetyproject.commons.TripleSetSignature
clear() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
clear() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
clear() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Clears the ConditionalStructure, after calling this method the Structure is empty.
clear() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
clear() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
clear() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
clear() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
clear() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
clear() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
clear() - Method in class org.tweetyproject.logics.rdl.semantics.Extension
clear() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
clear() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
clear() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
clear() - Method in class org.tweetyproject.math.Interval
clear() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
clear() - Method in class org.tweetyproject.preferences.PreferenceOrder: clears the current preference order element set
clear(int) - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet: Sets the value at position to undecided resp.
clear(int) - Method in class org.tweetyproject.logics.translators.adfconditional.GeneralValuedBitSet: Sets the value at given position to 0
clearNodeScope(Node) - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Clears the current node scope by popping all nodes from the stack that belong to the current scope.
CliMain - Class in org.tweetyproject.cli.plugins: skeleton of the new main method of this CLI using plugins.
CliMain() - Constructor for class org.tweetyproject.cli.plugins.CliMain
CLINGO_ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CLINGO_SHOW - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
ClingoIdentifier() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
ClingoPredicate(String) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPOperator.ClingoPredicate: Constructor
ClingoPredicate(String, int) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPOperator.ClingoPredicate: Constructor
ClingoSolver - Class in org.tweetyproject.lp.asp.reasoner: Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.
ClingoSolver(String) - Constructor for class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Constructs a new instance pointing to a specific Clingo solver.
ClingoSolver(String, int) - Constructor for class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Constructs a new instance pointing to a specific Clingo solver.
ClingoSolver(String, Shell) - Constructor for class org.tweetyproject.lp.asp.reasoner.ClingoSolver: Constructs a new instance pointing to a specific Clingo solver.
ClingoTest - Class in org.tweetyproject.lp.asp.analysis: Test class for Clingo.
ClingoTest() - Constructor for class org.tweetyproject.lp.asp.analysis.ClingoTest
ClingoTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: cling test
ClingoWriter - Class in org.tweetyproject.lp.asp.writer: Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/).
ClingoWriter() - Constructor for class org.tweetyproject.lp.asp.writer.ClingoWriter: Create a new ClingoWriter.
ClingoWriter(Writer) - Constructor for class org.tweetyproject.lp.asp.writer.ClingoWriter: Create a new ClingoWriter with the given writer.
ClingoWriter(Writer, boolean) - Constructor for class org.tweetyproject.lp.asp.writer.ClingoWriter: Create a new ClingoWriter with the given writer and options.
ClNLPTranslator - Class in org.tweetyproject.logics.translators.clnlp: Translates between propositional Conditionals and NLP.
ClNLPTranslator() - Constructor for class org.tweetyproject.logics.translators.clnlp.ClNLPTranslator: Default Constructor
clone() - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState
clone() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
clone() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
clone() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
clone() - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
clone() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
clone() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
clone() - Method in class org.tweetyproject.arg.aba.syntax.Negation
clone() - Method in class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule
clone() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
clone() - Method in class org.tweetyproject.arg.aspic.syntax.StrictInferenceRule
clone() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleRule
clone() - Method in class org.tweetyproject.arg.delp.syntax.DelpFact
clone() - Method in class org.tweetyproject.arg.delp.syntax.StrictRule
clone() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalKnowledgeBase
clone() - Method in class org.tweetyproject.arg.dung.causal.syntax.CausalModel
clone() - Method in class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoBoxModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDiamondModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphBoxModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphDiamondModality
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
clone() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
clone() - Method in class org.tweetyproject.arg.dung.syntax.DungSignature
clone() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
clone() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: clones the SetAf
clone() - Method in class org.tweetyproject.arg.setaf.syntax.SetAfSignature
clone() - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework
clone() - Method in class org.tweetyproject.commons.DualSetSignature
clone() - Method in class org.tweetyproject.commons.QuadrupleSetSignature
clone() - Method in interface org.tweetyproject.commons.Signature: clones signature
clone() - Method in class org.tweetyproject.commons.SingleSetSignature
clone() - Method in class org.tweetyproject.commons.TripleSetSignature
clone() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
clone() - Method in class org.tweetyproject.logics.cl.syntax.ClBeliefSet
clone() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
clone() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
clone() - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
clone() - Method in class org.tweetyproject.logics.commons.syntax.Constant
clone() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
clone() - Method in class org.tweetyproject.logics.commons.syntax.Functor
clone() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula
clone() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula: Creates a deep copy of this formula
clone() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Term: Creates a deep copy of the term
clone() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure: Creates a deep copy of this object
clone() - Method in class org.tweetyproject.logics.commons.syntax.NumberTerm
clone() - Method in class org.tweetyproject.logics.commons.syntax.Predicate
clone() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
clone() - Method in class org.tweetyproject.logics.commons.syntax.Sort
clone() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
clone() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
clone() - Method in class org.tweetyproject.logics.commons.syntax.Variable
clone() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Clones this atomic concept.
clone() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
clone() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
clone() - Method in class org.tweetyproject.logics.dl.syntax.Complement: Clones this complement.
clone() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept: Creates a deep copy of this formula
clone() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
clone() - Method in class org.tweetyproject.logics.dl.syntax.DlAxiom
clone() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
clone() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
clone() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
clone() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
clone() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
clone() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
clone() - Method in class org.tweetyproject.logics.dl.syntax.Union
clone() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
clone() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
clone() - Method in class org.tweetyproject.logics.fol.syntax.Contradiction
clone() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
clone() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
clone() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
clone() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
clone() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
clone() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
clone() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
clone() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
clone() - Method in class org.tweetyproject.logics.fol.syntax.Implication
clone() - Method in class org.tweetyproject.logics.fol.syntax.Negation
clone() - Method in class org.tweetyproject.logics.fol.syntax.Tautology
clone() - Method in class org.tweetyproject.logics.ml.syntax.Necessity
clone() - Method in class org.tweetyproject.logics.ml.syntax.Possibility
clone() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
clone() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
clone() - Method in class org.tweetyproject.logics.pl.syntax.Contradiction
clone() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
clone() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
clone() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
clone() - Method in class org.tweetyproject.logics.pl.syntax.Implication
clone() - Method in class org.tweetyproject.logics.pl.syntax.Negation
clone() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
clone() - Method in class org.tweetyproject.logics.pl.syntax.PlPredicate
clone() - Method in class org.tweetyproject.logics.pl.syntax.PlSignature
clone() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
clone() - Method in class org.tweetyproject.logics.pl.syntax.Tautology
clone() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
clone() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
clone() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
clone() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
clone() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
clone() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
clone() - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
clone() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
clone() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
clone() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
clone() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
clone() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
clone() - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
clone() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
clone() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
clone() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
clone() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
clone() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
clone() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
clone() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
clone() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
clone() - Method in class org.tweetyproject.lp.asp.syntax.Program
clone() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
clone() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
clone() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
clone() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
clone() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
clone() - Method in class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter: method to clone this object for instantiation
clone() - Method in class org.tweetyproject.plugin.parameter.FileListCommandParameter
clone() - Method in class org.tweetyproject.plugin.parameter.IntegerCommandParameter: Clones the object
clone() - Method in class org.tweetyproject.plugin.parameter.SelectionCommandParameter
clone() - Method in class org.tweetyproject.plugin.parameter.StringListCommandParameter: method to clone this object for instantiation
cloneWithAddedTerm(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
cloneWithAddedTerm(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral: Creates a copy of the literal and adds the given term as argument to the end of the argument list.
cloneWithAddedTerm(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
close() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Execution
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.SequentialExecution
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator: Closes the SAT solver state if it has been initialized.
close() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator: Closes the candidate generator and releases any resources associated with it.
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
close() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier: Closes the SAT solver state and releases any resources associated with it.
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier: Closes the SAT solver state and releases any resources associated with it.
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.StableVerifier
close() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
close() - Method in interface org.tweetyproject.arg.adf.sat.IndexedSatSolverState: Closes the SAT solver state and releases any resources associated with it.
close() - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
close() - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver: close
close() - Method in class org.tweetyproject.arg.adf.sat.state.AsynchronousCloseSatSolverState
close() - Method in class org.tweetyproject.arg.adf.sat.state.SynchronizedSatSolverState
close() - Method in interface org.tweetyproject.logics.fol.writer.FolWriter: Closes the Writer.
close() - Method in class org.tweetyproject.logics.fol.writer.Prover9Writer
close() - Method in class org.tweetyproject.logics.fol.writer.SPASSWriter: Close writer.
close() - Method in class org.tweetyproject.logics.fol.writer.StandardFolWriter
close() - Method in class org.tweetyproject.logics.fol.writer.TPTPWriter
close() - Method in class org.tweetyproject.logics.ml.writer.MleanCoPWriter: Closes the Writer.
close() - Method in class org.tweetyproject.logics.ml.writer.SPASSWriter: Closes the underlying writer stream.
close() - Method in class org.tweetyproject.logics.pl.util.TextfileIterator: Close file reader (in case no more belief bases should be read)
close() - Method in class org.tweetyproject.logics.qbf.writer.QdimacsWriter: Closes the underlying writer resource.
close() - Method in class org.tweetyproject.lp.asp.writer.ClingoWriter: close writer
close() - Method in class org.tweetyproject.lp.asp.writer.DLVWriter: Close writer
close() - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver: Releases resources associated with the Lingeling solver instance.
close() - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
close() - Method in class org.tweetyproject.sat.picosat.PicosatSatSolver
close() - Method in interface org.tweetyproject.sat.SatSolver
closeNodeScope(Node, boolean) - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: A conditional node is constructed if its condition is true.
closeNodeScope(Node, int) - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Closes the current node scope and constructs a definite node from a specified number of children.
ClosureReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive: a set of arguments S is closed under the support relation iff all arguments supported by an element of S are in S.
ClosureReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.ClosureReasoner: Default Constructor
ClosureTest() - Method in class org.tweetyproject.arg.aba.AbaTest
ClParser - Class in org.tweetyproject.logics.cl.parser: This class implements a parser for conditional logic.
ClParser() - Constructor for class org.tweetyproject.logics.cl.parser.ClParser: Default
cmd(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Sets the command for the ABA reasoner post request.
cmd(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost: Sets the command type for the DeLP request.
cmd(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Sets the command for this post and returns this instance to allow method chaining.
cmd(String) - Method in class org.tweetyproject.web.services.Post: Fluent API to set the command of this Post object and return the instance for chaining.
CmdLineImSolver - Class in org.tweetyproject.logics.pl.analysis: Provides an interface to a command line based inconsistency measure analyzer
CmdLineImSolver(String) - Constructor for class org.tweetyproject.logics.pl.analysis.CmdLineImSolver: Creates a new solver based on the open-wbo executable given as a parameter.
CmdLineSatSolver - Class in org.tweetyproject.logics.pl.sat: This class offers a generic wrapper for command line based SAT solvers.
CmdLineSatSolver(String) - Constructor for class org.tweetyproject.logics.pl.sat.CmdLineSatSolver: Creates a new SAT solver based on the given binary location.
CNF - Enum constant in enum org.tweetyproject.arg.dung.parser.FileFormat: cnf
CNF_RATIO - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample: CNF RATIO
CNF_RATIO - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: CNF RATIO
CnfParser - Class in org.tweetyproject.arg.dung.parser: Parses abstract argumentation frameworks in the CNF/Dimacs Format used for the SAT solver competition (see also http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html).
CnfParser() - Constructor for class org.tweetyproject.arg.dung.parser.CnfParser
CnfSampler - Class in org.tweetyproject.logics.pl.util: A simple sampler for propositional belief bases.
CnfSampler(Signature, double) - Constructor for class org.tweetyproject.logics.pl.util.CnfSampler: Creates a new sampler for the given signature.
CnfSampler(Signature, double, int, int) - Constructor for class org.tweetyproject.logics.pl.util.CnfSampler: Creates a new sampler for the given signature.
CnfWriter - Class in org.tweetyproject.arg.dung.writer: Writes an abstract argumentation framework into a file of the CNF format.
CnfWriter() - Constructor for class org.tweetyproject.arg.dung.writer.CnfWriter
CO - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: CO
CO - Enum constant in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics: complete
CO - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Complete semantics
coherence(MarkovLogicNetwork, AbstractMlnReasoner, FolSignature) - Method in class org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure: Measures the coherence of the given MLN using the given reasoner.
coherence(MarkovLogicNetwork, AbstractMlnReasoner, FolSignature) - Method in class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
CoherentPASemantics - Class in org.tweetyproject.arg.prob.semantics: P is coherent wrt.
CoherentPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.CoherentPASemantics: Default
CollaborationParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn: A parser for the "collaboration" element in a XML tree of a BPMN model
CollaborationParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.CollaborationParser: Create a new instance
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept: Collapses associative formulas.
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.Complement: Collapses associative formulas within the negated concept, if applicable.
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept: This method collapses all associative operations appearing in this term, e.g.
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.Union
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula: This method collapses all associative operations appearing in this term, e.g.
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Implication
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.Negation
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.ml.syntax.Necessity
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.ml.syntax.Possibility
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Implication
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Negation
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: This method collapses all associative operations appearing in this term, e.g.
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
collapseAssociativeFormulas() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
collapseAssociativeFormulas() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
collapseAssociativeOperations() - Method in class org.tweetyproject.math.equation.Statement: This method collapses all associative operations appearing in this statement, e.g.
collapseAssociativeOperations() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem: This method collapses all associative operations appearing in the target function and the constraints, e.g.
collapseAssociativeOperations() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.AssociativeOperation
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.Constant
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.Difference
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.Fraction
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.FunctionalTerm
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.Term: This method collapses all associative operations appearing in this term, e.g.
collapseAssociativeOperations() - Method in class org.tweetyproject.math.term.Variable
collect(AcceptanceCondition, Collection<D>) - Method in interface org.tweetyproject.arg.adf.transform.Collector: Traverses through the given AcceptanceCondition and adds all the collected data to the provided collection.
collect(AcceptanceCondition, Consumer<D>) - Method in class org.tweetyproject.arg.adf.transform.AbstractCollector
collect(AcceptanceCondition, Consumer<D>) - Method in interface org.tweetyproject.arg.adf.transform.Collector: Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.
collect(AcceptanceCondition, Consumer<Clause>) - Method in class org.tweetyproject.arg.adf.transform.TseitinTransformer
Collector<U,D> - Interface in org.tweetyproject.arg.adf.transform: The concept of a collector is similar to its sibling Transformer, we want to transform an AcceptanceCondition into a different structure.
COLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
COLON - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CombinatoricsProblem - Class in org.tweetyproject.math.opt.problem: This class implements a combinatorial optimization problem
CombinatoricsProblem(List<ElementOfCombinatoricsProb>, int[][]) - Constructor for class org.tweetyproject.math.opt.problem.CombinatoricsProblem: constructor
CombinatoricsSolver - Class in org.tweetyproject.math.opt.solver: Combinatorics Solver
CombinatoricsSolver() - Constructor for class org.tweetyproject.math.opt.solver.CombinatoricsSolver: Constructor
combine(Set<Map<E, F>>) - Method in class org.tweetyproject.commons.util.MapTools: Combines all maps in singleMaps to one maps containing every assignment of each map in singleMaps.
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.cl.syntax.Conditional: Combines this conditional with another formula using logical conjunction (AND).
combineWithAnd(Conjunctable) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable: Returns a conjunction of this and the given formula.
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
combineWithAnd(Conjunctable) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
combineWithOr(Disjunctable) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
combineWithOr(Disjunctable) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.cl.syntax.Conditional: Combines this conditional with another formula using logical disjunction (OR).
combineWithOr(Disjunctable) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
combineWithOr(Disjunctable) - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
combineWithOr(Disjunctable) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
COMMA - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
COMMA - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CommandLineInterface - Class in org.tweetyproject.arg.adf.cli: This class provides a command-line interface for working with Abstract Dialectical Frameworks (ADFs).
CommandLineInterface() - Constructor for class org.tweetyproject.arg.adf.cli.CommandLineInterface
CommandParameter - Class in org.tweetyproject.plugin.parameter: This is the abstract basics class for CommandParameter Never leave identifier and description arguments for the constructor empty, they can not be changed afterwards
CommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.CommandParameter: non-empty constructor (member variables cannot be changed after construction)
commands(List<String>) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse: Sets the commands and returns this instance for method chaining.
COMMENT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
COMMENT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CommonColdExample(int) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample: Constructs the Common Cold MLN with a given domain size.
ComparativeAtom - Class in org.tweetyproject.lp.asp.syntax: This class represents a comparative atom, meaning an expression of the form 't x u' where t,u are terms and x is in {<, <=, ==, !=, >, >=}.
ComparativeAtom(ASPOperator.BinaryOperator, Term<?>, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ComparativeAtom: Create a new comparative atom with the given operator and left and right term.
ComparativeAtom(ComparativeAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.ComparativeAtom: Copy-Constructor
ComparativeTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: comparative test
compare(double[], double[]) - Method in class org.tweetyproject.arg.rankings.util.LexicographicDoubleTupleComparator
compare(int[], int[]) - Method in class org.tweetyproject.arg.rankings.util.LexicographicIntTupleComparator
compare(Double, Double) - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics: Compares two `Double` values according to the specific social semantics implemented by this class.
compare(Double, Double) - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
compare(ArrayList<ElementOfCombinatoricsProb>, ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics.FitnessComparator
compare(Collection<T>, Collection<T>) - Method in class org.tweetyproject.arg.aspic.order.SetComparator
compare(Argument, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.heuristics.AcceptanceConditionSizeComparator: Deprecated.
compare(Argument, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator: Deprecated.

Compares two arguments in the ADF based on their degree.
compare(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
compare(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
compare(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
compare(AspicArgument<T>, AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.semantics.SimpleAspicOrder
compare(InferenceRule<T>, InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.semantics.ComparisonCriterion: This method returns the relation of argument1 to argument2 given context.
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.semantics.EmptyCriterion
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class org.tweetyproject.arg.delp.semantics.GeneralizedSpecificity
compare(Pair<Proposition, Boolean>, Pair<Proposition, Boolean>) - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
compare(NicePossibleWorld, NicePossibleWorld) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure
compare(Program, Program) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator
compare(T, T) - Method in class org.tweetyproject.comparator.GeneralComparator
compareEqualityWith(PreferenceOrder<T>) - Method in class org.tweetyproject.preferences.PreferenceOrder: compares this preference order to another given one whether each relation is contained in both
compareInference(AbstractDialecticalFramework, AbstractDialecticalFrameworkReasoner, RankingFunction) - Method in class org.tweetyproject.logics.translators.adfcl.ConverterADF2CL: Compare the inference behavior of ADF "adf" and Ranking function "kappa"
CompareInference - Class in org.tweetyproject.logics.translators.adfcl: This class compares the inference behavior of Abstract Dialectical Frameworks (AFDs) and Ranking Functions (OCFs)
CompareInference() - Constructor for class org.tweetyproject.logics.translators.adfcl.CompareInference: Default Constructor
compareMeasures() - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator: Computes inconsistency values for all belief bases in the dataset using all inconsistency measures and returns a report of the results.
compareTo(T2BeliefState) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
compareTo(T3BeliefState) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
compareTo(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Compares this ArgumentSet with another for order.
compareTo(DeductiveArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
compareTo(EvidentialArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
compareTo(NecessityArgumentationFramework) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
compareTo(LdoArgument) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
compareTo(ClaimSet) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
compareTo(Extension<T>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
compareTo(SerialisationSequence) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
compareTo(Argument) - Method in class org.tweetyproject.arg.dung.syntax.Argument
compareTo(DungTheory) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
compareTo(SetAf) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
compareTo(TypedStructureAdapter) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
compareTo(Place) - Method in class org.tweetyproject.logics.petri.syntax.Place
compareTo(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
compareTo(MarkingEdge) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge
compareTo(PossibleWorld) - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorld
compareTo(PossibleWorld) - Method in class org.tweetyproject.logics.qbf.semantics.QbPossibleWorld
compareTo(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
compareTo(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
compareTo(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
compareTo(ASPRule) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
compareWeights(Attack, Attack) - Method in class org.tweetyproject.arg.weighted.syntax.WeightedArgumentationFramework: Compares the weights of two attacks and returns the weight of the stronger attack.
ComparisonCriterion - Class in org.tweetyproject.arg.delp.semantics: This class is the superclass for all comparison criteria between two arguments in defeasible logic programming.
ComparisonCriterion() - Constructor for class org.tweetyproject.arg.delp.semantics.ComparisonCriterion: Default Constructor
ComparisonCriterion.Factory - Enum in org.tweetyproject.arg.delp.semantics: Enumeration of factory types for creating instances of ComparisonCriterion subclasses.
ComparisonCriterion.Result - Enum in org.tweetyproject.arg.delp.semantics: Enumeration representing the possible results of a comparison between two items.
compatibility(List<MarkovLogicNetwork>, AbstractMlnReasoner, List<FolSignature>) - Method in interface org.tweetyproject.logics.mln.analysis.CompatibilityMeasure: Measures the compatibility of the given MLNs wrt.
compatibility(List<MarkovLogicNetwork>, AbstractMlnReasoner, List<FolSignature>) - Method in class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure
CompatibilityMeasure - Interface in org.tweetyproject.logics.mln.analysis: This interface represents a compatibility measure for MLNs.
compcriterion(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost: Sets the completeness criterion specified in the DeLP request.
compcriterion(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Sets the completeness criterion specified in the DeLP response.
Compensation - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Compensation
Compilation - Class in org.tweetyproject.arg.deductive.semantics: Instances of this class are compilations in the sense of Definition 8 in

Philippe Besnard and Anthony Hunter.
Compilation(DeductiveKnowledgeBase) - Constructor for class org.tweetyproject.arg.deductive.semantics.Compilation: Creates the compilation of the given knowledge base.
CompilationNode - Class in org.tweetyproject.arg.deductive.semantics: Instances of this class represent nodes in the compilation of a knowledge base, i.e.
CompilationNode(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.arg.deductive.semantics.CompilationNode: Creates a new compilation node with the given set of formulas.
CompilationReasoner - Class in org.tweetyproject.arg.deductive.reasoner: This class implements the approach of knowledge base compilation as proposed in

Philippe Besnard and Anthony Hunter.
CompilationReasoner(Categorizer, Accumulator) - Constructor for class org.tweetyproject.arg.deductive.reasoner.CompilationReasoner: Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.
complement() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
complement() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
complement() - Method in class org.tweetyproject.logics.cl.syntax.Conditional: Returns the complement of this conditional.
complement() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Invertable
complement() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
complement() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
complement() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
complement() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
complement() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
complement() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
complement() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
complement() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
complement() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
complement() - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
complement() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
complement() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral
complement() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
complement() - Method in class org.tweetyproject.math.probability.Probability: Returns the complement of this probability, i.e.
Complement - Class in org.tweetyproject.logics.dl.syntax: This class models the complement (negation) in description logics.
Complement(ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Complement: Creates a new complement with the given concept to be negated.
ComplementTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
complete() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: return complete
complete(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
COMPLETE - Static variable in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel: COMPLETE kernel
COMPLETE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: class for extension ranking semantics
COMPLETE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
CompleteExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample: CompleteExample
CompleteKernel - Class in org.tweetyproject.arg.dung.equivalence.kernel: Kernel CK = (A, R') for strong equivalence wrt.
CompleteKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.kernel.CompleteKernel
CompleteReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner: This reasoner for ABA theories performs inference on the complete extensions.
CompleteReasoner - Class in org.tweetyproject.arg.adf.reasoner: Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, for removal in future versions
CompleteReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential: a set of arguments S is complete iff it is admissible and all arguments acceptable wrt.
CompleteReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity: a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.
CompleteReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.CompleteReasoner: Default
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner: Default Constructor
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner: Default Constructor
CompleteReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.CompleteReasoner: Deprecated.

Constructs a CompleteReasoner with the specified SAT solver.
CompleteReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
CompleteReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
CompleteVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier: The CompleteVerifier is a verifier class that checks whether a given interpretation is a complete interpretation within an abstract dialectical framework (ADF).
CompleteVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier: Constructs a CompleteVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
ComplexBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QCIRTest
ComplexBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QDIMACSTest
ComplexConcept - Class in org.tweetyproject.logics.dl.syntax: The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
ComplexConcept() - Constructor for class org.tweetyproject.logics.dl.syntax.ComplexConcept: Default constructor for ComplexConcept.
ComplexLogicalFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces: A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
ComplexLogicalFormulaAdapter - Class in org.tweetyproject.logics.commons.syntax: Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
ComplexLogicalFormulaAdapter() - Constructor for class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
ComplexNumber - Class in org.tweetyproject.math: A complex number.
ComplexNumber(double, double) - Constructor for class org.tweetyproject.math.ComplexNumber: Constructs a new complex number with the given real and imaginary parts.
ComplexQueryTest() - Method in class org.tweetyproject.logics.dl.test.DlReasonerTest
ComplexQueryTest() - Method in class org.tweetyproject.logics.ml.MleanCoPTest
ComplexQueryTest() - Method in class org.tweetyproject.logics.ml.SPASSTest
ComplexTermTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: term test
components - Variable in class org.tweetyproject.math.term.ElementOfCombinatoricsProb: the components
compressPrimeImplicants(Set<Set<PlFormula>>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator: Return the compressed prime implicants
compute(Argument, AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.semantics.link.LinkStrategy: Computes the type of link between a parent argument and its child's acceptance condition.
compute(Argument, AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
compute(Argument, AcceptanceCondition, Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.link.LinkStrategy: Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional assumption.
compute(Argument, AcceptanceCondition, Interpretation) - Method in class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
computeDegreeOfAcceptability(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner: Computes the degree of acceptability of the strategy A wrt.
computeDGraph(DungTheory) - Static method in class org.tweetyproject.arg.dung.independence.Independence: transform the given AF into a DAG (D-graph) by adding new meta argument for each strongly connected component
computeFRAF(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
computeModel(MarkovLogicNetwork, FolSignature) - Method in class org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner: Computes the model of the given MLN wrt.
computePartialAttackRelations() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner: TODO is this still necessary?
computeRewards(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner: Computes the rewards of the given strategy (set of arguments).
computeStrengthOfArgument(Argument, DungTheory, Set<Set<Argument>>) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner: Computes the value of the zero-sum game for the given argument.
computeTupledValue(Argument, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner: Computes the tupled value for the given argument.
ConceptAssertion - Class in org.tweetyproject.logics.dl.syntax: This class models a concept assertion in description logic, i.e.
ConceptAssertion() - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion: Empty default constructor.
ConceptAssertion(Individual, AtomicConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion: Initializes a role assertion with the given atomic concept and Individual.
ConceptAssertion(Individual, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion: Initializes a role assertion with the given concept and Individual.
CONCURRENT_APPROX - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see ConcurrentApproxAnalysis
CONCURRENT_EXACT - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType: see ConcurrentExactAnalysis
ConcurrentApproxAnalysis - Class in org.tweetyproject.arg.bipolar.analysis: This class implements approximate probabilistic justification of a set of queries using Monte Carlo Sampling of induced EAFs from a PEAF.
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis: Constructs ConcurrentApproxAnalysis with noThreads equal to availableProcessors - 1
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis: Constructs ConcurrentApproxAnalysis with batchSize equal to noThreads*2
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double, int, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis: The default constructor for ConcurrentApproxAnalysis
ConcurrentExactAnalysis - Class in org.tweetyproject.arg.bipolar.analysis: This class implements exact probabilistic justification of a set of queries by generating all possible induces EAFs from a PEAF in parallel.
ConcurrentExactAnalysis(PEAFTheory, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis: Constructs ConcurrentExactAnalysis with noThreads equal to availableProcessors - 1
ConcurrentExactAnalysis(PEAFTheory, AbstractExtensionReasoner, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis: Constructs ConcurrentExactAnalysis with given noThreads
condensedEntropy() - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution: Returns the condensed entropy of this distribution (neglecting multiplicators of reference worlds.
CondensedProbabilityDistribution - Class in org.tweetyproject.logics.rpcl.semantics: Instances of this class represent condensed probability distributions, rf.
CondensedProbabilityDistribution(RpclSemantics, FolSignature) - Constructor for class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution: Creates a new condensed probability distribution for the given signature.
Conditional - Class in org.tweetyproject.logics.cl.syntax: This class represents a basic conditional (B|A) with formulas A,B.
Conditional - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Conditional
Conditional(PlFormula) - Constructor for class org.tweetyproject.logics.cl.syntax.Conditional: Creates a new conditional with a tautological premise and given conclusion.
Conditional(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.cl.syntax.Conditional: Creates a new conditional with the given premise and conclusion.
conditionalProbability(Conditional) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Returns the probability of the given conditional
ConditionalStructure - Class in org.tweetyproject.logics.cl.semantics: Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.
ConditionalStructure() - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Default-Ctor generates empty Conditional structure
ConditionalStructure(Collection<Conditional>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Ctor: generates a conditional structure containing the given conditionals
ConditionalStructure(Collection<Conditional>, Comparator<NicePossibleWorld>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Ctor: Generates a ConditionalStructure containing the given conditionals and using the given comparator to sort the worldData map.
ConditionalStructure(Comparator<NicePossibleWorld>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure: Ctor: Generates an empty ConditionalStructure that uses the given Comparator to sort its worldData map.
ConditionalStructure.Generator - Enum in org.tweetyproject.logics.cl.semantics: The possible values of a conditional for a possible world
ConditionalStructureKappaBuilder - Class in org.tweetyproject.logics.cl.kappa: This class builds the initial kappa value list for a given conditional structure.
ConditionalStructureKappaBuilder() - Constructor for class org.tweetyproject.logics.cl.kappa.ConditionalStructureKappaBuilder: Default-Ctor: Generates a builder that does not uses fast evaluation
ConditionalStructureKappaBuilder(boolean) - Constructor for class org.tweetyproject.logics.cl.kappa.ConditionalStructureKappaBuilder: Ctor: Generates a builder that uses fast evaluation depending on the given parameter
ConditionalTaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query: ConditionalTaskStep class
ConditionlessTaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query: ConditionlessTaskStep class
confidence(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule: Returns the confidence of this rule wrt.
ConfidentAttack - Class in org.tweetyproject.arg.lp.semantics.attack: This notion of attack models the confident attack relation.
ConfidentRebut - Class in org.tweetyproject.arg.lp.semantics.attack: This notion of attack models the strong rebut relation.
CONFIG_AGGREGATIONFUNCTION - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: Key for the configuration map that points to the aggregation function used.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess: Configuration key for the number of populations tried out.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess: Configuration key for the number of populations tried out.
CONFIG_KEY_SIGNATURE - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess: Configuration key for the signature.
CONFIG_KEY_SIGNATURE - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess: Configuration key for the signature.
CONFIG_KEY_WITNESSPROVIDER - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess: Configuration key for the consistency tester.
CONFIG_MEASURE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: Key for the configuration map that points to the inconsistency measure to be used.
CONFIG_NAME - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: Key for the configuration map that points to the name to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess: Key for the configuration map that points to the smoothing factor to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess: Key for the configuration map that points to the smoothing factor to be used.
CONFIG_TIMEOUT - Static variable in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess: Key for the configuration map that gives a time out (given in seconds) for a single update operation Default value is -1 which means no time out.
CONFIG_WINDOWSIZE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: Key for the configuration map that points to the window size to be used.
configCLI() - Static method in class org.tweetyproject.cli.plugins.CliMain: This method is meant to load the tweety plugin pathes on startup
Configuration - Class in org.tweetyproject.arg.adf.reasoner.sat.execution: The Configuration class encapsulates the settings used for SAT solving and parallel execution in an abstract dialectical framework (ADF) system.
Configuration.Builder - Class in org.tweetyproject.arg.adf.reasoner.sat.execution: The Builder class for constructing Configuration instances.
configure(Configuration) - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query: Return a copy of this query but with the new configuration applied
configure(Configuration) - Method in class org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder: Return SemanticsStep configure
CONFLICT_FREE - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The conflict-free principle
CONFLICT_FREE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: class for extension ranking semantics
conflictFree() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: Return conflictFree
conflictFree(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
CONFLICTFREE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
ConflictFreeGenerator - Class in org.tweetyproject.arg.adf.reasoner.sat.generator: The ConflictFreeGenerator is an abstract class responsible for generating conflict-free interpretations in the context of abstract dialectical frameworks (ADFs).
ConflictFreeInterpretationSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings: This class implements a SAT encoding for conflict-free interpretations in an Abstract Dialectical Framework (ADF).
ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding: Constructs a new ConflictFreeInterpretationSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional mapping.
ConflictFreeMaximizer - Class in org.tweetyproject.arg.adf.reasoner.sat.processor: The ConflictFreeMaximizer is an abstract class responsible for maximizing conflict-free interpretations in an abstract dialectical framework (ADF).
ConflictFreePrinciple - Class in org.tweetyproject.arg.dung.principles: Conflict-free Principle
ConflictFreePrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
ConflictFreeReasoner - Class in org.tweetyproject.arg.adf.reasoner: Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, for removal in future versions
ConflictFreeReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive: reasoner for conflict-freeness in bipolar argumentation frameworks with a deductive support interpretation a set of arguments is conflict-free iff it is conflict-free in regards to the complex attacks in the framework
ConflictFreeReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential: a set of arguments S is conflict-free iff there exists no attack between a subset of S and an element of S.
ConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner: Default Constructor
ConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner: constructor
ConflictFreeReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner: Deprecated.

Constructs a ConflictFreeReasoner with the given SAT solver.
Conjunctable - Interface in org.tweetyproject.logics.commons.syntax.interfaces: Formulas implementing this interface can be connected by using AND.
Conjunction - Class in org.tweetyproject.logics.fol.syntax: The classical conjunction of first-order logic.
Conjunction - Class in org.tweetyproject.logics.pl.syntax: This class represents a conjunction in propositional logic.
Conjunction() - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction: Creates a new (empty) conjunction.
Conjunction() - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction: Creates a new (empty) conjunction.
Conjunction(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction: Creates a new conjunction with the given inner formulas.
Conjunction(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction: Creates a new conjunction with the given inner formulas.
Conjunction(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction: Creates a new conjunction with the two given formulae
Conjunction(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction: Creates a new conjunction with the two given formulae
CONJUNCTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols: Returns the symbol for conjunction.
ConjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc: ConjunctionAcceptanceCondition
ConjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ConjunctionAcceptanceCondition: Constructor
ConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
CONJUNCTS - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: conjuncts
CONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
CONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CONSISTENCY - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The CONSISTENCY postulate
ConsistencyTester<T> - Interface in org.tweetyproject.logics.commons.analysis: Classes implementing this interface are capable of testing whether a given belief base is consistent.
ConsistencyWitnessProvider<B,S> - Interface in org.tweetyproject.logics.commons.analysis: Provides methods for returning some model (if it exists) of a set of formulas.
consolidate(Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
consolidate(Collection<T>) - Method in interface org.tweetyproject.lp.asp.beliefdynamics.baserevision.ConsolidationOperator: Returns a consolidation of set p, i.e.
consolidate(Program) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation: Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.
ConsolidationOperator<T> - Interface in org.tweetyproject.lp.asp.beliefdynamics.baserevision: This interface represents an consolidation operator for belief bases as defined in [KKI12].
Constant - Class in org.tweetyproject.logics.commons.syntax: A Constant represents an constant object in the world of a logical language.
Constant - Class in org.tweetyproject.math.term: This class models an abstract constant, e.g.
Constant() - Constructor for class org.tweetyproject.math.term.Constant: Constructor
Constant(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant: Ctor: Creates a new Constant with the given name, uses "Thing" as sort.
Constant(String, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant: Ctor: Creates a new Constant with the given name and sort
Constant(Constant) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant: Copy-Ctor: Creates a deep copy of the given Constant
ConstantSet(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser: Parses a set of constants from the input and adds them to the specified FolSignature.
ConstraintSatisfactionProblem - Class in org.tweetyproject.math.opt.problem: This class models a general constraint satisfaction problem.
ConstraintSatisfactionProblem() - Constructor for class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem: Creates a new and empty csp.
ConstraintSatisfactionProblem(Collection<? extends Statement>) - Constructor for class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem: Creates a new csp with the given statements
construct() - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser: Construct the Petri net
construct() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser: Construct the reachability graph for the Petri net
contains(Object) - Method in class org.tweetyproject.agents.MultiAgentSystem
contains(Object) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
contains(Object) - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet: Deprecated.
contains(Object) - Method in class org.tweetyproject.arg.adf.util.MinusSetView
contains(Object) - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView
contains(Object) - Method in class org.tweetyproject.arg.adf.util.UnionSetView
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Returns true if this set contains the specified argument.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BArgument: Checks if this argument is equal to the specified object.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
contains(Object) - Method in interface org.tweetyproject.arg.bipolar.syntax.BipolarEntity: Checks if this entity contains the specified object.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
contains(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
contains(Object) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
contains(Object) - Method in class org.tweetyproject.arg.dung.semantics.Extension
contains(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
contains(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence: Checks whether the given object is in the sequence.
contains(Object) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
contains(Object) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
contains(Object) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
contains(Object) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
contains(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
contains(Object) - Method in class org.tweetyproject.commons.BeliefSet
contains(Object) - Method in class org.tweetyproject.commons.InterpretationSet
contains(Object) - Method in class org.tweetyproject.graphs.DefaultGraph
contains(Object) - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns "true" when this DirHyperGraph contains the given node or edge.
contains(Object) - Method in interface org.tweetyproject.graphs.Graph: Returns "true" when this graph contains the given node or edge.
contains(Object) - Method in class org.tweetyproject.graphs.HyperGraph
contains(Object) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
contains(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
contains(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
contains(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
contains(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns true if this signature contains the specified constant, predicate, functor, sort or all constants, predicates, functors and sorts in the specified FolFormula.
contains(Object) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
contains(Object) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
contains(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
contains(Object) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
contains(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
contains(Object) - Method in class org.tweetyproject.math.Interval
contains(Object) - Method in class org.tweetyproject.preferences.PreferenceOrder: checks whether this preference order contains a given pair
contains(Collection<T>) - Method in class org.tweetyproject.commons.util.SetTrie: Checks if a set is contained in the trie.
contains(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
contains(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition: Checks if the given argument is contained in this acceptance condition.
contains(Argument) - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
contains(Argument) - Method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition
contains(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework: Checks if the given argument is contained in this AbstractDialecticalFramework.
contains(Argument) - Method in class org.tweetyproject.arg.adf.syntax.Argument
contains(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport: Return true if the given argument is in this support relation.
contains(Argument) - Method in class org.tweetyproject.arg.dung.syntax.Attack: Return true if the given argument is in this attack relation.
contains(Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Return true if the given argument is in this attack relation.
contains(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack: Return true if the given argument is in this attack relation.
contains(Attack) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Determines whether the given attack is contained in this attack
contains(ExtendedAttack) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack: Determines whether the given attack is contained in this attack
contains(T) - Method in class org.tweetyproject.commons.SingleSetSignature: Returns true if this signature contains the specified formula.
containsActionName(String) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true if the given action name is contained in this action signature.
containsActionName(FolActionName) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true if the given action name is contained in this signature.
containsAll(Collection<?>) - Method in class org.tweetyproject.agents.MultiAgentSystem
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.MinusSetView
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.UnionSetView
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet: Returns true if this set contains all of the elements in the specified collection.
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
containsAll(Collection<?>) - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework: Checks if the argumentation framework contains all the elements in the given collection.
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
containsAll(Collection<?>) - Method in class org.tweetyproject.commons.BeliefSet
containsAll(Collection<?>) - Method in class org.tweetyproject.commons.InterpretationSet
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
containsAll(Collection<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
containsAll(Collection<?>) - Method in class org.tweetyproject.math.Interval
containsAll(Collection<?>) - Method in class org.tweetyproject.preferences.PreferenceOrder: checks, whether all of the given elements are contained in the preference order
containsAll(Collection<Argument>) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
containsAll(Collection<T>) - Method in class org.tweetyproject.commons.SingleSetSignature: Returns true if this signature contains all of the elements in the specified collection.
containsAttack(Attack) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Checks whether this theory contains the given attack.
containsAttack(SetAttack) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf: Checks whether this theory contains the given attack.
containsBackEdge(Node, Map<Node, Integer>, Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Helper method for detecting cycles using depth-first search.
containsConcept(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Checks whether the signature contains an atomic concept of the given name.
containsConstant(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns true if this signature contains the constant of the given name.
containsCycle() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Checks whether there is at least one cycle in this DungTheory.
containsCycle(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph: Checks whether there is at least one cycle in the given graph.
containsFluentName(String) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true if the given fluent name is contained in this action signature.
containsFluentName(FolFluentName) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true if the given fluent name is contained in this signature.
containsFunctionalTerms() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure: Checks whether this structure contains any functional terms.
containsFunctor(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns true if this signature contains the functor of the given name.
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.GeneralComparator: Return true if this ranking contains incomparable arguments, false otherwise
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.LatticePartialOrder
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
containsIndividual(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Checks whether the signature contains an individual of the given name.
containsKey(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
containsKey(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
containsKey(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
containsKey(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
containsKey(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
containsKey(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
containsKey(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
containsKey(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
containsKey(Object) - Method in class org.tweetyproject.preferences.ranking.Functions: checks whether the key is present in the entry-set of the map
containsKey(Argument) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping: Returns "true" iff the given argument has a value.
containsModalityOperator() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula: Checks whether this formula contains a modal operator ("necessity" operator or "possibility" operator).
containsOddCycle() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: Checks whether there is at least on eodd cycle in this DungTheory.
containsParameter(TrainingParameter) - Method in class org.tweetyproject.machinelearning.ParameterSet: Checks whether this set contains a parameter with the same name as the given parameter.
containsPredicate(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns true if this signature contains the predicate of the given name.
containsPredicate(Predicate) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true if the given predicate is contained in this signature.
containsQuantifier() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
containsQuantifier() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula: Checks whether this formula contains any quantification.
containsQuantifier() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport: Checks whether the formula contains a quantifier.
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Implication
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Negation
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
containsQuantifier() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
containsQuantifier() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
containsQuantifier() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
containsQuantifier() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
containsQuantifier() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
containsRelation(T, T) - Method in class org.tweetyproject.preferences.PreferenceOrder: checks whether this preference order contains a pair of given elements
containsRole(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature: Checks whether the signature contains an atomic role of the given name.
containsSort(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature: Returns true if this signature contains the sort of the given name.
containsSubsetOf(Collection<T>) - Method in class org.tweetyproject.commons.util.SetTrie: Checks if the trie contains a subset of the given set.
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
containsTermsOfType(Class<C>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure: Checks if this logical structure contains at least one term of type C.
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.Sort
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
containsTriple(T, T, Relation) - Method in class org.tweetyproject.preferences.PreferenceOrder: checks whether the given triple is contained
containsValue(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
containsValue(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
containsValue(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
containsValue(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
containsValue(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
containsValue(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
containsValue(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
containsValue(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
containsValue(Object) - Method in class org.tweetyproject.preferences.ranking.Functions: checks whether the value is present in the entry-set of the map
CONTENSION - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: CONTENSION
ContensionExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the contension inconsistency measure.
ContensionExample() - Constructor for class org.tweetyproject.logics.pl.examples.ContensionExample: Default Constructor
ContensionInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class implements the contension inconsistency measure, cf.
ContensionInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure: Default Constructor
ContensionInconsistencyMeasurementProcess - Class in org.tweetyproject.logics.pl.analysis: Implements an approximation algorithm for the Contension inconsistency measure on streams.
ContensionInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess: Default Constructor
ContensionSampler - Class in org.tweetyproject.logics.pl.util: Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.
ContensionSampler(PlSignature, int) - Constructor for class org.tweetyproject.logics.pl.util.ContensionSampler: Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
ContensionSampler(PlSignature, int, int, int) - Constructor for class org.tweetyproject.logics.pl.util.ContensionSampler: Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
ContensionSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.
ContensionSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure: Create a new ContensionSatInconsistencyMeasure with the default SAT solver.
ContensionSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure: Create a new ContensionSatInconsistencyMeasure with the given SAT solver.
CONTRA - Enum constant in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction: The faction that opposes the argument or proposition (Contra position).
contract(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator
contract(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator: Contracts the first collection of formulas by the second collection of formulas.
contract(Collection<T>, T) - Method in interface org.tweetyproject.beliefdynamics.BaseContractionOperator: Contracts the given collection of formulas by the given formula.
contract(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
Contradiction - Class in org.tweetyproject.logics.fol.syntax: A contradictory formula.
Contradiction - Class in org.tweetyproject.logics.pl.syntax: A contradictory formula.
Contradiction() - Constructor for class org.tweetyproject.logics.fol.syntax.Contradiction: Creates a new contradiction.
Contradiction() - Constructor for class org.tweetyproject.logics.pl.syntax.Contradiction: Creates a new contradiction.
CONTRADICTION - Static variable in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition: This constant is an alias for ContradictionAcceptanceCondition.INSTANCE, its only purpose is readability.
CONTRADICTION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The CONTRADICTION postulate
CONTRADICTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols: Returns the symbol for contradiction.
ContradictionAcceptanceCondition - Enum in org.tweetyproject.arg.adf.syntax.acc: ContradictionAcceptanceCondition enum
ContradictionAsQueryTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
ContradictionTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
ContradictionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
ConversionTools - Class in org.tweetyproject.commons.util: This class provides some utility methods for converting different data types.
ConversionTools() - Constructor for class org.tweetyproject.commons.util.ConversionTools: Default Constructor
convert(EAFTheory) - Static method in class org.tweetyproject.arg.bipolar.io.eaf.EAFToDAFConverter: Return a dungtheory version of the input
ConverterADF2CL - Class in org.tweetyproject.logics.translators.adfcl: This class bridges the gap between Abstract Dialectical Frameworks (ADFs) and Conditional Logic (CL)
ConverterADF2CL() - Constructor for class org.tweetyproject.logics.translators.adfcl.ConverterADF2CL: Default Constructor
convertToCplexLpFormat() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem: Converts the this optimization problem into a string in the commonly used CPLEX LP-format for mixed integer linear programming.
convertToDAFNaively() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: This method converts this EAF to a DAF with using Algorithm 1 from Oren et.
convertToDimacs(Collection<PlFormula>) - Static method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver: Converts the given set of formulas to their string representation in Dimacs CNF.
convertToDimacs(Collection<PlFormula>, Map<Proposition, Integer>, List<String>) - Static method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver: Convert to dimacs
convertToDimacsAndIndex(Collection<PlFormula>) - Static method in class org.tweetyproject.logics.pl.sat.PlMusEnumerator: Converts the given set of formulas to their string representation in Dimacs CNF.
convertToLogicProgram(CActionDescription, ActionSignature, int) - Method in class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator: Calculates an extended logic program lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D.
convertToLpFormat() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem: Converts the this optimization problem into a string in the commonly used LP-format for mixed integer linear programming.
ConvexAggregatingMaxConsMeMachineShop - Class in org.tweetyproject.logics.pcl.analysis: This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each maximal consistent subset of the knowledge base, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
ConvexAggregatingMaxConsMeMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop: Constructor
ConvexAggregatingMeMachineShop - Class in org.tweetyproject.logics.pcl.analysis: This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each single conditional, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
ConvexAggregatingMeMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMeMachineShop: Constructor
convexCombination(double[], ProbabilityDistribution<S>[]) - Static method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
convexCombination(double[], ProbabilityFunction<S>[]) - Static method in class org.tweetyproject.math.probability.ProbabilityFunction: Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
convexCombination(double, ProbabilityDistribution<T>) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
convexCombination(double, RpclProbabilityDistribution<T>) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution: Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
convexCombination(double, ProbabilityFunction<T>) - Method in class org.tweetyproject.math.probability.ProbabilityFunction: Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
copyHelper(Collection<T>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport: This method generates a deep copy of the given collection of RelationalFormula
corsConfigurer() - Method in class org.tweetyproject.web.services.RestServiceCorsApplication: Configuration method for CORS support in the application.
CorsResponseFilter - Class in org.tweetyproject.web: For enabling cross-origin resource sharing
CorsResponseFilter() - Constructor for class org.tweetyproject.web.CorsResponseFilter
costOf(Interpretation<PlBeliefSet, PlFormula>, Collection<PlFormula>, Map<PlFormula, Integer>) - Static method in class org.tweetyproject.logics.pl.sat.MaxSatSolver: Returns the cost of the given interpretation, i.e.
COUNT - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction: Counts the number of elements.
counterarguments() - Method in class org.tweetyproject.arg.delp.TestQueries
CounterfactualStatement - Class in org.tweetyproject.arg.dung.causal.syntax: This class describes a counterfactual causal statement like: given phi, if v had been x then rho would be true Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
CounterfactualStatement(HashSet<PlFormula>, HashMap<Proposition, Boolean>, HashSet<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CounterfactualStatement: Creates a new counterfactual causal statement.
countering() - Method in class org.tweetyproject.arg.delp.TestArguments
COUNTERTRANSITIVITY - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The COUNTERTRANSITIVITY postulate
CounterTransitivityReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].
CounterTransitivityReasoner(CounterTransitivityReasoner.solver, LatticePartialOrder<Argument, DungTheory>) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner: Constructor
CounterTransitivityReasoner.solver - Enum in org.tweetyproject.arg.rankings.reasoner: The solver used to determine the ranking of arguments.
CounterTransitivityReasonerExample - Class in org.tweetyproject.arg.rankings.examples: Demonstrates the usage of the CounterTransitivityReasoner with a specific Argumentation Framework (AAF).
CounterTransitivityReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample: Default Constructor
CountingExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample: Evaluates the CountingRankingReasoner against all postulates and prints the results.
CountingRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.
CountingRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner: Create a new CountingRankingReasoner with default parameters.
CountingRankingReasoner(double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner: Create a new CountingRankingReasoner with the given parameters.
CountingRankingReasoner(double, double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner: Create a new CountingRankingReasoner with the given parameters.
CountingUtilityFunction - Class in org.tweetyproject.agents.dialogues.structured: This class represents a counting utility function, i.e.
CountingUtilityFunction(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.agents.dialogues.structured.CountingUtilityFunction: Creates a new counting utility function for the given focal set.
countTimeouts(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport: Counts the number of timed out entries in the results of the given inconsistency measure.
countUndecided() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted: Return countUndecided
cp - Variable in class org.tweetyproject.arg.bipolar.syntax.WeightedSetSupport: The weight of the support relationship.
CParser - Class in org.tweetyproject.action.description.parser: This class implements a parser for an Action Description in the Action Description Language C from [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.
CParser() - Constructor for class org.tweetyproject.action.description.parser.CParser
CReasoner - Class in org.tweetyproject.logics.cl.reasoner: This class models a c-reasoner for conditional logic.
CReasoner() - Constructor for class org.tweetyproject.logics.cl.reasoner.CReasoner: Deafult
CReasonerExample - Class in org.tweetyproject.logics.cl.examples: Demonstrates how to construct a conditional logic knowledge base programmatically and query it using the Simple C-reasoner.
CReasonerExample() - Constructor for class org.tweetyproject.logics.cl.examples.CReasonerExample: Constructor
create() - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Creates a new unnamed atom literal.
create(String) - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Creates a new named atom literal with the specified name.
create(String) - Static method in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory: Creates an instance of a ComparisonCriterion subclass based on the provided name.
createCandidateGenerator(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
createConstraintMatrix(PclBeliefSet, Set<PossibleWorld>) - Static method in class org.tweetyproject.logics.pcl.util.OjAlgoPclUtils: Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsCMAESOptimizerEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx: constuctor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx2: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.BfgsSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GlpkSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GradientDescentSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GurobiTest: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.HessianGradientSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx2: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LpSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.OctaveSqpSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.SimpleGeneticOptimizationSolverEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.SimulatedAnnealingOnConstrProbEx2: constrcutor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.StochasticLocalSearchOnConstrProbEx: constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.TabuSearchOnConstrProbEx: constructor
createCopyWithoutArguments(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory
createDecomposer() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
createDifference(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: Return the differnece of the lists
createEmptyFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
createEmptyFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
createEmptyFormula() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptyFormula() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
createEmptyFormula() - Method in class org.tweetyproject.logics.dl.syntax.Union
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
createEmptyFormula() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
createEmptySignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
createEmptySignature() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptySignature() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
createEmptySignature() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
createEmptySignature() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
createEmptySignature() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
createEmptyTransition(Marking) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet: Add a transition which is enabled at the specified marking and does not change the marking
createFrame(int, int) - Method in class org.tweetyproject.commons.Plotter: Create a new main frame with specific proportions
createFrame(int, int) - Method in class org.tweetyproject.commons.PlotterMultiFrame: Create a new main frame with specific proportions
createGraph() - Method in class org.tweetyproject.graphs.util.GraphPlotter: Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout
createGraph(boolean) - Method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
createGraph(boolean) - Method in class org.tweetyproject.graphs.util.GraphPlotter: Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: create a solution that changes the solution currSol a little bit (i.e.: for TSP: swap 2 cities; for KnapSack: add a random element) for currSol == null: create a random solution
CreateSequencesForTest(SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence) - Static method in class org.tweetyproject.arg.dung.serialisability.sequence.SerialisationSequenceTest
createState() - Method in interface org.tweetyproject.arg.adf.sat.IncrementalSatSolver: Return createState
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativeMinisatSolver
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver
createStateProcessors() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
createTransient() - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Creates a new transient atom literal.
createUnverifiedProcessor(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics: Is applied to interpretations before they are verified.
createVariables(int) - Static method in class org.tweetyproject.logics.pcl.util.OjAlgoPclUtils: Create (non-negative) variables for the probabilities of possible worlds.
createVerifiedProcessor(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics: Is applied to interpretations after they are verified.
createVerifier(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics: Creates a verifier, which acts as a filter.
createWithNullArg() - Method in class org.tweetyproject.arg.delp.TestDTree
createWithNullConclusion1() - Method in class org.tweetyproject.arg.delp.TestArguments
createWithNullConclusion2() - Method in class org.tweetyproject.arg.delp.TestArguments
creation() - Method in class org.tweetyproject.arg.delp.TestDTree
creation() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
creationFailure() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
CredibilityCategorizer - Class in org.tweetyproject.beliefdynamics.mas: This class implements a credibility-based categorizer that works like the classical categorizer but dismisses arguments where the least credible agent which uttered a formula in that argument is not as least as credible as the least credible agent which uttered a formula of the parent argument.
CredibilityCategorizer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class org.tweetyproject.beliefdynamics.mas.CredibilityCategorizer: Creates a new credibility categorizer that is guided by the giving information which agents uttered the formulas and the credibility order.
CredibilityRevision<T> - Class in org.tweetyproject.beliefdynamics: Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases.
CredibilityRevision - Class in org.tweetyproject.lp.asp.beliefdynamics.revision: Implements the credibility revision approach for ASP described in Kruempelmann et al.
CredibilityRevision() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevision: Default Constructor
CredibilityRevision() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision: Default Ctor: Do not forget to set the solver
CredibilityRevision(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision: Ctor: setting the solver at construction time
CredibilityRevision(ASPSolver, int) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision: Constructs a CredibilityRevision instance with the specified ASP solver and maximum integer value.
CredibilityRevision.AnswersetProcessing - Interface in org.tweetyproject.lp.asp.beliefdynamics.revision: interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
CredibilityRevision.DefaultBehavior - Class in org.tweetyproject.lp.asp.beliefdynamics.revision: This class implements a default behavior for the processing of the answer sets of the credibility logic programs.
CredibilityRevisionIterative<T> - Class in org.tweetyproject.beliefdynamics: Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.
CredibilityRevisionIterative() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevisionIterative: Default
CredibilityRevisionNonIterative<T> - Class in org.tweetyproject.beliefdynamics: Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases.
CredibilityRevisionNonIterative() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevisionNonIterative: Default
CredibilityTest - Class in org.tweetyproject.lp.asp.beliefdynamics.revision: Tests the revision method described in Kruempelmann et al.
CredibilityTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest
CREDULOUS - Enum constant in enum org.tweetyproject.commons.InferenceMode: Credulous inference assesses a formula as true iff it is contained in some model
credulousQuery(AbstractDialecticalFramework, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
CriterionOptionHandler - Class in org.tweetyproject.arg.delp.semantics: Handles command-line options related to ComparisonCriterion objects.
CriterionOptionHandler(CmdLineParser, OptionDef, Setter<? super ComparisonCriterion>) - Constructor for class org.tweetyproject.arg.delp.semantics.CriterionOptionHandler: Constructs a new CriterionOptionHandler with the specified command line parser, option definition, and setter.
CrMasArgumentativeRevisionOperator - Class in org.tweetyproject.beliefdynamics.operators: This class is an exemplary instantiation of a revision operator based on deductive argumentation and credibilities where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the credibility categorizer
CrMasArgumentativeRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.operators.CrMasArgumentativeRevisionOperator: Default
CrMasBeliefSet<T,S> - Class in org.tweetyproject.beliefdynamics.mas: This class represents belief sets for credibility-based agents multi-agent systems.
CrMasBeliefSet(Order<Agent>, S) - Constructor for class org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet: Creates a new belief set with the given credibility order.
CrMasExample - Class in org.tweetyproject.beliefdynamics.examples: Example code on using belief operators in multi-agent settings.
CrMasExample() - Constructor for class org.tweetyproject.beliefdynamics.examples.CrMasExample: Default
CrMasRevisionWrapper<T> - Class in org.tweetyproject.beliefdynamics.mas: This class is a wrapper for a revision for formulas of type T that is used to revise information objects.
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.mas.CrMasRevisionWrapper: Creates a new revision with the given wrapped revision.
CrMasSimpleRevisionOperator - Class in org.tweetyproject.beliefdynamics.operators: This revision operator accepts only those pieces of information for revision where the credibility of the source is at least as high as the credibility of the agent which proves the complement.
CrMasSimpleRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.operators.CrMasSimpleRevisionOperator: Default
crmasTest() - Method in class AbstractArgumentationExample
CrossValidator<S,T> - Class in org.tweetyproject.machinelearning: Performs cross-validation in a classifier, i.e.
CrossValidator(int) - Constructor for class org.tweetyproject.machinelearning.CrossValidator: Creates a new cross-validator with the given number of partitions.
CSP - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: CSP
CspInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis: This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
CspInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure: Creates a new measure that uses the given MUS enumerator and Integer programming solver.
CspInconsistencyMeasure(SimpleFunction<Double, Double>, MusEnumerator<S>, Solver) - Constructor for class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure: Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver
CspInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test
CspInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest
csvDisplay() - Method in class org.tweetyproject.agents.sim.SimulationResult: Returns a CSV representation of the result.
CTransitionSystemCalculator - Class in org.tweetyproject.action.description.reasoner: This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from [1].
CTransitionSystemCalculator(ASPSolver) - Constructor for class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator: Creates a new transition system calculator with the given interface to an answer set solver.
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in interface org.tweetyproject.logics.pcl.analysis.SignedCulpabilityMeasure
culpabilityMeasure(T, S) - Method in interface org.tweetyproject.logics.commons.analysis.CulpabilityMeasure: Returns the degree of responsibility of the given formula to cause inconsistency in the given belief set (NOTE: the formula should be in the given belief set).
culpabilityMeasure(T, S) - Method in class org.tweetyproject.logics.commons.analysis.ShapleyCulpabilityMeasure
CulpabilityMeasure<S,T> - Interface in org.tweetyproject.logics.commons.analysis: Classes implementing this interface represent culpability measures, i.e.
CURLY_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
CURLY_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
CURLY_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
CURLY_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
currentToken - Variable in exception class org.tweetyproject.arg.delp.parser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.lp.asp.parser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.preferences.io.ParseException: This is the last token that has been consumed successfully.
custom(Semantics) - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: Return custom
CustomStringListCommandParameter - Class in org.tweetyproject.plugin.parameter: This class extends the string list command parameter with functionality to define valid strings with regular expressions.
CustomStringListCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter: constructor for the custom string list parameter with id and description
CustomStringListCommandParameter(String, String, String) - Constructor for class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter: constructor for the custom string list parameter with id, description and criteria
cycleCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on the first example graph (hunterExample13G1).
cycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on the second example graph (hunterExample13G2).
cycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on a graph with cycles (hunterExample14G1).
cycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on a different graph with cycles (hunterExample14G2).
cycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on the tenth example graph (hunterExample10).
CycleCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: This class represents an inconsistency measure based on the count of cycles in an argumentation framework.
CycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure
cycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: Tests the cycle count inconsistency measure on a framework with two components (twoComponentFramework).
CyclicException - Exception Class in org.tweetyproject.arg.bipolar.syntax: CyclicException is thrown only if the given PEAF has cyclic in the support links
CyclicException(String) - Constructor for exception class org.tweetyproject.arg.bipolar.syntax.CyclicException: Default constructor for the exception
CygwinShell - Class in org.tweetyproject.commons.util: Cygwin shell.

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