PMII - 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
 
Labeled - interface com.meyling.principia.module.Labeled.
Every labeled thing must implement this interface.
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
 
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.
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.
loadFile(File, StringBuffer) - Static method in class com.meyling.principia.io.Utility
Reads contents of a file into a string buffer.
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.
loadLocalModule(ModuleAddress) - Static method in class com.meyling.principia.module.ModuleContext
Load a module.
loadModule(ModuleAddress) - Static method in class com.meyling.principia.module.ModuleContext
Get a certain module.
loadModule(Module, Specification) - Static method in class com.meyling.principia.module.ModuleContext
Load a certain module.
loadModule(String) - Static method in class com.meyling.principia.module.ModuleContext
Get a certain module.
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.
log(int, Object) - Static method in class com.meyling.principia.module.ModuleContext
Log message object with certain level to System.out: 1 = elementary events, 2 = more events.
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.

PMII - 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.