Uses of Class
org.qedeq.kernel.dto.list.ElementSet

Packages that use ElementSet

org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.dto.list	An element is either a list or an atom.

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

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

static ElementSet

FormulaChecker.getBoundSubjectVariables(Element element) Return all bound subject variables of an element.

Uses of ElementSet in org.qedeq.kernel.dto.list

Methods in org.qedeq.kernel.dto.list that return ElementSet

ElementSet	ElementSet.add(Element element) Add an element to set.
ElementSet	ElementSet.union(ElementSet set) Add elements from another ElementSet to this set.
ElementSet	ElementSet.remove(Element element) Remove an element from set.
ElementSet	ElementSet.minus(ElementSet set) Remove elements from another ElementSet from this set.
ElementSet	ElementSet.intersection(ElementSet set) Build the intersection.
ElementSet	ElementSet.newIntersection(ElementSet set) Build a new intersection.
ElementSet	ElementSet.newDelta(ElementSet set) Return all elements that are only in one of both sets.

Methods in org.qedeq.kernel.dto.list with parameters of type ElementSet

boolean	ElementSet.isSubset(ElementSet set) Is set a subset of this set?
ElementSet	ElementSet.union(ElementSet set) Add elements from another ElementSet to this set.
ElementSet	ElementSet.minus(ElementSet set) Remove elements from another ElementSet from this set.
ElementSet	ElementSet.intersection(ElementSet set) Build the intersection.
ElementSet	ElementSet.newIntersection(ElementSet set) Build a new intersection.
ElementSet	ElementSet.newDelta(ElementSet set) Return all elements that are only in one of both sets.

Constructors in org.qedeq.kernel.dto.list with parameters of type ElementSet

ElementSet(ElementSet set)
Constructs an element set.