package ti.xdais.qualiti

The QualiTI XDAIS algorithm validation tool

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