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

C

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.UseAbbreviation

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.Particularization

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

changeProofLines(int[]) - Method in interface com.meyling.principia.logic.rule.Rule

Get proof line numbers that are used to derive the new formula.

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAddition

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.SubstLine

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.Generalization

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ConjunctionRule

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReverseImplication

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.AddSentence

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.AddAxiom

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ApplySentence

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ModusPonens

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ApplyAxiom

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.LeftAddition

changeProofLines(int[]) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

check() - Method in class com.meyling.principia.module.Module

Verifies this module.

check(Module) - Method in class com.meyling.principia.logic.paragraph.Paragraph

Check if this paragraph could be added.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.UseAbbreviation

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.Particularization

Check if proof could be extended with formula because of modus ponens.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

Check if proof could be extended with formula if the proposition variable is replaced by the formula of the constructor.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

Check if proof could be extended with formula because of right addition of a implication.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

Check if proof could be extended with formula because of right addition of a implication.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

Check if proof could be extended with formula by replacing a bound subject variable of a proof line by another subject variable at a certain occurance.

check(Module, ProofLineList, int, Formula) - Method in interface com.meyling.principia.logic.rule.Rule

Check if proof could be extended with formula (using the arguments of rule).

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAddition

Check if proof could be extended with formula because of right addition.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.SubstLine

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.Generalization

Check if proof could be extended with formula because of modus ponens.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

Check if proof could be extended with formula because of right addition of a implication.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ConjunctionRule

Check if proof could be extended with formula because of conjunction rule.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

Check if proof could be extended with formula by replacing a free subject variable of a proof line by another subject variable.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

Check if proof could be extended with formula because of right addition of a conjunction.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

Check if proof could be extended with formula if replacing the predicate variable by the formula of the constructor.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReverseImplication

Check if proof could be extended with formula because of reversing an implication.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.AddSentence

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.AddAxiom

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ApplySentence

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ModusPonens

Check if proof could be extended with formula because of modus ponens.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ApplyAxiom

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

Check if proof could be extended with formula because of hypothetical syllogism.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

Check if proof could be extended with formula because of left addition of a conjunction.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

Check if proof could be extended with formula.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

Check if proof could be extended with formula because of right addition of a implication.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.LeftAddition

Check if proof could be extended with formula because of left addition.

check(Module, ProofLineList, int, Formula) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

Check if proof could be extended with formula.

check(Module, String) - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration

Check if declaration is correct.

check(Module, String) - Method in interface com.meyling.principia.logic.paragraph.ParagraphCheck

Check if a paragraph could be added to a module.

check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Axiom

Tries to add this axiom.

check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Proposition

Check if proof is correct.

check(Module, String) - Method in class com.meyling.principia.logic.paragraph.Abbreviation

Adds abbreviation to module.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.UseAbbreviation

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.Particularization

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionImplication

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAddition

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.SubstLine

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.Generalization

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ConjunctionRule

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionConjunction

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReverseImplication

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.AddSentence

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.AddAxiom

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ApplySentence

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ModusPonens

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ApplyAxiom

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ReverseAbbreviation

Check this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.RightAdditionImplication

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.LeftAddition

Check if this rule could be declared.

checkDeclaration(Module, RuleDeclaration) - Static method in class com.meyling.principia.logic.rule.ElementaryEquivalence

Check this rule could be declared.

checkLabel(String) - Method in class com.meyling.principia.module.Module

Test if label is already known.

CheckModule - class com.meyling.principia.CheckModule.

This class checks Principia Mathematica II qedeq modules for errors.

CheckModule() - Constructor for class com.meyling.principia.CheckModule

checkModule(String) - Static method in class com.meyling.principia.CheckModule

Check a module.

close() - Method in class com.meyling.principia.io.TextFileReader

Closes input.

CODE_CONSTRUCTOR_ARGUMENT_CHECK_FAILED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_CONSTRUCTOR_WRONG_ARGUMENT_NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_CONSTRUCTOR_WRONG_ARGUMENT_TYPE - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_METHOD_ARGUMENT_CHECK_FAILED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_ARGUMENT_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_NO_ARGUMENT_SEPARATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_NO_BEGIN_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_NO_END_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_NO_FURTHER_ARGUMENTS_EXPECTED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_UNEXPECTED_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_UNKNOWN_ARGUMENT_CHAR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_UNKNOWN_OPERATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

