Class BlockConverter
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.coverage.BlockConverter
-
public final class BlockConverter extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.util.Collection<ru.ispras.fortress.solver.constraint.Constraint>
convert(java.lang.String name, ru.ispras.microtesk.translator.nml.coverage.Block block)
-