package warnings;
public enum FormulaType{negation,and,or,primitive}