Home
last modified time | relevance | path

Searched refs:findNestedRow (Results 1 – 1 of 1) sorted by relevance

/plugin/diagramsnet/lib/math/extensions/a11y/
H A Dmathjax-sre.js371 … c};sre.SemanticProcessor.prototype.getLabel=function(a,b,c,d){a=this.findNestedRow(b,"prooflabel"…
372 sre.SemanticProcessor.prototype.getFormulas=function(a,b,c){b=b.length?this.findNestedRow(b,"infere…
373 …s[0];return{conclusion:c,premises:d}};sre.SemanticProcessor.prototype.findNestedRow=function(a,b,c… method in sre.SemanticProcessor