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_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
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
calculateResultingAnswersets() - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
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.spring_services.aba.AbaReasonerGetModelCallee
call() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerGetModelsCallee
call() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerQueryCallee
call() - Method in class org.tweetyproject.web.spring_services.Callee
call() - Method in class org.tweetyproject.web.spring_services.delp.DelpCallee
call() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerGetModelCallee
call() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerGetModelsCallee
Callee - Class in org.tweetyproject.web.spring_services: *description missing*
Callee() - Constructor for class org.tweetyproject.web.spring_services.Callee
canAddTokens(int) - Method in class org.tweetyproject.logics.petri.syntax.Place
Cancel - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Cancel
CandidateGenerator - Interface in org.tweetyproject.arg.adf.reasoner.sat.generator
canFire() - Method in class org.tweetyproject.logics.petri.syntax.Ark
canFire() - Method in class org.tweetyproject.logics.petri.syntax.Transition
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
capabilities() - Method in class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
capabilities() - Method in class org.tweetyproject.logics.pl.plugin.PlPlugin
capabilities() - Method in class org.tweetyproject.logics.rpcl.plugin.RPCLPlugin
capabilities() - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin
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
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
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
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 is 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 extends Formula> - 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.spring_services.dung.AbstractExtensionReasonerFactory.Semantics: *description missing*
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 A semantics satisfies cf-reinstatement if for all extensions E it holds that: for all arguments a, if E u {a} is conflict-free and E defends a, then a is in E see: Baroni, P., and Giacomin, M.
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
changeParameterAttackProbability(double) - Method in class org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationGraphGenerator: Changes the Parameter to generate exemplary serializability analyses.
changeParameterNumberOfArguments(int) - Method in class org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationGraphGenerator: Changes the Parameter to generate exemplary serializability analyses.
changeParameterSeed(long) - Method in class org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationGraphGenerator: Changes the Parameter to generate exemplary serializability analyses.
changeParameterSelfAttacks(boolean) - Method in class org.tweetyproject.arg.dung.serialisibility.plotting.SerialisationGraphGenerator: Changes the Parameter to generate exemplary serializability analyses.
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
CheckIfSelfSupportingExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.CheckIfSelfSupportingExample
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.spring_services.Utils: *description missing*
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
childrenAccept(ASPParserVisitor, Object) - Method in class org.tweetyproject.lp.asp.parser.SimpleNode
Choice() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
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
ChoiceElements() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
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
chooseANeighbor(Map<Variable, Term>, int, int, double, Term) - Method in class org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb
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
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
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 extends Observation,T extends Category> - 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
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
ClauseSplittingProcessor - Class in org.tweetyproject.arg.adf.transform.processor
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
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.StratifiedLabeling
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
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
ClingoPredicate(String, int) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPOperator.ClingoPredicate
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
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
clone() - Method in class org.tweetyproject.arg.setaf.syntax.SetAfSignature
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
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
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
close() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
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
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
close() - Method in class org.tweetyproject.arg.adf.reasoner.sat.verifier.PreferredVerifier
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
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() - 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
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
close() - Method in class org.tweetyproject.lp.asp.writer.ClingoWriter
close() - Method in class org.tweetyproject.lp.asp.writer.DLVWriter
close() - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver
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
closeNodeScope(Node, int) - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState
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
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
cmd(String) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost: *description missing*
cmd(String) - Method in class org.tweetyproject.web.spring_services.delp.DelpPost: *description missing*
cmd(String) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost: *description missing*
cmd(String) - Method in class org.tweetyproject.web.spring_services.Post: *description missing*
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.spring_services.aba.GeneralAbaReasonerFactory.Semantics: *description missing*
CO - Enum constant in enum org.tweetyproject.web.spring_services.dung.AbstractExtensionReasonerFactory.Semantics: *description missing*
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
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
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
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
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
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
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
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.spring_services.dung.DungServicesInfoResponse: *description missing*
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
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
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.
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
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
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(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
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
ComparisonCriterion.Factory - Enum in org.tweetyproject.arg.delp.semantics: To select a subclass and create an instance throw a static factory method.
ComparisonCriterion.Result - Enum in org.tweetyproject.arg.delp.semantics
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.spring_services.delp.DelpPost: *description missing*
compcriterion(String) - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse: *description missing*
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
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: Create a new complement with the given DLFormula.
ComplementTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
complete() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
complete(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
COMPLETE - Static variable in class org.tweetyproject.arg.dung.equivalence.strong.EquivalenceKernel: COMPLETE
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.strong: Kernel SK = (A, R') for strong equivalence wrt.
CompleteKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.strong.CompleteKernel
CompleteReasoner<T extends Formula> - 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.
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
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner
CompleteReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.CompleteReasoner: Deprecated.
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
CompleteVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier
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
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
compressPrimeImplicants(Set<Set<PlFormula>>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator
compute(Argument, AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.semantics.link.LinkStrategy
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
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
ConditionlessTaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query
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
Configuration.Builder - Class in org.tweetyproject.arg.adf.reasoner.sat.execution
configure(Configuration) - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query
configure(Configuration) - Method in class org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder
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
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
ConflictFreeInterpretationSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
ConflictFreeMaximizer - Class in org.tweetyproject.arg.adf.reasoner.sat.processor
ConflictFreePrinciple - Class in org.tweetyproject.arg.dung.principles: Conflict-free Principle A semantics satisfies conflict-freeness if for all extensions E it holds that: E is conflict-free trivial property satisfied by practically all semantics see: Baroni, P., and Giacomin, M.
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.
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
ConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner: constructor
ConflictFreeReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner: Deprecated.
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
ConjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
ConjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ConjunctionAcceptanceCondition
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 extends BeliefBase> - Interface in org.tweetyproject.logics.commons.analysis: Classes implementing this interface are capable of testing whether a given belief base is consistent.
ConsistencyWitnessProvider<B extends BeliefBase,S extends Formula> - 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 extends Formula> - 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
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
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
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BArgument
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
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.syntax.DungTheory
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 whether the given set is contained in this set-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
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.setaf.syntax.SetAttack: Return true if the given argument is in this attack relation.
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 iff the given actionName is contained in this action signature.
containsActionName(FolActionName) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true iff the given actionName 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
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 interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework
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 iff the given fluentName is contained in this action signature.
containsFluentName(FolFluentName) - Method in class org.tweetyproject.action.signature.ActionSignature: Returns true iff the given fluentName 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
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.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 iff 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
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 whether there is a subset of the given set contained.
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.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
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
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
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
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
ContradictionAcceptanceCondition - Enum in org.tweetyproject.arg.adf.syntax.acc
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
convert(EAFTheory) - Static method in class org.tweetyproject.arg.bipolar.io.eaf.EAFToDAFConverter
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
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
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
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
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.spring_services.RestServiceCorsApplication: *description missing*
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
counterarguments() - Method in class org.tweetyproject.arg.delp.TestQueries
CounterfactualStatement - Class in org.tweetyproject.arg.dung.causal.syntax: This class describes an 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
CounterTransitivityReasoner.solver - Enum in org.tweetyproject.arg.rankings.reasoner
CounterTransitivityReasonerExample - Class in org.tweetyproject.arg.rankings.examples
CounterTransitivityReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample
CountingExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
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
cp - Variable in class org.tweetyproject.arg.bipolar.syntax.WeightedSetSupport
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
CReasonerExample - Class in org.tweetyproject.logics.cl.examples: Shows how to construct a conditional logic knowledge base programmatically and how to query it using the C-reasoner.
CReasonerExample() - Constructor for class org.tweetyproject.logics.cl.examples.CReasonerExample
create() - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
create(String) - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
create(String) - Static method in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory
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
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.serialisibility.plotting.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.serialisibility.sequence.SerialisationSequenceTest
createState() - Method in interface org.tweetyproject.arg.adf.sat.IncrementalSatSolver
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
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 extends Formula> - 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
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
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 extends Formula> - 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
CredibilityRevisionNonIterative<T extends Formula> - 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
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
credulousAcceptance(IncompleteTheory, Argument) - Method in class org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
credulousQuery(AbstractDialecticalFramework, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
CriterionOptionHandler - Class in org.tweetyproject.arg.delp.semantics
CriterionOptionHandler(CmdLineParser, OptionDef, Setter<? super ComparisonCriterion>) - Constructor for class org.tweetyproject.arg.delp.semantics.CriterionOptionHandler
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
CrMasBeliefSet<T extends Formula,S extends Signature> - 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
CrMasRevisionWrapper<T extends Formula> - 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
crmasTest() - Method in class AbstractArgumentationExample
CrossValidator<S extends Observation,T extends Category> - 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 extends Formula> - 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 extends Formula,T extends BeliefSet<S,?>> - 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 org.tweetyproject.arg.delp.parser.ParseException
currentToken - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception org.tweetyproject.lp.asp.parser.ParseException: This is the last token that has been consumed successfully.
currentToken - Variable in exception org.tweetyproject.preferences.io.ParseException
custom(Semantics) - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
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: *description missing*
cycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: *description missing*
cycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: *description missing*
cycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: *description missing*
cycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: *description missing*
CycleCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis: *description missing*
CycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure
cycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure: *description missing*
CyclicException - Exception 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 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