package formulae.cltloc.visitor;

public enum ZotPlugin {

	AE2SBVZOT {
		public String toString() {
			return "ae2sbvzot";
		}
	},
	AE2ZOT {
		public String toString() {
			return "ae2zot";
		}
	},
	AE2SBVZOTB1 {
		public String toString() {
			return "ae2sbvzotb1";
		}
	},
	AE2SBVZOTB2 {
		public String toString() {
			return "ae2sbvzotb2";
		}
	},
	AE2SBVZOTB3 {
		public String toString() {
			return "ae2sbvzotb3";
		}
	};
}
