package org.lamport.tla.toolbox.tool.tlc.launch;

/**
 * Collection of constant default values
 * @author Simon Zambrovski
 * @version $Id$
 */
public interface IConfigurationDefaults
{
    /**
     * Empty string
     */
    public static final String EMPTY_STRING = "";

    /**
     * Default number of workers.  Was set by Simon to be is 2.
     * Modified by LL on 11 October 2009 to be half the number of available processors.
     */
    public static final int LAUNCH_NUMBER_OF_WORKERS_DEFAULT = Runtime.getRuntime().availableProcessors() / 2;

    /**
     * Default max heap size
     */
    public static final int LAUNCH_MAX_HEAP_SIZE_DEFAULT = 500;

    /**
     * Default is the model-checking mode
     */
    public static final boolean LAUNCH_MC_MODE_DEFAULT = true;

    /**
     * Breadth first is default
     */
    public static final boolean LAUNCH_DFID_MODE_DEFAULT = false;

    /** 
     * Default depth for DFID MC is 100 
     */
    public static final int LAUNCH_DFID_DEPTH_DEFAULT = 100;
    /** 
     * Default depth for Simulation is 100 
     */
    public static final int LAUNCH_SIMU_DEPTH_DEFAULT = 100;
    /** 
     * Default aril is -1 
     */
    public static final int LAUNCH_SIMU_ARIL_DEFAULT = -1;
    /** 
     * Default seed is -1 
     */
    public static final int LAUNCH_SIMU_SEED_DEFAULT = -1;

    /**
     * Do not recover from checkpoints by defualt
     */
    public static final boolean LAUNCH_RECOVER_DEFAULT = false;
}

@@ -453,74 +453,247 @@
    *
-/%0D%0A    public static final int LAUNCH_NUMBER_OF_WORKERS_DEFAULT = 
+ Fixed by LL on 20 Oct 2009 to equal 1, not 0, if there is only 1 available processor.%0D%0A     */%0D%0A    public static final int LAUNCH_NUMBER_OF_WORKERS_DEFAULT = %0D%0A        (Runtime.getRuntime().availableProcessors() %3E 1) ?%0D%0A                (
 Runt
@@ -734,16 +734,22 @@
 rs() / 2
+) : 1 
 ;%0D%0A%0D%0A   

fix minor bug in default number of workers