Interface UpdatablePropagator<W>

  • All Known Implementing Classes:
    PropLexInt, PropMember, PropNotMember

    public interface UpdatablePropagator<W>
    A specific interface propagator to enable, under certain conditions, to update some of their internal structure.
    Since:
    04/12/2020
    Author:
    Charles Prud'homme
    • Method Detail

      • update

        void update​(W value,
                    boolean thenForcePropagate)
        Update class with the new value v.
        Parameters:
        value - a new value
        thenForcePropagate - force propagation after updating the propagator
      • getUpdatedValue

        W getUpdatedValue()
        Returns:
        the current value of the updatable field.