A B C D E F G H I J L M N O P Q R S T U V W X Y Z

G

gatherInputs() - Method in class edu.hws.jcm.awt.Controller

Calles notifyControllerOnChange(this).

gatherInputs() - Method in class edu.hws.jcm.awt.JCMPanel

This method will set all the input objects in this JCMPanel and in sub-JCMPanels, as well as any other input objects that have been added to the panels' Controllers, to notify the Controller of this JCMPanel when they change.

gcOff(int) - Method in class Mtbdd.Mtbdd

Desactivates the garbage collector for the specified manager.

gcOn(int) - Method in class Mtbdd.Mtbdd

Activates the garbage collector for the specified manager.

GE - Static variable in class edu.hws.jcm.data.ExpressionProgram

Code for a unary or binary operator or a standard function.

generateActions() - Method in class generator.engin.GeneratorEngine

This function generates the labels for the actions

generateIntervals() - Method in class generator.engin.GeneratorEngine

This method generates the X and Y interval set from a supplied randomizedModel.

generateTransitions() - Method in class generator.engin.GeneratorEngine

This function generates the transitions of the system

generateTransitionsForX(Interval, int) - Method in class generator.engin.GeneratorEngine

This method generates all transitions for an interval x from X.

GenerationCancelled() - Method in interface generator.engin.events.GeneratorEngineListener

This is fired when the generation has been cancelled

GenerationCompleted(File) - Method in interface generator.engin.events.GeneratorEngineListener

This is fired when the generation has been succesful

GenerationException - Exception in generator.exceptions

Generator Exception This exception is thrown when an error has occured during the random system generation.

GenerationException(String) - Constructor for exception generator.exceptions.GenerationException

Default constructor ... use the provided error message.

GenerationFailed() - Method in interface generator.engin.events.GeneratorEngineListener

This is fired when the generation has failed

generator - package generator

Generator - Class in generator

Generator This is the generator manager.

Generator(JFrame) - Constructor for class generator.Generator

Creates a new generator window attached to the parent frame.

generator.data - package generator.data

generator.engin - package generator.engin

generator.engin.events - package generator.engin.events

generator.engin.utils - package generator.engin.utils

generator.exceptions - package generator.exceptions

generator.ui - package generator.ui

GeneratorEngine - Class in generator.engin

Generator Engine The engine performs the random system generation.

GeneratorEngine(RandomizedModel, File, ProgressDialog) - Constructor for class generator.engin.GeneratorEngine

Creates a generic generation engine.

GeneratorEngineListener - Interface in generator.engin.events

GeneratorEngineListener This interface is used to listen to the various events that can be fired by the random system generator.

get(String) - Method in class edu.hws.jcm.data.Parser

Get the MathObject that has been registered with the parser under the given name.

get(String) - Method in class edu.hws.jcm.data.ParserContext

Get the MathObject associated with name in the symbol table.

get(String) - Method in class edu.hws.jcm.data.SymbolTable

Look up the object with the given name, if any.

GET_STATES_VERIFYING_A_FORMULA_MODE - Static variable in class engin.Engin

In this mode, the thread will determines which states from the state space verify the formula

getAA() - Method in class generator.data.RandomizedModel

Obtains an integer representing the number of actions chosen among the A set from which the transitions will be generated for an interval x

getAction() - Method in class data.Transition

Get the associated action

getAction() - Method in class logic.ProbabilisticNext

Access the action attached to the probabilistic expression

getAction() - Method in class ui.TransitionDialog

Access the currently input action list.

getActions() - Method in interface data.ProbSystem

Returns a list containing all the actions associated with the transitions

getActions() - Method in class data.ProbSystemHash

Returns all the action that can be applied in the system.

getActions() - Method in class data.ProbSystemMtbdd

Pour récupérer toutes les actions possibles.

getAFunction() - Method in class generator.data.RandomizedModel

Fetch a function type among the valid function types list

GetAllStatesVerifying(Formula) - Method in interface ui.FormulaDialogListener

This event is fired upon a request of a verification from all of the state set of the system.

getANumberOfActions() - Method in class generator.data.RandomizedModel

Obtains an integer representing the number of actions to be generated

getANumberOfIntervals() - Method in class generator.data.RandomizedModel

Obtains a valid integer represeneting a number of intervals from the number of intervals parameter

getAP() - Method in interface data.ProbSystem

Gets all the atomic propositions included in the system.

getAP() - Method in class data.ProbSystemHash

Returns the atomic propositions set

getAP() - Method in class data.ProbSystemMtbdd

Retourne les propositions atomiques

getAP() - Method in class generator.data.RandomizedModel

Obtains a P probability of action ineffectiveness for an interval x

getAP() - Method in class logic.AtomicProposition

Returns the name of the atomic proposition

getAP() - Method in class ui.SystemDialog

Access the association table of the atomic propositions

getArity() - Method in interface edu.hws.jcm.data.Function

Return the number of arguments of this function.

getArity() - Method in class edu.hws.jcm.data.SimpleFunction

Return the number of arguments of this function.

getArity() - Method in class edu.hws.jcm.functions.ExpressionFunction

Return the number of arguments of this function.

getArity() - Method in class edu.hws.jcm.functions.TableFunction

Returns the arity of the function, which is 1.

getArity() - Method in class edu.hws.jcm.functions.WrapperFunction

Return the number of arguments of this function.

getAT() - Method in class generator.data.RandomizedModel

Obtains an integer representing the number of actions per interval to be generated

getAutoAddRows() - Method in class edu.hws.jcm.awt.DataTableInput

Get the value of the autoAddRows property, which determines whether empty rows are automatically added to the bottom of the table when needed.

