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

L

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.