iw.model.util
Class ProofHandler

java.lang.Object
  extended byiw.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)


Copyright 2006 Inference Web group, All Rights Reserved.