public class WeightedTransition extends Transition
WeightedTransition(Object from, Object to, double weight)
double
getWeight()
equals, getFrom, getTo, hashCode, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public WeightedTransition(Object from, Object to, double weight)
public double getWeight()
Copyright © 2011–2014 Volker Bergmann. All rights reserved.