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 Mon, 20 Sep 2010 23:50:10 GMT