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