plugins/sba/org.polarsys.chess.statebased/src/org/polarsys/chess/statebased/daemon/ParameterList.java

/*
-----------------------------------------------------------------------
-- Copyright (C) 2011-2016                                           --
-- University of Firenze, Italy	                                     --
--                                                                   --
-- All rights reserved. This program and the accompanying materials  --
-- are made available under the terms of the Eclipse Public License  --
-- v1.0 which accompanies this distribution, and is available at     --
-- http://www.eclipse.org/legal/epl-v20.html                         --
--                                                                   --
-- Contributors:                                                     --
-- Leonardo Montecchi 	lmontecchi@unifi.it                          --
-----------------------------------------------------------------------
*/

package org.polarsys.chess.statebased.daemon;

import java.io.Serializable;

public class ParameterList implements Serializable {

	//Simulator parameters
	private int minBatches = 1000;
	private int maxBatches = 1000000;
	private int dispUpdate = 100;
	private int measUpdate = 100;
	private double confidenceLevel = 0.99;
	private double confidenceInterval = 0.1;
	private int seed = 6657;
	
	public int getMinimumBatches() {
		return minBatches;
	}
	
	public int getMaximumBatches() {
		return maxBatches;
	}
	
	public int getDisplayUpdateInterval() {
		return dispUpdate;
	}
	
	public int getMeasureUpdateInterval() {
		return measUpdate;
	}
	
	public double getConfidenceLevel() {
		return confidenceLevel;
	}
	
	public double getConfidenceInterval() {
		return confidenceInterval;
	}
	
	public int getSeed() {
		return seed;
	}
	
	public void setMinimumBatches(int batches) {
		minBatches = batches;
	}
	
	public void setMaximumBatches(int batches) {
		maxBatches = batches;
	}
	
	public void setDisplayUpdateInterval(int batches) {
		dispUpdate = batches;
	}
	
	public void setMeasureUpdateInterval(int batches) {
		measUpdate = batches;
	}
	
	public void setConfidenceLevel(double cl) {
		confidenceLevel = cl;
	}
	
	public void setConfidenceInterval(double ci) {
		confidenceInterval = ci;
	}
	
	public void setSeed(int s) {
		seed = s;
	}
}