org.ggp.base.util.gdl.grammar.GdlSentence Maven / Gradle / Ivy

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.

There is a newer version: 0.0.15

package org.ggp.base.util.gdl.grammar;

import java.util.List;

@SuppressWarnings("serial") //abstract
public abstract class GdlSentence extends GdlLiteral
{

    public abstract int arity();

    public abstract GdlTerm get(int index);

    public abstract GdlConstant getName();

    @Override
    public abstract boolean isGround();

    @Override
    public abstract String toString();

    public abstract GdlTerm toTerm();

    public abstract List getBody();

    public abstract GdlSentence withName(GdlConstant newName);

}