ru.ispras.fortress.logic

Enum NormalForm.Type