|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
QedeqBoSet to this set.
ElementList.remove(int)
and so on? If we need them we have to make a deep copy.
number == 0).
Terms.Elements.version1 > version2?
elementName.
Element is a formula.
Element is a formula.
Element is a term.
Element is a term.
Element is a term.
Element is a term.
Qedeq instance.
FormulaChecker.
ModuleContext.
ModuleContext.
ProofChecker.
ProofFinder.
QedeqVo out of an Qedeq instance.
origin to next.
origin to next.
origin to next.
SAXParseException including parsing position information.
SAXParseException including parsing position information.
ModuleDataException.
SourceFileException with dummy
position.
SourceFileException with dummy
position.
SourceFileException with dummy
position.
ModuleDataException.
ModuleDataException.
Atom.
Elements.elementName.
version1 == version2?
null.
null.
null.
null.
String using XML entities.
true to the question
exists this predicate?.FormallyProvedState.FormulaChecker.FormulaCheckers.Elements which represent a
formula.i-th exception.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
index-th element of list.
i-th exception.
SubTextInput.
SubTextInput.
Atom.
Axiom.
QedeqModules blocked by this process.
QedeqModule list.
i-th Element name.
i-th occurrence number.
number.
FunctionDefinition.
InitialFunctionDefinition.
InitialPredicateDefinition.
KernelQedeqBo for an address.
QedeqBo of referenced module.
ModuleAddress of module.
FunctionDefinition.getArgumentNumber() identifies a function.
InitialFunctionDefinition.getArgumentNumber() identifies a function.
InitialPredicateDefinition.getArgumentNumber() identifies a predicate.
PredicateDefinition.getArgumentNumber() identifies a predicate.
.xml).
.xml).
Node.
SourcePosition.
SourcePosition.
PredicateDefinition.
size number of arguments.
Proposition.
QedeqBo for an address.
Rule.
RuleKeys defined in this module or in one of the imported ones.
StateManager.
Subsection.
SubTextInput.
ModuleContext something like
getChapterList().get(4).getSectionList().get(0).getSubsectionList().get(4).getLatex().get(0)
Qedeq module and returns a kind of XPath location for an associated
XML document:QEDEQ/CHAPTER[5]/SECTION/SUBSECTIONS/SUBSECTION[2]/TEXT/LATEX
Element a function constant?
Element a function variable?
String begins with a letter and contains
only letters and digits.
ElementList?
Element a predicate constant?
Element a predicate variable?
Element a proposition variable?
URLConnection support the method setConnectionTimeOut
in the currently running JVM.
URLConnection support the method setReadTimeOut
in the currently running JVM.
Element a subject variable?
set a superset of this set?
LatexList element of a
QEDEQ module.Terms.version1 < version2?
String.
IoUtility.loadFile(File, StringBuffer, String).
String.
Reader into a string buffer.
IoUtility.loadReader(Reader, StringBuffer).
LogicalCheckException list.Terms.ElementSet from this set.
Qedeq.QedeqLog.NodeVo for a QEDEQ module.ModuleServiceCall.{x | x > 0}.
{x, y, z}.
Map.System.out.
System.err.
ProofChecker.ProofCheckers.ProofFinder.ProofFinders.QedeqBos.Qedeq.String.
QedeqBoSet from this set.
search in text
by replace and returns the result.
search in text
by replace.
Element.equals(java.lang.Object) argument
with a Element.copy() of replacement.
IoUtility.saveFile(File, String, String) that has an encoding.
IoUtility.saveFile(File, StringBuffer, String) that has an encoding.
IoUtility.saveFile(File, StringBuffer, String) that has an encoding
parameter.
IoUtility.saveFile(File, String, String) that has an encoding parameter.
String in a file.
String in a file.
data in a file.
ModuleServiceCall.list to this instance.
DependencyState.
SourceFileExceptionList.
ModuleConstantsExistenceChecker.
FormallyProvedState.
LoadingImportsState.
LoadingState.
QedeqVo.
WellFormedState.
Locator and possibly
encoding of XML document.Terms.SourceFileException list.elementName.
org.qedeq.kernel.bo.service.control.DefaultKernelQedeqBos.Reader.
Reader source.
StringBuffer source.
String source.
FILE source.
String format.
String form.
ElementSet to this set.
WellFormedState.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||