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