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

S

satisfies(ProbSystem, Formula) - Method in class engin.Engin
Checks wether of not a probabilistic system does verify a formula.
SAVE - Static variable in class edu.hws.jcm.draw.LimitControlPanel
A constant that can be used in the addButton() method to add a button to the LimitControlPanel.
SAVE_FORMULA - Static variable in class ui.utils.FileDialogs
Defines a file selection for saving a formula set
SAVE_SYSTEM - Static variable in class ui.utils.FileDialogs
Defines a file selection for saving a system
SCALED_LINES - Static variable in class edu.hws.jcm.draw.VectorField
One of the possible styles for displaying a VectorField: as a field of tangent lines where the length of the line is proportional to the length of the vector.
SCALED_VECTORS - Static variable in class edu.hws.jcm.draw.VectorField
One of the possible styles for displaying a VectorField: as a vector field where a vector is shown as an arrow with length proportional to the length of the vector.
ScatterPlot - Class in edu.hws.jcm.draw
A ScatterPlot graphs data taken from a DataTableInput.
ScatterPlot() - Constructor for class edu.hws.jcm.draw.ScatterPlot
Default constructor.
ScatterPlot(DataTableInput) - Constructor for class edu.hws.jcm.draw.ScatterPlot
Create a scatter plot to plot data from the specified table.
ScatterPlot(DataTableInput, int, int) - Constructor for class edu.hws.jcm.draw.ScatterPlot
Create a scatter plot to plot data from two specified columns in a table.
ScatterPlot(DataTableInput, Expression, Expression) - Constructor for class edu.hws.jcm.draw.ScatterPlot
Create scatter plot to plot specified expressions using data from a table.
SEC - Static variable in class edu.hws.jcm.data.ExpressionProgram
Code for a unary or binary operator or a standard function.
separation(HashMap, Variable, double) - Method in class engin.Engin
Returns all the x values for which the probability obtained from the probabilistic expression is greater than q.
serialNumber - Variable in class edu.hws.jcm.awt.VariableInput
This serial number is increased each time the value of the variable changes.
serialNumber - Variable in class edu.hws.jcm.awt.VariableSlider
This increases every time the value of the variable changes.
serialNumber - Variable in class edu.hws.jcm.draw.LimitControlPanel
This is increased when the user changes the limits.
SET_LIMITS - Static variable in class edu.hws.jcm.draw.LimitControlPanel
A constant that can be used in the addButton() method to add a button to the LimitControlPanel.
setAction(String) - Method in class logic.ProbabilisticNext
Sets the action attached to the probabilistic expression
setAction(String, int) - Method in class ui.ProgressDialog
This method update the string content printed on the progress bar and resets the time estimation.
setAP(TreeSet) - Method in class logic.LogicParser
Sets the current atomic proposition set
setAutoAddRows(boolean) - Method in class edu.hws.jcm.awt.DataTableInput
If the value of autoAddRows is true, then an empty row is added to the table automatically when the user attempts to move down from the last row of the table, provided that the last row is non-empty (so there can only be one auto-added row at a time).
setAutoChangeLimits(boolean) - Method in class edu.hws.jcm.draw.ScatterPlot
If the parameter is true, then the limits on the CoordinateRect that contains this ScatterPlot are automatically adjusted whenever the data is recomputed.
setAvsX(IntervalNoUnion) - Method in class generator.data.RandomizedModel
Sets the number of actions per interval
setAxesColor(Color) - Method in class edu.hws.jcm.draw.Axes
Set the color that is used for drawing the axes, when they are drawn in their true position.
setBackgroundColor(Color) - Method in class edu.hws.jcm.draw.DrawString
Set the color that is used to fill a rectangle on which the string is drawn.
setBlankBackground(Color) - Method in class edu.hws.jcm.awt.DataTableInput
Get the color to be used as a background blank areas in the table, below the rows of cells.
setCalculationMode(int) - Method in class engin.Engin
Sets the calculation mode for the findZeroes method.
setCellBackground(Color) - Method in class edu.hws.jcm.awt.DataTableInput
Set the color to be used as a background for cells in the table.
setCellContents(int, int, double) - Method in class edu.hws.jcm.awt.DataTableInput
Put the given real number, val, in the cell in the specified row and column, where rows are numbered starting from 1 and columns are numbered starting from zero.
setClamp(boolean) - Method in class edu.hws.jcm.draw.DrawString
Set the "clamp" property of the DrawString.
setClampX(boolean) - Method in class edu.hws.jcm.draw.MouseTracker
Set the "clampX" property of the MouseTracker.
setClampY(boolean) - Method in class edu.hws.jcm.draw.MouseTracker
Set the "clampY" property of the MouseTracker.
setColor(Color) - Method in class edu.hws.jcm.draw.DraggablePoint
Set the color to be used for drawing the point.
setColor(Color) - Method in class edu.hws.jcm.draw.DrawBorder
Set the color of the border to the specified color.
setColor(Color) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the color that is used for drawing the shape.
setColor(Color) - Method in class edu.hws.jcm.draw.DrawString
Set the color for the string.
setColor(Color) - Method in class edu.hws.jcm.draw.Graph1D
Set the color to be used for drawing the graph.
setColor(Color) - Method in class edu.hws.jcm.draw.Grid
Method to set the Color used to draw grid lines.
setColor(Color) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the color to be used for drawing the graph.
setColor(Color) - Method in class edu.hws.jcm.draw.RiemannSumRects
Set the color used to draw the rectangles.
setColor(Color) - Method in class edu.hws.jcm.draw.VectorField
Set the color to be used for drawing the vector field.
setColor(Color) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Set the color that is used for drawing the graph.
setColumnName(int, String) - Method in class edu.hws.jcm.awt.DataTableInput
Set the name of column number i, where columns are numbered starting from zero.
setColumns(int, int) - Method in class edu.hws.jcm.draw.ScatterPlot
Specify that the data to be plotted should be taken from the specified columns in the table.
setConstraintVerified(boolean, Exception) - Method in class engin.event.EnginEvent
Sets a boolean value determining if the LMP constraints are verified
setCurrentRowNumber(int) - Method in class edu.hws.jcm.awt.DataTableInput
Set the current row in the table.
setDataColor(Color) - Method in class edu.hws.jcm.draw.ScatterPlot
Set the color that is used to draw the points in the data.
setDescription(String) - Method in class ui.ExampleFileFilter
Sets the human readable description of this filter.
setEmptyCellValue(double) - Method in class edu.hws.jcm.awt.DataTableInput
Set the value that should be returned when the value of an empty cell is requested.
setEnginTrace(EnginTraceDialog) - Method in class engin.Engin
Register a trace verification object for use during formula verification
setErrorBackground(Color) - Method in class edu.hws.jcm.draw.DisplayCanvas
Set color to be used as a background when the canvas displays an error message.
setErrorForeground(Color) - Method in class edu.hws.jcm.draw.DisplayCanvas
Set color to be used for the text when the canvas displays an error message.
setErrorMessage(Controller, String) - Method in interface edu.hws.jcm.awt.ErrorReporter
Report the specifed message as an error.
setErrorMessage(Controller, String) - Method in class edu.hws.jcm.awt.MessagePopup
Show the given message in a dialog box or independent window, depending on whether the source component is contained in a Frame or not.
setErrorMessage(Controller, String) - Method in class edu.hws.jcm.draw.DisplayCanvas
Set an error message to be displayed on the canvas.
setErrorReporter(ErrorReporter) - Method in class edu.hws.jcm.awt.Controller
Set the ErrorReporter used to report errors that occur when the compute() method of this Controller is executed.
setErrorReporter(ErrorReporter) - Method in class edu.hws.jcm.draw.LimitControlPanel
Set the ErrorReporter that is used to report errors in the user's input.
setExpressions(Expression, Expression) - Method in class edu.hws.jcm.draw.ScatterPlot
Specify the data for the the plot is to be obtained by evaluating the two expressions that are given as parameters.
setExtensionListInDescription(boolean) - Method in class ui.ExampleFileFilter
Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
setFillColor(Color) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the color that is used for filling ovals and rects.
setFont(Font) - Method in class edu.hws.jcm.draw.DrawString
Set the font that is used for drawing this string.
setFormula(Formula) - Method in class engin.Engin
This method register a formula to the engine, in order to perform its verification.
setFormula(Formula) - Method in class ui.EnginTraceDialog
This method set the formula evaluated
setFrameColor(Color) - Method in class edu.hws.jcm.draw.DrawString
Set the color that is used to draw a frame around the string.
setFrameWidth(int) - Method in class edu.hws.jcm.draw.DrawString
Set the width, in pixels, of a frame to draw around the string.
setFunction(Function) - Method in class edu.hws.jcm.draw.Graph1D
Set the function to be graphed.
setFunction(Function) - Method in class edu.hws.jcm.draw.RiemannSumRects
Set the function whose Riemann sums are to be computed.
setFunction(TableFunction) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Set the function whose graph is drawn by this TableFunctionGraph.
setFunction(Function) - Method in class edu.hws.jcm.functions.WrapperFunction
Set the function that is contained in this WrapperFunction.
setFunctions(Function, Function) - Method in class edu.hws.jcm.draw.ParametricCurve
Sets the functions that gives the coordinates of the curve to be graphed.
setFunctions(Function, Function) - Method in class edu.hws.jcm.draw.VectorField
Sets the functions that give the components of the vector field.
setFunctionStyle(int) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Provided as a convenience.
setGap(int) - Method in class edu.hws.jcm.draw.CoordinateRect
Set the gap.
setGhostColor(Color) - Method in class edu.hws.jcm.draw.DraggablePoint
Set the ghoseColor to be used for drawing the point when it location is undefined or is outside the proper limits.
setGridColor(Color) - Method in class edu.hws.jcm.awt.DataTableInput
Get the color to be used for the lines between cells in the table.
setH(int) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the integer that gives the horizontal offset from (x1,y1).
setHandleMouseZooms(boolean) - Method in class edu.hws.jcm.draw.DisplayCanvas
Set the "handleMouseZooms" property of this DisplayCanvas.
setInitialState(double) - Method in interface data.ProbSystem
Modifies the initial state of the system
setInitialState(double) - Method in class data.ProbSystemHash
Modifies the initial state of the system
setInitialState(double) - Method in class data.ProbSystemMtbdd
Modifies the initial state of the system
setInputStyle(int) - Method in class edu.hws.jcm.awt.VariableInput
Specify what types of things are allowed in the input box.
setInsetGap(int) - Method in class edu.hws.jcm.awt.JCMPanel
Set the size of the "Insets" for this JCMPanel.
setIntegerValued(boolean) - Method in class edu.hws.jcm.awt.VariableSlider
If set to true, restrict the values of the variable associated with this slider to be integers.
setInteractive(boolean) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Set the value of the interactive property, which is true if the user can modify the function by dragging the points from the table.
setIntervalCount(Value) - Method in class edu.hws.jcm.draw.RiemannSumRects
Set the interval count (the RiemannSumRects will be redrawn after this function is called).
setIntervals(Value) - Method in class edu.hws.jcm.awt.Animator
Set the Value object that specifies the number of frames in the animation.
setIntervals(int) - Method in class edu.hws.jcm.awt.Animator
A convenience method that simply calls setIntervals(new Constant(d)).
setIntervals(Value) - Method in class edu.hws.jcm.draw.ParametricCurve
Specify the number of subintervals into which the domain of the parametric curve is divided.
setIsLowerBoundIncluded(boolean) - Method in class data.Interval
Change the inclusion status of the lower bound.
setIsUpperBoundIncluded(boolean) - Method in class data.Interval
Change the inclusion status of the upper bound.
setJustification(int) - Method in class edu.hws.jcm.draw.DrawString
Set the justification to be used if there are multiple lins in the string.
setLabelBackground(Color) - Method in class edu.hws.jcm.awt.DataTableInput
Set the color to be used as a background for row numbers and column titles.
setLabelColor(Color) - Method in class edu.hws.jcm.draw.Axes
Set the color that is used for drawing the labels (usually the names of the variables) on the x- and y-axes.
setLightAxesColor(Color) - 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.
setLimits(double[]) - Method in interface edu.hws.jcm.awt.Limits
Set the current limits.
setLimits(double, double, double, double) - Method in class edu.hws.jcm.draw.CoordinateRect
Set the limits on the CoordinteRect
setLimits(double[]) - Method in class edu.hws.jcm.draw.CoordinateRect
Set the coordinate limits from array; extra elements in array are ignored.
setLimits(double[]) - Method in class edu.hws.jcm.draw.LimitControlPanel
Set the values in the xmin, xmax, ymin, and ymax input boxes.
setLimits(Value, Value) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the Value objects that specify the domain of the paratmeter.
setLineColor(Color) - Method in class edu.hws.jcm.draw.ScatterPlot
Set the color that is used to draw the regression line.
setLineWidth(int) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the width, in pixels, of lines that are drawn.
setListener(GeneratorEngineListener) - Method in class generator.Generator
Add a listener to the generator engine
setListener(GeneratorEngineListener) - Method in class generator.ui.MainWindow
Add a listener to the generator engine
setListenForDrags(boolean) - Method in class edu.hws.jcm.draw.MouseTracker
Sets the "listenForDrags" property of the MouseTracker.
setLocation(double, double) - Method in class edu.hws.jcm.draw.DraggablePoint
Move the point to (x,y), then "clamp" the value of x or y, if a clamp Value has been set.
setLoopStyle(int) - Method in class edu.hws.jcm.awt.Animator
Set the loop style, which determines what happens when the final frame of the animation is reached.
setLowerBound(double) - Method in class data.Interval
Change the value of the lower bound.
setMax(Value) - Method in class edu.hws.jcm.awt.Animator
Set the Value object that gives the final value of the Animator.
setMax(double) - Method in class edu.hws.jcm.awt.Animator
A convenience method that simply calls setMax(new Constant(d)).
setMax(double) - Method in class edu.hws.jcm.awt.VariableInput
Specify the largest allowed value for the content of this VariableInput box.
setMax(Value) - Method in class edu.hws.jcm.awt.VariableSlider
Set the value that the variable has when the slider is at the right (or top) of the scrollbar.
setMethod(int) - Method in class edu.hws.jcm.draw.RiemannSumRects
Set the method used to calculate the rectangles.
setMillisPerFrame(int) - Method in class edu.hws.jcm.awt.Animator
Set the nominal number of milliseconds per frame.
setMin(Value) - Method in class edu.hws.jcm.awt.Animator
Set the Value object that gives the starting value of the Animator.
setMin(double) - Method in class edu.hws.jcm.awt.Animator
A convenience method that simply calls setMin(new Constant(d)).
setMin(double) - Method in class edu.hws.jcm.awt.VariableInput
Specify the smallest allowed value for the content of this VariableInput box.
setMin(Value) - Method in class edu.hws.jcm.awt.VariableSlider
Set the value that the variable has when the slider is at the left (or bottom) of the scrollbar.
setMissingValueIsError(boolean) - Method in class edu.hws.jcm.draw.ScatterPlot
If the parameter is true, then a missing data value (an empty cell or an undefined value for one of the expressions) is considered to be an error, and a JCMError is thrown when it is encountered.
setMode(int) - Method in class generator.engin.GeneratorEngine
This function sets the generator mode.
setName(String) - Method in class edu.hws.jcm.awt.DataTableInput
Set the name of this DataTableInput.
setName(String) - Method in class edu.hws.jcm.awt.VariableInput
Set the name of the variable.
setName(String) - Method in class edu.hws.jcm.awt.VariableSlider
Set the name of the associated variable.
setName(String) - Method in class edu.hws.jcm.data.Constant
Set the name of this Constant.
setName(String) - Method in interface edu.hws.jcm.data.MathObject
Set the name of this object.
setName(String) - Method in class edu.hws.jcm.data.StandardFunction
Change the name of this StandardFunction.
setName(String) - Method in class edu.hws.jcm.functions.FunctionParserExtension
Set the name of this object.
setName(String) - Method in class edu.hws.jcm.functions.SummationParser
Set the name, which will be used in place of "sum" in expressions.
setNb(int) - Method in class data.Interval
Change 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
setNbIteration(int) - Method in class engin.Engin
Sets the maximum number of iterations the findZeroes can make to find zeroes.
setNoCycle(boolean) - Method in class generator.data.RandomizedModel
Specify if the system should contain cycles
setNumberOfActions(IntervalNoUnion) - Method in class generator.data.RandomizedModel
Sets the number of actions in the A set
setNumberOfIntervals(IntervalNoUnion) - Method in class generator.data.RandomizedModel
Sets the number of intervals to be generated
setNumSize(int) - Method in class edu.hws.jcm.awt.DisplayLabel
Set the desired maximum number of characters in displayed numbers.
setNumSize(int) - Method in class edu.hws.jcm.draw.DrawString
Set the desired maximum number of characters in displayed numbers.
setOffset(int) - Method in class edu.hws.jcm.draw.DrawString
Set the distance of the bounding box of the string from the reference point where it is drawn.
setOnChange(Computable) - Method in class edu.hws.jcm.awt.Animator
Set the Controller that is notified (by calling its compute() method) whenever the frame changes.
setOnChange(Controller) - Method in class edu.hws.jcm.draw.CoordinateRect
Specify a controller to be notified when the limits on this CoordinateRect change.
setOnChange(Controller) - Method in class edu.hws.jcm.functions.TableFunctionInput
Specify a controller whose compute() method will be called whenever the user edits the data in this TableFunctionInput panel.
setOnDrag(Computable) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Specify a controller whose compute() method will be called repeatedly as the user drags one of the points from the table function.
setOnFinishDrag(Controller) - Method in class edu.hws.jcm.draw.Panner
Set a Controller that will be notified (by calling its compute method) whenever the user finishes a drag operation.
setOnFinishDrag(Computable) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Specify a controller whose compute() method will be called once when the user finishes dragging one of the points from the table function.
setOnTextChange(Controller) - Method in class edu.hws.jcm.awt.ExpressionInput
If the parameter, c, is non-null, then its compute method will be called whenever the text in this input box changes.
setOnTextChange(Controller) - Method in class edu.hws.jcm.awt.VariableInput
If the Controller, cm is non-null, then its compute() method will be called whenever the text in this input box changes.
setOnUserAction(Controller) - Method in class edu.hws.jcm.awt.ComputeButton
Set the controller whose compute() method is called when the user clicks this button.
setOnUserAction(Controller) - Method in class edu.hws.jcm.awt.ExpressionInput
If the parameter c is non-null, then its compute method will be called whenever the user presses the return key while typing in this text-input box.
setOnUserAction(Controller) - Method in class edu.hws.jcm.awt.VariableInput
If the Controller, c, is non-null, then its compute() method will be called whenever the user presses the return key while typing in this text-input box.
setOnUserAction(Controller) - Method in class edu.hws.jcm.awt.VariableSlider
If the Controller, c, is non-null, then its compute method will be called whenever the user adjusts the position of the scroll bar.
setOnUserAction(Controller) - Method in class edu.hws.jcm.draw.DraggablePoint
Set the Controller that is to be notified when the user drags the point.
setOnUserAction(Controller) - Method in class edu.hws.jcm.draw.MouseTracker
Set a Controller to respond to user mouse actions tracked by this MouseTracker.
setOnUserAction(Controller) - Method in class edu.hws.jcm.draw.Panner
Set a Controller that will be notified (by calling its compute method) whenever the user moves the mouse during a drag.
setOrientation(int) - Method in class edu.hws.jcm.awt.Animator
Set the orientation of the components in the Animator panel.
setOutlineColor(Color) - Method in class edu.hws.jcm.draw.RiemannSumRects
Set the color that will be used to draw outlines around the rects.
setOwnerData(DisplayCanvas, CoordinateRect) - Method in class edu.hws.jcm.draw.Drawable
Sets the values of member variables canvas and coords.
setOwnerData(DisplayCanvas, CoordinateRect) - Method in class edu.hws.jcm.draw.MouseTracker
This is called automatically by CoordinateRect when the MouseTracker is added to the CoordinateRect.
setOwnerData(DisplayCanvas, CoordinateRect) - Method in class edu.hws.jcm.draw.Panner
Called when this object is added to a DisplayCanvas.
setOwnerData(DisplayCanvas, CoordinateRect) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Sets the values of member variables canvas and coords.
setP(IntervalNoUnion) - Method in class generator.data.RandomizedModel
Sets P, the probability of ineffectiveness of an action
setParensCanBeOptional(boolean) - Method in class edu.hws.jcm.functions.FunctionParserExtension
Call this function with b = true if this is a function of one variable and you want it to behave like a standard function in that parentheses can be optional around the argument of the function.
setParser(Parser) - Method in class edu.hws.jcm.awt.ExpressionInput
Set the parser that is used to parse the user's input strings.
setPixelSpacing(int) - Method in class edu.hws.jcm.draw.VectorField
Set the value of the pixelSpacing property, which determines the grid spacing for the vector field.
setPoints(Value, Value, Value, Value) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the Value objects that specify the two points that determine the shape.
setPoints(Value, Value, int, int) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the values that specify a point (x1,y1) and an offset (h,v) from that point.
setPositioning(int) - Method in class edu.hws.jcm.draw.DrawString
Set the positioning of the string.
setPrecision(double) - Method in class engin.Engin
Sets the smalles unit to be used by the function findZeroes.
setPrecision(int) - Static method in class generator.engin.utils.AdjustPrecision
Sets the maximum number of decimals allowed in a real number.
setProbability(double) - Method in class logic.ProbabilisticNext
Sets the probability attached to the probabilistic expression
setProbSystem(ProbSystem) - Method in class engin.Engin
This method replace the currently attached probabilistic system with a new one.
setProgress(ProgressDialog) - Method in class engin.Engin
Attach a progress bar to the engine.
setProgress(int) - Method in class ui.ProgressDialog
This method modifies the number of work units done.
setRadius(int) - Method in class edu.hws.jcm.draw.DraggablePoint
Set the radius that determines the size of the point when it is drawn.
setReferencePoint(Value, Value) - Method in class edu.hws.jcm.draw.DrawString
Set the values of the (x,y) coordinates of the reference point for the stirng.
setRestoreBuffer() - Method in class edu.hws.jcm.draw.CoordinateRect
Save current limits in buffer.
setSatisfies(boolean) - Method in class engin.event.EnginEvent
Sets the boolean value determining if the formula is verified by the engine
setSegmentation(int) - Method in class engin.Engin
Sets the number of segments the findZeroes method must build in order to attempt to find a switch of polarity.
setShape(int) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the shape, which should be given as one of the shape constants such as LINE_ABSOLUTE or CROSS.
setShowColumnTitles(boolean) - Method in class edu.hws.jcm.awt.DataTableInput
If set to true, then the column name is shown at the top of each column.
setShowPoints(boolean) - Method in class edu.hws.jcm.functions.TableFunctionGraph
Set the showPoints property, which determines whether the points from the table that defines the function are visible as little disks.
setShowRegressionLine(boolean) - Method in class edu.hws.jcm.draw.ScatterPlot
If the parameter is true, then a regression line for the data is drawn.
setShowRowNumbers(boolean) - Method in class edu.hws.jcm.awt.DataTableInput
If set to true, then the row number is shown at the left of each row.
setStartButtonName(String) - Method in class edu.hws.jcm.awt.Animator
The name of the Start/Stop button is managed by the Animator, so changing it directly makes no sense.
setStates(IntervalList) - Method in interface data.ProbSystem
Sets all the possible states of the system.
setStates(IntervalList) - Method in class data.ProbSystemHash
Sets all the possible states of the system.
setStates(IntervalList) - Method in class data.ProbSystemMtbdd
Sets all the possible states of the system.
setStatesNotVerifingConstraint(Exception) - Method in class engin.event.EnginEvent
Sets the exception thrown from the violation of the LMP constraints.
setStatesVerifying(IntervalList) - Method in class engin.event.EnginEvent
Sets the state set that verifies the formula
setStopButtonName(String) - Method in class edu.hws.jcm.awt.Animator
The name of the Start/Stop button is managed by the Animator, so changing it directly makes no sense.
setString(String) - Method in class edu.hws.jcm.draw.DrawString
Set the string that is displayed.
setStructMode(int) - Method in class engin.Engin
Type of data structures used to store the system.
setStyle(int) - Method in class edu.hws.jcm.draw.DraggablePoint
Set the visual style of the point.
setStyle(int) - Method in class edu.hws.jcm.draw.VectorField
Set the style in which the vector field is displayed.
setStyle(int) - Method in class edu.hws.jcm.functions.TableFunction
Set the style of this TableFunction, to specify how values are interpolated between points on the curve.
setSubFormula(Formula[]) - Method in class logic.Formula
Sets the current subformulas of this logical operator
setSyncWith(Tie) - Method in class edu.hws.jcm.draw.CoordinateRect
Set the Tie object that is used to synchronize this CoordinareRect with other objects.
setTable(DataTableInput) - Method in class edu.hws.jcm.draw.ScatterPlot
Specify the table from which the plotted data is to be taken.
setTemplate(String) - Method in class generator.data.RandomizedModel
Applies a template to the current model replacing all values
setText(String) - Method in class edu.hws.jcm.awt.DisplayLabel
Set text for display -- text should include as many (single) #'s as there are values to display.
setText(String) - Method in class edu.hws.jcm.awt.ExpressionInput
Set the text displayed in this input box.
setText(String) - Method in class edu.hws.jcm.awt.VariableInput
This overrides the setText() method from the TextField class so that it will also force the contents to be checked the next time the checkInput() method is called.
setThrowErrors(boolean) - Method in class edu.hws.jcm.awt.DataTableInput
Set the throwErrors property.
setThrowErrors(boolean) - Method in class edu.hws.jcm.awt.ExpressionInput
Set the throwErrors property.
setThrowErrors(boolean) - Method in class edu.hws.jcm.awt.VariableInput
Set the throwErrors property.
setTMax(Value) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the Value object that gives the right endpoint of the domain of the parameter.
setTMin(Value) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the Value object that gives the left endpoint of the domain of the parameter.
setTvsX(IntervalNoUnion) - Method in class generator.data.RandomizedModel
Sets the number of transitions per interval x in X
setUndefinedWhenNotDragging(boolean) - Method in class edu.hws.jcm.draw.MouseTracker
Sets the "undefinedWhenNotDragging" property of the MouseTracker.
setUndefinedWhenNotRunning(boolean) - Method in class edu.hws.jcm.awt.Animator
Set the value of the undefinedWhenNotRunning property.
setUpperBound(double) - Method in class data.Interval
Change the value of the upper bound.
setUseOffscreenCanvas(boolean) - Method in class edu.hws.jcm.draw.DisplayCanvas
Get the "useOffscreenCanvas" property of this DisplayCanvas, which determines whether double-buffering is used.
setUseTwoColumnsIfPossible(boolean) - Method in class edu.hws.jcm.draw.LimitControlPanel
Set to true if you want the components to be shown in two columns (provided the panel is wide enough).
setV(int) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the integer that gives the vertical offset from (x1,y1).
setVal(double) - Method in class edu.hws.jcm.awt.Animator
Set the value of the animation.
setVal(double) - Method in class edu.hws.jcm.awt.VariableInput
Set the value of the associated variable.
setVal(double) - Method in class edu.hws.jcm.awt.VariableSlider
Set the value of the variable to x.
setVal(double) - Method in class edu.hws.jcm.data.Variable
Set the value of this Variable to the specified value.
setValue(Value) - Method in class edu.hws.jcm.awt.DisplayLabel
A convenience method that can be used when the display string contains just a single #.
setValues(Value[]) - Method in class edu.hws.jcm.awt.DisplayLabel
Set the array of Value objects whose values are displayed in this DisplayLabel, and change the display to show the new values.
setValues(Value[]) - Method in class edu.hws.jcm.draw.DrawString
Set the Values that are substituted for (single) #'s in the string.
setVerifyTrace(EnginTraceDialog) - Method in class engin.event.EnginEvent
Set the trace object that contains all the operations that justifies the formula's verification.
setVisible(boolean) - Method in class edu.hws.jcm.draw.Drawable
Set the visibility of this Drawable.
setWidth(int) - Method in class edu.hws.jcm.draw.DrawBorder
Set the width of the border to be w pixels.
setX1(Value) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the value that gives the x-coordinate of the first point that determines the shape.
setX2(Value) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the value that gives the x-coordinate of the second point that determines the shape.
setXAxisPosition(int) - Method in class edu.hws.jcm.draw.Axes
Set the positioning constant that tells where the x-axis is drawn.
setXFunction(Function) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the function that gives the x-coordinate of the curve to be graphed.
setXFunction(Function) - Method in class edu.hws.jcm.draw.VectorField
Set the function that gives the x-component of the vector field.
setXLabel(String) - Method in class edu.hws.jcm.draw.Axes
Set the label that appears on the x-axis.
setXSP(double) - Method in class edu.hws.jcm.draw.Grid
Method to set the x spacing between grid lines.
setY(int, double) - Method in class edu.hws.jcm.functions.TableFunction
Set the y-coordinate in the i-th point to y, where the first point is number zero.
setY1(Value) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the value that gives the y-coordinate of the first point that determines the shape.
setY2(Value) - Method in class edu.hws.jcm.draw.DrawGeometric
Set the value that gives the y-coordinate of the second point that determines the shape.
setYAxisPosition(int) - Method in class edu.hws.jcm.draw.Axes
Set the positioning constant that tells where the y-axis is drawn.
setYFunction(Function) - Method in class edu.hws.jcm.draw.ParametricCurve
Set the function that gives the y-coordinate of the curve to be graphed.
setYFunction(Function) - Method in class edu.hws.jcm.draw.VectorField
Set the function that gives the y-component of the vector field.
setYLabel(String) - Method in class edu.hws.jcm.draw.Axes
Set the label that appears on the y-axis.
setYSP(double) - Method in class edu.hws.jcm.draw.Grid
Method to set the y spacing between grid lines.
shape - Variable in class edu.hws.jcm.draw.DrawGeometric
One of the constants such as OVAL_CENTERED, specifying the shape to be drawn
shouldCancel() - Method in class ui.ProgressDialog
Determines if the cancel button has been clicked
shouldStop() - Method in class ui.ProgressDialog
This method will stop the dialog at the next update
showCancel() - Method in class ui.ProgressDialog
This method enables the cancel button
showFormulaDialog(JFrame, Engin, String, FormulaDialogListener) - Static method in class ui.FormulaDialog
Cette fonction statique permet d'afficher une boîte de dialogue, et de retourner le résultat.
showGeneratorDialog(JFrame) - Static method in class generator.Generator
This static method open a new generator window
showTrace() - Method in class ui.EnginTraceDialog
This method will actually show the window
SimpleFunction - Class in edu.hws.jcm.data
An object belonging to this class is a function of one or more variables.
SimpleFunction(Expression, Variable) - Constructor for class edu.hws.jcm.data.SimpleFunction
Create the function of one variable such that the value of the function at x is obtained by temporarily assigning x as the value of the variable v and then evaluating e.
SimpleFunction(Expression, Variable[]) - Constructor for class edu.hws.jcm.data.SimpleFunction
Create a function.
SIN - Static variable in class edu.hws.jcm.data.ExpressionProgram
Code for a unary or binary operator or a standard function.
size() - Method in class edu.hws.jcm.data.StackOfDouble
Return the number of items on the stack.
SLOPE - Static variable in class edu.hws.jcm.draw.ScatterPlot
A constant that can be used in the getValueObject() method to indicate which statistic the object should represent.
SMART - Static variable in class edu.hws.jcm.draw.Axes
A constant that can be used in the setXAxisPosition() and setYAxisPosition() methods to indicate the placement of the axes.
SMOOTH - Static variable in class edu.hws.jcm.functions.TableFunction
If the style of the function is set to SMOOTH, then cubic interpolation is used to find the value of the functions for x-values between the points that define the function.
sourceString - Variable in class edu.hws.jcm.data.ExpressionProgram
If this is non-null, it is used as the print string for this expression in the toString() method.
SPEED_CHOICE - Static variable in class edu.hws.jcm.awt.Animator
Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.
SQRT - Static variable in class edu.hws.jcm.data.ExpressionProgram
Code for a unary or binary operator or a standard function.
SQUARE - Static variable in class edu.hws.jcm.draw.DraggablePoint
A style constant that specifies the visual appearance of a DraggablePoint to be a square.
StackOfDouble - Class in edu.hws.jcm.data
A standard stack of values of type double, which can grow to arbitrary size.
StackOfDouble() - Constructor for class edu.hws.jcm.data.StackOfDouble
Create an initially empty stack.
StackOfDouble(int) - Constructor for class edu.hws.jcm.data.StackOfDouble
Create an empty stack that initially has space for initialSize items pre-allocated.
STANDARD_FUNCTIONS - Static variable in class edu.hws.jcm.data.Parser
An option that can be set for this parser.
STANDARDERROR - Static variable in class edu.hws.jcm.draw.ScatterPlot
A constant that can be used in the getValueObject() method to indicate which statistic the object should represent.
StandardFunction - Class in edu.hws.jcm.data
This class exists to associate standard functions, such as sin and abs, with their names.
StandardFunction(int) - Constructor for class edu.hws.jcm.data.StandardFunction
Create a StandardFunction object to represent the standard function with the given operation code, where opCode is one of the codes for standard functions defined in class ExpressionProgram.
StandardFunction(String, int) - Constructor for class edu.hws.jcm.data.StandardFunction
Create a StandardFunction object to represent the standard function with the given operation code, where opCode is one of the codes for stadard functions defined in class ExpressionProgram.
standardFunctionName(int) - Static method in class edu.hws.jcm.data.StandardFunction
Return the usual name for the standard function with the specified opCode.
StandardNormalTable - Class in data
StandardNormalTable This class manage a reduced centered normal law table.
StandardNormalTable() - Constructor for class data.StandardNormalTable
Default constructor without parameters.
StandardNormalTable(String) - Constructor for class data.StandardNormalTable
Constructor with a specified file.
StandardNormalTable(String, Parser, Variable) - Constructor for class data.StandardNormalTable
Constructir with a file and parser specified.
start() - Method in class edu.hws.jcm.awt.Animator
Start the animation from the first frame, or continue it if it was paused.
START_BUTTON - Static variable in class edu.hws.jcm.awt.Animator
Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.
START_STOP_BUTTON - Static variable in class edu.hws.jcm.awt.Animator
Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.
startDrag(MouseEvent) - Method in interface edu.hws.jcm.draw.Draggable
Tell the object that a drag operation might be beginning.
startDrag(MouseEvent) - Method in class edu.hws.jcm.draw.DraggablePoint
Check whether a mouse click (as specified in the MouseEvent parameter) is a click on this DraggablePoint.
startEdit(TableFunction) - Method in class edu.hws.jcm.functions.TableFunctionInput
Install a function to be edited.
StateSpace - Class in ui.components
State space if used to print the list representing the system loaded.
StateSpace(IntervalList) - Constructor for class ui.components.StateSpace
Default constructor, initializes the initial state
STEP - Static variable in class edu.hws.jcm.functions.TableFunction
If the style of the function is set to STEP, then the function is piecewise constant, and the value of the function at x is taken from the nearest point in the list of points that define the function.
STEP_LEFT - Static variable in class edu.hws.jcm.functions.TableFunction
If the style of the function is set to STEP_LEFT, then the function is piecewise constant, and the value of the function at x is taken from the nearest point to the left in the list of points that define the function.
STEP_RIGHT - Static variable in class edu.hws.jcm.functions.TableFunction
If the style of the function is set to STEP_RIGHT, then the function is piecewise constant, and the value of the function at x is taken from the nearest point to the right in the list of points that define the function.
stop() - Method in class edu.hws.jcm.awt.Animator
Stop the animation, if it is running or paused.
STOP_BUTTON - Static variable in class edu.hws.jcm.awt.Animator
Used to add a component to the Animator Panel; can be used in a constructor or in the addControl() method.
strings - Variable in class edu.hws.jcm.draw.DrawString
The actual lines to draw, derived from baseString.
stringToReal(String) - Static method in class edu.hws.jcm.data.NumUtils
Return the real number represented by the String s, or return Double.NaN if s does not represent a legal real number.
subFormula - Variable in class logic.Formula
 
