util.function
Class HullNullify

java.lang.Object
  |
  +--util.function.HullNullify

All Implemented Interfaces:

Function, Hull

public final class HullNullify

extends java.lang.Object

implements Hull

Berechnet die Hülle aller nullierbaren Metazeichen. Das sind alle die Zeichen, die in Regeln der Form m -> w vorkommen, wenn w nur nullierbare Symbole enthält.

Quelltext

Constructor Summary

HullNullify(Rules R)
Erzeugt einen neuen Hüllenoperator für die gegebene Regelmenge.

Method Summary

OList

hull(OList L) Die listenerzeugende Methode.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HullNullify

public HullNullify(Rules R)

Erzeugt einen neuen Hüllenoperator für die gegebene Regelmenge.

Method Detail

hull

public OList hull(OList L)

Description copied from interface: Hull

Die listenerzeugende Methode. Wird bei der Berechnung einer Hülle solange aufgerufen, bis sich die erzeugte Liste nicht mehr von der übergebenen unterscheidet.

Specified by:

hull in interface Hull

Following copied from interface: function.Hull

Parameters:

L - Ausgangsliste, über der die Folgeliste erzeugt werden soll.