Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W

L

LABEL_ALREADY_EXISTS - Static variable in interface com.meyling.principia.module.ModuleConstants
 
LABEL_ALREADY_EXISTS_IN - Static variable in interface com.meyling.principia.module.ModuleConstants
 
LAST_LINE_NOT_EQUAL_WITH_EXPECTED - Static variable in interface com.meyling.principia.module.ModuleConstants
 
LAST_PART_FIRST_PART_NOT_EQUAL - Static variable in interface com.meyling.principia.logic.rule.RuleConstants
 
Labeled - interface com.meyling.principia.module.Labeled.
Every labeled thing must implement this interface.
Latex2Html - class com.meyling.principia.html.Latex2Html.
This class provides static methods for converting latex into html.
Latex2Html(TextInput, Output) - Constructor for class com.meyling.principia.html.Latex2Html
Constructor that does it all.
Latex2OldHtml - class com.meyling.principia.html.Latex2OldHtml.
This class provides static methods for converting latex into html.
Latex2OldHtml(TextInput, Output) - Constructor for class com.meyling.principia.html.Latex2OldHtml
Constructor that does it all.
LeftAddition - class com.meyling.principia.logic.rule.LeftAddition.
Implemention of "addition" on the left side.
LeftAddition(Argument[]) - Constructor for class com.meyling.principia.logic.rule.LeftAddition
Constructs a left addition rule.
LeftAdditionConjunction - class com.meyling.principia.logic.rule.LeftAdditionConjunction.
Implemention of "addition" of an conjunction on the left side.
LeftAdditionConjunction(Argument[]) - Constructor for class com.meyling.principia.logic.rule.LeftAdditionConjunction
Constructs a left conjunction addition rule.
LeftAdditionEquivalence - class com.meyling.principia.logic.rule.LeftAdditionEquivalence.
Implemention of "addition" of an equivalence on the left side.
LeftAdditionEquivalence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.LeftAdditionEquivalence
Constructs a left implication addition rule.
LeftAdditionImplication - class com.meyling.principia.logic.rule.LeftAdditionImplication.
Implemention of "addition" of an implication on the left side.
LeftAdditionImplication(Argument[]) - Constructor for class com.meyling.principia.logic.rule.LeftAdditionImplication
Constructs a left implication addition rule.
LinkLabel - class com.meyling.principia.logic.paragraph.LinkLabel.
A reference label.
LinkLabel(Argument[]) - Constructor for class com.meyling.principia.logic.paragraph.LinkLabel
Constructs a reference label.
LinkReference - class com.meyling.principia.logic.rule.LinkReference.
A reference label.
LinkReference(Argument[]) - Constructor for class com.meyling.principia.logic.rule.LinkReference
Constructs a reference label.
Location - class com.meyling.principia.module.Location.
Describes the "physical" location of a module for example a directory.
Location(Argument[]) - Constructor for class com.meyling.principia.module.Location
Constructs a location description for a module.
LocationList - class com.meyling.principia.module.LocationList.
List of locations where a module could be found.
LocationList(Argument[]) - Constructor for class com.meyling.principia.module.LocationList
Constructs a list of locations.
LogicalOperatorWithTwoFormulas - class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas.
LogicalOperatorWithTwoFormulas of formulas.
LogicalOperatorWithTwoFormulas(Argument[]) - Constructor for class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
Constructs a new formula out of two given ones.
LogicalOperatorWithTwoFormulas(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas
Constructs a new formula out of two given ones.
loadAllModulesFromQedeq() - Method in class com.meyling.principia.module.ModuleContext
 
loadFile(String) - Static method in class com.meyling.principia.io.Utility
Reads a file and returns the contents as a String.
loadFile(String, StringBuffer) - Static method in class com.meyling.principia.io.Utility
Reads contents of a file into a string buffer.
loadFile(File, StringBuffer) - Static method in class com.meyling.principia.io.Utility
Reads contents of a file into a string buffer.
loadModule(String) - Method in class com.meyling.principia.module.ModuleContext
Get a certain module.
loadModule(ModuleAddress) - Method in class com.meyling.principia.module.ModuleContext
Get a certain module.
loadModule(Module, Specification) - Method in class com.meyling.principia.module.ModuleContext
Load a certain module.
loadPreviouslyCheckedModules() - Method in class com.meyling.principia.module.ModuleContext
 
loadStream(InputStream, StringBuffer) - Static method in class com.meyling.principia.io.Utility
Reads contents of a stream into a string buffer.

Hilbert II - JAVA-Packages - Principia Mathematica II
A B C D E F G H I L M N O P Q R S T U V W
©left GNU General Public Licence
All Rights Reserved.