package org.singinst.uf.model; import java.util.List; public class MooreConstraint extends NormalConstraint { public MooreConstraint(List scalarSchemata) { super(scalarSchemata, 8); } }