/**
 *	Class Atom that represent a atom in the labdaterme
 *	This class is a leaf of the term composit 
 * @author Joshua Peschke
 * @author Nico Braunisch  
 * @version 1.0
 */
package org.jalgo.module.lambda.model;

public enum EAvailability {
	
	AVAILABLE, NOTAVAILABLE, ALPHANEEDED

}
