org.ggp.base.util.propnet.sancho.BidirectionalPropagationComponent Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.propnet.sancho;

public abstract class BidirectionalPropagationComponent implements
                                                       PolymorphicComponent
{

  public abstract boolean isDirty();

  public abstract void setDirty(boolean from,
                                BidirectionalPropagationComponent source);

  public abstract void reset(boolean disable);

  /**
   * Calculates the value of the Component.
   *
   * @return The value of the Component.
   */
  protected abstract boolean getValueInternal();
}