CODE_PARSER_WRONG_ATOM_FORMAT - Static variable in interface com.meyling.principia.argument.ArgumentConstants

com.meyling.principia - package com.meyling.principia

com.meyling.principia.argument - package com.meyling.principia.argument

com.meyling.principia.html - package com.meyling.principia.html

com.meyling.principia.io - package com.meyling.principia.io

com.meyling.principia.latex - package com.meyling.principia.latex

com.meyling.principia.logic.basic - package com.meyling.principia.logic.basic

com.meyling.principia.logic.paragraph - package com.meyling.principia.logic.paragraph

com.meyling.principia.logic.rule - package com.meyling.principia.logic.rule

com.meyling.principia.module - package com.meyling.principia.module

compareTo(Object) - Method in class com.meyling.principia.argument.PatternVariable

compress() - Method in class com.meyling.principia.logic.paragraph.Proposition

Remove all double and unused proof lines.

compress(String) - Static method in class com.meyling.principia.module.ModuleContext

Remove double and unused lines of all propositions of a module and save modified local buffer back.

Conjunction - class com.meyling.principia.logic.basic.Conjunction.

Conjunction of formulas.

CONJUNCTION - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for a Conjunction

CONJUNCTION_RULE_NOT_POSSIBLE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

Conjunction(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Conjunction

Constructs a logical conjunction.

Conjunction(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Conjunction

Constructs a logical conjunction.

ConjunctionRule - class com.meyling.principia.logic.rule.ConjunctionRule.

Implemention of conjunction rule: A1 A2 --------- A1 & A2

ConjunctionRule(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ConjunctionRule

Constructs a conjunction rule.

contains(PatternVariable) - Method in class com.meyling.principia.argument.PatternVariables

Is variable in the set?

contains(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables

Are these PatternVariables in the set?

contains(PropositionVariable) - Method in class com.meyling.principia.logic.basic.PropositionVariables

Check if a certain proposition variable is already in the set.

contains(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables

Does this object contain another set of proposition variables?

contains(SubjectVariableMarker) - Method in class com.meyling.principia.logic.basic.SubjectVariables

Check if a certain subject variable is already in the set.

contains(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables

Does this object contain another set of subject variables and pattern variables?

containsPatternVariables() - Method in class com.meyling.principia.argument.AbstractArgument

containsPatternVariables() - Method in interface com.meyling.principia.argument.Argument

Does this argument contain any PatternVariable?

containsPatternVariables() - Method in class com.meyling.principia.argument.PatternVariable

CONVENTION - Static variable in interface com.meyling.principia.module.ModuleConstants

convert(String) - Static method in class com.meyling.principia.html.Latex2Html

Takes the given file names (without ".tex") and converts them into html.

convert(String) - Static method in class com.meyling.principia.latex.Qedeq2Latex

Takes the given file names (without ".tex") and converts them into html.

copy() - Method in class com.meyling.principia.argument.AbstractArgumentAtom

copy() - Method in class com.meyling.principia.argument.Counter

copy() - Method in interface com.meyling.principia.argument.Argument

Returns an identical object (maybe "this").

copy() - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

copy() - Method in class com.meyling.principia.argument.PatternVariable

copy() - Method in class com.meyling.principia.argument.Text

copy() - Method in class com.meyling.principia.argument.AbstractArgumentList

COULD_NOT_BE_ADDED - Static variable in interface com.meyling.principia.module.ModuleConstants

COULD_NOT_BE_EMPTY - Static variable in interface com.meyling.principia.argument.ArgumentConstants

COULD_NOT_CREATE - Static variable in interface com.meyling.principia.argument.ArgumentConstants

Counter - class com.meyling.principia.argument.Counter.

An object of this class represents a non negative integer.

COUNTER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

COUNTER_OR_PATTERN - Static variable in interface com.meyling.principia.argument.ArgumentConstants

Counter(int) - Constructor for class com.meyling.principia.argument.Counter

Constructs a Number.

CounterMarker - interface com.meyling.principia.argument.CounterMarker.

An object of this class represents a number.

create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgument

create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgumentAtom

create(Argument[]) - Method in interface com.meyling.principia.argument.Argument

Create a new Argument with given arguments.

create(Argument[]) - Method in class com.meyling.principia.argument.AbstractDynamicArgumentList

create(Argument[]) - Method in class com.meyling.principia.argument.PatternVariable

create(Argument[]) - Method in class com.meyling.principia.argument.VariableList

create(Argument[]) - Method in class com.meyling.principia.argument.AbstractArgumentList

create(Argument[]) - Method in class com.meyling.principia.logic.basic.Equivalence

create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.PropositionVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.RegularArgumentList

create(Argument[]) - Method in class com.meyling.principia.logic.basic.UniversalQuantifier

create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicPatternVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.ExistentialQuantifier

create(Argument[]) - Method in class com.meyling.principia.logic.basic.Disjunction

create(Argument[]) - Method in class com.meyling.principia.logic.basic.Conjunction

create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.PredicateVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.Implication

create(Argument[]) - Method in class com.meyling.principia.logic.basic.Negation

create(Argument[]) - Method in class com.meyling.principia.logic.basic.SubjectVariable

create(Argument[]) - Method in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

create(Argument[]) - Method in class com.meyling.principia.logic.rule.LinkReference

create(Argument[]) - Method in class com.meyling.principia.logic.rule.UseAbbreviation

create(Argument[]) - Method in class com.meyling.principia.logic.rule.Particularization

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence

create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAddition

create(Argument[]) - Method in class com.meyling.principia.logic.rule.SubstLine

create(Argument[]) - Method in class com.meyling.principia.logic.rule.Generalization

create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ConjunctionRule

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReverseImplication

create(Argument[]) - Method in class com.meyling.principia.logic.rule.AddSentence

create(Argument[]) - Method in class com.meyling.principia.logic.rule.AddAxiom

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ApplySentence

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ModusPonens

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ApplyAxiom

create(Argument[]) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism

create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation

create(Argument[]) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication

create(Argument[]) - Method in class com.meyling.principia.logic.rule.LeftAddition

create(Argument[]) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Paragraph

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.LinkLabel

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.ProofLine

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.RuleDeclaration

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Axiom

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Proposition

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.ProofLineList

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Sentence

create(Argument[]) - Method in class com.meyling.principia.logic.paragraph.Abbreviation

create(Argument[]) - Method in class com.meyling.principia.module.Author

create(Argument[]) - Method in class com.meyling.principia.module.Email

create(Argument[]) - Method in class com.meyling.principia.module.Module

create(Argument[]) - Method in class com.meyling.principia.module.Description

create(Argument[]) - Method in class com.meyling.principia.module.ImportList

create(Argument[]) - Method in class com.meyling.principia.module.Location

create(Argument[]) - Method in class com.meyling.principia.module.Name

create(Argument[]) - Method in class com.meyling.principia.module.AuthorList

create(Argument[]) - Method in class com.meyling.principia.module.Version

create(Argument[]) - Method in class com.meyling.principia.module.Header

create(Argument[]) - Method in class com.meyling.principia.module.UsedbyList

create(Argument[]) - Method in class com.meyling.principia.module.LocationList

create(Argument[]) - Method in class com.meyling.principia.module.Import

create(Argument[]) - Method in class com.meyling.principia.module.Headline

create(Argument[]) - Method in class com.meyling.principia.module.Specification

create(Argument[]) - Method in class com.meyling.principia.module.ParagraphList

createArgument(Class, Argument[]) - Static method in class com.meyling.principia.argument.ArgumentCreator

Creates a new Argument.

createArgument(Class, Argument[]) - Static method in class com.meyling.principia.module.ModuleCreator

Creates a new Argument.

createLink(Module) - Method in class com.meyling.principia.html.Module2Html

Get link address for referenced module.

createLink(Module) - Method in class com.meyling.principia.latex.Module2Latex

Get link address for referenced module.

createLink(String) - Method in class com.meyling.principia.latex.Module2Latex

Get link address for referenced module.

createLink(String, String) - Method in class com.meyling.principia.latex.Module2Latex

Get link address for referenced module.

createPattern(Formula) - Static method in class com.meyling.principia.logic.basic.AbstractFormula

Replace the every occurence of a SubjectVariable by a BasicSubjectVariablePatternVariable, every PropositionVariable by a BasicFormulaPatternVariable and TODO not yet: every PredicateVariable by a BasicPredicateVariablePatternVariable.

createQedeqLink(Module) - Method in class com.meyling.principia.latex.Module2Latex

Get link address for referenced module.

createRelativeAddress(ModuleAddress) - Method in class com.meyling.principia.module.ModuleAddress

Create relative address from orgin to next.

createRelativeAddress(String, String) - Static method in class com.meyling.principia.module.ModuleAddress

Create relative address from orgin to next.