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