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