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

import java.util.Set;

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


public class SentenceModelUtils {
    private SentenceModelUtils() {
    }

    public static boolean inSentenceFormGroup(GdlSentence sentence,
                                              Set forms) {
        for(SentenceForm form : forms)
            if(form.matches(sentence))
                return true;
        return false;
    }

}