sttl.spintc.main.start.rq Maven / Gradle / Ivy

Go to download

#
#
# Olivier Corby - Wimmics - INRIA I3S UNS CNRS - 2015
#
prefix tc: 

template st:start {
  us:boolean(st:apply-templates-with-all(st:spintcbody))
}
where {
}


function us:boolean(?x) {
    return (! contains(?x, "false"))
}