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

Packages that use Element

org.qedeq.kernel.base.list	Descriptions of element list functionalites.
org.qedeq.kernel.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.dto.list	An element is either a list or an atom.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.xml.handler.list	Handler to parse formulas and terms.

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

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

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

Methods in org.qedeq.kernel.base.list 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.list 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	Term.getElement() Get term.
Element	Formula.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

LogicalCheckException.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, ModuleContext context) Is Element a formula?
static void	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a formula?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context) Is Element a term?
static void	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Is Element a term?
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

TermCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

TermCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

LogicalCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

LogicalCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

FormulaCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

FormulaCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

EqualFormula(Element formula)
Constructor.

ElementCheckException(int errorCode, String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

ElementCheckException(int errorCode, String message, Element element, ModuleContext context)
Constructs an exception.

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

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

void	QedeqTransverser.accept(Element element) Traverse element.
void	QedeqNotNullTransverser.accept(Element element)

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

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

class	DefaultAtom An object of this class represents a text string.
class	DefaultElementList Every Operator must inherit from this class.

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

Element	DefaultElementList.getElement(int i)
Element	DefaultElementList.copy()
Element	DefaultElementList.replace(Element search, Element replacement)
Element	DefaultAtom.copy()
Element	DefaultAtom.replace(Element search, Element replacement)

Methods in org.qedeq.kernel.dto.list 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	DefaultElementList.replace(Element search, Element replacement)
void	DefaultElementList.add(Element element)
void	DefaultElementList.insert(int position, Element element)
void	DefaultElementList.replace(int position, Element element)
Element	DefaultAtom.replace(Element search, Element replacement)

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

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

DefaultElementList(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	TermVo.getElement()
Element	FormulaVo.getElement()

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

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

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

TermVo(Element element)
Constructs a term.

FormulaVo(Element element)
Constructs a formula.

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

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

Element

ElementHandler.getElement() Get parsed element.