|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EqualFormula | |
org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
Uses of EqualFormula in org.qedeq.kernel.bo.logic |
Methods in org.qedeq.kernel.bo.logic with parameters of type EqualFormula | |
boolean |
EqualFormulaSet.contains(EqualFormula formula)
Is element in set? |
EqualFormulaSet |
EqualFormulaSet.add(EqualFormula formula)
Add a formula to set. |
EqualFormulaSet |
EqualFormulaSet.remove(EqualFormula formula)
Remove an element from set. |
Constructors in org.qedeq.kernel.bo.logic with parameters of type EqualFormula | |
EqualFormulaSet(EqualFormula[] formulas)
Constructs an element set. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |