Uses of Interface
org.qedeq.kernel.base.elli.Element

Packages that use Element

org.qedeq.kernel.base.elli	Descriptions of element list functionalites.
org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.dto.elli	An element is either a list or an atom.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.xml.handler.elli	Handler to parse formulas and terms.

Uses of Element in org.qedeq.kernel.base.elli

Subinterfaces of Element in org.qedeq.kernel.base.elli

interface	Atom Element atom.
interface	ElementList Every Operator must implement this interface.

Methods in org.qedeq.kernel.base.elli that return Element

Element	ElementList.getElement(int i) Get the requested argument.
Element	Element.copy() Returns an identical object (maybe "this").
Element	Element.replace(Element search, Element replacement) Creates and returns a copy of this object, but replaces anything that equals(java.lang.Object) argument with a copy() of replacement.

Methods in org.qedeq.kernel.base.elli with parameters of type Element

void	ElementList.add(Element element) Adds an element to end of list.
void	ElementList.insert(int position, Element element) Inserts an element to specified position.
void	ElementList.replace(int position, Element element) Replaces an element at specified position.
Element	Element.replace(Element search, Element replacement) Creates and returns a copy of this object, but replaces anything that equals(java.lang.Object) argument with a copy() of replacement.

Uses of Element in org.qedeq.kernel.base.module

Methods in org.qedeq.kernel.base.module that return Element

Element	VariableList.get(int index) Get index-th element of list.
Element	FormulaOrTerm.getElement() Get formula or term.

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

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

Element

CheckException.getElement() Get the element.

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

static void	LogicalEquivalence.checkEquivalence(Element formula1, Element formula2) Assures that two words are logically equivalent.
static void	FormulaChecker.checkFormula(Element element) Is Element a formula?
static boolean	FormulaChecker.isSubjectVariable(Element element) Is Element an subject variable?
static void	FormulaChecker.checkSubjectVariable(Element element) Is Element an subject variable?
static ElementSet	FormulaChecker.getFreeSubjectVariables(Element element) Return all free subject variables of an element.
static ElementSet	FormulaChecker.getBoundSubjectVariables(Element element) Return all bound subject variables of an element.

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

EqualFormula(Element formula)
Constructor.

CheckException(String message, Element element)
Constructs an exception.

Uses of Element in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module that return Element

Element	VariableListBo.get(int index)
Element	FormulaOrTermBo.getElement()

Methods in org.qedeq.kernel.bo.module with parameters of type Element

void	VariableListBo.add(Element element) Add variable to this list.
void	FormulaOrTermBo.setElement(Element element) Set formula or term.

Constructors in org.qedeq.kernel.bo.module with parameters of type Element

FormulaOrTermBo(Element element)
Constructs a formula or term.

Uses of Element in org.qedeq.kernel.dto.elli

Classes in org.qedeq.kernel.dto.elli that implement Element

class	AtomImpl An object of this class represents a text string.
class	ElementListImpl Every Operator must inherit from this class.

Methods in org.qedeq.kernel.dto.elli that return Element

Element	ElementListImpl.getElement(int i)
Element	ElementListImpl.copy()
Element	ElementListImpl.replace(Element search, Element replacement)
Element	AtomImpl.copy()
Element	AtomImpl.replace(Element search, Element replacement)

Methods in org.qedeq.kernel.dto.elli with parameters of type Element

boolean	ElementSet.contains(Element element) Is element in set?
ElementSet	ElementSet.add(Element element) Add an element to set.
ElementSet	ElementSet.remove(Element element) Remove an element from set.
Element	ElementListImpl.replace(Element search, Element replacement)
void	ElementListImpl.add(Element element)
void	ElementListImpl.insert(int position, Element element)
void	ElementListImpl.replace(int position, Element element)
Element	AtomImpl.replace(Element search, Element replacement)

Constructors in org.qedeq.kernel.dto.elli with parameters of type Element

ElementSet(Element[] elements)
Constructs an element set.

ElementListImpl(String operator, Element[] elements)
Constructs a element list.

Uses of Element in org.qedeq.kernel.dto.module

Methods in org.qedeq.kernel.dto.module that return Element

Element	VariableListVo.get(int index)
Element	FormulaOrTermVo.getElement()

Methods in org.qedeq.kernel.dto.module with parameters of type Element

void	VariableListVo.add(Element element) Add variable to list.
void	FormulaOrTermVo.setElement(Element element) Set formula or term.

Constructors in org.qedeq.kernel.dto.module with parameters of type Element

FormulaOrTermVo(Element element)
Constructs a formula or term.

Uses of Element in org.qedeq.kernel.xml.handler.elli

Methods in org.qedeq.kernel.xml.handler.elli that return Element

Element

ElementHandler.getElement() Get parsed element.