org.ggp.base.util.gdl.scrambler.GdlScrambler 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
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.scrambler;
import org.ggp.base.util.gdl.factory.exceptions.GdlFormatException;
import org.ggp.base.util.gdl.grammar.Gdl;
import org.ggp.base.util.symbol.factory.exceptions.SymbolFormatException;
public interface GdlScrambler {
public String scramble(Gdl x);
public Gdl unscramble(String x) throws SymbolFormatException, GdlFormatException;
public boolean scrambles();
}