verifier
Differences
This shows you the differences between two versions of the page.
| — |
verifier [2014/05/30 11:49] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== Verifier ====== | ||
| + | Given an affine system and a target mapping. The verifier checks the legality of mapping. | ||
| + | ===== Usage ===== | ||
| + | < | ||
| + | public VerifyTargetMapping(Program program, String system, String verbose) | ||
| + | </ | ||
| + | |||
| + | " | ||
verifier.txt ยท Last modified: 2014/05/30 11:49 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
