wpds.impl

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

java.lang.Object

wpds.impl.SummaryNestedWeightedPAutomatons<N,D,W>

All Implemented Interfaces:

NestedWeightedPAutomatons<N,D,W>

public class SummaryNestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight>
extends Object
implements NestedWeightedPAutomatons<N,D,W>

Constructor Summary

Constructors

Constructor and Description
SummaryNestedWeightedPAutomatons()

Method Summary

Modifier and Type	Method and Description
WeightedPAutomaton<N,D,W>	getSummaryAutomaton(D target)
void	putSummaryAutomaton(D target, WeightedPAutomaton<N,D,W> aut)

Methods inherited from class java.lang.Object

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

Constructor Detail

SummaryNestedWeightedPAutomatons

public SummaryNestedWeightedPAutomatons()

Method Detail

putSummaryAutomaton

public void putSummaryAutomaton(D target,
                                WeightedPAutomaton<N,D,W> aut)

Specified by:

putSummaryAutomaton in interface NestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight>

getSummaryAutomaton

public WeightedPAutomaton<N,D,W> getSummaryAutomaton(D target)

Specified by:

getSummaryAutomaton in interface NestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight>