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

Packages that use Subset

de.uni_tuebingen.sfb.lichtenstein.binarytrees
de.uni_tuebingen.sfb.lichtenstein.formulas

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

Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees with parameters of type Subset

protected void

MonaFormulaBuilder.visit(Subset form) Visit a subset atomic formula.

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.

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type Subset

protected abstract void

FormulaVisitor.visit(Subset form) Visit a subset atomic formula.