001/* 002 * $Id: NotInvertibleException.java 4056 2012-07-26 17:44:13Z kredel $ 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}