001    /*
002     * $Id: NotInvertibleException.java 1663 2008-02-05 17:32:07Z kredel $
003     */
004    
005    package edu.jas.structure;
006    
007    
008    /**
009     * NotInvertibleException class.
010     * Runtime Exception to be thrown for not invertible monoid elements.
011     * @author Heinz Kredel
012     */
013    
014    public class NotInvertibleException extends RuntimeException {
015    
016    
017        public NotInvertibleException() {
018         super("NotInvertibleException");
019        }
020    
021    
022        public NotInvertibleException(String c) {
023         super(c);
024        }
025    
026    
027        public NotInvertibleException(String c, Throwable t) {
028         super(c,t);
029        }
030    
031    
032        public NotInvertibleException(Throwable t) {
033         super("NotInvertibleException",t);
034        }
035    
036    }