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

import java.util.Iterator;
import java.util.Map;
import java.util.Set;

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

public interface NewAssignmentIterator extends Iterator> {

    void skipForward(Set unsatisfiableLiterals,
            Map assignment);

}