namespace HeuristicLab.Problems.ProgramSynthesis.Push.Constants {
  public static class PushEnvironment {
    public const char VectorStartSymbol = '[';
    public const string VectorStartSymbolStr = "[";
    public const char VectorEndSymbol = ']';
    public const string VectorEndSymbolStr = "]";
    public const char VectorSeparatorSymbol = ' ';
    public const string VectorSeparatorSymbolStr = " ";

    public const char ProgramStartSymbol = '(';
    public const string ProgramStartSymbolStr = "(";
    public const char ProgramEndSymbol = ')';
    public const string ProgramEndSymbolStr = ")";

    public const char CharSymbol = '\'';
    public const char StringSymbol = '\"';
    public const string CharSymbolStr = "'";
    public const string StringSymbolStr = "\"";
    public const string NewLine = "\n";
  }
}