eu.bandm.sig.semantics
Class Propagator

java.lang.Object
  eu.bandm.sig.semantics.Propagator

public class Propagator
extends Object

Constructor Summary

Propagator()

Method Summary

<A extends Absy> A

propagate(A a)

Methods inherited from class java.lang.Object

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

Constructor Detail

Propagator

public Propagator()

Method Detail

propagate

public <A extends Absy> A propagate(A a)