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

Packages that use FirstOrderEquality
de.uni_tuebingen.sfb.lichtenstein.binarytrees   
de.uni_tuebingen.sfb.lichtenstein.formulas   
 

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

Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees with parameters of type FirstOrderEquality
protected  void MonaFormulaBuilder.visit(FirstOrderEquality form)
          Visit a first order equality atomic formula.
 

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return FirstOrderEquality
 FirstOrderEquality FirstOrderVariable.logicalEquals(FirstOrderVariable that)
          Return the formula that says this variable is equal to that variable.
 

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type FirstOrderEquality
protected abstract  void FormulaVisitor.visit(FirstOrderEquality form)
          Visit a first order equality atomic formula.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License