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

L

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

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

LEMMA - Static variable in interface de.uni_tuebingen.sfb.lichtenstein.binarytrees.FormulaParser

The symbol for the lemma of a node.

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

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

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

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

LispFormulaParseException - Exception in de.uni_tuebingen.sfb.lichtenstein.exceptions

An exception indicating something went wrong when parsing the formula.

LispFormulaParseException(String, int, String) - Constructor for exception de.uni_tuebingen.sfb.lichtenstein.exceptions.LispFormulaParseException

Construct a new LispFormulaParseException.

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

A formula in fsq’s lisp-like format, which can parse itself into the required format.

LispToMonaParser(String, Map<String, String>) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.binarytrees.LispToMonaParser

Create a new Formula Parser which outputs Mona code for the given formula.

logicalEquals(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable is equal to that variable.

logicalEquals(SetDenotator) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator

Return the formula that says this set is equal to that set.