User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

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) ​
 +"​NONE",​ "​MIN"​ or "​MAX"​ should be passed for //​verbose//​.
verifier.txt ยท Last modified: 2014/05/30 11:49 (external edit)