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

Packages that use Inclusion

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

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

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

protected void

MonaFormulaBuilder.visit(Inclusion form) Visit an 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.

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

protected abstract void

FormulaVisitor.visit(Inclusion form) Visit an inclusion.