org.ggp.base.util.statemachine.sancho.SanchoRuleEngineFactory 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.statemachine.sancho;

import java.util.List;

import org.ggp.base.util.gdl.grammar.Gdl;
import org.ggp.base.util.ruleengine.RuleEngineFactory;

public class SanchoRuleEngineFactory implements RuleEngineFactory {
    public static final String VERSION = "2017.08.13";
    public static final SanchoRuleEngineFactory INSTANCE = new SanchoRuleEngineFactory();
    private SanchoRuleEngineFactory() {
        // Singleton
    }

    @Override
    public ForwardDeadReckonPropnetRuleEngine buildEngineForRules(List rules) {
        ForwardDeadReckonPropnetRuleEngine engine =
                new ForwardDeadReckonPropnetRuleEngine();
        engine.initialize(rules);
        engine.enableGreedyRollouts(false, true);

        engine.optimizeStateTransitionMechanism(System.currentTimeMillis()+5000);

        return engine;
    }
}