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

Packages that use EqualFormulaSet

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Uses of EqualFormulaSet in org.qedeq.kernel.bo.logic

Methods in org.qedeq.kernel.bo.logic that return EqualFormulaSet

EqualFormulaSet	EqualFormulaSet.add(EqualFormula formula) Add a formula to set.
EqualFormulaSet	EqualFormulaSet.union(EqualFormulaSet set) After this method this object is the union of the two sets.
EqualFormulaSet	EqualFormulaSet.remove(EqualFormula formula) Remove an element from set.
EqualFormulaSet	EqualFormulaSet.minus(EqualFormulaSet set) Remove elements from another EqualFormulaSet from this set.
EqualFormulaSet	EqualFormulaSet.intersection(EqualFormulaSet set) Build the intersection.
EqualFormulaSet	EqualFormulaSet.newIntersection(EqualFormulaSet set) Build a new intersection.

Methods in org.qedeq.kernel.bo.logic with parameters of type EqualFormulaSet

boolean	EqualFormulaSet.isSubset(EqualFormulaSet set) Is set a subset of this set?
EqualFormulaSet	EqualFormulaSet.union(EqualFormulaSet set) After this method this object is the union of the two sets.
EqualFormulaSet	EqualFormulaSet.minus(EqualFormulaSet set) Remove elements from another EqualFormulaSet from this set.
EqualFormulaSet	EqualFormulaSet.intersection(EqualFormulaSet set) Build the intersection.
EqualFormulaSet	EqualFormulaSet.newIntersection(EqualFormulaSet set) Build a new intersection.

Constructors in org.qedeq.kernel.bo.logic with parameters of type EqualFormulaSet

EqualFormulaSet(EqualFormulaSet set)
Constructs an equal formulas set.