Home
last modified time | relevance | path

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

/plugin/findologicxmlexport/vendor/hoa/compiler/Test/Unit/Llk/Rule/
DToken.php69 $unification = 0
71 ->when($result = new SUT($name, $tokenName, $nodeId, $unification))
80 ->isEqualTo($unification)
92 $unification = 0,
95 ->when($result = new SUT($name, $tokenName, $nodeId, $unification, $kept))
104 ->isEqualTo($unification)
116 $unification = 0,
117 $token = new SUT($name, $tokenName, $nodeId, $unification)
132 $unification = 0,
134 $token = new SUT($name, $tokenName, $nodeId, $unification)
[all …]
/plugin/findologicxmlexport/vendor/hoa/compiler/Llk/Rule/
DToken.php116 * @param int $unification Unification index.
123 $unification, argument
129 $this->_unification = $unification;
/plugin/findologicxmlexport/vendor/hoa/compiler/Llk/
DLlk.pp65 %token unification [0-9]+
82 | ::skipped:: <token> ( ::unification_:: <unification> ::_unification:: )?
84 | ::kept_:: <token> ( ::unification_:: <unification> ::_unification:: )?
DParser.php298 if (0 <= $unification = $zeRule->getUnificationIndex()) {
320 $unification === $trace->getUnificationIndex() &&
/plugin/findologicxmlexport/vendor/hoa/compiler/
DCHANGELOG.md141 * Fix a bug in the unification. (Ivan Enderlin, 2014-11-11T15:11:18+01:00)
DREADME.md157 is the unification of XML tags name.
/plugin/ckgdoku/ckeditor/
DCHANGES.md1162 * [#10191](http://dev.ckeditor.com/ticket/10191): Fixed allowed content rules unification, so the […
/plugin/ckgedit/ckeditor/
DCHANGES.md1582 * [#10191](https://dev.ckeditor.com/ticket/10191): Fixed allowed content rules unification, so the …
/plugin/jmol2/jmol/
DCHANGES.txt2049 # code: simplification/unification of statement length checking AFTER allowing for variable substit…