de.tla2b.exceptions.UnificationException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tla2bAST Show documentation

Translator from TLA+ to ProB's AST representation.

There is a newer version: 1.4.0

/**
 * @author Dominik Hansen 
 **/

package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class UnificationException extends TLA2BException{

	public UnificationException() {
		super(null);
	}
}