org.ggp.base.util.propnet.sancho.PolymorphicAnd 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;


/**
 * @author steve
 * Base class for all non-abstract And implementations. Needed so that
 * instanceof PolymorphicAnd can be used regardless of the concrete class
 * hierarchy produced by the factory
 */
public abstract interface PolymorphicAnd extends PolymorphicComponent
{
  //  No actual differences from the base class
}