1 // BDDException.java, created Jan 29, 2003 9:50:57 PM by jwhaley
2 // Copyright (C) 2003 John Whaley
3 // Licensed under the terms of the GNU LGPL; see COPYING for details.
4 package net.sf.javabdd;
5
6 /***
7 * An exception caused by an invalid BDD operation.
8 *
9 * @author John Whaley
10 * @version $Id: BDDException.java 383 2005-04-29 06:43:31Z joewhaley $
11 */
12 public class BDDException extends RuntimeException {
13 /***
14 * Version ID for serialization.
15 */
16 private static final long serialVersionUID = 3761969363112243251L;
17
18 public BDDException() {
19 super();
20 }
21 public BDDException(String s) {
22 super(s);
23 }
24 }