User Tools

Site Tools


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)