Index

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

C

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

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

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

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

Philippe Besnard and Anthony Hunter.
CompilationReasoner(Categorizer, Accumulator) - Constructor for class org.tweetyproject.arg.deductive.reasoner.CompilationReasoner
Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.
complement() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
complement() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
 
complement() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
Returns the complement of this conditional.
complement() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Invertable
 
complement() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
 
complement() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
 
complement() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula
 
complement() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
complement() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
complement() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
 
complement() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
 
complement() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
complement() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
complement() - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
 
complement() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
 
complement() - Method in class org.tweetyproject.lp.asp.syntax.ASPLiteral
 
complement() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
 
complement() - Method in class org.tweetyproject.math.probability.Probability
Returns the complement of this probability, i.e.
Complement - Class in org.tweetyproject.logics.dl.syntax
This class models the complement (negation) in description logics.
Complement(ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Complement
Creates a new complement with the given concept to be negated.
ComplementTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
 
complete() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
return complete
complete(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
COMPLETE - Static variable in class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel
COMPLETE kernel
COMPLETE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
class for extension ranking semantics
COMPLETE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
all semantics
CompleteExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample
CompleteExample
CompleteKernel - Class in org.tweetyproject.arg.dung.equivalence.kernel
Kernel CK = (A, R') for strong equivalence wrt.
CompleteKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.kernel.CompleteKernel
 
CompleteReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner
This reasoner for ABA theories performs inference on the complete extensions.
CompleteReasoner - Class in org.tweetyproject.arg.adf.reasoner
Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, for removal in future versions
CompleteReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
a set of arguments S is complete iff it is admissible and all arguments acceptable wrt.
CompleteReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity
a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.
CompleteReasoner() - Constructor for class org.tweetyproject.arg.aba.reasoner.CompleteReasoner
Default
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.CompleteReasoner
Default Constructor
CompleteReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.CompleteReasoner
Default Constructor
CompleteReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.CompleteReasoner
Deprecated.
Constructs a CompleteReasoner with the specified SAT solver.
CompleteReasoning() - Method in class org.tweetyproject.arg.bipolar.EvidentialArgumentationTest
 
CompleteReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
 
CompleteVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier
The CompleteVerifier is a verifier class that checks whether a given interpretation is a complete interpretation within an abstract dialectical framework (ADF).
CompleteVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier
Constructs a CompleteVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
ComplexBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QCIRTest
 
ComplexBeliefBaseTest() - Method in class org.tweetyproject.logics.qbf.test.QDIMACSTest
 
ComplexConcept - Class in org.tweetyproject.logics.dl.syntax
The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
ComplexConcept() - Constructor for class org.tweetyproject.logics.dl.syntax.ComplexConcept
Default constructor for ComplexConcept.
ComplexLogicalFormula - Interface in org.tweetyproject.logics.commons.syntax.interfaces
A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
ComplexLogicalFormulaAdapter - Class in org.tweetyproject.logics.commons.syntax
Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
ComplexLogicalFormulaAdapter() - Constructor for class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
ComplexNumber - Class in org.tweetyproject.math
A complex number.
ComplexNumber(double, double) - Constructor for class org.tweetyproject.math.ComplexNumber
Constructs a new complex number with the given real and imaginary parts.
ComplexQueryTest() - Method in class org.tweetyproject.logics.dl.test.DlReasonerTest
 
ComplexQueryTest() - Method in class org.tweetyproject.logics.ml.MleanCoPTest
 
ComplexQueryTest() - Method in class org.tweetyproject.logics.ml.SPASSTest
 
ComplexTermTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest
term test
components - Variable in class org.tweetyproject.math.term.ElementOfCombinatoricsProb
the components
compressPrimeImplicants(Set<Set<PlFormula>>) - Method in class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator
Return the compressed prime implicants
compute(Argument, AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.semantics.link.LinkStrategy
Computes the type of link between a parent argument and its child's acceptance condition.
compute(Argument, AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
 
compute(Argument, AcceptanceCondition, Interpretation) - Method in interface org.tweetyproject.arg.adf.semantics.link.LinkStrategy
Computes the type of link between a parent argument and its child's acceptance condition, taking into account an additional assumption.
compute(Argument, AcceptanceCondition, Interpretation) - Method in class org.tweetyproject.arg.adf.semantics.link.SatLinkStrategy
 
computeDegreeOfAcceptability(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
Computes the degree of acceptability of the strategy A wrt.
computeDGraph(DungTheory) - Static method in class org.tweetyproject.arg.dung.independence.Independence
transform the given AF into a DAG (D-graph) by adding new meta argument for each strongly connected component
computeFRAF(DungTheory) - Method in class org.tweetyproject.arg.dung.reasoner.SimpleResolutionBasedReasoner
 
computeModel(MarkovLogicNetwork, FolSignature) - Method in class org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner
Computes the model of the given MLN wrt.
computePartialAttackRelations() - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
TODO is this still necessary?
computeRewards(Collection<Argument>, Collection<Argument>, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
Computes the rewards of the given strategy (set of arguments).
computeStrengthOfArgument(Argument, DungTheory, Set<Set<Argument>>) - Method in class org.tweetyproject.arg.rankings.reasoner.StrategyBasedRankingReasoner
Computes the value of the zero-sum game for the given argument.
computeTupledValue(Argument, DungTheory) - Method in class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner
Computes the tupled value for the given argument.
ConceptAssertion - Class in org.tweetyproject.logics.dl.syntax
This class models a concept assertion in description logic, i.e.
ConceptAssertion() - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion
Empty default constructor.
ConceptAssertion(Individual, AtomicConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion
Initializes a role assertion with the given atomic concept and Individual.
ConceptAssertion(Individual, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.ConceptAssertion
Initializes a role assertion with the given concept and Individual.
CONCURRENT_APPROX - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType
see ConcurrentApproxAnalysis
CONCURRENT_EXACT - Enum constant in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType
see ConcurrentExactAnalysis
ConcurrentApproxAnalysis - Class in org.tweetyproject.arg.bipolar.analysis
This class implements approximate probabilistic justification of a set of queries using Monte Carlo Sampling of induced EAFs from a PEAF.
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis
Constructs ConcurrentApproxAnalysis with noThreads equal to availableProcessors - 1
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis
Constructs ConcurrentApproxAnalysis with batchSize equal to noThreads*2
ConcurrentApproxAnalysis(PEAFTheory, AbstractExtensionReasoner, double, int, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis
The default constructor for ConcurrentApproxAnalysis
ConcurrentExactAnalysis - Class in org.tweetyproject.arg.bipolar.analysis
This class implements exact probabilistic justification of a set of queries by generating all possible induces EAFs from a PEAF in parallel.
ConcurrentExactAnalysis(PEAFTheory, AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis
Constructs ConcurrentExactAnalysis with noThreads equal to availableProcessors - 1
ConcurrentExactAnalysis(PEAFTheory, AbstractExtensionReasoner, int) - Constructor for class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis
Constructs ConcurrentExactAnalysis with given noThreads
condensedEntropy() - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
Returns the condensed entropy of this distribution (neglecting multiplicators of reference worlds.
CondensedProbabilityDistribution - Class in org.tweetyproject.logics.rpcl.semantics
Instances of this class represent condensed probability distributions, rf.
CondensedProbabilityDistribution(RpclSemantics, FolSignature) - Constructor for class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution
Creates a new condensed probability distribution for the given signature.
Conditional - Class in org.tweetyproject.logics.cl.syntax
This class represents a basic conditional (B|A) with formulas A,B.
Conditional - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType
Conditional
Conditional(PlFormula) - Constructor for class org.tweetyproject.logics.cl.syntax.Conditional
Creates a new conditional with a tautological premise and given conclusion.
Conditional(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.cl.syntax.Conditional
Creates a new conditional with the given premise and conclusion.
conditionalProbability(Conditional) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Returns the probability of the given conditional
ConditionalStructure - Class in org.tweetyproject.logics.cl.semantics
Represents a conditional structure as introduced in Section 3.5 "Conditionals in Nonmonotonic Reasoning and Belief Revision" of Gabrielle Kern-Isberner Internally it saves the data to two nested Maps.
ConditionalStructure() - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure
Default-Ctor generates empty Conditional structure
ConditionalStructure(Collection<Conditional>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure
Ctor: generates a conditional structure containing the given conditionals
ConditionalStructure(Collection<Conditional>, Comparator<NicePossibleWorld>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure
Ctor: Generates a ConditionalStructure containing the given conditionals and using the given comparator to sort the worldData map.
ConditionalStructure(Comparator<NicePossibleWorld>) - Constructor for class org.tweetyproject.logics.cl.semantics.ConditionalStructure
Ctor: Generates an empty ConditionalStructure that uses the given Comparator to sort its worldData map.
ConditionalStructure.Generator - Enum in org.tweetyproject.logics.cl.semantics
The possible values of a conditional for a possible world
ConditionalStructureKappaBuilder - Class in org.tweetyproject.logics.cl.kappa
This class builds the initial kappa value list for a given conditional structure.
ConditionalStructureKappaBuilder() - Constructor for class org.tweetyproject.logics.cl.kappa.ConditionalStructureKappaBuilder
Default-Ctor: Generates a builder that does not uses fast evaluation
ConditionalStructureKappaBuilder(boolean) - Constructor for class org.tweetyproject.logics.cl.kappa.ConditionalStructureKappaBuilder
Ctor: Generates a builder that uses fast evaluation depending on the given parameter
ConditionalTaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query
ConditionalTaskStep class
ConditionlessTaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query
ConditionlessTaskStep class
confidence(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule
Returns the confidence of this rule wrt.
ConfidentAttack - Class in org.tweetyproject.arg.lp.semantics.attack
This notion of attack models the confident attack relation.
ConfidentRebut - Class in org.tweetyproject.arg.lp.semantics.attack
This notion of attack models the strong rebut relation.
CONFIG_AGGREGATIONFUNCTION - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the aggregation function used.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the number of populations tried out.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess
Configuration key for the number of populations tried out.
CONFIG_KEY_SIGNATURE - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the signature.
CONFIG_KEY_SIGNATURE - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess
Configuration key for the signature.
CONFIG_KEY_WITNESSPROVIDER - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the consistency tester.
CONFIG_MEASURE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the inconsistency measure to be used.
CONFIG_NAME - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the name to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Key for the configuration map that points to the smoothing factor to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess
Key for the configuration map that points to the smoothing factor to be used.
CONFIG_TIMEOUT - Static variable in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Key for the configuration map that gives a time out (given in seconds) for a single update operation Default value is -1 which means no time out.
CONFIG_WINDOWSIZE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the window size to be used.
configCLI() - Static method in class org.tweetyproject.cli.plugins.CliMain
This method is meant to load the tweety plugin pathes on startup
Configuration - Class in org.tweetyproject.arg.adf.reasoner.sat.execution
The Configuration class encapsulates the settings used for SAT solving and parallel execution in an abstract dialectical framework (ADF) system.
Configuration.Builder - Class in org.tweetyproject.arg.adf.reasoner.sat.execution
The Builder class for constructing Configuration instances.
configure(Configuration) - Method in interface org.tweetyproject.arg.adf.reasoner.query.Query
Return a copy of this query but with the new configuration applied
configure(Configuration) - Method in class org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder
Return SemanticsStep configure
CONFLICT_FREE - Static variable in class org.tweetyproject.arg.dung.principles.Principle
The conflict-free principle
CONFLICT_FREE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics
class for extension ranking semantics
conflictFree() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
Return conflictFree
conflictFree(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
CONFLICTFREE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
all semantics
ConflictFreeGenerator - Class in org.tweetyproject.arg.adf.reasoner.sat.generator
The ConflictFreeGenerator is an abstract class responsible for generating conflict-free interpretations in the context of abstract dialectical frameworks (ADFs).
ConflictFreeInterpretationSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
This class implements a SAT encoding for conflict-free interpretations in an Abstract Dialectical Framework (ADF).
ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.ConflictFreeInterpretationSatEncoding
Constructs a new ConflictFreeInterpretationSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional mapping.
ConflictFreeMaximizer - Class in org.tweetyproject.arg.adf.reasoner.sat.processor
The ConflictFreeMaximizer is an abstract class responsible for maximizing conflict-free interpretations in an abstract dialectical framework (ADF).
ConflictFreePrinciple - Class in org.tweetyproject.arg.dung.principles
Conflict-free Principle
ConflictFreePrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ConflictFreePrinciple
 
ConflictFreeReasoner - Class in org.tweetyproject.arg.adf.reasoner
Deprecated, for removal: This API element is subject to removal in a future version.
since 1.19, for removal in future versions
ConflictFreeReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive
reasoner for conflict-freeness in bipolar argumentation frameworks with a deductive support interpretation a set of arguments is conflict-free iff it is conflict-free in regards to the complex attacks in the framework
ConflictFreeReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
a set of arguments S is conflict-free iff there exists no attack between a subset of S and an element of S.
ConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.ConflictFreeReasoner
Default Constructor
ConflictFreeReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.ConflictFreeReasoner
constructor
ConflictFreeReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.ConflictFreeReasoner
Deprecated.
Constructs a ConflictFreeReasoner with the given SAT solver.
Conjunctable - Interface in org.tweetyproject.logics.commons.syntax.interfaces
Formulas implementing this interface can be connected by using AND.
Conjunction - Class in org.tweetyproject.logics.fol.syntax
The classical conjunction of first-order logic.
Conjunction - Class in org.tweetyproject.logics.pl.syntax
This class represents a conjunction in propositional logic.
Conjunction() - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction
Creates a new (empty) conjunction.
Conjunction() - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction
Creates a new (empty) conjunction.
Conjunction(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction
Creates a new conjunction with the given inner formulas.
Conjunction(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction
Creates a new conjunction with the given inner formulas.
Conjunction(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Conjunction
Creates a new conjunction with the two given formulae
Conjunction(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Conjunction
Creates a new conjunction with the two given formulae
CONJUNCTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for conjunction.
ConjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
ConjunctionAcceptanceCondition
ConjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.ConjunctionAcceptanceCondition
Constructor
ConjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
CONJUNCTS - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
conjuncts
CONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
CONS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
CONSISTENCY - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The CONSISTENCY postulate
ConsistencyTester<T> - Interface in org.tweetyproject.logics.commons.analysis
Classes implementing this interface are capable of testing whether a given belief base is consistent.
ConsistencyWitnessProvider<B,S> - Interface in org.tweetyproject.logics.commons.analysis
Provides methods for returning some model (if it exists) of a set of formulas.
consolidate(Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
 
consolidate(Collection<T>) - Method in interface org.tweetyproject.lp.asp.beliefdynamics.baserevision.ConsolidationOperator
Returns a consolidation of set p, i.e.
consolidate(Program) - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.
ConsolidationOperator<T> - Interface in org.tweetyproject.lp.asp.beliefdynamics.baserevision
This interface represents an consolidation operator for belief bases as defined in [KKI12].
Constant - Class in org.tweetyproject.logics.commons.syntax
A Constant represents an constant object in the world of a logical language.
Constant - Class in org.tweetyproject.math.term
This class models an abstract constant, e.g.
Constant() - Constructor for class org.tweetyproject.math.term.Constant
Constructor
Constant(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant
Ctor: Creates a new Constant with the given name, uses "Thing" as sort.
Constant(String, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant
Ctor: Creates a new Constant with the given name and sort
Constant(Constant) - Constructor for class org.tweetyproject.logics.commons.syntax.Constant
Copy-Ctor: Creates a deep copy of the given Constant
ConstantSet(FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Parses a set of constants from the input and adds them to the specified FolSignature.
ConstraintSatisfactionProblem - Class in org.tweetyproject.math.opt.problem
This class models a general constraint satisfaction problem.
ConstraintSatisfactionProblem() - Constructor for class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
Creates a new and empty csp.
ConstraintSatisfactionProblem(Collection<? extends Statement>) - Constructor for class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
Creates a new csp with the given statements
construct() - Method in class org.tweetyproject.logics.bpm.parser.bpmn_to_petri.PetriNetParser
Construct the Petri net
construct() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser
Construct the reachability graph for the Petri net
contains(Object) - Method in class org.tweetyproject.agents.MultiAgentSystem
 
contains(Object) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
 
contains(Object) - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet
Deprecated.
 
contains(Object) - Method in class org.tweetyproject.arg.adf.util.MinusSetView
 
contains(Object) - Method in class org.tweetyproject.arg.adf.util.UnionCollectionView
 
contains(Object) - Method in class org.tweetyproject.arg.adf.util.UnionSetView
 
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Returns true if this set contains the specified argument.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BArgument
Checks if this argument is equal to the specified object.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
 
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
 
contains(Object) - Method in interface org.tweetyproject.arg.bipolar.syntax.BipolarEntity
Checks if this entity contains the specified object.
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
 
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
 
contains(Object) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
 
contains(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
contains(Object) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
 
contains(Object) - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
contains(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationGraph
 
contains(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
Checks whether the given object is in the sequence.
contains(Object) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
 
contains(Object) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
 
contains(Object) - Method in class org.tweetyproject.arg.extended.syntax.RecursiveExtendedTheory
 
contains(Object) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
 
contains(Object) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
contains(Object) - Method in class org.tweetyproject.commons.BeliefSet
 
contains(Object) - Method in class org.tweetyproject.commons.InterpretationSet
 
contains(Object) - Method in class org.tweetyproject.graphs.DefaultGraph
 
contains(Object) - Method in interface org.tweetyproject.graphs.DirHyperGraph
Returns "true" when this DirHyperGraph contains the given node or edge.
contains(Object) - Method in interface org.tweetyproject.graphs.Graph
Returns "true" when this graph contains the given node or edge.
contains(Object) - Method in class org.tweetyproject.graphs.HyperGraph
 
contains(Object) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
 
contains(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
contains(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
contains(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
contains(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Returns true if this signature contains the specified constant, predicate, functor, sort or all constants, predicates, functors and sorts in the specified FolFormula.
contains(Object) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
 
contains(Object) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
 
contains(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
contains(Object) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
 
contains(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
contains(Object) - Method in class org.tweetyproject.math.Interval
 
contains(Object) - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether this preference order contains a given pair
contains(Collection<T>) - Method in class org.tweetyproject.commons.util.SetTrie
Checks if a set is contained in the trie.
contains(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
contains(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
Checks if the given argument is contained in this acceptance condition.
contains(Argument) - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
 
contains(Argument) - Method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition
 
contains(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Checks if the given argument is contained in this AbstractDialecticalFramework.
contains(Argument) - Method in class org.tweetyproject.arg.adf.syntax.Argument
 
contains(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
Return true if the given argument is in this support relation.
contains(Argument) - Method in class org.tweetyproject.arg.dung.syntax.Attack
Return true if the given argument is in this attack relation.
contains(Argument) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack
Return true if the given argument is in this attack relation.
contains(Argument) - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
Return true if the given argument is in this attack relation.
contains(Attack) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack
Determines whether the given attack is contained in this attack
contains(ExtendedAttack) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedAttack
Determines whether the given attack is contained in this attack
contains(T) - Method in class org.tweetyproject.commons.SingleSetSignature
Returns true if this signature contains the specified formula.
containsActionName(String) - Method in class org.tweetyproject.action.signature.ActionSignature
Returns true if the given action name is contained in this action signature.
containsActionName(FolActionName) - Method in class org.tweetyproject.action.signature.ActionSignature
Returns true if the given action name is contained in this signature.
containsAll(Collection<?>) - Method in class org.tweetyproject.agents.MultiAgentSystem
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.MinusSetView
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.adf.util.UnionSetView
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
Returns true if this set contains all of the elements in the specified collection.
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
containsAll(Collection<?>) - Method in interface org.tweetyproject.arg.dung.syntax.ArgumentationFramework
Checks if the argumentation framework contains all the elements in the given collection.
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
 
containsAll(Collection<?>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
 
containsAll(Collection<?>) - Method in class org.tweetyproject.commons.BeliefSet
 
containsAll(Collection<?>) - Method in class org.tweetyproject.commons.InterpretationSet
 
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
containsAll(Collection<?>) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
 
containsAll(Collection<?>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
containsAll(Collection<?>) - Method in class org.tweetyproject.math.Interval
 
containsAll(Collection<?>) - Method in class org.tweetyproject.preferences.PreferenceOrder
checks, whether all of the given elements are contained in the preference order
containsAll(Collection<Argument>) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
containsAll(Collection<T>) - Method in class org.tweetyproject.commons.SingleSetSignature
Returns true if this signature contains all of the elements in the specified collection.
containsAttack(Attack) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether this theory contains the given attack.
containsAttack(SetAttack) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
Checks whether this theory contains the given attack.
containsBackEdge(Node, Map<Node, Integer>, Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph
Helper method for detecting cycles using depth-first search.
containsConcept(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
Checks whether the signature contains an atomic concept of the given name.
containsConstant(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Returns true if this signature contains the constant of the given name.
containsCycle() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether there is at least one cycle in this DungTheory.
containsCycle(Graph<S>) - Static method in class org.tweetyproject.graphs.DefaultGraph
Checks whether there is at least one cycle in the given graph.
containsFluentName(String) - Method in class org.tweetyproject.action.signature.ActionSignature
Returns true if the given fluent name is contained in this action signature.
containsFluentName(FolFluentName) - Method in class org.tweetyproject.action.signature.ActionSignature
Returns true if the given fluent name is contained in this signature.
containsFunctionalTerms() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure
Checks whether this structure contains any functional terms.
containsFunctor(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Returns true if this signature contains the functor of the given name.
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.LastLinkOrder
 
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.RuleComparator
 
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder
 
containsIncomparableArguments() - Method in class org.tweetyproject.arg.aspic.order.WeakestLinkOrder
 
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.GeneralComparator
Return true if this ranking contains incomparable arguments, false otherwise
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.LatticePartialOrder
 
containsIncomparableArguments() - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
containsIndividual(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
Checks whether the signature contains an individual of the given name.
containsKey(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
containsKey(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
 
containsKey(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
containsKey(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
containsKey(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
containsKey(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
containsKey(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
containsKey(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
containsKey(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
containsKey(Object) - Method in class org.tweetyproject.preferences.ranking.Functions
checks whether the key is present in the entry-set of the map
containsKey(Argument) - Method in class org.tweetyproject.arg.social.semantics.SocialMapping
Returns "true" iff the given argument has a value.
containsModalityOperator() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
Checks whether this formula contains a modal operator ("necessity" operator or "possibility" operator).
containsOddCycle() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
Checks whether there is at least on eodd cycle in this DungTheory.
containsParameter(TrainingParameter) - Method in class org.tweetyproject.machinelearning.ParameterSet
Checks whether this set contains a parameter with the same name as the given parameter.
containsPredicate(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Returns true if this signature contains the predicate of the given name.
containsPredicate(Predicate) - Method in class org.tweetyproject.action.signature.ActionSignature
Returns true if the given predicate is contained in this signature.
containsQuantifier() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
 
containsQuantifier() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula contains any quantification.
containsQuantifier() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
Checks whether the formula contains a quantifier.
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Implication
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.Negation
 
containsQuantifier() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula
 
containsQuantifier() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
 
containsQuantifier() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
 
containsQuantifier() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
 
containsRelation(T, T) - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether this preference order contains a pair of given elements
containsRole(String) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
Checks whether the signature contains an atomic role of the given name.
containsSort(String) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
Returns true if this signature contains the sort of the given name.
containsSubsetOf(Collection<T>) - Method in class org.tweetyproject.commons.util.SetTrie
Checks if the trie contains a subset of the given set.
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.ComplexLogicalFormulaAdapter
 
containsTermsOfType(Class<C>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure
Checks if this logical structure contains at least one term of type C.
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.Sort
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ASPElement
 
containsTermsOfType(Class<C>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
containsTriple(T, T, Relation) - Method in class org.tweetyproject.preferences.PreferenceOrder
checks whether the given triple is contained
containsValue(Object) - Method in class org.tweetyproject.arg.adf.util.CacheMap
 
containsValue(Object) - Method in class org.tweetyproject.arg.adf.util.LazyMap
 
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.Labeling
 
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering
 
containsValue(Object) - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling
 
containsValue(Object) - Method in class org.tweetyproject.comparator.NumericalPartialOrder
 
containsValue(Object) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
 
containsValue(Object) - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
 
containsValue(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
 
containsValue(Object) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
 
containsValue(Object) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
 
containsValue(Object) - Method in class org.tweetyproject.preferences.ranking.Functions
checks whether the value is present in the entry-set of the map
CONTENSION - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
CONTENSION
ContensionExample - Class in org.tweetyproject.logics.pl.examples
Example code illustrating the contension inconsistency measure.
ContensionExample() - Constructor for class org.tweetyproject.logics.pl.examples.ContensionExample
Default Constructor
ContensionInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
This class implements the contension inconsistency measure, cf.
ContensionInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure
Default Constructor
ContensionInconsistencyMeasurementProcess - Class in org.tweetyproject.logics.pl.analysis
Implements an approximation algorithm for the Contension inconsistency measure on streams.
ContensionInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Default Constructor
ContensionSampler - Class in org.tweetyproject.logics.pl.util
Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.
ContensionSampler(PlSignature, int) - Constructor for class org.tweetyproject.logics.pl.util.ContensionSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
ContensionSampler(PlSignature, int, int, int) - Constructor for class org.tweetyproject.logics.pl.util.ContensionSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
ContensionSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.
ContensionSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
Create a new ContensionSatInconsistencyMeasure with the default SAT solver.
ContensionSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure
Create a new ContensionSatInconsistencyMeasure with the given SAT solver.
CONTRA - Enum constant in enum org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem.AgentFaction
The faction that opposes the argument or proposition (Contra position).
contract(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator
 
contract(Collection<T>, Collection<T>) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
Contracts the first collection of formulas by the second collection of formulas.
contract(Collection<T>, T) - Method in interface org.tweetyproject.beliefdynamics.BaseContractionOperator
Contracts the given collection of formulas by the given formula.
contract(Collection<T>, T) - Method in class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
 
Contradiction - Class in org.tweetyproject.logics.fol.syntax
A contradictory formula.
Contradiction - Class in org.tweetyproject.logics.pl.syntax
A contradictory formula.
Contradiction() - Constructor for class org.tweetyproject.logics.fol.syntax.Contradiction
Creates a new contradiction.
Contradiction() - Constructor for class org.tweetyproject.logics.pl.syntax.Contradiction
Creates a new contradiction.
CONTRADICTION - Static variable in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
This constant is an alias for ContradictionAcceptanceCondition.INSTANCE, its only purpose is readability.
CONTRADICTION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The CONTRADICTION postulate
CONTRADICTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for contradiction.
ContradictionAcceptanceCondition - Enum in org.tweetyproject.arg.adf.syntax.acc
ContradictionAcceptanceCondition enum
ContradictionAsQueryTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
 
ContradictionTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
 
ContradictionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
ConversionTools - Class in org.tweetyproject.commons.util
This class provides some utility methods for converting different data types.
ConversionTools() - Constructor for class org.tweetyproject.commons.util.ConversionTools
Default Constructor
convert(EAFTheory) - Static method in class org.tweetyproject.arg.bipolar.io.eaf.EAFToDAFConverter
Return a dungtheory version of the input
ConverterADF2CL - Class in org.tweetyproject.logics.translators.adfcl
This class bridges the gap between Abstract Dialectical Frameworks (ADFs) and Conditional Logic (CL)
ConverterADF2CL() - Constructor for class org.tweetyproject.logics.translators.adfcl.ConverterADF2CL
Default Constructor
convertToCplexLpFormat() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
Converts the this optimization problem into a string in the commonly used CPLEX LP-format for mixed integer linear programming.
convertToDAFNaively() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory
This method converts this EAF to a DAF with using Algorithm 1 from Oren et.
convertToDimacs(Collection<PlFormula>) - Static method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver
Converts the given set of formulas to their string representation in Dimacs CNF.
convertToDimacs(Collection<PlFormula>, Map<Proposition, Integer>, List<String>) - Static method in class org.tweetyproject.logics.pl.sat.DimacsSatSolver
Convert to dimacs
convertToDimacsAndIndex(Collection<PlFormula>) - Static method in class org.tweetyproject.logics.pl.sat.PlMusEnumerator
Converts the given set of formulas to their string representation in Dimacs CNF.
convertToLogicProgram(CActionDescription, ActionSignature, int) - Method in class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator
Calculates an extended logic program lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D.
convertToLpFormat() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem
Converts the this optimization problem into a string in the commonly used LP-format for mixed integer linear programming.
ConvexAggregatingMaxConsMeMachineShop - Class in org.tweetyproject.logics.pcl.analysis
This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each maximal consistent subset of the knowledge base, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
ConvexAggregatingMaxConsMeMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop
Constructor
ConvexAggregatingMeMachineShop - Class in org.tweetyproject.logics.pcl.analysis
This consistency restorer determines the new probabilities of conditionals by computing the ME-distribution of each single conditional, then convex combining those yielding a distribution P, and extracting the new probabilities from P.
ConvexAggregatingMeMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.ConvexAggregatingMeMachineShop
Constructor
convexCombination(double[], ProbabilityDistribution<S>[]) - Static method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
convexCombination(double[], ProbabilityFunction<S>[]) - Static method in class org.tweetyproject.math.probability.ProbabilityFunction
Computes the convex combination of the given probability distributions P1,...,PN with parameters factors, i.e.
convexCombination(double, ProbabilityDistribution<T>) - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
convexCombination(double, RpclProbabilityDistribution<T>) - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
convexCombination(double, ProbabilityFunction<T>) - Method in class org.tweetyproject.math.probability.ProbabilityFunction
Computes the convex combination of this P1 and the given probability distribution P2 with parameter d, i.e.
copyHelper(Collection<T>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
This method generates a deep copy of the given collection of RelationalFormula
corsConfigurer() - Method in class org.tweetyproject.web.services.RestServiceCorsApplication
Configuration method for CORS support in the application.
CorsResponseFilter - Class in org.tweetyproject.web
For enabling cross-origin resource sharing
CorsResponseFilter() - Constructor for class org.tweetyproject.web.CorsResponseFilter
 
costOf(Interpretation<PlBeliefSet, PlFormula>, Collection<PlFormula>, Map<PlFormula, Integer>) - Static method in class org.tweetyproject.logics.pl.sat.MaxSatSolver
Returns the cost of the given interpretation, i.e.
COUNT - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
Counts the number of elements.
counterarguments() - Method in class org.tweetyproject.arg.delp.TestQueries
 
CounterfactualStatement - Class in org.tweetyproject.arg.dung.causal.syntax
This class describes a counterfactual causal statement like: given phi, if v had been x then rho would be true Reference: "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022
CounterfactualStatement(HashSet<PlFormula>, HashMap<Proposition, Boolean>, HashSet<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.CounterfactualStatement
Creates a new counterfactual causal statement.
countering() - Method in class org.tweetyproject.arg.delp.TestArguments
 
COUNTERTRANSITIVITY - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
The COUNTERTRANSITIVITY postulate
CounterTransitivityReasoner - Class in org.tweetyproject.arg.rankings.reasoner
This class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].
CounterTransitivityReasoner(CounterTransitivityReasoner.solver, LatticePartialOrder<Argument, DungTheory>) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CounterTransitivityReasoner
Constructor
CounterTransitivityReasoner.solver - Enum in org.tweetyproject.arg.rankings.reasoner
The solver used to determine the ranking of arguments.
CounterTransitivityReasonerExample - Class in org.tweetyproject.arg.rankings.examples
Demonstrates the usage of the CounterTransitivityReasoner with a specific Argumentation Framework (AAF).
CounterTransitivityReasonerExample() - Constructor for class org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample
Default Constructor
CountingExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
Evaluates the CountingRankingReasoner against all postulates and prints the results.
CountingRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner
This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.
CountingRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
Create a new CountingRankingReasoner with default parameters.
CountingRankingReasoner(double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
Create a new CountingRankingReasoner with the given parameters.
CountingRankingReasoner(double, double) - Constructor for class org.tweetyproject.arg.rankings.reasoner.CountingRankingReasoner
Create a new CountingRankingReasoner with the given parameters.
CountingUtilityFunction - Class in org.tweetyproject.agents.dialogues.structured
This class represents a counting utility function, i.e.
CountingUtilityFunction(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.agents.dialogues.structured.CountingUtilityFunction
Creates a new counting utility function for the given focal set.
countTimeouts(String) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureReport
Counts the number of timed out entries in the results of the given inconsistency measure.
countUndecided() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
Return countUndecided
cp - Variable in class org.tweetyproject.arg.bipolar.syntax.WeightedSetSupport
The weight of the support relationship.
CParser - Class in org.tweetyproject.action.description.parser
This class implements a parser for an Action Description in the Action Description Language C from [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.
CParser() - Constructor for class org.tweetyproject.action.description.parser.CParser
 
CReasoner - Class in org.tweetyproject.logics.cl.reasoner
This class models a c-reasoner for conditional logic.
CReasoner() - Constructor for class org.tweetyproject.logics.cl.reasoner.CReasoner
Deafult
CReasonerExample - Class in org.tweetyproject.logics.cl.examples
Demonstrates how to construct a conditional logic knowledge base programmatically and query it using the Simple C-reasoner.
CReasonerExample() - Constructor for class org.tweetyproject.logics.cl.examples.CReasonerExample
Constructor
create() - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
Creates a new unnamed atom literal.
create(String) - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
Creates a new named atom literal with the specified name.
create(String) - Static method in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Factory
Creates an instance of a ComparisonCriterion subclass based on the provided name.
createCandidateGenerator(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
createConstraintMatrix(PclBeliefSet, Set<PossibleWorld>) - Static method in class org.tweetyproject.logics.pcl.util.OjAlgoPclUtils
Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsCMAESOptimizerEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx
constuctor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx2
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.BfgsSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GlpkSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GradientDescentSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.GurobiTest
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.HessianGradientSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx2
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.LpSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.OctaveSqpSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.SimpleGeneticOptimizationSolverEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.SimulatedAnnealingOnConstrProbEx2
constrcutor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.StochasticLocalSearchOnConstrProbEx
constructor
createConstraintSatProb1() - Static method in class org.tweetyproject.math.examples.TabuSearchOnConstrProbEx
constructor
createCopyWithoutArguments(Set<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory
 
createDecomposer() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
createDifference(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
Return the differnece of the lists
createEmptyFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
 
createEmptyFormula() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
 
createEmptyFormula() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
 
createEmptyFormula() - Method in class org.tweetyproject.logics.dl.syntax.Intersection
 
createEmptyFormula() - Method in class org.tweetyproject.logics.dl.syntax.Union
 
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction
 
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction
 
createEmptyFormula() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
 
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction
 
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction
 
createEmptyFormula() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
 
createEmptyFormula() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
createEmptySignature() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
createEmptySignature() - Method in interface org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
 
createEmptySignature() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
createEmptySignature() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
createEmptySignature() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
createEmptySignature() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
createEmptyTransition(Marking) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
Add a transition which is enabled at the specified marking and does not change the marking
createFrame(int, int) - Method in class org.tweetyproject.commons.Plotter
Create a new main frame with specific proportions
createFrame(int, int) - Method in class org.tweetyproject.commons.PlotterMultiFrame
Create a new main frame with specific proportions
createGraph() - Method in class org.tweetyproject.graphs.util.GraphPlotter
Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout
createGraph(boolean) - Method in class org.tweetyproject.arg.dung.serialisability.util.SerialisationGraphPlotter
 
createGraph(boolean) - Method in class org.tweetyproject.graphs.util.GraphPlotter
Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.KnapSack
 
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.examples.TravelingSalesman
 
createRandomNewSolution(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
create a solution that changes the solution currSol a little bit (i.e.: for TSP: swap 2 cities; for KnapSack: add a random element) for currSol == null: create a random solution
CreateSequencesForTest(SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence, SerialisationSequence) - Static method in class org.tweetyproject.arg.dung.serialisability.sequence.SerialisationSequenceTest
 
createState() - Method in interface org.tweetyproject.arg.adf.sat.IncrementalSatSolver
Return createState
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver
 
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativeMinisatSolver
 
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver
 
createState() - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver
 
createStateProcessors() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
 
createTransient() - Static method in interface org.tweetyproject.arg.adf.syntax.pl.Literal
Creates a new transient atom literal.
createUnverifiedProcessor(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
Is applied to interpretations before they are verified.
createVariables(int) - Static method in class org.tweetyproject.logics.pcl.util.OjAlgoPclUtils
Create (non-negative) variables for the probabilities of possible worlds.
createVerifiedProcessor(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
Is applied to interpretations after they are verified.
createVerifier(Supplier<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
Creates a verifier, which acts as a filter.
createWithNullArg() - Method in class org.tweetyproject.arg.delp.TestDTree
 
createWithNullConclusion1() - Method in class org.tweetyproject.arg.delp.TestArguments
 
createWithNullConclusion2() - Method in class org.tweetyproject.arg.delp.TestArguments
 
creation() - Method in class org.tweetyproject.arg.delp.TestDTree
 
creation() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
 
creationFailure() - Method in class org.tweetyproject.logics.pl.test.TestNicePossibleWorld
 
CredibilityCategorizer - Class in org.tweetyproject.beliefdynamics.mas
This class implements a credibility-based categorizer that works like the classical categorizer but dismisses arguments where the least credible agent which uttered a formula in that argument is not as least as credible as the least credible agent which uttered a formula of the parent argument.
CredibilityCategorizer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class org.tweetyproject.beliefdynamics.mas.CredibilityCategorizer
Creates a new credibility categorizer that is guided by the giving information which agents uttered the formulas and the credibility order.
CredibilityRevision<T> - Class in org.tweetyproject.beliefdynamics
Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases.
CredibilityRevision - Class in org.tweetyproject.lp.asp.beliefdynamics.revision
Implements the credibility revision approach for ASP described in Kruempelmann et al.
CredibilityRevision() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevision
Default Constructor
CredibilityRevision() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
Default Ctor: Do not forget to set the solver
CredibilityRevision(ASPSolver) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
Ctor: setting the solver at construction time
CredibilityRevision(ASPSolver, int) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
Constructs a CredibilityRevision instance with the specified ASP solver and maximum integer value.
CredibilityRevision.AnswersetProcessing - Interface in org.tweetyproject.lp.asp.beliefdynamics.revision
interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
CredibilityRevision.DefaultBehavior - Class in org.tweetyproject.lp.asp.beliefdynamics.revision
This class implements a default behavior for the processing of the answer sets of the credibility logic programs.
CredibilityRevisionIterative<T> - Class in org.tweetyproject.beliefdynamics
Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases.
CredibilityRevisionIterative() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevisionIterative
Default
CredibilityRevisionNonIterative<T> - Class in org.tweetyproject.beliefdynamics
Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases.
CredibilityRevisionNonIterative() - Constructor for class org.tweetyproject.beliefdynamics.CredibilityRevisionNonIterative
Default
CredibilityTest - Class in org.tweetyproject.lp.asp.beliefdynamics.revision
Tests the revision method described in Kruempelmann et al.
CredibilityTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest
 
CREDULOUS - Enum constant in enum org.tweetyproject.commons.InferenceMode
Credulous inference assesses a formula as true iff it is contained in some model
credulousQuery(AbstractDialecticalFramework, Argument) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
Deprecated.
 
CriterionOptionHandler - Class in org.tweetyproject.arg.delp.semantics
Handles command-line options related to ComparisonCriterion objects.
CriterionOptionHandler(CmdLineParser, OptionDef, Setter<? super ComparisonCriterion>) - Constructor for class org.tweetyproject.arg.delp.semantics.CriterionOptionHandler
Constructs a new CriterionOptionHandler with the specified command line parser, option definition, and setter.
CrMasArgumentativeRevisionOperator - Class in org.tweetyproject.beliefdynamics.operators
This class is an exemplary instantiation of a revision operator based on deductive argumentation and credibilities where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the credibility categorizer
CrMasArgumentativeRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
Default
CrMasBeliefSet<T,S> - Class in org.tweetyproject.beliefdynamics.mas
This class represents belief sets for credibility-based agents multi-agent systems.
CrMasBeliefSet(Order<Agent>, S) - Constructor for class org.tweetyproject.beliefdynamics.mas.CrMasBeliefSet
Creates a new belief set with the given credibility order.
CrMasExample - Class in org.tweetyproject.beliefdynamics.examples
Example code on using belief operators in multi-agent settings.
CrMasExample() - Constructor for class org.tweetyproject.beliefdynamics.examples.CrMasExample
Default
CrMasRevisionWrapper<T> - Class in org.tweetyproject.beliefdynamics.mas
This class is a wrapper for a revision for formulas of type T that is used to revise information objects.
CrMasRevisionWrapper(MultipleBaseRevisionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.mas.CrMasRevisionWrapper
Creates a new revision with the given wrapped revision.
CrMasSimpleRevisionOperator - Class in org.tweetyproject.beliefdynamics.operators
This revision operator accepts only those pieces of information for revision where the credibility of the source is at least as high as the credibility of the agent which proves the complement.
CrMasSimpleRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.operators.CrMasSimpleRevisionOperator
Default
crmasTest() - Method in class AbstractArgumentationExample
 
CrossValidator<S,T> - Class in org.tweetyproject.machinelearning
Performs cross-validation in a classifier, i.e.
CrossValidator(int) - Constructor for class org.tweetyproject.machinelearning.CrossValidator
Creates a new cross-validator with the given number of partitions.
CSP - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
CSP
CspInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis
This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
CspInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure
Creates a new measure that uses the given MUS enumerator and Integer programming solver.
CspInconsistencyMeasure(SimpleFunction<Double, Double>, MusEnumerator<S>, Solver) - Constructor for class org.tweetyproject.logics.commons.analysis.CspInconsistencyMeasure
Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver
CspInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test
 
CspInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest
 
csvDisplay() - Method in class org.tweetyproject.agents.sim.SimulationResult
Returns a CSV representation of the result.
CTransitionSystemCalculator - Class in org.tweetyproject.action.description.reasoner
This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from [1].
CTransitionSystemCalculator(ASPSolver) - Constructor for class org.tweetyproject.action.description.reasoner.CTransitionSystemCalculator
Creates a new transition system calculator with the given interface to an answer set solver.
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in class org.tweetyproject.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
 
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in interface org.tweetyproject.logics.pcl.analysis.SignedCulpabilityMeasure
 
culpabilityMeasure(T, S) - Method in interface org.tweetyproject.logics.commons.analysis.CulpabilityMeasure
Returns the degree of responsibility of the given formula to cause inconsistency in the given belief set (NOTE: the formula should be in the given belief set).
culpabilityMeasure(T, S) - Method in class org.tweetyproject.logics.commons.analysis.ShapleyCulpabilityMeasure
 
CulpabilityMeasure<S,T> - Interface in org.tweetyproject.logics.commons.analysis
Classes implementing this interface represent culpability measures, i.e.
CURLY_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
CURLY_CLOSE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
CURLY_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
CURLY_OPEN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
currentToken - Variable in exception class org.tweetyproject.arg.delp.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.lp.asp.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception class org.tweetyproject.preferences.io.ParseException
This is the last token that has been consumed successfully.
custom(Semantics) - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
Return custom
CustomStringListCommandParameter - Class in org.tweetyproject.plugin.parameter
This class extends the string list command parameter with functionality to define valid strings with regular expressions.
CustomStringListCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
constructor for the custom string list parameter with id and description
CustomStringListCommandParameter(String, String, String) - Constructor for class org.tweetyproject.plugin.parameter.CustomStringListCommandParameter
constructor for the custom string list parameter with id, description and criteria
cycleCountExample1() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on the first example graph (hunterExample13G1).
cycleCountExample2() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on the second example graph (hunterExample13G2).
cycleCountExample3() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on a graph with cycles (hunterExample14G1).
cycleCountExample4() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on a different graph with cycles (hunterExample14G2).
cycleCountExample5() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on the tenth example graph (hunterExample10).
CycleCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis
This class represents an inconsistency measure based on the count of cycles in an argumentation framework.
CycleCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.CycleCountInconsistencyMeasure
 
cycleCountWorksWithTwoComponents() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
Tests the cycle count inconsistency measure on a framework with two components (twoComponentFramework).
CyclicException - Exception Class in org.tweetyproject.arg.bipolar.syntax
CyclicException is thrown only if the given PEAF has cyclic in the support links
CyclicException(String) - Constructor for exception class org.tweetyproject.arg.bipolar.syntax.CyclicException
Default constructor for the exception
CygwinShell - Class in org.tweetyproject.commons.util
Cygwin shell.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form