This shows you the differences between two versions of the page.
verifier [2014/05/30 11:49] |
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) | ||
+ | </ | ||
+ | |||
+ | " |