util.function
Class HullProductive

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

All Implemented Interfaces:

Function, Hull

public final class HullProductive

extends java.lang.Object

implements Hull

Berechnet die Hülle aller produktiven Regeln.

Quelltext

Constructor Summary

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

HullProductive

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