c - Static variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
c - Variable in class net.sf.tweety.logics.ml.analysis.ProbabilisticPNormDistanceFunction
The parameter of the normalization.
c - Variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
The c parameter for learning
C_PARAMETER - Static variable in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
The c parameter for learning
CActionDescription - Class in net.sf.tweety.action.description
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 net.sf.tweety.action.description.CActionDescription
Creates a new empty action description.
CActionDescription(Collection<? extends CausalLaw>) - Constructor for class net.sf.tweety.action.description.CActionDescription
Creates a new belief set with the given collection of formulae.
CActionDescriptionConsistencyTester - Class in net.sf.tweety.action.description
This class is able to check, whether 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(AspInterface) - Constructor for class net.sf.tweety.action.description.CActionDescriptionConsistencyTester
Creates a new consistency tester which will use the given answer set
solver.
calcSignature() - Method in class net.sf.tweety.lp.asp.syntax.Program
calculate - Variable in class net.sf.tweety.lp.asp.solver.SolveTime
nanoseconds to perform answer set calculation
calculateRemainderSetCandidates(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
Recursively calculates consistent subsets of p.
calculateResultingAnswersets() - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
calculateStates(CActionDescription, ActionSignature) - Method in class net.sf.tweety.action.description.CTransitionSystemCalculator
calculates the set of all states of the transition system described by an
action description.
calculateTransitionSystem(CActionDescription, ActionSignature) - Method in class net.sf.tweety.action.description.CTransitionSystemCalculator
Calculates a transition system as described by the given action description
using all symbols in the given action signature.
call() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee
call() - Method in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
cannotRead() - Method in class net.sf.tweety.arg.delp.TestDeLP
CanonicalEnumerator - Class in net.sf.tweety.logics.pl.util
Provides an iterator on all syntactically equivalent knowledge bases.
CanonicalEnumerator() - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Default constructor.
CanonicalEnumerator(Long) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given index
CanonicalEnumerator(Integer) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given index
CanonicalEnumerator(BigInteger) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given index
CanonicalEnumerator(Long, Long) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given start
index up to the given end index (including)
CanonicalEnumerator(Integer, Integer) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given start
index up to the given end index (including)
CanonicalEnumerator(BigInteger, BigInteger) - Constructor for class net.sf.tweety.logics.pl.util.CanonicalEnumerator
Creates a new enumerator that enumerates
knowledge bases starting from the given start
index up to the given end index (including)
CanonicalUndercut - Class in net.sf.tweety.arg.deductive.semantics.attacks
This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A).
CanonicalUndercut() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.CanonicalUndercut
Private constructor.
capabilities() - Method in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
capabilities() - Method in class net.sf.tweety.logics.pl.plugin.PropositionalLogicPlugin
capabilities() - Method in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
capabilities() - Method in class net.sf.tweety.preferences.plugin.PreferencesPlugin
cat - Variable in class net.sf.tweety.machinelearning.BooleanCategory
The value of this category.
cat - Variable in class net.sf.tweety.machinelearning.DoubleCategory
The value of the category.
categorize(ArgumentTree) - Method in interface net.sf.tweety.arg.deductive.categorizer.Categorizer
This method categorizes the given argument tree.
categorize(ArgumentTree) - Method in class net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
Performs the bottom-up search.
categorize(ArgumentTree) - Method in class net.sf.tweety.arg.deductive.categorizer.HCategorizer
categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.arg.deductive.categorizer.HCategorizer
Categorizes the node in the given tree.
categorize(ArgumentTree) - Method in class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
categorize(ArgumentTree, DeductiveArgumentNode, DeductiveArgumentNode) - Method in class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
Performs the bottom-up search.
categorizer - Variable in class net.sf.tweety.arg.deductive.AbstractDeductiveArgumentationReasoner
The categorizer used for reasoning.
Categorizer - Interface in net.sf.tweety.arg.deductive.categorizer
Classes implementing this interface represent categorizer in the sense
of Definition 8.10 in
Philippe Besnard and Anthony Hunter.
categorizer - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
The categorizer used by this transformation function.
Category - Interface in net.sf.tweety.machinelearning
A category within the space of observations.
CausalLaw - Interface in net.sf.tweety.action
A basic interface representing a causal law.
CautiousArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured
This class models a cautious argumentation agent, i.e.
CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
Creates a new (non-single-step) agent with the given (local) view and utility function.
CautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
Creates a new agent with the given (local) view and utility function.
cbOperatorLeft - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
cbOperatorLeft - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
cbOperatorRight - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
cbOperatorRight - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
CcInconsistencyMeasure <S extends Formula > - Class in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.CcInconsistencyMeasure
Creates a new measure that uses the given MUS enumerator and
Integer programming solver
CF2_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
CF2Reasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the CF2 extensions.
CF2Reasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.CF2Reasoner
Creates a new CF2 reasoner for the given knowledge base.
CF2Reasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.CF2Reasoner
Creates a new CF2 reasoner for the given knowledge base using sceptical inference.
CF2Test - Class in net.sf.tweety.arg.dung.test
CF2Test() - Constructor for class net.sf.tweety.arg.dung.test.CF2Test
change(PartialProbabilityAssignment, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
change(ProbabilisticExtension, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
change(PartialProbabilityAssignment, DungTheory) - Method in interface net.sf.tweety.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(ProbabilisticExtension, DungTheory) - Method in interface net.sf.tweety.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 net.sf.tweety.arg.prob.dynamics.PARevisionOperator
change(PartialProbabilityAssignment, DungTheory) - Method in class net.sf.tweety.arg.prob.dynamics.PAUpdateOperator
change - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
delegator for the implementation of the PropertyChange
change - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
delegator for the implementation of the PropertyChange
changeOccurred() - Method in class net.sf.tweety.logics.cl.rules.EvaluateRule
Updates the progressMap and also checks if a change to one kappa value is occurred sicnge the last application of
this rule.
ChangeOperator - Interface in net.sf.tweety.arg.prob.dynamics
This interface provides common methods for change operators
for probabilistic argumentation.
changeOrder() - Method in class net.sf.tweety.preferences.io.POChanger
characteristicFunction(PclBeliefSet, Map<ProbabilisticConditional, Probability>) - Method in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
Returns a modified belief base that replaces each conditionals probability
by the one given by "values".
check1Norm() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
checkedFormulaType(T) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
checkErrors() - Method in class net.sf.tweety.lp.asp.solver.Clingo
checkErrors() - Method in class net.sf.tweety.lp.asp.solver.SolverBase
default implementation of error checking (should work for dlv package)
checkFeasableCount - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
Determines how often new random objective variables are generated in case they are out of bounds.
checkFormula(FolFormula) - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
Helper methods checks if the given FOL formula is supported by the nested logic
program language, that means it checks if it contains quantifiers and if that
is the case it throws a LanguageException
checkIterativeLeft - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
checkIterativeRight - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
checkMaxNorm() - Method in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
checkSolver(String) - Method in class net.sf.tweety.lp.asp.solver.SolverBase
proofs if the solver on the given path is an existing file with
execute permission.
checkSubsetCondition(Collection<T>, Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
Checks whether all subsets of set
obtained by removing
exactly one element, are contained in the given sets
.
checkValid() - Method in class net.sf.tweety.arg.lp.syntax.Argument
An argument may only contain nonempty ground rules (i.e.
children - Variable in class net.sf.tweety.arg.delp.semantics.DialecticalTree
The children of this node; size=0 indicates a leaf
children - Variable in class net.sf.tweety.commons.util.DigraphNode
nodes with edges from/to this node
children - Variable in class net.sf.tweety.lp.asp.parser.SimpleNode
childrenAccept(ASPParserVisitor, Object) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
Accept the visitor.
claim - Variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
The claim of this argument.
claim - Variable in class net.sf.tweety.arg.saf.syntax.BasicArgument
The claim of this basic argument.
classical_negation - Static variable in class net.sf.tweety.logics.commons.LogicalSymbols
CLASSICAL_NEGATION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
ClassicalCategorizer - Class in net.sf.tweety.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 net.sf.tweety.arg.deductive.categorizer.ClassicalCategorizer
ClassicalEntailment - Class in net.sf.tweety.logics.pl
This class implements classical entailment for propositional logic.
ClassicalEntailment() - Constructor for class net.sf.tweety.logics.pl.ClassicalEntailment
ClassicalFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces
This interface models a classical formula, i.e.
ClassicalInference - Class in net.sf.tweety.logics.fol
This class implements the classical inference operator.
ClassicalInference(BeliefBase) - Constructor for class net.sf.tweety.logics.fol.ClassicalInference
Creates a new classical inference operator for the given knowledge base.
ClassicalInference - Class in net.sf.tweety.logics.pl
This class implements the classical inference operator.
ClassicalInference(BeliefBase, EntailmentRelation<PropositionalFormula>) - Constructor for class net.sf.tweety.logics.pl.ClassicalInference
ClassificationTester <S extends Observation ,T extends Category > - Class in net.sf.tweety.machinelearning
Classes implementing this interface provide the means to test a training mechanism
for performance.
ClassificationTester() - Constructor for class net.sf.tweety.machinelearning.ClassificationTester
Classifier - Interface in net.sf.tweety.machinelearning
A classifier classifies observations into categories.
classify(Observation) - Method in interface net.sf.tweety.machinelearning.Classifier
Classifies the given observation.
classify(Observation) - Method in class net.sf.tweety.machinelearning.svm.SupportVectorMachine
CLaw - Class in net.sf.tweety.action.description.syntax
The action description language C consists of two distinct expressions:
static laws and dynamic laws.
CLaw() - Constructor for class net.sf.tweety.action.description.syntax.CLaw
Creates an empty causal law.
CLaw(FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
Creates a causal law of the form caused headFormula if True
CLaw(FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
Creates a causal law of the form caused headFormula if True requires
requirements
CLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
Creates a causal law of the form caused headFormula if ifFormula requires
requirements
CLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.CLaw
Creates a causal law of the form caused headFormula if ifFormula
CLawParser - Class in net.sf.tweety.action.description.parser
This class implements a parser for causal laws in C.
CLawParser(ActionSignature) - Constructor for class net.sf.tweety.action.description.parser.CLawParser
This parser needs a valid action signature to parse causal laws.
clazz - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
The class of inconsistency measurement processes.
ClBeliefSet - Class in net.sf.tweety.logics.cl
This class models a belief set on conditional logic, i.e.
ClBeliefSet() - Constructor for class net.sf.tweety.logics.cl.ClBeliefSet
Creates a new (empty) conditional belief set.
ClBeliefSet(Collection<? extends Conditional>) - Constructor for class net.sf.tweety.logics.cl.ClBeliefSet
Creates a new conditional belief set with the given collection of
conditionals.
clear() - Method in class net.sf.tweety.agents.MultiAgentSystem
clear() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
clear() - Method in class net.sf.tweety.arg.dung.semantics.Extension
clear() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
clear() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
clear() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
clear() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
clear() - Method in class net.sf.tweety.commons.BeliefSet
clear() - Method in class net.sf.tweety.commons.InterpretationSet
clear() - Method in class net.sf.tweety.commons.SetSignature
clear() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
Clears the ConditionalStructure, after calling this method the
Structure is empty.
clear() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
clear() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
clear() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
clear() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
clear() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
clear() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
clear() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
clear() - Method in class net.sf.tweety.math.Interval
clear() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
clear() - Method in class net.sf.tweety.preferences.PreferenceOrder
clears the current preference order element set
clearNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState
CliMain - Class in net.sf.tweety.cli.plugins
skeleton of the new main method of this CLI using plugins.
CliMain() - Constructor for class net.sf.tweety.cli.plugins.CliMain
Clingo - Class in net.sf.tweety.lp.asp.solver
Clingo(String) - Constructor for class net.sf.tweety.lp.asp.solver.Clingo
ClingoTest - Class in net.sf.tweety.lp.asp.analysis
ClingoTest() - Constructor for class net.sf.tweety.lp.asp.analysis.ClingoTest
ClNLPTranslator - Class in net.sf.tweety.logics.translators.clnlp
Translates between propositional Conditionals and NLP.
ClNLPTranslator() - Constructor for class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
clone() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
clone() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule
clone() - Method in class net.sf.tweety.arg.delp.syntax.DelpFact
clone() - Method in class net.sf.tweety.arg.delp.syntax.StrictRule
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoBoxModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
clone() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
clone() - Method in class net.sf.tweety.logics.cl.ClBeliefSet
clone() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
clone() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
clone() - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
clone() - Method in class net.sf.tweety.logics.commons.syntax.Constant
clone() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
clone() - Method in class net.sf.tweety.logics.commons.syntax.Functor
clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
Creates a deep copy of this formula
clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Term
Creates a deep copy of the term
clone() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure
Creates a deep copy of this object
clone() - Method in class net.sf.tweety.logics.commons.syntax.NumberTerm
clone() - Method in class net.sf.tweety.logics.commons.syntax.Predicate
clone() - Method in class net.sf.tweety.logics.commons.syntax.Sort
clone() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
clone() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
clone() - Method in class net.sf.tweety.logics.commons.syntax.Variable
clone() - Method in class net.sf.tweety.logics.el.syntax.Necessity
clone() - Method in class net.sf.tweety.logics.el.syntax.Possibility
clone() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
clone() - Method in class net.sf.tweety.logics.fol.syntax.Contradiction
clone() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
clone() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
clone() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
clone() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
clone() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
clone() - Method in class net.sf.tweety.logics.fol.syntax.Negation
clone() - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
clone() - Method in class net.sf.tweety.logics.fol.syntax.Tautology
clone() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
clone() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
clone() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
clone() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
clone() - Method in class net.sf.tweety.logics.pl.syntax.Negation
clone() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
clone() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
clone() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalPredicate
clone() - Method in class net.sf.tweety.logics.pl.syntax.Tautology
clone() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
clone() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
clone() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
clone() - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic
clone() - Method in class net.sf.tweety.lp.asp.syntax.Comparative
clone() - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
clone() - Method in interface net.sf.tweety.lp.asp.syntax.DLPElement
clone() - Method in class net.sf.tweety.lp.asp.syntax.DLPElementAdapter
clone() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
clone() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
clone() - Method in class net.sf.tweety.lp.asp.syntax.DLPNot
clone() - Method in class net.sf.tweety.lp.asp.syntax.ListTerm
clone() - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue
clone() - Method in class net.sf.tweety.lp.asp.syntax.Program
clone() - Method in class net.sf.tweety.lp.asp.syntax.Rule
clone() - Method in class net.sf.tweety.lp.asp.syntax.SetTerm
clone() - Method in class net.sf.tweety.lp.asp.syntax.SymbolicSet
clone() - Method in class net.sf.tweety.lp.asp.util.AnswerSet
clone() - Method in class net.sf.tweety.lp.asp.util.AnswerSetList
clone() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
clone() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
clone() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
clone() - Method in class net.sf.tweety.math.opt.OptimizationProblem
clone() - Method in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
method to clone this object for instantiation
clone() - Method in class net.sf.tweety.plugin.parameter.FileListCommandParameter
clone() - Method in class net.sf.tweety.plugin.parameter.IntegerCommandParameter
clone() - Method in class net.sf.tweety.plugin.parameter.SelectionCommandParameter
clone() - Method in class net.sf.tweety.plugin.parameter.StringListCommandParameter
method to clone this object for instantiation
cloneWithAddedTerm(Term<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
cloneWithAddedTerm(Term<?>) - Method in interface net.sf.tweety.lp.asp.syntax.DLPLiteral
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 net.sf.tweety.lp.asp.syntax.DLPNeg
close() - Method in interface net.sf.tweety.logics.fol.writer.FolWriter
Closes the Writer
close() - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
close() - Method in class net.sf.tweety.logics.fol.writer.TptpWriter
closeNodeScope(Node, int) - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState
closeNodeScope(Node, boolean) - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState
ClosureTest() - Method in class net.sf.tweety.arg.aba.ABATest
ClParser - Class in net.sf.tweety.logics.cl.parser
This class implements a parser for conditional logic.
ClParser() - Constructor for class net.sf.tweety.logics.cl.parser.ClParser
CNF_RATIO - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation
CNF_RATIO - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
CnfParser - Class in net.sf.tweety.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 net.sf.tweety.arg.dung.parser.CnfParser
CnfSampler - Class in net.sf.tweety.logics.pl.util
A simple sampler for propositional belief bases.
CnfSampler(Signature, double) - Constructor for class net.sf.tweety.logics.pl.util.CnfSampler
Creates a new sampler for the given signature.
CnfWriter - Class in net.sf.tweety.arg.dung.writer
Writes an abstract argumentation framework into a file of the
CNF format.
CnfWriter() - Constructor for class net.sf.tweety.arg.dung.writer.CnfWriter
cntArguments - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
The number of arguments in the theory that is to be generated next.
cntAttacks - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
The number of attacks in the theory that is to be generated next.
coherence(MarkovLogicNetwork, Reasoner, FolSignature) - Method in class net.sf.tweety.logics.ml.analysis.AbstractCoherenceMeasure
Measures the coherence of the given MLN using the given reasoner.
coherence(MarkovLogicNetwork, Reasoner, FolSignature) - Method in class net.sf.tweety.logics.ml.analysis.AggregatingCoherenceMeasure
coherenceMeasure - Variable in class net.sf.tweety.logics.ml.analysis.DefaultCompatibilityMeasure
The coherence measure used for computing compatibility.
coherenceMeasure - Variable in class net.sf.tweety.logics.ml.test.ExpResult
CoherentPASemantics - Class in net.sf.tweety.arg.prob.semantics
P is coherent wrt.
CoherentPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.CoherentPASemantics
cohSemantics - Variable in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
The semantics this semantics is based upon.
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
This method collapses all associative operations appearing
in this term, e.g.
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.Negation
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Negation
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
This method collapses all associative operations appearing
in this term, e.g.
collapseAssociativeFormulas() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
collapseAssociativeFormulas() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
collapseAssociativeOperations() - Method in class net.sf.tweety.math.equation.Statement
This method collapses all associative operations appearing
in this statement, e.g.
collapseAssociativeOperations() - Method in class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
This method collapses all associative operations appearing
in the target function and the constraints, e.g.
collapseAssociativeOperations() - Method in class net.sf.tweety.math.opt.OptimizationProblem
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.AssociativeOperation
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Constant
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Difference
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Fraction
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.FunctionalTerm
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Term
This method collapses all associative operations appearing
in this term, e.g.
collapseAssociativeOperations() - Method in class net.sf.tweety.math.term.Variable
column - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
column - Static variable in class net.sf.tweety.arg.dung.parser.SimpleCharStream
column - Variable in class net.sf.tweety.logics.fol.parser.SimpleCharStream
column - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
column - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
column - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
column - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
combine(Set<Map<E, F>>) - Method in class net.sf.tweety.commons.util.MapTools
Combines all maps in singleMaps to one maps containing
every assignment of each map in singleMaps.
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
combineWithAnd(Conjuctable) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable
Returns a conjunction of this and the given formula.
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
combineWithOr(Disjunctable) - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
combineWithOr(Disjunctable) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.cl.syntax.Conditional
combineWithOr(Disjunctable) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
combineWithOr(Disjunctable) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
COMMA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
COMMA - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
CommandParameter - Class in net.sf.tweety.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 net.sf.tweety.plugin.parameter.CommandParameter
non-empty constructor (member variables cannot be changed after construction)
COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
comment - Variable in class net.sf.tweety.lp.asp.parser.ASTComment
CommonColdExample(int) - Static method in class net.sf.tweety.logics.ml.test.MlnTest
commonView - Variable in class net.sf.tweety.agents.dialogues.structured.SasAgent
The current state of the argumentation as perceived by all agents.
commonView - Variable in class net.sf.tweety.agents.dialogues.structured.StructuredArgumentationSystem.SasEnvironment
The common view of all agents.
comp - Variable in class net.sf.tweety.arg.aspic.order.SetComparator
A comparator for single elements of type T
Comparative() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
Comparative - Class in net.sf.tweety.lp.asp.syntax
This class implements comparative predicates as described in
the DLV manual.
Comparative(Comparative) - Constructor for class net.sf.tweety.lp.asp.syntax.Comparative
Comparative(String, Term<?>, Term<?>) - Constructor for class net.sf.tweety.lp.asp.syntax.Comparative
compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.LastLinkOrder
compare(InferenceRule<T>, InferenceRule<T>) - Method in class net.sf.tweety.arg.aspic.order.RuleComparator
compare(Collection<T>, Collection<T>) - Method in class net.sf.tweety.arg.aspic.order.SetComparator
compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.order.WeakestLinkOrder
compare(AspicArgument<T>, AspicArgument<T>) - Method in class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.ComparisonCriterion
This method returns the relation of argument1 to argument2
given context .
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.EmptyCriterion
compare(DelpArgument, DelpArgument, DefeasibleLogicProgram) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
compare(Argument, Argument) - Method in class net.sf.tweety.arg.dung.semantics.ArgumentRanking
compare(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
compare(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
compare(NicePossibleWorld, NicePossibleWorld) - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
compare - Static variable in class net.sf.tweety.logics.cl.test.ReasonerCompare
compare(Pair<Proposition, Boolean>, Pair<Proposition, Boolean>) - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
compare(Program, Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator
compare(Map<FloatVariable, Term>, Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator
compareEqualityWith(PreferenceOrder<T>) - Method in class net.sf.tweety.preferences.PreferenceOrder
compares this preference order to another given one whether each relation
is contained in both
compareLiterals - Static variable in class net.sf.tweety.arg.delp.Utilities
Compare DeLP literals as they arise in rules, i.e.,
~B < A (negation is always smaller)
A < B (atoms = predicates are sorted by predicate name first...
CompareOperator() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
compareRules - Static variable in class net.sf.tweety.arg.delp.Utilities
Compare DeLP rules:
1) compare heads (conclusion) as literals
2) if the same, then
a) DelpFact < StrictRule < DefeasibleRule
b) within same subclass, compare set of literals...
compareTo(T2BeliefState) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
compareTo(T3BeliefState) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
compareTo(DungTheory) - Method in class net.sf.tweety.arg.dung.DungTheory
compareTo(LdoArgument) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
compareTo(Extension) - Method in class net.sf.tweety.arg.dung.semantics.Extension
compareTo(TypedStructureAdapter) - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
compareTo(ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation) - Method in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
compareTo(PossibleWorld) - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorld
compareTo(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
compareTo(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
compareTo(DLPLiteral) - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
compareTo(Rule) - Method in class net.sf.tweety.lp.asp.syntax.Rule
comparisonCriterion - Variable in class net.sf.tweety.arg.delp.DelpReasoner
The comparison criterion is initialized with the "empty criterion"
ComparisonCriterion - Class in net.sf.tweety.arg.delp.semantics
This class is the superclass for all comparison criteria between two arguments in defeasible logic programming.
ComparisonCriterion() - Constructor for class net.sf.tweety.arg.delp.semantics.ComparisonCriterion
ComparisonCriterion.Factory - Enum in net.sf.tweety.arg.delp.semantics
To select a subclass and create an instance throw a static factory method.
ComparisonCriterion.Result - Enum in net.sf.tweety.arg.delp.semantics
compatibility(List<MarkovLogicNetwork>, Reasoner, List<FolSignature>) - Method in interface net.sf.tweety.logics.ml.analysis.CompatibilityMeasure
Measures the compatibility of the given MLNs wrt.
compatibility(List<MarkovLogicNetwork>, Reasoner, List<FolSignature>) - Method in class net.sf.tweety.logics.ml.analysis.DefaultCompatibilityMeasure
CompatibilityMeasure - Interface in net.sf.tweety.logics.ml.analysis
This interface represents a compatibility measure for MLNs.
compilation - Variable in class net.sf.tweety.arg.deductive.CompilationReasoner
The compilation of the knowledge base.
Compilation - Class in net.sf.tweety.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 net.sf.tweety.arg.deductive.semantics.Compilation
Creates the compilation of the given knowledge base.
CompilationNode - Class in net.sf.tweety.arg.deductive.semantics
Instances of this class represent nodes in the compilation of
a knowledge base, i.e.
CompilationNode(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.arg.deductive.semantics.CompilationNode
Creates a new compilation node with the given
set of formulas.
CompilationReasoner - Class in net.sf.tweety.arg.deductive
This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter.
CompilationReasoner(BeliefBase, Categorizer, Accumulator) - Constructor for class net.sf.tweety.arg.deductive.CompilationReasoner
Creates a new compilation reasoner for the given belief base,
categorizer, and accumulator.
complement() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
complement() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
complement() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
complement() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable
complement() - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
complement() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula
complement() - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
complement() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
complement() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
complement() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
complement() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
complement() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
complement() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
complement() - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
complement() - Method in interface net.sf.tweety.lp.asp.syntax.DLPLiteral
complement() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
complement() - Method in class net.sf.tweety.math.probability.Probability
Returns the complement of this probability, i.e.
ComplementTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
COMPLETE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
CompleteReasoner <T extends Formula > - Class in net.sf.tweety.arg.aba
CompleteReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.aba.CompleteReasoner
Creates a new complete reasoner for the given knowledge base.
CompleteReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the complete extensions.
CompleteReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.CompleteReasoner
Creates a new complete reasoner for the given knowledge base.
CompleteReasoner(BeliefBase, boolean) - Constructor for class net.sf.tweety.arg.dung.CompleteReasoner
Creates a new complete reasoner for the given knowledge base using sceptical inference.
CompleteReasoner(BeliefBase, int, boolean) - Constructor for class net.sf.tweety.arg.dung.CompleteReasoner
Creates a new complete reasoner for the given knowledge base.
CompleteReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.CompleteReasoner
Creates a new complete reasoner for the given knowledge base using sceptical inference.
completion - Variable in class net.sf.tweety.arg.delp.semantics.ArgumentCompletion
The completion of the argument, i.e., the set of strict rules used in the derivation
of the conclusion of the argument.
ComplexLogicalFormula - Interface in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
ComplexNumber - Class in net.sf.tweety.math
A complex number.
ComplexNumber(double, double) - Constructor for class net.sf.tweety.math.ComplexNumber
Constructs a new complex number with the given real
and imaginary parts.
computeCRepresentation() - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner
Computes a minimal c-representation for this reasoner's knowledge base.
computeCRepresentation() - Method in class net.sf.tweety.logics.cl.CReasoner
Computes a minimal c-representation for this reasoner's knowledge base.
computeCRepresentation() - Method in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
Computes a minimal c-representation for this reasoner's knowledge base.
computeExtension() - Method in class net.sf.tweety.logics.cl.RelevanceReasoner
Computes the extended knowledge base this reasoner bases on.
computeExtensions() - Method in class net.sf.tweety.arg.aba.CompleteReasoner
computeExtensions() - Method in class net.sf.tweety.arg.aba.GeneralABAReasoner
computeExtensions() - Method in class net.sf.tweety.arg.aba.IdealReasoner
computeExtensions() - Method in class net.sf.tweety.arg.aba.PreferredReasoner
computeExtensions() - Method in class net.sf.tweety.arg.aba.StableReasoner
computeExtensions() - Method in class net.sf.tweety.arg.aba.WellFoundedReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.AbstractExtensionReasoner
Computes the extensions this reasoner bases upon.
computeExtensions() - Method in class net.sf.tweety.arg.dung.AdmissibleReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.CF2Reasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.CompleteReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.ConflictFreeReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.GroundReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.IdealReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.PreferredReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.SccCompleteReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.SemiStableReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.StableReasoner
computeExtensions() - Method in class net.sf.tweety.arg.dung.StageReasoner
computeExtensionsBySatSolving() - Method in class net.sf.tweety.arg.dung.CompleteReasoner
Computes the extensions by reducing the problem to SAT solving
computeExtensionsViaSccs(DungTheory, List<Collection<Argument>>, int, Collection<Argument>, Collection<Argument>, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.SccCompleteReasoner
Computes extensions recursively following the SCC structure.
computeLabelings() - Method in class net.sf.tweety.arg.dung.StratifiedLabelingReasoner
Computes the labelings this reasoner bases upon.
computeMeDistribution() - Method in class net.sf.tweety.arg.prob.test.deductive.DeductiveArgMeReasoner
Computes the ME-distribution this reasoner bases on.
computeMeDistribution() - Method in class net.sf.tweety.logics.pcl.DefaultMeReasoner
Computes the ME-distribution this reasoner bases on.
computeMeDistribution() - Method in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner
Computes the ME-distribution this reasoner bases on.
computeMeDistribution() - Method in class net.sf.tweety.logics.rpcl.RpclMeReasoner
Computes the ME-distribution for this reasoner's knowledge base.
computeModel() - Method in class net.sf.tweety.logics.ml.ApproximateNaiveMlnReasoner
Computes the model of the given MLN wrt.
computeModel() - Method in class net.sf.tweety.logics.ml.NaiveMlnReasoner
Computes the model of the given MLN.
computeModels(Program, int) - Method in class net.sf.tweety.lp.asp.solver.Clingo
computeModels(String, int) - Method in class net.sf.tweety.lp.asp.solver.Clingo
computeModels(List<String>, int) - Method in class net.sf.tweety.lp.asp.solver.Clingo
computeModels(Program, int) - Method in class net.sf.tweety.lp.asp.solver.DLV
computeModels(String, int) - Method in class net.sf.tweety.lp.asp.solver.DLV
computeModels(Program, int) - Method in class net.sf.tweety.lp.asp.solver.DLVComplex
computeModels(String, int) - Method in class net.sf.tweety.lp.asp.solver.DLVComplex
computeModels(Program, int) - Method in interface net.sf.tweety.lp.asp.solver.Solver
this method computes at most maxModels answer sets for a given program.
computeModels(String, int) - Method in interface net.sf.tweety.lp.asp.solver.Solver
this method computes at most maxModels answer sets for a given program as a flat string.
computeModels(List<String>, int) - Method in interface net.sf.tweety.lp.asp.solver.Solver
this method computes at most maxModels for a given program, a collection of facts,
and an arbitrary number of additional programs as a file resource.
computeModels(List<String>, int) - Method in class net.sf.tweety.lp.asp.solver.SolverBase
computeOCF() - Method in class net.sf.tweety.logics.cl.ZReasoner
Returns a ranking functions based on penalty points of System Z.
computeWeight(HerbrandInterpretation) - Method in class net.sf.tweety.logics.ml.AbstractMlnReasoner
Computes the (unnormalized) weight of the given Herbrand interpretation
with respect to the formulas in this reasoner's MLN.
conc - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgument
The conclusion of the argument's top rule
conc - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultRule
The conclusion of the default rule
Concept - Class in net.sf.tweety.logics.commons.syntax
This class models concepts used in description logics
Concept() - Constructor for class net.sf.tweety.logics.commons.syntax.Concept
Concept(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Concept
Concept(String, int) - Constructor for class net.sf.tweety.logics.commons.syntax.Concept
Concept(String, Set<Individual>) - Constructor for class net.sf.tweety.logics.commons.syntax.Concept
concepts - Variable in class net.sf.tweety.logics.dl.syntax.DlSignature
conclusion - Variable in class net.sf.tweety.arg.aspic.syntax.InferenceRule
The rule's conclusion
conclusion - Variable in class net.sf.tweety.arg.delp.syntax.DelpArgument
The conclusion of this argument (must be a literal)
conclusion - Variable in class net.sf.tweety.logics.cl.syntax.Conditional
The conclusion of this conditional.
conclusion - Variable in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
The conclusion of the conditional.
conclusion - Variable in class net.sf.tweety.lp.nlp.syntax.NLPRule
conclusion - Variable in class net.sf.tweety.machinelearning.assoc.AssociationRule
The conclusion of the rule.
cond - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue
The Conditional that generates this kappa value
condensedEntropy() - Method in class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
Returns the condensed entropy of this distribution (neglecting multiplicators of
reference worlds.
CondensedProbabilityDistribution - Class in net.sf.tweety.logics.rpcl
Instances of this class represent condensed probability distributions, rf.
CondensedProbabilityDistribution(RpclSemantics, FolSignature) - Constructor for class net.sf.tweety.logics.rpcl.CondensedProbabilityDistribution
Creates a new condensed probability distribution for the given signature.
Conditional - Class in net.sf.tweety.logics.cl.syntax
This class represents a basic conditional (B|A) with formulas A,B.
Conditional(PropositionalFormula) - Constructor for class net.sf.tweety.logics.cl.syntax.Conditional
Creates a new conditional with a tautological premise
and given conclusion.
Conditional(PropositionalFormula, PropositionalFormula) - Constructor for class net.sf.tweety.logics.cl.syntax.Conditional
Creates a new conditional with the given premise
and conclusion.
conditionalData - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
This maps saves the same data as worldData but uses another mapping allowing fast
access to the Generators using Conditionals.
conditionalProbability(Conditional) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
Returns the probability of the given conditional
conditionalStructure - Variable in class net.sf.tweety.logics.cl.rules.RuleAdapter
the conditional structure the rule works on
ConditionalStructure - Class in net.sf.tweety.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 net.sf.tweety.logics.cl.semantics.ConditionalStructure
Default-Ctor generates empty Conditional structure
ConditionalStructure(Comparator<NicePossibleWorld>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
Ctor: Generates an empty ConditionalStructure that uses the given
Comparator to sort its worldData map.
ConditionalStructure(Collection<Conditional>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
Ctor: generates a conditional structure containing the given conditionals
ConditionalStructure(Collection<Conditional>, Comparator<NicePossibleWorld>) - Constructor for class net.sf.tweety.logics.cl.semantics.ConditionalStructure
Ctor: Generates a ConditionalStructure containing the given conditionals and
using the given comparator to sort the worldData map.
ConditionalStructure.Generator - Enum in net.sf.tweety.logics.cl.semantics
The possible values of a conditional for a possible world
ConditionalStructureKappaBuilder - Class in net.sf.tweety.logics.cl.kappa
This class builds the initial kappa value list for a given conditional
structure.
ConditionalStructureKappaBuilder() - Constructor for class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
Default-Ctor: Generates a builder that does not uses fast evaluation
ConditionalStructureKappaBuilder(boolean) - Constructor for class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
Ctor: Generates a builder that uses fast evaluation depending on the given parameter
confidence(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule
Returns the confidence of this rule wrt.
ConfidentAttack - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the confident attack relation.
ConfidentAttack() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
Private constructor.
confidentAttack - Variable in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
confidentRebut - Variable in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
ConfidentRebut - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the strong rebut relation.
ConfidentRebut() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
Private constructor.
config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
The configuration for generating agents.
config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator
The configuration for generating agents.
config - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator
The configuration for generating agents.
config - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
Configuration options for to be given to the inconsistency measurement process.
CONFIG_AGGREGATIONFUNCTION - Static variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the aggregation function used.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the number of populations tried out.
CONFIG_KEY_NUMBEROFPOPULATIONS - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
Configuration key for the number of populations tried out.
CONFIG_KEY_SIGNATURE - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the signature.
CONFIG_KEY_SIGNATURE - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
Configuration key for the signature.
CONFIG_KEY_WITNESSPROVIDER - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Configuration key for the consistency tester.
CONFIG_MEASURE - Static variable in class net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the name to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Key for the configuration map that points to the smoothing factor to be used.
CONFIG_SMOOTHINGFACTOR - Static variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
Key for the configuration map that points to the smoothing factor to be used.
CONFIG_TIMEOUT - Static variable in class net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
Key for the configuration map that points to the window size to be used.
configCLI() - Static method in class net.sf.tweety.cli.plugins.CliMain
This method is meant to load the tweety plugin pathes on startup
CONFLICTFREE_SEMANTICS - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
ConflictFreeReasoner - Class in net.sf.tweety.arg.dung
This reasoner for Dung theories performs inference on the conflict-free extensions.
ConflictFreeReasoner(BeliefBase, int) - Constructor for class net.sf.tweety.arg.dung.ConflictFreeReasoner
Creates a new conflict-free reasoner for the given knowledge base.
ConflictFreeReasoner(BeliefBase) - Constructor for class net.sf.tweety.arg.dung.ConflictFreeReasoner
Creates a new conflict-free reasoner for the given knowledge base using sceptical inference.
CONJ - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler
Conjuctable - Interface in net.sf.tweety.logics.commons.syntax.interfaces
Formulas implementing this interface can be connected by using
AND.
CONJUNCTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
Conjunction - Class in net.sf.tweety.logics.fol.syntax
The classical conjunction of first-order logic.
Conjunction(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
Creates a new conjunction with the given inner formulas.
Conjunction() - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
Creates a new (empty) conjunction.
Conjunction(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Conjunction
Creates a new conjunction with the two given formulae
Conjunction - Class in net.sf.tweety.logics.pl.syntax
This class represents a conjunction in propositional logic.
Conjunction(Collection<? extends PropositionalFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
Creates a new conjunction with the given inner formulas.
Conjunction() - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
Creates a new (empty) conjunction.
Conjunction(PropositionalFormula, PropositionalFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Conjunction
Creates a new conjunction with the two given formulae
conjunctions - Variable in class net.sf.tweety.lp.asp.syntax.SymbolicSet
ConsistencyTester <T extends BeliefBase > - Interface in net.sf.tweety.logics.commons.analysis
Classes implementing this interface are capable of testing
whether a given belief base is consistent.
ConsistencyWitnessProvider <S extends Formula > - Interface in net.sf.tweety.logics.commons.analysis
Provides methods for returning some model (if it exists) of
a set of formulas.
consolidate(Collection<T>) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.baserevision.ConsolidationOperator
Returns a consolidation of set p, i.e.
consolidate(Program) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
Calculates the screened consolidation !r of program p using a maxi-choice selection
function s, i.e.
consolidate(Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedMaxichoiceConsolidation
ConsolidationOperator <T extends Formula > - Interface in net.sf.tweety.lp.asp.beliefdynamics.baserevision
This interface represents an consolidation operator for belief bases
as defined in [KKI12].
constant - Variable in class net.sf.tweety.action.grounding.VarConstNeqRequirement
Constant - Class in net.sf.tweety.logics.commons.syntax
A Constant represents an constant object in the world of
a logical language.
Constant(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
Ctor: Creates a new Constant with the given name, uses "Thing"
as sort.
Constant(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
Ctor: Creates a new Constant with the given name and sort
Constant(Constant) - Constructor for class net.sf.tweety.logics.commons.syntax.Constant
Copy-Ctor: Creates a deep copy of the given Constant
CONSTANT - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
CONSTANT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
Constant - Class in net.sf.tweety.math.term
This class models an abstract constant, e.g.
Constant() - Constructor for class net.sf.tweety.math.term.Constant
constantPrefix - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
a prefix used to mark constants which represents the id of positive literals.
constants - Variable in class net.sf.tweety.logics.commons.syntax.Sort
The set of constants of this sort
constants(Sort) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
constants - Variable in class net.sf.tweety.logics.fol.syntax.FolSignature
ConstantSet(FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
consTester - Variable in class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
The consistency tester used for measuring.
ConstraintSatisfactionProblem - Class in net.sf.tweety.math.opt
This class models a general constraint satisfaction problem.
ConstraintSatisfactionProblem() - Constructor for class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
Creates a new and empty csp.
ConstraintSatisfactionProblem(Collection<? extends Statement>) - Constructor for class net.sf.tweety.math.opt.ConstraintSatisfactionProblem
Creates a new csp with the given statements
constructAndSolveProblem(Collection<PropositionalFormula>, Map<Proposition, Variable>) - Method in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
Utility method
constructRankingFunction(Integer[]) - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
constructRankingFunction(Integer[]) - Method in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.action.query.parser.ActionQueryParser
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.fol.parser.FolParser
This method reads one token from the given reader and appropriately
constructs a fol formula from the stream.
consumeToken(Stack<Object>, int) - Method in class net.sf.tweety.logics.pl.parser.PlParser
This method reads one token from the given reader and appropriately
constructs a propositional formula from the stream.
containedKeywords(String) - Method in class net.sf.tweety.action.description.parser.CLawParser
Returns the set of forbidden keywords, that are contained in a string.
contains(Object) - Method in class net.sf.tweety.agents.MultiAgentSystem
contains(Object) - Method in class net.sf.tweety.arg.dung.DungTheory
contains(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
contains(Object) - Method in class net.sf.tweety.arg.dung.semantics.Extension
contains(Argument) - Method in class net.sf.tweety.arg.dung.syntax.Attack
Return true if the given argument is in this attack relation.
contains(Object) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
contains(Object) - Method in class net.sf.tweety.commons.BeliefSet
contains(Object) - Method in class net.sf.tweety.commons.InterpretationSet
contains(Object) - Method in class net.sf.tweety.commons.SetSignature
contains(Object) - Method in class net.sf.tweety.graphs.DefaultGraph
contains(Object) - Method in interface net.sf.tweety.graphs.Graph
Returns "true" when this graph contains the given
node or edge.
contains(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
contains(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
contains(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
contains(Object) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
contains(Object) - Method in class net.sf.tweety.math.Interval
contains(Object) - Method in class net.sf.tweety.preferences.PreferenceOrder
checks whether this preference order contains a given pair
containsActionName(String) - Method in class net.sf.tweety.action.signature.ActionSignature
Returns true iff the given actionName is contained in this action
signature.
containsActionName(FolActionName) - Method in class net.sf.tweety.action.signature.ActionSignature
Returns true iff the given actionName is contained in this signature.
containsAll(Collection<?>) - Method in class net.sf.tweety.agents.MultiAgentSystem
containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.DungTheory
containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
containsAll(Collection<?>) - Method in class net.sf.tweety.arg.dung.semantics.Extension
containsAll(Collection<?>) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
containsAll(Collection<?>) - Method in class net.sf.tweety.commons.BeliefSet
containsAll(Collection<?>) - Method in class net.sf.tweety.commons.InterpretationSet
containsAll(Collection<?>) - Method in class net.sf.tweety.commons.SetSignature
containsAll(Collection<?>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
containsAll(Collection<?>) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
containsAll(Collection<?>) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
containsAll(Collection<?>) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
containsAll(Collection<?>) - Method in class net.sf.tweety.math.Interval
containsAll(Collection<?>) - Method in class net.sf.tweety.preferences.PreferenceOrder
checks, whether all of the given elements are contained in the preference
order
containsConstant(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
containsFluentName(String) - Method in class net.sf.tweety.action.signature.ActionSignature
Returns true iff the given fluentName is contained in this action
signature.
containsFluentName(FolFluentName) - Method in class net.sf.tweety.action.signature.ActionSignature
Returns true iff the given fluentName is contained in this signature.
containsFunctionalTerms() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure
Checks whether this structure contains any functional terms.
containsFunctor(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
containsKey(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
containsKey(Argument) - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
Returns "true" iff the given argument has a value.
containsKey(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
containsKey(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
containsKey(Object) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
containsKey(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
containsKey(Object) - Method in class net.sf.tweety.preferences.ranking.Functions
checks whether the key is present in the entry-set of the map
containsNode(R, List<DigraphNode<R>>) - Method in class net.sf.tweety.commons.util.rules.DerivationGraph
containsParameter(TrainingParameter) - Method in class net.sf.tweety.machinelearning.ParameterSet
Checks whether this set contains a parameter with the same
name as the given parameter.
containsPredicate(Predicate) - Method in class net.sf.tweety.action.signature.ActionSignature
Returns true iff the given predicate is contained in this signature.
containsPredicate(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
containsQuantifier() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
containsQuantifier() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula
Checks whether this formula contains any quantification.
containsQuantifier() - Method in class net.sf.tweety.logics.el.syntax.ModalFormula
containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.Negation
containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
containsQuantifier() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
containsQuantifier() - Method in class net.sf.tweety.logics.ml.syntax.MlnFormula
containsQuantifier() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
containsQuantifier() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
containsQuantifier() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
containsRelation(T, T) - Method in class net.sf.tweety.preferences.PreferenceOrder
checks whether this preference order contains a pair of given elements
containsSort(String) - Method in class net.sf.tweety.logics.fol.syntax.FolSignature
containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter
containsTermsOfType(Class<C>) - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure
Checks if this logical structure contains at least one term of type C.
containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.Sort
containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
containsTermsOfType(Class<C>) - Method in class net.sf.tweety.logics.fol.syntax.RelationalFormula
containsTriple(T, T, Relation) - Method in class net.sf.tweety.preferences.PreferenceOrder
containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.Labeling
containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
containsValue(Object) - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
containsValue(Object) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
containsValue(Object) - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
containsValue(Object) - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld
containsValue(Object) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
containsValue(Object) - Method in class net.sf.tweety.preferences.ranking.Functions
checks whether the value is present in the entry-set of the map
ContensionInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
This class implements the contension inconsistency measure, cf.
ContensionInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure
ContensionInconsistencyMeasurementProcess - Class in net.sf.tweety.logics.pl.analysis
Implements an approximation algorithm for the Contension inconsistency measure on streams.
ContensionInconsistencyMeasurementProcess() - Constructor for class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
ContensionSampler - Class in net.sf.tweety.logics.pl.util
Generates random propositional belief base with a given
inconsistency measure (for the contension inconsistency measure)
and of a given size.
ContensionSampler(PropositionalSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.ContensionSampler
Creates a new sample for the given signature
which generates propositional belief sets with the
given inconsistency value (wrt.
ContensionTest - Class in net.sf.tweety.logics.pl.test
ContensionTest() - Constructor for class net.sf.tweety.logics.pl.test.ContensionTest
contol - Variable in class net.sf.tweety.math.opt.OpenOptRootFinder
contol - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
contract(Collection<T>, T) - Method in interface net.sf.tweety.beliefdynamics.BaseContractionOperator
Contracts the given collection of formulas by the given formula.
contract(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
contract(Collection<T>, T) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
contract(Collection<T>, Collection<T>) - Method in class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
Contracts the first collection of formulas by the second collection of formulas.
contraction - Variable in class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator
The contraction operator of this Levi revision.
contraction - Variable in class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator
The contraction operator of this Levi revision.
contradiction - Static variable in class net.sf.tweety.logics.commons.LogicalSymbols
CONTRADICTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
CONTRADICTION - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
Contradiction - Class in net.sf.tweety.logics.fol.syntax
A contradictory formula.
Contradiction() - Constructor for class net.sf.tweety.logics.fol.syntax.Contradiction
Creates a new contradiction.
Contradiction - Class in net.sf.tweety.logics.pl.syntax
A contradictory formula.
Contradiction() - Constructor for class net.sf.tweety.logics.pl.syntax.Contradiction
Creates a new contradiction.
ConversionTools - Class in net.sf.tweety.commons.util
This class provides some utility methods for converting different
data types.
ConversionTools() - Constructor for class net.sf.tweety.commons.util.ConversionTools
convertToCplexLpFormat() - Method in class net.sf.tweety.math.opt.OptimizationProblem
Converts the this optimization problem into a string in the commonly
used CPLEX LP-format for mixed integer linear programming.
convertToDimacs(Collection<PropositionalFormula>, List<Proposition>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Converts the given set of formulas to their string representation in
Dimacs CNF.
convertToDimacs(Collection<PropositionalFormula>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Converts the given set of formulas to their string representation in
Dimacs CNF.
convertToLpFormat() - Method in class net.sf.tweety.math.opt.OptimizationProblem
Converts the this optimization problem into a string in the commonly
used LP-format for mixed integer linear programming.
ConvexAggregatingMaxConsMeMachineShop - Class in net.sf.tweety.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() - Constructor for class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMaxConsMeMachineShop
ConvexAggregatingMeMachineShop - Class in net.sf.tweety.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() - Constructor for class net.sf.tweety.logics.pcl.analysis.ConvexAggregatingMeMachineShop
convexCombination(double, ProbabilityDistribution<T>) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
Computes the convex combination of this P1 and the
given probability distribution P2 with parameter d, i.e.
convexCombination(double[], ProbabilityDistribution<S>[]) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
Computes the convex combination of the
given probability distributions P1,...,PN with parameters factors, i.e.
convexCombination(double, RpclProbabilityDistribution) - Method in class net.sf.tweety.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 net.sf.tweety.math.probability.ProbabilityFunction
Computes the convex combination of this P1 and the
given probability distribution P2 with parameter d, i.e.
convexCombination(double[], ProbabilityFunction<S>[]) - Static method in class net.sf.tweety.math.probability.ProbabilityFunction
Computes the convex combination of the
given probability distributions P1,...,PN with parameters factors, i.e.
copyArgumentTypes() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
copyHelper(Collection<T>) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
This method generates a deep copy of the given collection of RelationalFormula
CorsResponseFilter - Class in net.sf.tweety.web
For enabling cross-origin resource sharing
CorsResponseFilter() - Constructor for class net.sf.tweety.web.CorsResponseFilter
counter - Static variable in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
A global counter for IDs.
counterarguments() - Method in class net.sf.tweety.arg.delp.TestQueries
countering() - Method in class net.sf.tweety.arg.delp.TestArguments
CountingUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured
This class represents a counting utility function, i.e.
CountingUtilityFunction(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.agents.dialogues.structured.CountingUtilityFunction
Creates a new counting utility function for the given focal set.
CPAR_CLOSE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
CPAR_OPEN - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
RegularExpression Id.
CParser - Class in net.sf.tweety.action.description.parser
This class implements a parser for an Action Description in C.
CParser() - Constructor for class net.sf.tweety.action.description.parser.CParser
CReasoner - Class in net.sf.tweety.logics.cl
This class models a c-reasoner for conditional logic.
CReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.cl.CReasoner
Creates a new c-representation reasoner for the given knowledge base.
CReasonerTest - Class in net.sf.tweety.logics.cl.test
CReasonerTest() - Constructor for class net.sf.tweety.logics.cl.test.CReasonerTest
create(String) - Static method in enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
createBatchFile(List<String>) - Method in class net.sf.tweety.arg.delp.TestDeLP
createBeliefbaseControl() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
Helper method: Creates the belief base control panel, there one can change the ordering
of the belief bases for the revision and add or remove belief bases.
createCompareView() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
Helper method: Creates the controls to show the comparison between the two selected revision methods
it is located at the center of this view.
createConstant(String, DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
createConstraintMatrix(PclBeliefSet, Set<PossibleWorld>) - Static method in class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
createDeduction(DigraphNode<ABARule<T>>, Set<Deduction<T>>) - Method in class net.sf.tweety.arg.aba.ABATheory
Recursively creates a deduction and all of its subdeductions
createEmptyFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
createEmptyFormula() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
createEmptyFormula() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptyFormula() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
createEmptyFormula() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
createEmptyFormula() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
createEmptyFormula() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
createEmptyFormula() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
createEmptySignature() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
createEmptySignature() - Method in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptySignature() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
createEmptySignature() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
createEmptySignature() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
createInstance(Class<T>) - Static method in class net.sf.tweety.logics.translators.Translator
createTestSet(RdlParser, String...) - Static method in class net.sf.tweety.logics.rdl.test.RDLTest
createTmpDimacsFile(Collection<PropositionalFormula>, List<Proposition>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Creates a temporary file in Dimacs format with the given proposition2variable mapping.
createTmpDimacsFile(Collection<PropositionalFormula>) - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Creates a temporary file in Dimacs format and also returns a mapping between formulas and clauses.
createTranslateMap() - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
createTranslateMap() - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
createTranslateMap() - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
createTranslateMap() - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
createTranslateMap() - Method in class net.sf.tweety.logics.translators.Translator
createUpperBar() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
Helper method: Creates the control bar at the top of this view which allows the
user to change the revision operators used for comparison.
createVariables(int) - Static method in class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
Create (non-negative) variables for the probabilities of possible worlds.
createWithNullArg() - Method in class net.sf.tweety.arg.delp.TestDTree
createWithNullConclusion1() - Method in class net.sf.tweety.arg.delp.TestArguments
createWithNullConclusion2() - Method in class net.sf.tweety.arg.delp.TestArguments
creation() - Method in class net.sf.tweety.arg.delp.TestDTree
CredibilityCategorizer - Class in net.sf.tweety.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<PropositionalFormula>>, Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.mas.CredibilityCategorizer
Creates a new credibility categorizer that is guided by the giving information which
agents uttered the formulas and the credibility order.
CredibilityComparer(Collection<InformationObject<PropositionalFormula>>, Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator.CredibilityComparer
credibilityOrder - Variable in class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
The subjective credibility order of the agent who owns this belief set.
CredibilityRevision <T extends Formula > - Class in net.sf.tweety.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() - Constructor for class net.sf.tweety.beliefdynamics.CredibilityRevision
CredibilityRevision - Class in net.sf.tweety.lp.asp.beliefdynamics.revision
Implements the credibility revision approach for ASP described in
Kruempelmann et al.
CredibilityRevision() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
Default Ctor: Do not forget to set the solver
CredibilityRevision(Solver) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
Ctor: setting the solver at construction time
CredibilityRevision(Solver, int) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
CredibilityRevision.AnswersetProcessing - Interface in net.sf.tweety.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 net.sf.tweety.lp.asp.beliefdynamics.revision
This class implements a default behavior for the processing of the answer sets
of the credibility logic programs.
CredibilityRevisionIterative <T extends Formula > - Class in net.sf.tweety.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 net.sf.tweety.beliefdynamics.CredibilityRevisionIterative
CredibilityRevisionNonIterative <T extends Formula > - Class in net.sf.tweety.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 net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative
CredibilityTest - Class in net.sf.tweety.lp.asp.beliefdynamics.revision
Tests the revision method described in Kruempelmann et al.
CredibilityTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
credOrder - Variable in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
The credibility order used to guide the comparison.
CREDULOUS_INFERENCE - Static variable in enum net.sf.tweety.arg.dung.semantics.Semantics
crepresentation - Variable in class net.sf.tweety.logics.cl.BruteForceCReasoner
The c-representation for the given knowledge base.
crepresentation - Variable in class net.sf.tweety.logics.cl.CReasoner
The c-representation for this knowledge base.
crepresentation - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner
The relational c-representation for the given knowledge base.
criteria - Variable in class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
the (regular expression) validation criteria a given input string needs to fulfill
e.g.:
"(/?([a-zA-Z0-9])(/[a-zA-Z0-9_\\-\\.])*(.[a-z]+))"
criterion - Variable in class net.sf.tweety.arg.delp.DefeasibleLogicProgram.DelpOptions
CriterionOptionHandler - Class in net.sf.tweety.arg.delp
CriterionOptionHandler(CmdLineParser, OptionDef, Setter<? super ComparisonCriterion>) - Constructor for class net.sf.tweety.arg.delp.CriterionOptionHandler
CrMasArgumentativeRevisionOperator - Class in net.sf.tweety.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 net.sf.tweety.beliefdynamics.operators.CrMasArgumentativeRevisionOperator
CrMasBeliefSet <T extends Formula > - Class in net.sf.tweety.beliefdynamics.mas
This class represents belief sets for credibility-based agents multi-agent systems.
CrMasBeliefSet(Order<Agent>) - Constructor for class net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet
Creates a new belief set with the given credibility order.
CrMasRevisionWrapper <T extends Formula > - Class in net.sf.tweety.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 net.sf.tweety.beliefdynamics.mas.CrMasRevisionWrapper
Creates a new revision with the given wrapped revision.
CrMasSimpleRevisionOperator - Class in net.sf.tweety.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 net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator
CrMasSimpleRevisionOperator.CredibilityComparer - Class in net.sf.tweety.beliefdynamics.operators
Private extension of credibility comparer
CrMasTest - Class in net.sf.tweety.beliefdynamics.test
CrMasTest() - Constructor for class net.sf.tweety.beliefdynamics.test.CrMasTest
crossover(Map<FloatVariable, Term>, Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
Makes a crossover of the two individuals
CrossValidator <S extends Observation ,T extends Category > - Class in net.sf.tweety.machinelearning
Performs cross-validation in a classifier, i.e.
CrossValidator(int) - Constructor for class net.sf.tweety.machinelearning.CrossValidator
Creates a new cross-validator with the given number of partitions.
cs - Variable in class net.sf.tweety.logics.cl.RuleBasedCReasoner
the conditional structure generated by the belief base of this reasoner, is null until prepare() is called.
CspInconsistencyMeasure <S extends Formula > - Class in net.sf.tweety.logics.commons.analysis
This class implements the inconsistency measure I_CSP from
[Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
CspInconsistencyMeasure(SimpleFunction<Double, Double>, MusEnumerator<S>, Solver) - Constructor for class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
Creates a new measure that uses the given measure function, MUS enumerator, and
Integer programming solver
CspInconsistencyMeasure(MusEnumerator<S>, Solver) - Constructor for class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure
Creates a new measure that uses the given MUS enumerator and
Integer programming solver.
CspInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test
CspInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
csvDisplay() - Method in class net.sf.tweety.agents.sim.SimulationResult
Returns a CSV representation of the result.
CTransitionSystemCalculator - Class in net.sf.tweety.action.description
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: Representing Transition Systems by Logic Programs.
CTransitionSystemCalculator(AspInterface) - Constructor for class net.sf.tweety.action.description.CTransitionSystemCalculator
Creates a new transition system calculator with the given interface to an
answer set solver.
CulpabilityMeasure <S extends Formula ,T extends BeliefSet <S >> - Interface in net.sf.tweety.logics.commons.analysis
Classes implementing this interface represent culpability measures, i.e.
culpabilityMeasure(T, S) - Method in interface net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure
culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop
The culpability measure used by this machine shop.
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
The culpability measure this machine shop bases on.
culpabilityMeasure(PclBeliefSet, ProbabilisticConditional) - Method in interface net.sf.tweety.logics.pcl.analysis.SignedCulpabilityMeasure
culpabilityMeasure - Variable in class net.sf.tweety.logics.pcl.analysis.SmoothedPenalizingCreepingMachineShop
The culpability measure used by this machine shop.
culpVector - Variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
The culpability vector.
cumulativeTime - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
Sum of all steps.
curChar - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
curChar - Static variable in class net.sf.tweety.arg.dung.parser.DungParserTokenManager
curChar - Variable in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
curChar - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
curChar - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
curChar - Variable in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
curChar - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
curChar - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
CURLBRA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
curLexState - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
curLexState - Static variable in class net.sf.tweety.arg.dung.parser.DungParserTokenManager
curLexState - Variable in class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
curLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
curLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
curLexState - Variable in class net.sf.tweety.lp.asp.parser.ASPParserTokenManager
curLexState - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
curLexState - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
CURRBRA - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
RegularExpression Id.
currendIdx - Variable in class net.sf.tweety.agents.RoundRobinProtocol
The index of the agent who may perform the next action.
currentItem - Variable in class net.sf.tweety.commons.util.DefaultSubsetIterator
The number of the current item as a bit set.
currentLength - Variable in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler
The current length
currentMaxLength - Variable in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler
The currently used max length.
currentMinLength - Variable in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler
The currently used min length.
currentSize - Variable in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
The size of the currently generated theories.
currentSize - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator
The current size of the subsets generated.
currentTheories - Variable in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
The set of all Dung theories with cntArguments arguments and cntAttacks attacks.
currentToken - Variable in exception net.sf.tweety.arg.delp.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.arg.dung.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.logics.fol.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.lp.asp.parser.ParseException
This is the last token that has been consumed successfully.
currentToken - Variable in exception net.sf.tweety.preferences.io.ParseException
This is the last token that has been consumed successfully.
currentType - Variable in class net.sf.tweety.arg.delp.DelpAnswer
currentValue - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
Current inconsistency value.
currentValue - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
Current inconsistency value.
CustomStringListCommandParameter - Class in net.sf.tweety.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 net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
constructor for the custom string list parameter with id and description
CustomStringListCommandParameter(String, String, String) - Constructor for class net.sf.tweety.plugin.parameter.CustomStringListCommandParameter
constructor for the custom string list parameter with id, description and criteria
CygwinShell - Class in net.sf.tweety.commons.util
Cygwin shell.
CygwinShell(String) - Constructor for class net.sf.tweety.commons.util.CygwinShell