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

    public const char CharacterSymbol = '\'';
    public const char StringSymbol = '\"';
  }
}