ForwardDFSVisitor (WPDS 2.5.1 API)

public class ForwardDFSVisitor<N extends Location,D extends State,W extends Weight>
extends Object
implements WPAUpdateListener<N,D,W>

Fields
Modifier and Type	Field and Description
`protected WeightedPAutomaton<N,D,W>`	`aut`

Constructors
Constructor and Description
`ForwardDFSVisitor(WeightedPAutomaton<N,D,W> aut)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected boolean`	`continueWith(Transition<N,D> t)`
`boolean`	`equals(Object obj)`
`int`	`hashCode()`
`void`	`onWeightAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> aut)`
`void`	`registerListener(D state, ReachabilityListener<N,D> l)`

protected WeightedPAutomaton<N extends Location,D extends State,W extends Weight> aut

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

public void registerListener(D state,
                             ReachabilityListener<N,D> l)

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

public void onWeightAdded(Transition<N,D> t,
                          W w,
                          WeightedPAutomaton<N,D,W> aut)

Specified by:: onWeightAdded in interface WPAUpdateListener<N extends Location,D extends State,W extends Weight>

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