Uses of Class
generator.exceptions.ParameterException

Packages that use ParameterException

generator.data
generator.engin
generator.engin.utils

Uses of ParameterException in generator.data

Methods in generator.data that throw ParameterException

void	RandomizedModel.addTemplate(java.lang.String nameOfTemplate, IntervalNoUnion numberOfIntervals, IntervalNoUnion numberOfActions, IntervalNoUnion TvsX, IntervalNoUnion AvsX, IntervalNoUnion P) Add a template to the RandomizeModel.
void	RandomizedModel.setAvsX(IntervalNoUnion i) Sets the number of actions per interval
void	RandomizedModel.setNumberOfActions(IntervalNoUnion i) Sets the number of actions in the A set
void	RandomizedModel.setNumberOfIntervals(IntervalNoUnion i) Sets the number of intervals to be generated
void	RandomizedModel.setP(IntervalNoUnion i) Sets P, the probability of ineffectiveness of an action
void	RandomizedModel.setTemplate(java.lang.String nameOfTemplate) Applies a template to the current model replacing all values
void	RandomizedModel.setTvsX(IntervalNoUnion i) Sets the number of transitions per interval x in X

Constructors in generator.data that throw ParameterException

RandomizedModel(IntervalNoUnion numberOfIntervals, IntervalNoUnion numberOfActions, IntervalNoUnion TvsX, IntervalNoUnion AvsX, IntervalNoUnion P)
Initialization constructor ...

Uses of ParameterException in generator.engin

Methods in generator.engin that throw ParameterException

java.util.ArrayList

GeneratorEngine.bagOfActions(int numberOfElements) Returns a subset of A containing numberOfElements elements

Constructors in generator.engin that throw ParameterException

GeneratorEngine(RandomizedModel randomizedModel, java.io.File outputFile, ProgressDialog progress)
Creates a generic generation engine.

Uses of ParameterException in generator.engin.utils

Methods in generator.engin.utils that throw ParameterException

static void

AdjustPrecision.setPrecision(int precision) Sets the maximum number of decimals allowed in a real number.