getAutoChangeLimits() - Method in class edu.hws.jcm.draw.ScatterPlot

The return value indicates whether the limits on the CoordinateRect are automatically adjusted when the data is recomputed.

getAvsX() - Method in class generator.data.RandomizedModel

Returns the number of actions for each interval x from X

getAxesColor() - Method in class edu.hws.jcm.draw.Axes

Get the color that is used for drawing the axes, when they are drawn in their true position.

getBackgroundColor() - Method in class edu.hws.jcm.draw.DrawString

Get the color that is used to fill a rectangle on which the string is drawn.

getBaseText() - Method in class edu.hws.jcm.awt.DisplayLabel

Return the basic text, including the #'s where Values are inserted in the displayed text.

getBlankBackground() - Method in class edu.hws.jcm.awt.DataTableInput

Returns the color that is used for blank areas in the table, below the rows of cells.

getButton(int) - Method in class edu.hws.jcm.draw.LimitControlPanel

Get a Button corresponding to one of the six button types defined by the constants SET_LIMITS, EQUALIZE, ZOOM_IN, ZOOM_OUT, SAVE, and RESTORE in this class.

getCalculationMode() - Method in class engin.Engin

Returns the calculation mode used ...

getCalculationMode() - Method in class ui.OptionsDialog

Gets the selected calculation mode (double or BigDecimal)

getCellBackground() - Method in class edu.hws.jcm.awt.DataTableInput

Returns the color that is used as a background for cells in the table.

getCellContents(int, int) - Method in class edu.hws.jcm.awt.DataTableInput

Get the number in the specified row and column.

getClamp() - Method in class edu.hws.jcm.draw.DrawString

Returns true if the string is set to be clamped to lie within the CoordinateRect.

getClampX() - Method in class edu.hws.jcm.draw.MouseTracker

Get the "clampX" property of the MouseTracker.

getClampY() - Method in class edu.hws.jcm.draw.MouseTracker

Get the "clampY" property of the MouseTracker.

getColor() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the color used for drawing the point.

getColor() - Method in class edu.hws.jcm.draw.DrawBorder

Get the color of the border.

getColor() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the non-null color that is used for drawing the shape.

getColor() - Method in class edu.hws.jcm.draw.DrawString

Get the non-null color that is used for drawing the string.

getColor() - Method in class edu.hws.jcm.draw.Graph1D

Get the color that is used to draw the graph.

getColor() - Method in class edu.hws.jcm.draw.Grid

Access method which returns the Color of the grid lines.

getColor() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the color that is used to draw the graph.

getColor() - Method in class edu.hws.jcm.draw.RiemannSumRects

Get the current color used to draw the rectangles

getColor() - Method in class edu.hws.jcm.draw.VectorField

Get the color that is used to draw the vector field.

getColor() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the non-null color that is used for drawing the graph.

getColumnCount() - Method in class edu.hws.jcm.awt.DataTableInput

Get the number of columns in the table.

getColumnName(int) - Method in class edu.hws.jcm.awt.DataTableInput

Get the name of column number i, where columns are numbered starting from zero.

getColumnVariable(int) - Method in class edu.hws.jcm.awt.DataTableInput

Return a column variable for the specified column, where columns are numbered starting from 1.

getComplementVar(int, int) - Method in class Mtbdd.Mtbdd

Returns the complement of a variable.

getControl(int) - Method in class edu.hws.jcm.awt.Animator

Get one of controls associated with the Animator.

getController() - Method in class edu.hws.jcm.awt.JCMPanel

Return the controller associated with this JCMPanel.

getCoordinateRect() - Method in class edu.hws.jcm.draw.DisplayCanvas

Get the first CoordinateRect in this canvas.

getCoordinateRect(int) - Method in class edu.hws.jcm.draw.DisplayCanvas

Get the i-th CoordinateRect in this DisplayCanvas.

getCurrentRowNumber() - Method in class edu.hws.jcm.awt.DataTableInput

Return the current row number.

getDataColor() - Method in class edu.hws.jcm.draw.ScatterPlot

Get the color that is used to draw the points in the data.

getDefinitionString() - Method in class edu.hws.jcm.functions.ExpressionFunction

Return the expression that defines this function, as a string.

getDescription() - Method in class ui.ExampleFileFilter

Returns the human readable description of this filter.

getDrawable(int) - Method in class edu.hws.jcm.draw.CoordinateRect

Get the i-th Drawable in this Rect, or null if i is less than zero or greater than or equal to the number of items.

getDrawableCount() - Method in class edu.hws.jcm.draw.CoordinateRect

Returns the number of Drawable items that are in this CoordinateRect.

getEmptyCellValue() - Method in class edu.hws.jcm.awt.DataTableInput

Get the value that is represented by an empty cell.

getEnd() - Method in interface data.ProbSystem

Returns the Y set (the ending intervals of the transitions)

getEnd() - Method in class data.ProbSystemHash

Returns the ending state sets

getEnd() - Method in class data.ProbSystemMtbdd

Retourne les intervalles d'arrivée

getEndingStates(String, Interval) - Method in class data.ProbSystemHash

Returns all the ending intervals that can be reached by the specified action from the specified starting interval.

getEndingStates() - Method in class data.Transition

Get the interval representing all the ending states

getEndingStates() - Method in class ui.TransitionDialog

Access the currently input ending state set

getErrorBackground() - Method in class edu.hws.jcm.draw.DisplayCanvas

Get color that is used as a background when the canvas displays an error message.

getErrorForeground() - Method in class edu.hws.jcm.draw.DisplayCanvas

Get color that is used for the text when the canvas displays an error message.

