plugin/huzplugin.js
// Returns a string of formatted html
Returns a string of formatted html
Returns a string of formatted html
function formatTooltip(d, node=true) {
    if (node) {
        if (d.data.heuristic_value === undefined)
            d.data.heuristic_value = '??';
        return "h="+d.data.heuristic_value;
    } else {
        return infix(d.data.precondition).toLowerCase();
    }
}
function formatTooltip ( d , node = true ) { if ( node ) { if ( d . data . heuristic_value === undefined ) d . data . heuristic_value = '??' ; return "h=" + d . data . heuristic_value ; } else { return infix ( d . data . precondition ) . toLowerCase ( ) ; } }
Returns a string of formatted html
Returns a string of formatted html
// console.log(infix(d.data.precondition).toLowerCase());