Module net.automatalib.util

Package net.automatalib.util.automaton.vpa

Class SPAConverter.Node<AI,CI>

java.lang.Object

net.automatalib.util.automaton.vpa.SPAConverter.Node<AI,CI>

Enclosing class:

SPAConverter

public static class SPAConverter.Node<AI,CI>
extends Object

Method Summary

Modifier and Type	Method	Description
CI	getLabel()
Word<AI>	getPrefix()
Word<AI>	getSuffix()
boolean	isLeaf()
SPAConverter.Node<AI,CI>	sift(Word<AI> w, Predicate<Word<AI>> oracle)

Methods inherited from class java.lang.Object

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

Method Details

getLabel

public CI getLabel()

getPrefix

public Word<AI> getPrefix()

getSuffix

public Word<AI> getSuffix()

isLeaf

public boolean isLeaf()

sift

public SPAConverter.Node<AI,CI> sift(Word<AI> w,
 Predicate<Word<AI>> oracle)