A B C D E F G H I J K L M N O P Q R S T U V W X Z _

Q

q - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

Quadruple<E,F,G,H> - Class in net.sf.tweety.preferences

This class implements a simple quadruple of elements.

Quadruple(E, F, G, H) - Constructor for class net.sf.tweety.preferences.Quadruple

Initializes the elements of this quadruple with given parameters

Quadruple() - Constructor for class net.sf.tweety.preferences.Quadruple

Initializes an empty quadruple

qualitativeEquals(ProbabilisticConditional) - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional

Checks whether this and the given probabilistic conditional are qualitatively equivalent, i.e.

QuantifiedFormula - Interface in net.sf.tweety.logics.commons.syntax.interfaces

Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.

QuantifiedFormula - Class in net.sf.tweety.logics.fol.syntax

The common parent of exists and forall quantified formulas, which contains common functionalities.

QuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class net.sf.tweety.logics.fol.syntax.QuantifiedFormula

Creates a new quantified folFormula with the given folFormula and variables.

QuantifiedFormula(FolFormula, Variable) - Constructor for class net.sf.tweety.logics.fol.syntax.QuantifiedFormula

Creates a new quantified folFormula with the given folFormula and variable.

quantifier_variables - Variable in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula

The variables of this quantified folFormula.

query(Formula) - Method in class net.sf.tweety.arg.aba.FlatABAReasoner

query(Formula) - Method in class net.sf.tweety.arg.aba.GeneralABAReasoner

query(Formula) - Method in class net.sf.tweety.arg.aspic.AspicReasoner

query(Formula) - Method in class net.sf.tweety.arg.deductive.AbstractDeductiveArgumentationReasoner

query - Variable in class net.sf.tweety.arg.delp.DefeasibleLogicProgram.DelpOptions

query(Formula) - Method in class net.sf.tweety.arg.delp.DelpReasoner

query(DelpReasoner, DelpParser, String) - Method in class net.sf.tweety.arg.delp.TestQueries

query(Formula) - Method in class net.sf.tweety.arg.dung.AbstractExtensionReasoner

query(Formula) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner

query(Formula) - Method in class net.sf.tweety.arg.dung.StratifiedLabelingReasoner

query(Formula) - Method in class net.sf.tweety.arg.lp.ArgumentationReasoner

query(Formula) - Method in class net.sf.tweety.arg.lp.LiteralReasoner

query(Formula) - Method in class net.sf.tweety.arg.prob.MonteCarloPafReasoner

query(Extension) - Method in class net.sf.tweety.arg.prob.MonteCarloPafReasoner

Estimates the probability that the given set of arguments is an extension

query(Formula) - Method in class net.sf.tweety.arg.prob.test.deductive.DeductiveArgMeReasoner

query(Formula) - Method in class net.sf.tweety.arg.saf.OutputReasoner

query(Formula) - Method in class net.sf.tweety.arg.social.IssReasoner

query - Static variable in class net.sf.tweety.cli.TweetyCli

The query

query - Variable in class net.sf.tweety.commons.Answer

The original query for this answer.

query(Formula) - Method in class net.sf.tweety.commons.Reasoner

This method determines the answer of the given query wrt.

query(Formula) - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner

query(Formula) - Method in class net.sf.tweety.logics.cl.CReasoner

query(Formula) - Method in class net.sf.tweety.logics.cl.RelevanceReasoner

query(Formula) - Method in class net.sf.tweety.logics.cl.RuleBasedCReasoner

query(Formula) - Method in class net.sf.tweety.logics.cl.ZReasoner

query(Formula) - Method in class net.sf.tweety.logics.fol.ClassicalInference

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.EProver

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.FolTheoremProver

This method determines the answer of the given query wrt.

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.NaiveProver

query(FolBeliefSet, FolFormula) - Method in class net.sf.tweety.logics.fol.prover.Prover9

query(Formula) - Method in class net.sf.tweety.logics.ml.AbstractMlnReasoner

query(Formula) - Method in class net.sf.tweety.logics.pcl.DefaultMeReasoner

query(Formula) - Method in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner

query(Formula) - Method in class net.sf.tweety.logics.pl.ClassicalInference

query(Formula) - Method in class net.sf.tweety.logics.pl.SatReasoner

query(Formula) - Method in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner

query(Formula) - Method in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

query - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

query(Formula) - Method in class net.sf.tweety.logics.rpcl.RpclMeReasoner

queryBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP

QueryProposition - Class in net.sf.tweety.action.query.syntax

Action queries are represented as propositional formulas with three possible types of propositions: holds, always and necessarily propositions.

QueryProposition(FolFormula, String) - Constructor for class net.sf.tweety.action.query.syntax.QueryProposition

Creates a new query proposition with the given formula and a unique name, which is used by the base class.

queryResult - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

QUOTED - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants

RegularExpression Id.

quoted() - Method in class net.sf.tweety.arg.delp.TestQueries

A B C D E F G H I J K L M N O P Q R S T U V W X Z _