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

L

label - Variable in class com.meyling.principia.logic.paragraph.Paragraph

the paragraph could be referenced by this label

label - Variable in class com.meyling.principia.logic.paragraph.LinkLabel

label

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.

labels - Variable in class com.meyling.principia.module.Module

maps labels to module objects

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

left - Variable in class com.meyling.principia.logic.paragraph.Abbreviation

"left" side of abbreviation

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.

line - Variable in class com.meyling.principia.io.ParsingException

problematic line

line - Variable in class com.meyling.principia.io.Input

current line

line - Variable in class com.meyling.principia.io.TextFileReader

last read line

lineNumber - Variable in class com.meyling.principia.io.TextInput

current line number (starting with 0)

lineNumber - Variable in class com.meyling.principia.io.Input

current line number

lineNumber - Variable in class com.meyling.principia.io.TextFileReader

line counter

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.

list - Variable in class com.meyling.principia.argument.FoundException

parent children list

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.

localAddress - Variable in class com.meyling.principia.io.TextInput

local address of input, for identifing address

localBuffer - Static variable in class com.meyling.principia.module.ModuleAddress

location for locally buffered module files

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.

logLevel - Static variable in class com.meyling.principia.module.ModuleContext

current logging level: 0 = no logging, 1 = elementary events, 2 = more events