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

O

OBJECT_FILE_ENDING - Static variable in class de.uni_tuebingen.sfb.lichtenstein.treebanks.TreebankConverter

The file ending for the file which contains the binary trees in Java serialized form.

OPEN - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqLexer

OPEN - Static variable in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

or(Formula) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the disjunction of this formula with that formula.

or(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Return the disjunction of this formula with that formula.

or(Formula...) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas

Return the disjunction of the given formula with second formula.