Exp2StmVarPrefixes.java

package org.overture.codegen.trans;

public class Exp2StmVarPrefixes
{
	public String ternaryIfExp()
	{
		return "ternaryIfExp_";
	}

	public String casesExp()
	{
		return "casesExpResult_";
	}

	public String andExp()
	{
		return "andResult_";
	}

	public String orExp()
	{
		return "orResult_";
	}

	public String recModExp()
	{
		return "recModifierExp_";
	}

	public String seqComp()
	{
		return "seqCompResult_";
	}

	public String setComp()
	{
		return "setCompResult_";
	}

	public String mapComp()
	{
		return "mapCompResult_";
	}

	public String letBeSt()
	{
		return "letBeStExp_";
	}

	public String forAll()
	{
		return "forAllExpResult_";
	}

	public String exists()
	{
		return "existsExpResult_";
	}

	public String exists1()
	{
		return "exists1Counter_";
	}
}