wpds.impl

Interface NestedWeightedPAutomatons<N extends Location,D extends State,W extends Weight>

All Known Implementing Classes:

SummaryNestedWeightedPAutomatons

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

Method Summary

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

Method Detail

putSummaryAutomaton

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

getSummaryAutomaton

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