org.ggp.base.util.ruleengine.RuleEngineState 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.ruleengine;

import java.util.Set;

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

public interface RuleEngineState> {
    /**
     * It is recommended that every state return the same Translator instance
     * when this is called, so that there is exactly one Translator per
     * originating RuleEngine. RuleEngine#toNativeState relies on this to
     * operate efficiently.
     */
    Translator getTranslator();

    //TODO: Fix the warning here; casting shouldn't be necessary, I think
    default Set toGdlState() {
        return getTranslator().getGdlState((State) this);
    }
}