001/*
002 * $Id$
003 */
004
005package edu.jas.structure;
006
007
008/**
009 * NotInvertibleException class. Runtime Exception to be thrown for not
010 * invertible monoid elements.
011 * @author Heinz Kredel
012 */
013
014public 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}