getErrorMessage() - Method in interface edu.hws.jcm.awt.ErrorReporter

Get the error message that is currently being displayed, or return null if there is no error message.

getErrorMessage() - Method in class edu.hws.jcm.awt.ExpressionInput

Get error message from previous call to checkInput().

getErrorMessage() - Method in class edu.hws.jcm.awt.MessagePopup

Get the currently displayed error message.

getErrorMessage() - Method in class edu.hws.jcm.awt.VariableInput

Get error message from previous call to checkInput().

getErrorMessage() - Method in class edu.hws.jcm.draw.DisplayCanvas

Get the error message that is currently displayed on the canvas.

getErrorReporter() - Method in class edu.hws.jcm.awt.Controller

Get the ErrorReporter for this Controller.

getErrorReporter() - Method in class edu.hws.jcm.draw.LimitControlPanel

Get the ErrorReporter that is used to report errors in the user's input.

getExp() - Method in interface data.ProbSystem

Returns all the expressions of the system

getExp() - Method in class data.ProbSystemHash

Returns the list of repartition functions

getExp() - Method in class data.ProbSystemMtbdd

Retourne la liste des fonctions de repartition.

getExp() - Method in class data.Transition

Returns the mathematical expression representing the repartition function of the states

getExpression() - Method in class edu.hws.jcm.awt.ExpressionInput

Get the Expression associated with this ExpressionInput.

getExpression() - Method in class ui.TransitionDialog

Access the currently input expression list converted to a string

getExtension(File) - Method in class ui.ExampleFileFilter

Return the extension portion of the file's name .

getFillColor() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the color that is used for filling ovals and rects.

getFont() - Method in class edu.hws.jcm.draw.DrawString

Return the font that is used for drawing the string.

getFormula() - Method in class engin.Engin

Returns the formula stored in the engine.

getFormula() - Static method in class ui.FormulaDialog

Cette méthode permet d'obtenir la formule actuellement validée.

getFrameColor() - Method in class edu.hws.jcm.draw.DrawString

Get the color that is used to draw a frame around the string.

getFrameWidth() - Method in class edu.hws.jcm.draw.DrawString

Get the width, in pixels, of the frame that is drawn around the string.

getFuction() - Method in class edu.hws.jcm.draw.RiemannSumRects

Returns the function whose Riemann sums are computed.

getFunction(Variable) - Method in class edu.hws.jcm.awt.ExpressionInput

Get a function of one variable whose value at a real number x is computed by assigning x to the variable v and then returning the value of the expression associated with this ExpressionInput.

getFunction(Variable[]) - Method in class edu.hws.jcm.awt.ExpressionInput

Get a function of one or more variables whose value at arguments x1, x2, ... is computed by assigning the x's to the variables and then returning the value of the expression associated with this ExpressionInput.

getFunction() - Method in class edu.hws.jcm.draw.Graph1D

Get the (possibly null) function whose graph is drawn.

getFunction() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the TableFunction whose graph is drawn by this TableFunctionGraph.

getFunction() - Method in class edu.hws.jcm.functions.WrapperFunction

Return the function that is currently wrapped in this WrapperFunction.

getGap() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the gap, in pixels, between the edges of the CoordinateRect and the limits specified by xmin, xmax, ymin, and ymax.

getGhostColor() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the "ghostColor" of the point.

getGridColor() - Method in class edu.hws.jcm.awt.DataTableInput

Returns the color that is used for the lines between cells in the table.

getH() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the horizontal offset from (x1,y1).

getHandleMouseZooms() - Method in class edu.hws.jcm.draw.DisplayCanvas

Get the "handleMouseZooms" property of this DisplayCanvas, which determines whether the canvas reacts to mouse events by zooming the CoordinateRect that is clicked.

getHeight() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the height in pixels of this CoordinateRect in the DisplayCanvas that contains it.

getInitialState() - Method in interface data.ProbSystem

Fetch the initial state.

getInitialState() - Method in class data.ProbSystemHash

Returns the initial state of the system

getInitialState() - Method in class data.ProbSystemMtbdd

Retourne l'état initial.

getInitialState() - Method in class ui.SystemDialog

Access the currently input initial state

getInputStyle() - Method in class edu.hws.jcm.awt.VariableInput

Return the input style, which determines what types of things are allowed in the input box.

getInsets() - Method in class edu.hws.jcm.awt.JCMPanel

Called by the system to determine how much of a gap to leave on each edge of the panel.

getInsets() - Method in class edu.hws.jcm.functions.TableFunctionInput

Leave a 3-pixel gap around the edges of the panel.

getIntegerValued() - Method in class edu.hws.jcm.awt.VariableSlider

Return a boolean which is true if the VariableSlider restricts ranges of values to integers, false otherwise.

getInteractive() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the value of the interactive property, which is true if the user can modify the function by dragging the points from the table.

getIntervalAt(int) - Method in class data.IntervalList

Returns the interval at the specified index.

getIntervalAt(int) - Method in class generator.data.IntervalListNoUnion

Fetch the IntervalNoUnion at the specified index.

getIntervalCount() - Method in class edu.hws.jcm.draw.RiemannSumRects

Get the number of intervals used.

getIntervals() - Method in class edu.hws.jcm.awt.Animator

Get the Value object that specifies the number of frames in the animation.

getIntervals() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the value object, possibly null, that determines the number of points on the curve.

getJustification() - Method in class edu.hws.jcm.draw.DrawString

Get the justification that is used for a multiple-line string.

getLabel() - Method in class ui.components.AtomicPropositions

Returns the label associated with the atomic proposition

getLabelBackground() - Method in class edu.hws.jcm.awt.DataTableInput

