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