001/*
002 * $Id$
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}