/**
 * Essa classe fornece um caminho de pegar expressoes em Circus
 * utilizando a atual AST provida pela CZT e passar a estrutura 
 * correspondente para expressoes em B.
 * @author alessandro87
 *
 */


	/* Mapeamento de Expressoes Circus // Termo na estrutura B*/
	public abstract Expression visit (Expr term); // Expression
	
	
	public abstract Expression visit (RefExpr term);
	public abstract Expression visit (NumExpr term);
	public abstract Expression visit (ApplExpr term);