util.function
Class HullReachable

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

All Implemented Interfaces:

Function, Hull

public final class HullReachable

extends java.lang.Object

implements Hull

Ermittelt zu einem Alphabet und einer Regelmenge die von den Zeichen aus dem Alphabet erreichbaren Zeichen.

Quelltext

Constructor Summary

HullReachable(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

HullReachable

public HullReachable(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.