Class Configuration


  • public class Configuration
    extends Object
    Configures the performance optimizations for the translator.
    • Constructor Detail

      • Configuration

        public Configuration()
    • Method Detail

      • isOptimizedNegations

        @Pure
        public boolean isOptimizedNegations()
      • setOptimizedNegations

        public void setOptimizedNegations​(boolean optimizedNegations)
      • isShorterAssignments

        @Pure
        public boolean isShorterAssignments()
      • setShorterAssignments

        public void setShorterAssignments​(boolean shorterAssignments)
      • isArgumentAndReturnValueIndexing

        @Pure
        public boolean isArgumentAndReturnValueIndexing()
      • setArgumentAndReturnValueIndexing

        public void setArgumentAndReturnValueIndexing​(boolean argumentAndReturnValueIndexing)