package de.dhbwstuttgart.exceptions;


/**
 * Eine Runtime Exception, die für den Fall genutzt wird, dass eine Unifikation abgebrochen wird.
 * Durch das Werfen einer Exception können Abbrüche auch aus Methodenaufrufen heraus
 * geprüft werden, da zuvor nur ein return X; stattfinden würde.
 */
public class UnifyCancelException extends RuntimeException {

}
