Not.java

package org.whole.lang.firstorderlogic.model;

/** 
 * @generator Whole
 */
public interface Not extends IFirstOrderLogicEntity, Formula {
	public Formula getFormula();

	public void setFormula(Formula formula);
}