package org.whole.lang.firstorderlogic.model; /** * @generator Whole */ public interface PredicateType extends IFirstOrderLogicEntity, Type { public Parameters getParameters(); public void setParameters(Parameters parameters); }