Lines Matching defs:empty
58 public static function empty() : EmptyPredictionContext
60 static $empty;
62 if ($empty === null) {
64 $empty = new EmptyPredictionContext();
65 $empty->id = 0;
68 return $empty;
73 * Return {@see PredictionContext::empty()} if `outerContext` is empty or null.
82 // is EMPTY. Nobody called us. (if we are empty, return empty)
84 return self::empty();
100 * This means only the {@see PredictionContext::empty()} (wildcard? not sure)
105 return $this === self::empty();
307 * {@see PredictionContext::empty()}. In the following diagrams, the symbol
308 * `$` is used to represent {@see PredictionContext::empty()}.
315 * {@see PredictionContext::empty()} is superset of any graph; return
316 * {@see PredictionContext::empty()}.
320 * {@see PredictionContext::empty()} and anything is `#EMPTY`, so merged parent is
334 * Must keep all contexts; {@see PredictionContext::empty()} in array is
347 if ($a === self::empty()) {
348 return self::empty();// // + b =//
351 if ($b === self::empty()) {
352 return self::empty();// a +// =//
355 if ($a === self::empty() && $b === self::empty()) {
356 return self::empty();// $ + $ = $
359 if ($a === self::empty()) {
367 if ($b === self::empty()) {
620 $updated = self::empty();