|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of ParsingException in com.meyling.principia.argument |
Methods in com.meyling.principia.argument that throw ParsingException | |
static Argument |
ArgumentCreator.readArgument(TextInput input,
Map string2class,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
Uses of ParsingException in com.meyling.principia.html |
Methods in com.meyling.principia.html that throw ParsingException | |
void |
Module2Html.writeModule()
Convert a Module (referenced by module address
in constructor) into html. |
void |
Module2JHtml.writeModule()
Convert a Module (referenced by module address
in constructor) into html. |
void |
Module2OldHtml.writeModule()
Convert a Module (referenced by module address
in constructor) into html. |
Constructors in com.meyling.principia.html that throw ParsingException | |
Module2Html(String moduleAddress)
Constructor. |
|
Module2JHtml(ModuleAddress moduleAddress)
Constructor. |
|
Module2JHtml(String moduleAddress)
Constructor. |
|
Module2OldHtml(String moduleAddress)
Constructor. |
Uses of ParsingException in com.meyling.principia.latex |
Methods in com.meyling.principia.latex that throw ParsingException | |
void |
Module2Latex.writeModule()
Convert a Module (referenced by module address
in constructor) into html. |
Uses of ParsingException in com.meyling.principia.logic.basic |
Methods in com.meyling.principia.logic.basic that throw ParsingException | |
static Argument |
BasicCreator.readArgument(TextInput input,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
Uses of ParsingException in com.meyling.principia.logic.paragraph |
Methods in com.meyling.principia.logic.paragraph that throw ParsingException | |
static Argument |
ParagraphCreator.readArgument(TextInput input,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
Uses of ParsingException in com.meyling.principia.logic.rule |
Methods in com.meyling.principia.logic.rule that throw ParsingException | |
static Argument |
RuleCreator.readArgument(TextInput input,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
Uses of ParsingException in com.meyling.principia.module |
Methods in com.meyling.principia.module that throw ParsingException | |
void |
Module.check()
Verifies this module. |
Argument |
ModuleCreator.readArgument()
Create an Argument out of an TextInput object. |
static Argument |
SimpleModuleCreator.readArgument(TextInput input,
ParsingTable parsing)
Create an Argument out of an TextInput object. |
boolean |
ModuleContext.compress(String address)
Remove double and unused lines of all propositions of a module and save modified back in local generated directory. |
void |
ModuleContext.reduceToBasicRules(String address)
Reduce module file to module file that uses only basic rules. |
Module |
ModuleContext.loadModule(String address)
Get a certain module. |
Module |
ModuleContext.loadModule(ModuleAddress moduleAddress)
Get a certain module. |
Module |
ModuleContext.loadModule(Module module,
Specification spec)
Load a certain module. |
Constructors in com.meyling.principia.module that throw ParsingException | |
Module(Argument[] arguments,
ModuleAddress moduleAddress)
Constructs a module and verifies it. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |