org.ggp.base.util.gdl.grammar.GdlTerm 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.grammar;

import org.ggp.base.util.ruleengine.RuleEngineMove;

@SuppressWarnings("serial") //abstract
public abstract class GdlTerm extends Gdl implements RuleEngineMove
{

    @Override
    public abstract boolean isGround();

    public abstract GdlSentence toSentence();

    @Override
    public abstract String toString();

}