public class MetaConform extends Constraints
Constructor and Description |
---|
MetaConform() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String... args) |
cycleCheck, findBad, iftest, implies, isLegit, isLegit, isUnique, makeCycleTable, UniqueId