public final class BlockConverter extends java.lang.Object
static java.util.Collection<ru.ispras.fortress.solver.constraint.Constraint>
convert(java.lang.String name, Block block)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static java.util.Collection<ru.ispras.fortress.solver.constraint.Constraint> convert(java.lang.String name, Block block)