Returns the color that is used as a background for row numbers and column titles.

getLabelColor() - Method in class edu.hws.jcm.draw.Axes

Get the color that is used for drawing the labels on the x- and y-axes.

getLastGeneratedFile() - Method in class generator.engin.GeneratorEngine

This method returns the last succesfully generated file

getLastGeneratedFile() - Method in class generator.Generator

Fetch the last succesfully generated file

getLastGeneratedFile() - Method in class generator.ui.MainWindow

This method returns the last succesfully generated file

getLeft() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the left edge of this CoordinateRect in the DisplayCanvas that contains it.

getLightAxesColor() - Method in class edu.hws.jcm.draw.Axes

Get the color that is used for drawing an axis, when it is drawn along an edge of the CoordinateRect instead of in its proper x- or y-position.

getLimits() - Method in interface edu.hws.jcm.awt.Limits

Return a 4-element array containing xmin, xmax, ymin, and ymax.

getLimits() - Method in class edu.hws.jcm.draw.CoordinateRect

Get an array containing the limits on the CoordinateRect in the order xmin, xmax, ymin, ymax.

getLimits() - Method in class edu.hws.jcm.draw.LimitControlPanel

Get the values in the xmin, xmax, ymin, and ymax input boxes.

getLineColor() - Method in class edu.hws.jcm.draw.ScatterPlot

Get the color that is used to draw the regression line.

getLineWidth() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the width, in pixels, of lines that are drawn.

getListenForDrags() - Method in class edu.hws.jcm.draw.MouseTracker

Gets the "listenForDrags" property of the MouseTracker, which determines if the MouseTracker responds to both clicks and drags, or only to clicks.

getLogicParser() - Method in class engin.Engin

Returns the logical parser used by the engine to analyse formulae

getLoopStyle() - Method in class edu.hws.jcm.awt.Animator

Get the loop style, which determines what happens when the final frame of the animation is reached.

getLowerBound() - Method in class data.Interval

Returns the real number representing the lower bound.

getM() - Method in interface data.ProbSystem

Fetch the integer identifying the CUDD manager associated with this system.

getM() - Method in class data.ProbSystemHash

Returns an integer associated with the CUDD manager used by this system.

getM() - Method in class data.ProbSystemMtbdd

Retourne l'objet MTBDD

getManager() - Method in class Mtbdd.Mtbdd

Returns the integer representing the manager.

getMax() - Method in class edu.hws.jcm.awt.Animator

Get the Value object that specifies the final value of the Animator.

getMax() - Method in class edu.hws.jcm.awt.VariableInput

Return the maximum value that will be accepted in this VariableInput box.

getMax() - Method in class edu.hws.jcm.awt.VariableSlider

Get the Value object that gives the value of the variable when the slider is at the right (or top) of the scrollbar.

getMessage() - Method in exception exceptions.ParameterException

Access the stored error message.

getMessage() - Method in exception generator.exceptions.GenerationException

Access the stored error message.

getMessage() - Method in exception generator.exceptions.IntervalListNoUnionException

Access the stored error message.

getMessage() - Method in exception generator.exceptions.IntervalNoUnionException

Access the stored error message.

getMessage() - Method in exception generator.exceptions.ParameterException

Access the stored error message.

getMessage() - Method in exception generator.exceptions.PartitionException

Access the stored error message.

getMethod() - Method in class edu.hws.jcm.draw.RiemannSumRects

Return the current method used to find the rectangle sums

getMillisPerFrame() - Method in class edu.hws.jcm.awt.Animator

Get the nominal number of milliseconds per frame.

getMin() - Method in class edu.hws.jcm.awt.Animator

Get the Value object that specifies the starting value of the Animator.

getMin() - Method in class edu.hws.jcm.awt.VariableInput

Return the minimum value that will be accepted in this VariableInput box.

getMin() - Method in class edu.hws.jcm.awt.VariableSlider

Get the Value object that gives the value of the variable when the slider is at the left (or bottom) of the scrollbar.

getMissingValueIsError() - Method in class edu.hws.jcm.draw.ScatterPlot

The return value indicates whether missing data is considered to be an error.

getName() - Method in class edu.hws.jcm.awt.DataTableInput

Get the name of the DataInputTable (which might be null).

getName() - Method in class edu.hws.jcm.data.Constant

Return the name of this Constant.

getName() - Method in interface edu.hws.jcm.data.MathObject

Get the name of this object.

getName() - Method in class edu.hws.jcm.data.StandardFunction

Return the name of this StandardFunction oject.

getName() - Method in class edu.hws.jcm.functions.FunctionParserExtension

Get the name of this MathObject.

getName() - Method in class edu.hws.jcm.functions.SummationParser

Get the name, which will be used in place of "sum" in expressions.

getNb() - Method in class data.Interval

Returns the value of nb : 0 : no transition point to this interval 1 : at least one transition has this interval as domain 2 : at least one transition has this interval as image 3 : at least one transition has this interval both as domain and image

getNbAction() - Method in interface data.ProbSystem

Fetch the number of actions.

getNbAction() - Method in class data.ProbSystemHash

Returns the maximum number of actions in the system

getNbAction() - Method in class data.ProbSystemMtbdd

Retourne le nombre d'action possible dans le système.

getNbAction() - Method in class ui.SystemDialog

Access the currently input number of actions

getNbIteration() - Method in class engin.Engin

Returns the maximum number of iterations the function findZeroes can make to find polarity change.

getNbIteration() - Method in class ui.OptionsDialog

Gets the number of iterations to make for finding zeroes in functions

getNonEmptyRowCount() - Method in class edu.hws.jcm.awt.DataTableInput

