package lambdaKit.model.util;

import lambdaKit.model.term.Term;

/*
 * The converter proposes several converters from literal to tree
 *  representations of a lambda term.
 * 
 * Example of classic representation : "λab.ab"
 * Example of De Brujn representation : "λ λ 2 1"
 */
public interface Converter {

	/*
	 * This converter takes a classic literal representation of a lambda term
	 * 	and returns a tree representation with De Brujn leaves.
	 */
	public Term convertClassicToTree(String expression);
	
	/*
	 * This converter takes a De Bruijn representation of a lambda term
	 * 	and returns a tree representation.
	 */
	public Term convertDeBruijnToTree(String expression);
}