Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class MakeReducedModule

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

public class MakeReducedModule
extends Object

This class reduces the rule version of Principia Mathematica II qedeq modules.

Version:
$Revision: 1.9 $
Author:
Michael Meyling

Constructor Summary
MakeReducedModule()
           
 
Method Summary
static void doIt(String[] args)
          Create reduced modules.
static void main(String[] args)
          Create reduced modules.
static void makeReducedModule(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

MakeReducedModule

public MakeReducedModule()
Method Detail

main

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

Parameters:
args - addresses of modules and options

doIt

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

Parameters:
args - addresses of modules and options.

makeReducedModule

public static final void makeReducedModule(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.