Return the number of rows in the table, ignoring empty rows at the bottom of the table.

getNumberOfActions() - Method in class generator.data.RandomizedModel

Returns the number of actions to generate in the A set

getNumberOfIntervals() - Method in class generator.data.RandomizedModel

Returns a valid number of intervals to generate

getNumSize() - Method in class edu.hws.jcm.awt.DisplayLabel

Return the desired maximum number of characters in displayed numbers.

getNumSize() - Method in class edu.hws.jcm.draw.DrawString

Return the desired maximum number of characters in displayed numbers.

getOffset() - Method in class edu.hws.jcm.draw.DrawString

Get the distance of the bounding box of the string from the reference point where it is drawn.

getOnChange() - Method in class edu.hws.jcm.awt.Animator

Get the Controller that is notified (by calling its compute() method) whenever the frame changes.

getOnChange() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the controller that is notified when the limits on this CoordinateRect change.

getOnChange() - Method in class edu.hws.jcm.functions.TableFunctionInput

Get the Controller that is notified when the user edits the data in this panel.

getOnDrag() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the Computable that is notified as the user drags a point.

getOnFinishDrag() - Method in class edu.hws.jcm.draw.Panner

Get the Controller that is notified when the user finishs a drag.

getOnFinishDrag() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the Computable that is notified when the user finishes dragging a point.

getOnTextChange() - Method in class edu.hws.jcm.awt.ExpressionInput

Return the Controller, if any, that is notified whenever the text in this input box changes

getOnTextChange() - Method in class edu.hws.jcm.awt.VariableInput

Return the Controller, if any, that is notified when the text in this input box changes

getOnUserAction() - Method in class edu.hws.jcm.awt.ComputeButton

Return the controlller whose compute() method is called when the user clicks this button.

getOnUserAction() - Method in class edu.hws.jcm.awt.ExpressionInput

Return the Controller, if any, that is notified when the user presses return in this text-input box.

getOnUserAction() - Method in class edu.hws.jcm.awt.VariableInput

Return the Controller, if any, that is notified when the user presses return in this text-input box.

getOnUserAction() - Method in class edu.hws.jcm.awt.VariableSlider

Return the Controller, if any, that is notified when the user adjusts the position of the scroll bar.

getOnUserAction(Controller) - Method in class edu.hws.jcm.draw.DraggablePoint

Get the Controller that is notified when the user drags the point.

getOnUserAction() - Method in class edu.hws.jcm.draw.MouseTracker

Get the Controller that responds when a user mouse action is detected by this MouseTracker.

getOnUserAction() - Method in class edu.hws.jcm.draw.Panner

Get the Controller that is notified when the user moves the mouse during a drag.

getOpCode() - Method in class edu.hws.jcm.data.StandardFunction

Return the operation code for this standard function.

getOperation() - Static method in class ui.FormulaDialog

Cette méthode permet d'obtenir l'opération demandée

getOrientation() - Method in class edu.hws.jcm.awt.Animator

Get the constant, VERTICAL or HORIZONTAL, that was used to specify whether the components in the animator are arranged veritcally or horizontally.

getOutlineColor() - Method in class edu.hws.jcm.draw.RiemannSumRects

Get the color that is used to draw outlines around the rects.

getP() - Method in class generator.data.RandomizedModel

Returns P

getParser() - Method in class engin.Engin

Returns the expression parser used by the engine used to analyse the expressions attached to the transitions

getPixelHeight() - Method in class edu.hws.jcm.draw.CoordinateRect

Return the height of one pixel in this coordinate system.

getPixelSpacing() - Method in class edu.hws.jcm.draw.VectorField

Get the value of the pixelSpacing property, which determines the grid spacing for the vector field.

getPixelWidth() - Method in class edu.hws.jcm.draw.CoordinateRect

Return the width of one pixel in this coordinate system.

getPointCount() - Method in class edu.hws.jcm.functions.TableFunction

Gets the number of points in the table.

getPositioning() - Method in class edu.hws.jcm.draw.DrawString

Return the positioning, as set by setPositioning().

getPrecision() - Method in class engin.Engin

Returns the smallest unit used during the computation of findZeroes.

getPrecision() - Static method in class generator.engin.utils.AdjustPrecision

Returns the current maximum number of decimals

getPrecision() - Method in class ui.OptionsDialog

Gets the input smallest unit used during computations

getPreferredSize() - Method in class edu.hws.jcm.awt.DisplayLabel

Return the preferred size of this DisplayLabel.

getPreferredSize() - Method in class edu.hws.jcm.awt.VariableSlider

Modify getPreferredSize to return a width of 200, if the scrollbar is horzontal, or a height of 200, if it is vertical.

getPreferredSize() - Method in class edu.hws.jcm.draw.DisplayCanvas

This has been overridden to return a default size of 350-by-350 pixels.

getPreferredSize() - Method in class edu.hws.jcm.draw.LimitControlPanel

Compute the preferred size of this panel.

getProbability() - Method in class logic.ProbabilisticNext

Access the probability attached to the probabilistic expression

getProbSystem() - Method in class engin.Engin

Returns the probabilistic on which the engine performs the computations

getRadius() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the radius used for drawing the point.

getRowNumberVariable() - Method in class edu.hws.jcm.awt.DataTableInput

Get a variable that represents the current row number in the table, as set by the setCurrentRowNumber() method.

getSegmentation() - Method in class engin.Engin

Returns the number of segments that the findZeroes function will build while attempting to find a polarity switch.

getSegmentation() - Method in class ui.OptionsDialog

Gets the input segmentation value

getSerialNumber() - Method in class edu.hws.jcm.awt.Animator

Part of the Tieable interface.

