A B C D E F G H I L N O P Q S T U V

N

NaryJunctor - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A superclass for conjunction and disjunction, implementing common methods for binary junctors.

Negation - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A class representing logical negation of a formula.

Negation(Formula) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Initialize a new negation, given the formula to be negated.

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

Return the negation of this formula.

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

Return the negation of this formula.

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

Return the negation of the given formula.

not() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

The negation of a negation is the formula itself.