org.ggp.base.util.ruleengine.RuleEngineMove Maven / Gradle / Ivy

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.

There is a newer version: 0.0.15

package org.ggp.base.util.ruleengine;

public interface RuleEngineMove {
    /**
     * Move types should implement hashCode so they can be put in sets and maps
     * and deduplicated safely.
     */
    @Override
    public int hashCode();
    /**
     * Move types should implement hashCode so they can be put in sets and maps
     * and deduplicated safely.
     */
    @Override
    public boolean equals(Object obj);
}