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

public final class GdlConstant extends GdlTerm
{
    private static final long serialVersionUID = 1L;

    private final String value;

    GdlConstant(String value)
    {
        this.value = value.intern();
    }

    public String getValue()
    {
        return value;
    }

    @Override
    public boolean isGround()
    {
        return true;
    }

    @Override
    public GdlSentence toSentence()
    {
        return GdlPool.getProposition(this);
    }

    @Override
    public String toString()
    {
        return value;
    }

}