A B C D E F G H I K L M N O P Q R S T U V W X

P

POSTFIX - Static variable in class org.qedeq.kernel.parser.Operator

Marks postfix operator.

PREDICATE_ALREADY_DEFINED - Static variable in interface org.qedeq.kernel.bo.control.HigherLogicalErrors

Error code.

PREDICATE_ALREADY_DEFINED_TEXT - Static variable in interface org.qedeq.kernel.bo.control.HigherLogicalErrors

Error message.

PREDICATE_CONSTANT - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for predicate constants.

PREDICATE_VARIABLE - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for predicate variables.

PROGRAMMING_ERROR_CODE - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Error code for a programming error.

PROGRAMMING_ERROR_TEXT - Static variable in class org.qedeq.kernel.xml.common.XmlSyntaxException

Unexpected tag message text, part one.

ParserException - exception org.qedeq.kernel.parser.ParserException.

Base for parser exceptions.

ParserException(long, String) - Constructor for class org.qedeq.kernel.parser.ParserException

Constructor.

ParserHandler - class org.qedeq.kernel.xml.handler.parser.ParserHandler.

Parses list of operators.

ParserHandler(SaxDefaultHandler) - Constructor for class org.qedeq.kernel.xml.handler.parser.ParserHandler

Handle a parser XML file.

PredicateDefinition - interface org.qedeq.kernel.base.module.PredicateDefinition.

Definition of operator.

PredicateDefinitionHandler - class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler.

Parse a predicate definition.

PredicateDefinitionHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

Deals with definitions.

PredicateDefinitionVo - class org.qedeq.kernel.dto.module.PredicateDefinitionVo.

Definition of operator.

PredicateDefinitionVo() - Constructor for class org.qedeq.kernel.dto.module.PredicateDefinitionVo

Constructs a new definition.

PredicateExistenceChecker - interface org.qedeq.kernel.bo.logic.PredicateExistenceChecker.

Check if a predicate is already defined.

Proof - interface org.qedeq.kernel.base.module.Proof.

Contains a proof for a proposition or rule.

ProofHandler - class org.qedeq.kernel.xml.handler.module.ProofHandler.

Parse a proposition.

ProofHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.ProofHandler

Deals with propositions.

ProofList - interface org.qedeq.kernel.base.module.ProofList.

List of proofs.

ProofListVo - class org.qedeq.kernel.dto.module.ProofListVo.

List of proofs.

ProofListVo() - Constructor for class org.qedeq.kernel.dto.module.ProofListVo

Constructs an empty list of proofs.

ProofVo - class org.qedeq.kernel.dto.module.ProofVo.

Contains a proof for a proposition.

ProofVo() - Constructor for class org.qedeq.kernel.dto.module.ProofVo

Constructs an empty proof.

Proposition - interface org.qedeq.kernel.base.module.Proposition.

Proposition.

PropositionHandler - class org.qedeq.kernel.xml.handler.module.PropositionHandler.

Parse a proposition.

PropositionHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.PropositionHandler

Deals with propositions.

PropositionVo - class org.qedeq.kernel.dto.module.PropositionVo.

Proposition.

PropositionVo() - Constructor for class org.qedeq.kernel.dto.module.PropositionVo

Constructs a new proposition.

param(Object, String, String, Object) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

param(Class, String, String, Object) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

param(Object, String, String, int) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

param(Class, String, String, int) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

param(Object, String, String, boolean) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

param(Class, String, String, boolean) - Static method in class org.qedeq.kernel.trace.Trace

Trace parameter.

paramInfo(Object, String, String, Object) - Static method in class org.qedeq.kernel.trace.Trace

Parameter information.

paramInfo(Class, String, String, Object) - Static method in class org.qedeq.kernel.trace.Trace

Parameter information.

paramInfo(Object, String, String, int) - Static method in class org.qedeq.kernel.trace.Trace

Parameter information.

paramInfo(Class, String, String, int) - Static method in class org.qedeq.kernel.trace.Trace

Parameter information.

parse(String, URL) - Method in class org.qedeq.kernel.xml.parser.SaxParser

Parses XML file.

parse(File, URL) - Method in class org.qedeq.kernel.xml.parser.SaxParser

Parses the XML file.

parse(URL, URL) - Method in class org.qedeq.kernel.xml.parser.SaxParser

Parses the XML file.

parse(InputStream, boolean) - Method in class org.qedeq.kernel.xml.parser.SaxParser

Parse input source.

parse(String, URL) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Parses XML file.

parse(File, URL) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Parses XML file.

parse(TextInput) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Parses XML file.

popLevel() - Method in class org.qedeq.kernel.utility.TextOutput

Decrement tab level.

predicateExists(String, int) - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

predicateExists(String, int) - Method in class org.qedeq.kernel.bo.logic.EverythingExists

predicateExists(String, int) - Method in interface org.qedeq.kernel.bo.logic.PredicateExistenceChecker

Check if a predicate is already defined.

print(URL, QedeqBo, TextOutput, String, String) - Static method in class org.qedeq.kernel.latex.Qedeq2Latex

Prints a LaTeX representation of given QEDEQ module into a given output stream.

print(URL, QedeqBo, TextOutput) - Static method in class org.qedeq.kernel.latex.Qedeq2Xml

Prints a XML representation of given QEDEQ module into a given output stream.

print(String) - Method in class org.qedeq.kernel.utility.TextOutput

Print text to output.

print(Object) - Method in class org.qedeq.kernel.utility.TextOutput

Print object to output.

printAllSystemProperties() - Static method in class org.qedeq.kernel.utility.IoUtility

Print current system properties to System.out.

printProgramInformation() - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder

Writes calling convention to System.err.

printWiki(String, String, File) - Method in class org.qedeq.kernel.latex.Qedeq2Wiki

Prints a LaTeX file into a given output stream.

println(String) - Method in class org.qedeq.kernel.utility.TextOutput

Print spaces text and new line to output.

println(Object) - Method in class org.qedeq.kernel.utility.TextOutput

Print object and new line to output.

println() - Method in class org.qedeq.kernel.utility.TextOutput

Print new line to output.

processingInstruction(String, String) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

pushLevel() - Method in class org.qedeq.kernel.utility.TextOutput

Increment tab level.