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
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.assignments;
/**
* Implementations should be immutable.
*/
public interface NewAssignmentIterationPlan {
NewAssignmentIterator getIterator();
}