substract(IntervalList, IntervalList) - Static method in class data.IntervalList
This methods compute the negation of the division of the two sets
SummationParser - Class in edu.hws.jcm.functions
The SummationParser class makes it possible to use summations such as sum(i,1,5,x^i) in a Parser.
SummationParser() - Constructor for class edu.hws.jcm.functions.SummationParser
 
symbols - Variable in class edu.hws.jcm.data.Parser
The symbol table that contains the MathObjects that have been registered with this parser.
symbols - Variable in class edu.hws.jcm.data.ParserContext
The Parser's symbol table, which is used for looking up tokens of type IDENTIFIER.
SymbolTable - Class in edu.hws.jcm.data
A symbol table contains MathObjects, associating them with their names.
sync(Tie, Tieable) - Method in class edu.hws.jcm.awt.Animator
Part of the Tieable interface.
sync(Tie, Tieable) - Method in interface edu.hws.jcm.awt.Tieable
This routine is called to tell this Tieable that the serial numbers of the Tieables that have been added to the Tie do not match.
sync(Tie, Tieable) - Method in class edu.hws.jcm.awt.VariableInput
Synchronize serial number and value with newest, unless this VariableInput is itself newest.
sync(Tie, Tieable) - Method in class edu.hws.jcm.awt.VariableSlider
Change the value and serial number of this object to match those of newest.
sync(Tie, Tieable) - Method in class edu.hws.jcm.draw.CoordinateRect
Part of the Tieable interface.
sync(Tie, Tieable) - Method in class edu.hws.jcm.draw.LimitControlPanel
Part of the Tieable interface, and not meant to be called directly.
syncWith - Variable in class edu.hws.jcm.draw.CoordinateRect
This contains other Limit objects with which the CoordinateRect is synchronizing.
syncWith - Variable in class edu.hws.jcm.draw.LimitControlPanel
A Tie holding this panel and the CoordinateRects that it controls.
SystemDialog - Class in ui
System Dialog System Dialog is a simple wizard used to create a new LMP system.
SystemDialog(JFrame) - Constructor for class ui.SystemDialog
Default constructor with specified parent frame

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