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

Q

Quantification - Interface in de.uni_tuebingen.sfb.lichtenstein.formulas

A class representing a quantification.

quantor() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

queriesFilePrefKey - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys

The key in the user preferences at which the last used query file is stored.

Query - Class in de.uni_tuebingen.sfb.lichtenstein.binarytrees

A query contains the information to query a tree bank.

Query(Formula, String, File, File) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Query

Initialize a Query in the given tree bank with the given formula.

query() - Method in class de.uni_tuebingen.sfb.lichtenstein.binarytrees.Query

Perform the query.

quiet - Static variable in class de.uni_tuebingen.sfb.lichtenstein.main.MonaSearch

Switch wether no output is wanted on the command line.