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

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

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

Subset	SetDenotator.subset(SetDenotator that) Return the formula that says this set is a subset of that set.
Subset	SetDenotator.superset(SetDenotator that) Return the formula that says this set is a superset of that set.