getSerialNumber() - Method in class edu.hws.jcm.awt.DataTableInput

Get the serial number of the table.

getSerialNumber() - Method in interface edu.hws.jcm.awt.Tieable

Get the serial number associated with this Tieable.

getSerialNumber() - Method in class edu.hws.jcm.awt.VariableInput

Return this object's serial number, which increases whenever the value of the associated variable changes.

getSerialNumber() - Method in class edu.hws.jcm.awt.VariableSlider

Return this object's serial number, which is increased every time the value changes.

getSerialNumber() - Method in class edu.hws.jcm.draw.CoordinateRect

Return the serial number of the CoordinateRect, which is incremented each time the limits change.

getSerialNumber() - Method in class edu.hws.jcm.draw.LimitControlPanel

Part of the Tieable interface, and not meant to be called directly.

getShowColumnTitles() - Method in class edu.hws.jcm.awt.DataTableInput

Test whether the column name is shown at the top of each column.

getShowPoints() - Method in class edu.hws.jcm.functions.TableFunctionGraph

Get the showPoints property, which determines whether the points from the table that defines the function are visible as little disks.

getShowRegressionLine() - Method in class edu.hws.jcm.draw.ScatterPlot

The return value tells whether a regression line is drawn.

getShowRowNumbers() - Method in class edu.hws.jcm.awt.DataTableInput

Test whether row numbers are shown.

getSize() - Method in class data.IntervalList

Returns the number of intervals in the list.

getSize() - Method in class generator.data.IntervalListNoUnion

Returns the number of intervals included in the list.

getStart() - Method in interface data.ProbSystem

Returns the X set (the starting intervals of the transitions)

getStart() - Method in class data.ProbSystemHash

Returns the starting state set

getStart() - Method in class data.ProbSystemMtbdd

Retourne les intervalles de depart

getStartingStates(String) - Method in class data.ProbSystemHash

Returns all the starting sets x from X for which the specified action may produce some result.

getStartingStates() - Method in class data.Transition

Get the interval representing all the starting states

getStartingStates() - Method in class ui.TransitionDialog

Access the currently input starting state set

getStates() - Method in interface data.ProbSystem

Gets all the possible states of the system.

getStates() - Method in class data.ProbSystemHash

Returns the entire state space of the system

getStates() - Method in class data.ProbSystemMtbdd

Retourne l'ensemble des intervalles qui constitue les états du système.

getStates() - Method in class generator.engin.GeneratorEngine

Returns the state set of the system.

getStates() - Method in class ui.components.AtomicPropositions

Returns the states associated with the labels.

getStates() - Method in class ui.SystemDialog

Access the currently input state set

getStatesForLabel(String) - Method in interface data.ProbSystem

Returns the list of states associated to an atomic proposition

getStatesForLabel(String) - Method in class data.ProbSystemHash

Returns the states set associated with the atomic proposition.

getStatesForLabel(String) - Method in class data.ProbSystemMtbdd

Renvoie l'ensemble des états dans lesquels la proposition atomique ap est valide.

getStatesNotVerifingConstraint() - Method in class engin.event.EnginEvent

Returns the exception thrown from the violation of the LMP constraints.

getStatesVerifying(Formula) - Method in class engin.Engin

Returns all the states verifying a formula using the system loaded in the engine.

getStatesVerifying(Formula, int) - Method in class engin.Engin

Returns all the states verifying a formula using the system loaded in the engine.

getStatesVerifying() - Method in class engin.event.EnginEvent

Returns all the states that does verify the formula

getString() - Method in class edu.hws.jcm.draw.DrawString

Get a copy of the display string (with \n's #'s, not with substitued values.)

getStructMode() - Method in class engin.Engin

Returns the current data structure mode used.

getStructMode() - Method in class ui.OptionsDialog

Gets the selected data structures to use for stocking model

getStyle() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the visual style of the point, which must be one of the constants DraggablePoint.DISK, DraggablePoint.SQUARE, or DraggablePoint.CROSS.

getStyle() - Method in class edu.hws.jcm.draw.VectorField

Get the style in which the vector field is displayed.

getStyle() - Method in class edu.hws.jcm.functions.TableFunction

Get the style of this TableFunction, which specifies how values are interpolated between points on the curve.

getSubFormula() - Method in class logic.Formula

Access the subformula(s) of the current fomula

getTable() - Method in class edu.hws.jcm.draw.ScatterPlot

Get the DataTableInput from which the plotted data is obtained.

getThrowErrors() - Method in class edu.hws.jcm.awt.DataTableInput

Get the value of the throwErrors property, which determines whether an error is thrown when an attempt is made to refer to the value of a cell that contains an invalid string.

getThrowErrors() - Method in class edu.hws.jcm.awt.ExpressionInput

Return the value of the throwErrors property, which determines whether errors can be thrown when checkInput() is called.

getThrowErrors() - Method in class edu.hws.jcm.awt.VariableInput

Return the value of the throwErrors property.

getTMax() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the Value object, possibly null, that gives the right endpoint of the domain of the parameter.

getTMin() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the Value object, possibly null, that gives the left endpoint of the domain of the parameter.

getTop() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the top edge of this CoordinateRect in the DisplayCanvas that contains it.

getTrans() - Method in interface data.ProbSystem

Get a set containing all of the system's transitions.

getTrans() - Method in class data.ProbSystemHash

Returns an integer associated with the transition list in the CUDD library.

getTrans() - Method in class data.ProbSystemMtbdd

Returns a pointer for the MTBDD reference.

getTransition(String, Interval, Interval) - Method in class data.ProbSystemHash

Returns the transition associated with the specified triplet.

getTransitions() - Method in interface data.ProbSystem

