public final class BlockConverter
extends java.lang.Object
public static java.util.Collection<ru.ispras.fortress.solver.constraint.Constraint> convert(java.lang.String name,
Block block)