PrimitiveFormulaType.java

package warnings;

public enum PrimitiveFormulaType {
	membership,relation,sat,unsat
}