Returns a list containing all the transitions of the system.

getTransitions() - Method in class data.ProbSystemHash

Returns all the transitions of the system into a simple array

getTransitions() - Method in class data.ProbSystemMtbdd

Retourne toutes les transitions.

getTransitionsVector() - Method in interface data.ProbSystem

Returns a vactor containing all the transitions of the system.

getTransitionsVector() - Method in class data.ProbSystemHash

Returns all the transitions of the system into a vector.

getTransitionsVector() - Method in class data.ProbSystemMtbdd

getTvsX() - Method in class generator.data.RandomizedModel

Returns the number of transitions per interval x from X

getType() - Method in class logic.AtomicProposition

Returns a string representing the type Atomic Proposition.

getType() - Method in class logic.Formula

This function must be implemented by subclasses

getType() - Method in class logic.LogicalAnd

Returns the constant representing the oprrator AND

getType() - Method in class logic.LogicalNot

Returns the type of the logical operator NOT.

getType() - Method in class logic.LogicalOr

Returns the type of the logical operator OR

getType() - Method in class logic.ProbabilisticNext

Return a string that identifies a Probabilistic Next operator

getType() - Method in class logic.True

Returns the constant representing the true clause

getUndefinedWhenNotDragging() - Method in class edu.hws.jcm.draw.MouseTracker

Gets the "undefinedWhenNotDragging" property of the MouseTracker.

getUndefinedWhenNotRunning() - Method in class edu.hws.jcm.awt.Animator

Get the value of the undefinedWhenNotRunning property.

getUpperBound() - Method in class data.Interval

Returns the real number representing the upper bound.

getUseOffscreenCanvas() - Method in class edu.hws.jcm.draw.DisplayCanvas

Set the "useOffscreenCanvas" property of this DisplayCanvas.

getUseTwoColumnsIfPossible() - Method in class edu.hws.jcm.draw.LimitControlPanel

Get the value of the "useTwoColumnsIfPossible" property of this panel.

getV() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the vertical offset from (x1,y1).

getVal(double) - Method in class data.StandardNormalTable

Get the value of the function with the specified v value.

getVal(double[]) - Method in class data.StandardNormalTable

This function can compute no more than one value of v.

getVal() - Method in class edu.hws.jcm.awt.Animator

Get the current value of the Animator.

getVal() - Method in class edu.hws.jcm.awt.ExpressionInput.EI

getVal() - Method in class edu.hws.jcm.awt.ExpressionInput

Return the current value of the expression associated with this ExpressionInput.

getVal() - Method in class edu.hws.jcm.awt.VariableInput

Return the value of the associated variable, which might not reflect the value of the contents of the input box.

getVal() - Method in class edu.hws.jcm.awt.VariableSlider

Get the value of this VariableSlider.

getVal() - Method in class edu.hws.jcm.data.Constant

Return the value of this Constant.

getVal() - Method in class edu.hws.jcm.data.ExpressionProgram

Run the ExprssionProgram and return the value that it computes.

getVal(double[]) - Method in interface edu.hws.jcm.data.Function

Find the value of the function at the argument values given by arguments[0], arguments[1], ...

getVal(double[]) - Method in class edu.hws.jcm.data.SimpleFunction

Find the value of the function at the argument values argument[0], argument[1]....

getVal() - Method in interface edu.hws.jcm.data.Value

Gets the current value of this object.

getVal() - Method in class edu.hws.jcm.data.ValueMath

Get the value of this object.

getVal(double[]) - Method in class edu.hws.jcm.functions.ExpressionFunction

Find the value of the function at the argument values given by arguments[0], arguments[1], ...

getVal(double) - Method in class edu.hws.jcm.functions.TableFunction

Get the value of the function at x, using interpolation if x lies between two x-coordinates in the list of points that define the function.

getVal(double[]) - Method in class edu.hws.jcm.functions.TableFunction

Get the value of the function at the specified parameter value.

getVal(double[]) - Method in class edu.hws.jcm.functions.WrapperFunction

Find the value of the function at the argument value argument[0], ....

getValueAsVariable() - Method in class edu.hws.jcm.awt.Animator

Get a variable whose value is always equal to the value of the animator.

getValueAsVariable(String) - Method in class edu.hws.jcm.awt.Animator

Get a variable whose value is always equal to the value of the animator.

getValueObject(int) - Method in class edu.hws.jcm.draw.CoordinateRect

Get a Value object representing one of the limits on this CoordinateRect.

getValueObject(int) - Method in class edu.hws.jcm.draw.RiemannSumRects

Gets a Value object that gives the value of the Riemann sum for the specified method.

getValueObject(int) - Method in class edu.hws.jcm.draw.ScatterPlot

Get a Value that represents a statistic about the data that is shown in the scatter plot.

getValues() - Method in class edu.hws.jcm.awt.DisplayLabel

Get the array of Value objects whose values are displayed in this DisplayLabel.

getValues() - Method in class edu.hws.jcm.draw.DrawString

Return the array of values that are substituted for #'s in the string.

getValueWithCases(double[], Cases) - Method in class data.StandardNormalTable

This function is simply a wrapper.

getValueWithCases(Cases) - Method in class edu.hws.jcm.awt.ExpressionInput.EI

getValueWithCases(Cases) - Method in class edu.hws.jcm.data.Constant

Return the value of the Constant.

getValueWithCases(Cases) - Method in interface edu.hws.jcm.data.Expression

Compute and return the value of this expression.

getValueWithCases(Cases) - Method in class edu.hws.jcm.data.ExpressionProgram

Run the ExprssionProgram and return the value that it computes.

