org.ggp.base.util.assignments.NewAssignmentIterationPlan 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.

There is a newer version: 0.0.15

package org.ggp.base.util.assignments;

/**
 * Implementations should be immutable.
 */
public interface NewAssignmentIterationPlan {

    NewAssignmentIterator getIterator();
}