Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Uses of Inclusion in de.uni_tuebingen.sfb.lichtenstein.formulas

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Inclusion

Inclusion	SetDenotator.contains(FirstOrderVariable that) Return the formula that says that variable is an element of this set.
Inclusion	FirstOrderVariable.in(SetDenotator that) Return the formula that says this variable is an element of that set.