getValueWithCases(double[], Cases) - Method in interface edu.hws.jcm.data.Function

Find the value of the function at the argument values given by arguments[0], arguments[1], ...

getValueWithCases(double[], Cases) - Method in class edu.hws.jcm.data.SimpleFunction

Find the value of the function at the argument values argument[0], argument[1]....

getValueWithCases(double[], Cases) - Method in class edu.hws.jcm.functions.ExpressionFunction

Find the value of the function at the argument values given by arguments[0], arguments[1], ...

getValueWithCases(double[], Cases) - Method in class edu.hws.jcm.functions.TableFunction

Get the value of the function at the specified parameter value.

getValueWithCases(double[], Cases) - Method in class edu.hws.jcm.functions.WrapperFunction

Find the value of the function at the argument values argument[0],....

getVariable() - Method in class edu.hws.jcm.awt.VariableInput

Get the associated variable for the VariableInput box.

getVariable() - Method in class edu.hws.jcm.awt.VariableSlider

Return the variable associated with this VariableSlider.

getVerifyTrace() - Method in class engin.event.EnginEvent

Returns the trace object that contains all verification operations

getVisible() - Method in class edu.hws.jcm.draw.Drawable

Return true if this Drawable is visible, false if it is hidden.

getWidth() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the width in pixels of this CoordinateRect in the DisplayCanvas that contains it.

getWidth() - Method in class edu.hws.jcm.draw.DrawBorder

Get the width of the border, in pixels.

getX(int) - Method in class edu.hws.jcm.functions.TableFunction

Get the x-coordinate in the i-th point, where the first point is number zero.

getX() - Method in class engin.Engin

Returns the x variable definition

getX() - Method in class generator.engin.GeneratorEngine

Returns the domain of the transitions (also known as the X set).

getX1() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the value that gives the x-coordinate of the first point that determines the shape.

getX2() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the value that gives the x-coordinate of the second point that determines the shape.

getXAxisPosition() - Method in class edu.hws.jcm.draw.Axes

Get the positioning constant that tells where the x-axis is drawn.

getXFunction() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the (possibly null) function that gives the x-coordinate of the curve.

getXFunction() - Method in class edu.hws.jcm.draw.VectorField

Get the (possibly null) function that gives the x-component of the vector field.

getXLabel() - Method in class edu.hws.jcm.draw.Axes

Get the label that appears on the x-axis.

getXmax() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the maximum x-coordinate.

getXmin() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the mimimum x-coordinate.

getXPos() - Method in class edu.hws.jcm.draw.DrawString

Return the Value object that gives the x-coordinate of the reference point of this string.

getXSP() - Method in class edu.hws.jcm.draw.Grid

Access method to return the x spacing used between grid lines.

getXVar() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the variable that represents the current x-value of the point.

getXVar() - Method in class edu.hws.jcm.draw.MouseTracker

Get the variable whose value represents the x-coordinate of the MouseTracker.

getY(int) - Method in class edu.hws.jcm.functions.TableFunction

Get the y-coordinate in the i-th point, where the first point is number zero.

getY() - Method in class engin.Engin

Returns the y variable definition

getY() - Method in class generator.engin.GeneratorEngine

Returns the image of the transitions (also known as the Y set).

getY1() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the value that gives the y-coordinate of the first point that determines the shape.

getY2() - Method in class edu.hws.jcm.draw.DrawGeometric

Get the value that gives the y-coordinate of the second point that determines the shape.

getYAxisPosition() - Method in class edu.hws.jcm.draw.Axes

Get the positioning constant that tells where the y-axis is drawn.

getYFunction() - Method in class edu.hws.jcm.draw.ParametricCurve

Get the (possibly null) function that gives the y-coordinate of the curve.

getYFunction() - Method in class edu.hws.jcm.draw.VectorField

Get the (possibly null) function that gives the y-component of the vector field.

getYLabel() - Method in class edu.hws.jcm.draw.Axes

Get the label that appears on the y-axis.

getYmax() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the maximum x-coordinate.

getYmin() - Method in class edu.hws.jcm.draw.CoordinateRect

Get the mimimum y-coordinate.

getYPos() - Method in class edu.hws.jcm.draw.DrawString

Return the Value object that gives the y-coordinate of the reference point of this string.point of this string.

getYSP() - Method in class edu.hws.jcm.draw.Grid

Access method to return the y spacing used between grid lines

getYVar() - Method in class edu.hws.jcm.draw.DraggablePoint

Get the variable that represents the current y-value of the point.

getYVar() - Method in class edu.hws.jcm.draw.MouseTracker

Get the variable whose value represents the y-coordinate of the MouseTracker.

giveADouble() - Method in class generator.data.IntervalNoUnion

Obtains a real number included in the interval

giveAnInteger() - Method in class generator.data.IntervalNoUnion

Obtains an integer number included in the current interval.

Graph1D - Class in edu.hws.jcm.draw

A Graph1D represents the graph of a function of one variable, to be displayed in a given CoordinateRect.

Graph1D() - Constructor for class edu.hws.jcm.draw.Graph1D

Create a Graph1D with no function to graph.

Graph1D(Function) - Constructor for class edu.hws.jcm.draw.Graph1D

Create a graph of the specified function.

Grid - Class in edu.hws.jcm.draw

A Grid object draws a graph paper-like grid on a Canvas.

Grid() - Constructor for class edu.hws.jcm.draw.Grid

Create a Grid object with x and y spacing 1.0.

Grid(double, double) - Constructor for class edu.hws.jcm.draw.Grid

Create a Grid object with spacing specified.

GT - Static variable in class edu.hws.jcm.data.ExpressionProgram

Code for a unary or binary operator or a standard function.