org.ggp.base.util.gdl.model.assignments.Assignments 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.gdl.model.assignments;

import java.util.Map;

import org.ggp.base.util.gdl.grammar.GdlConstant;
import org.ggp.base.util.gdl.grammar.GdlVariable;


//TODO: Get rid of this class in some way...
//Or, just remake into AssignmentIterationPlan
public interface Assignments extends Iterable> {

    AssignmentIterator getIterator();

}