verifier
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)
Except where otherwise noted, content on this wiki is licensed under the following license: Public Domain
