package
ti.xdais.qualiti
index URL
The QualiTI XDAIS algorithm validation tool
XDCspec declarations
XDCspec
declarations
sourced in
ti/xdais/qualiti/package.xdc
requires
xdc.tools.sg
;
package
ti.xdais.qualiti
[1, 0, 0] {
interface
ITest
;
//
module
Compiler
;
//
module
Main
;
//
module
Rule12
;
//
module
Rule20
;
//
module
Rule25
;
//
module
Rules13_26
;
//
module
Rules21_22
;
//
module
Rules8_9_10
;
//
module
System
;
//
}
generated on Sun, 29 Aug 2010 18:57:20 GMT