iw.model.util
Class ProofHandler

java.lang.Object
  iw.model.util.ProofHandler

public class ProofHandler

extends java.lang.Object

Constructor Summary

ProofHandler()

Method Summary

static void

copy(java.lang.String _fromURI, java.lang.String _toURL, java.lang.String _path, int _steps)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofHandler

public ProofHandler()

Method Detail

copy

public static void copy(java.lang.String _fromURI,
                        java.lang.String _toURL,
                        java.lang.String _path,
                        int _steps)