de.tla2b.exceptions.TLA2BException Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of tla2bAST Show documentation
Show all versions of tla2bAST Show documentation
Translator from TLA+ to ProB's AST representation.
The newest version!
package de.tla2b.exceptions;
public abstract class TLA2BException extends Exception {
public TLA2BException(String e) {
super(e);
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy