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

Packages that use ElementSet

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.se.dto.list	An element is either a list or an atom.

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

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

static ElementSet	FormulaUtility.getBoundSubjectVariables(Element element) Return all bound subject variables of an element.
static ElementSet	FormulaUtility.getFreeSubjectVariables(Element element) Return all free subject variables of an element.
static ElementSet	FormulaUtility.getPartFormulas(Element element) Return all part formulas of an element.
static ElementSet	FormulaUtility.getPredicateVariables(Element element) Return all predicate variables of an element.
static ElementSet	FormulaUtility.getPropositionVariables(Element element) Return all proposition variables of an element.
static ElementSet	FormulaUtility.getSubjectVariables(Element element) Return all subject variables of an element.

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

static boolean

FormulaUtility.testOperatorVariable(Element formula, Element operatorVariable, ElementSet bound) Test if operator occurrence in formula matches always to a formula that contains no subject variable that is in the given ElementSet of bound subject variables..

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

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

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

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

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

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

ElementSet(ElementSet set)
Constructs an element set.