org.jscience.mathematics.axiomatic
Class ProofSystem

java.lang.Object
  org.jscience.mathematics.axiomatic.ProofSystem

public class ProofSystem
extends java.lang.Object

DOCUMENT ME!

Constructor Summary

ProofSystem(java.lang.String[] rawProofs)
Creates a new ProofSystem object.

Method Summary

void	analyze() DOCUMENT ME!

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProofSystem

public ProofSystem(java.lang.String[] rawProofs)

Creates a new ProofSystem object.

Parameters:

rawProofs - DOCUMENT ME!

Method Detail

analyze

public void analyze()

DOCUMENT ME!