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