com.microsoft.z3.script.js Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of javasmt-solver-z3 Show documentation

SMT solver Z3 for use in JavaSMT

There is a newer version: 4.13.4

function show(type)
{
    count = 0;
    for (var key in methods) {
        var row = document.getElementById(key);
        if ((methods[key] &  type) != 0) {
            row.style.display = '';
            row.className = (count++ % 2) ? rowColor : altColor;
        }
        else
            row.style.display = 'none';
    }
    updateTabs(type);
}

function updateTabs(type)
{
    for (var value in tabs) {
        var sNode = document.getElementById(tabs[value][0]);
        var spanNode = sNode.firstChild;
        if (value == type) {
            sNode.className = activeTableTab;
            spanNode.innerHTML = tabs[value][1];
        }
        else {
            sNode.className = tableTab;
            spanNode.innerHTML = "" + tabs[value][1] + "";
        }
    }
}