Uses of Class
org.qedeq.kernel.bo.logic.EqualFormula

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.