Package daikon.inv.binary
-
Class Summary Class Description BinaryInvariant Provides a class that defines the functions that must exist for each two variable invariant.
Class | Description |
---|---|
BinaryInvariant |
Provides a class that defines the functions that must exist for each two variable invariant.
|