import java.applet.Applet;
import java.awt.*;
import java.awt.event.*;
import java.applet.*;
import java.awt.geom.*;
import java.math.*;

/**This is an auxilliary file for tests for the PET*/


public class ComputeProof implements Runnable {
    int CHOICE;
    boolean HALT;
    Manager M;

    public ComputeProof() {}

    public ComputeProof(Manager MM) {
	M=MM;
	CHOICE=M.C.EXACT.mode;
    }

    public void run() {	
	if(CHOICE==0) ProofPartition.main(M);
	if(CHOICE==1) ProofCalc1.main(M);
	if(CHOICE==2) ProofCalc2.main(M);
	if(CHOICE==3) ProofCalc3.main(M);
	if(CHOICE==4) ProofCalc4.main(M);  
	if(CHOICE==5) ProofCalc5.main(M);   
	if(CHOICE==6) ProofCalc6.main(M);    
	if(CHOICE==7) ProofCalc7.main(M);  
	if(CHOICE==8) ProofCalc8.main(M);  

    }
}