PMII - JAVA-Packages - Principia Mathematica II

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.2 $
Author:
Michael Meyling

Constructor Summary
MakeCompressedModule()
           
 
Method Summary
static void main(String[] args)
          Create reduced 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 reduced 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

PMII - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.