public class ClassConform extends Constraints
| Constructor and Description |
|---|
ClassConform() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String... args)
conformance program for Violet .vpl.pl databases
|
cycleCheck, findBad, iftest, implies, isLegit, isLegit, isUnique, makeCycleTable, UniqueId