// Path: src/main/java/jhilbert/JHilbertException.java
// public class JHilbertException extends Exception {
// 
// 	/**
// 	 * Constructs a new <code>JhilbertException</code> with the specified
// 	 * detail message.
// 	 *
// 	 * @param message the detail message.
// 	 */
// 	public JHilbertException(final String message) {
// 		this(message, null);
// 	}
// 
// 	/**
// 	 * Constructs a new <code>JhilbertException</code> with the specified
// 	 * detail message and cause.
// 	 *
// 	 * @param message the detail message.
// 	 * @param cause the cause. (A <code>null</code> value is permitted, and
// 	 * 	indicates that the cause is nonexistent or unknown.)
// 	 */
// 	public JHilbertException(final String message, final Throwable cause) {
// 		super(message, cause);
// 	}
// 
// }


import jhilbert.JHilbertException;
/*
    JHilbert, a verifier for collaborative theorem proving

    Copyright © 2008, 2009, 2011 The JHilbert Authors
      See the AUTHORS file for the list of JHilbert authors.
      See the commit logs ("git log") for a list of individual contributions.

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.

    You may contact the author on this Wiki page:
    http://www.wikiproofs.de/w/index.php?title=User_talk:GrafZahl
*/

package jhilbert.verifier;


/**
 * Thrown when a proof fails to verify.
 */
public class VerifyException extends JHilbertException {

	/**
	 * Creates a new <code>VerifyException</code> with the specified detail
	 * message.
	 *
	 * @param message detail message.
	 */
	public VerifyException(final String message) {
		this(message, null);
	}

	/**
	 * Creates a new <code>VerifyException</code> with the specified detail
	 * message and cause.
	 *
	 * @param message detail message.
	 * @param cause the cause.
	 */
	public VerifyException(final String message, final Throwable cause) {
// Path: src/main/java/jhilbert/JHilbertException.java
// public class JHilbertException extends Exception {
// 
// 	/**
// 	 * Constructs a new <code>JhilbertException</code> with the specified
// 	 * detail message.
// 	 *
// 	 * @param message the detail message.
// 	 */
// 	public JHilbertException(final String message) {
// 		this(message, null);
// 	}
// 
// 	/**
// 	 * Constructs a new <code>JhilbertException</code> with the specified
// 	 * detail message and cause.
// 	 *
// 	 * @param message the detail message.
// 	 * @param cause the cause. (A <code>null</code> value is permitted, and
// 	 * 	indicates that the cause is nonexistent or unknown.)
// 	 */
// 	public JHilbertException(final String message, final Throwable cause) {
// 		super(message, cause);
// 	}
// 
// }


// Path: src/main/java/jhilbert/verifier/VerifyException.java
import jhilbert.JHilbertException;

/*
    JHilbert, a verifier for collaborative theorem proving

    Copyright © 2008, 2009, 2011 The JHilbert Authors
      See the AUTHORS file for the list of JHilbert authors.
      See the commit logs ("git log") for a list of individual contributions.

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.

    You may contact the author on this Wiki page:
    http://www.wikiproofs.de/w/index.php?title=User_talk:GrafZahl
*/

package jhilbert.verifier;


/**
 * Thrown when a proof fails to verify.
 */
public class VerifyException extends JHilbertException {

	/**
	 * Creates a new <code>VerifyException</code> with the specified detail
	 * message.
	 *
	 * @param message detail message.
	 */
	public VerifyException(final String message) {
		this(message, null);
	}

	/**
	 * Creates a new <code>VerifyException</code> with the specified detail
	 * message and cause.
	 *
	 * @param message detail message.
	 * @param cause the cause.
	 */
	public VerifyException(final String message, final Throwable cause) {
		super(message, cause);