wpds.interfaces

Class ForwardDFSEpsilonVisitor<N extends Location,D extends State,W extends Weight>

java.lang.Object

wpds.interfaces.ForwardDFSVisitor<N,D,W>

wpds.interfaces.ForwardDFSEpsilonVisitor<N,D,W>

All Implemented Interfaces:

WPAUpdateListener<N,D,W>

public class ForwardDFSEpsilonVisitor<N extends Location,D extends State,W extends Weight>
extends ForwardDFSVisitor<N,D,W>

Field Summary

Fields inherited from class wpds.interfaces.ForwardDFSVisitor

aut

Constructor Summary

Constructors

Constructor and Description
ForwardDFSEpsilonVisitor(WeightedPAutomaton<N,D,W> aut)

Method Summary

Modifier and Type	Method and Description
protected boolean	continueWith(Transition<N,D> t)

Methods inherited from class wpds.interfaces.ForwardDFSVisitor

equals, hashCode, onWeightAdded, registerListener

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardDFSEpsilonVisitor

public ForwardDFSEpsilonVisitor(WeightedPAutomaton<N,D,W> aut)

Method Detail

continueWith

protected boolean continueWith(Transition<N,D> t)

Overrides:

continueWith in class ForwardDFSVisitor<N extends Location,D extends State,W extends Weight>