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

import java.util.List;

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

/**
 * This is a subcomponent of a ComplexAssignmentIterationPlan.
 */
public interface AssignmentStrategy {
    public static final int NO_INDEX_REJECTED = -1;
    //Takes input variables
    //TODO: Consider making these lists or even arrays instead
    List getDependentIndices();
    List getDefinedIndices();

    //Results should be sorted in odometer order? Or sorted by receiver?
    List> getPartialAssignments(List inputs);
    //Last method returns empty list? Try this
    int getRejectedIndex(List inputs);
}