Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class MakeCompressedModule

java.lang.Object
  extended bycom.meyling.principia.MakeCompressedModule

public class MakeCompressedModule
extends Object

This class compresses Principia Mathematica II qedeq modules..

Version:
$Revision: 1.9 $
Author:
Michael Meyling

Constructor Summary
MakeCompressedModule()
           
 
Method Summary
static void doIt(String[] args)
          Create compressed modules.
static void main(String[] args)
          Create compressed modules.
static void makeCompressedModule(String address)
          Create a rule reduced module.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MakeCompressedModule

public MakeCompressedModule()
Method Detail

main

public static void main(String[] args)
Create compressed modules.

Parameters:
args - addresses of modules and options

doIt

public static void doIt(String[] args)
Create compressed modules.

Parameters:
args - addresses of modules and options.

makeCompressedModule

public static final void makeCompressedModule(String address)
Create a rule reduced module.

Parameters:
address - address of module

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.