MakeCompressedModule (PMII - Principia Mathematica II)
Keywords: com.meyling.principia.MakeCompressedModule class

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## com.meyling.principia
Class MakeCompressedModule

    java.lang.Object
      com.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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

©left GNU General Public Licence All Rights Reserved.