org.ggp.base.util.propnet.sancho.PolymorphicNot 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 Not implementations. Needed so that
 * instanceof PolymorphicNot can be used regardless of the concrete class
 * hierarchy produced by the factory
 */
public abstract interface PolymorphicNot extends PolymorphicComponent
{
  //  No actual differences from the base class
}