And.java

package org.whole.lang.firstorderlogic.model;

/** 
 * @generator Whole
 */
public interface And extends IFirstOrderLogicEntity, Formula {
	public Formula getLeftFormula();

	public void setLeftFormula(Formula leftFormula);

	public Formula getRightFormula();

	public void setRightFormula(Formula rightFormula);
}