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