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

C

c - Variable in class edu.hws.jcm.draw.DrawGeometric

Value of x2.

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

Discards the internal pointer to the edit function (specified by startEdit()), if any.

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

Returns true if the system mustn't contain any cycle

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

Checks if at least one integer is included in the interval

canvas - Variable in class edu.hws.jcm.draw.Drawable

The canvas on which this Drawable is drawn.

CASE_SENSITIVE - Static variable in class edu.hws.jcm.data.Parser

An option that can be set for this parser.

Cases - Class in edu.hws.jcm.data

An object of type Cases stores a list of "case values" that is generated while an expression is being evaluated using the routine Expression.getValuesWithCases().

Cases() - Constructor for class edu.hws.jcm.data.Cases

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

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

CENTER - 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.

CENTER - Static variable in class edu.hws.jcm.draw.DrawString

For specifying justification of lines in multiline strings.

CENTER_CENTER - Static variable in class edu.hws.jcm.draw.DrawString

Specify string location in rect

CENTER_LEFT - Static variable in class edu.hws.jcm.draw.DrawString

Specify string location in rect

CENTER_RIGHT - Static variable in class edu.hws.jcm.draw.DrawString

Specify string location in rect

changed - Variable in class edu.hws.jcm.draw.CoordinateRect

Set to true when one of the limits or the gap has changed.

check() - Method in class edu.hws.jcm.awt.Tie

If this Tie contains more than one item, find the newest one and sync all the items with that item.

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

Part of the IputObject interface.

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

Call checkInput() of each InputObject.

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

Get the expression from the box, maybe throw a JBCError if a ParseError occurs.

checkInput() - Method in interface edu.hws.jcm.awt.InputObject

Check and possibly change the value associated with this InputObject.

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

Check whether the contents are valid, and change the value of the associated variable if the new contents do not match the current value.

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

From the InputObject interface.

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

When this is called, the CoordinateRect will call the checkInput method of any Drawable it contains that is also an InputObject.

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

This is generally called by a Controller.

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

This method is required by the InputObject interface.

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

Check the input boxes in this panel.

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

Set the values of the associated variables.

CIRCUMSCRIBED - Static variable in class edu.hws.jcm.draw.RiemannSumRects

Summation method type.

CK_NoCycle_actionPerformed(ActionEvent) - Method in class generator.ui.MainWindow

clamp - Variable in class edu.hws.jcm.draw.DrawString

If true, the string is clamped to lie within the CoordinateRect.

CLAMPED_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 from (x,y) to (x+xFunc(x,y),y+xFunc(x,y)), except that a maximum length is imposed.

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

Clamp the x-value of the point to v.

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

Clamp the x-value of the point to the constant x, so that the point is constrained to a vertical line.

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

Clamp the x-value of the point to the function f, so that the point is constrained to move along the graph of x = f(y).

clampX - Variable in class edu.hws.jcm.draw.MouseTracker

If thie is true, then the value of the variable associated with the x-ccordinate of the mouse is clamped to lie within the xmin and xmax of the coordinate rect.

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

Clamp the y-value of the point to v.

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

Clamp the y-value of the point to the constant y, so that the point is constrained to a horizontal line.

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

Clamp the y-value of the point to the function f, so that the point is constrained to move along the graph of y = f(x).

clampY - Variable in class edu.hws.jcm.draw.MouseTracker

If thie is true, then the value of the variable associated with the y-ccordinate of the mouse is clamped to lie within the ymin and ymax of the coordinate rect.

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

Remove all rows from the table, leaving just one empty row.

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

Remove all the cases that have been added with addCase().

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

Clear the error message.

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

Clear the error reprort, if there is one.

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

Clear the error message and close the window.

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

Clear the error message, if any, that is currently displayed on the canvas.

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

A CoordinateRect can store its current limits in a buffer.

closure() - Method in class data.Interval

Returns a closure of the current interval.

color - Variable in class edu.hws.jcm.draw.DrawBorder

A non-null Color, giving the color of the bortder.

color - Variable in class edu.hws.jcm.draw.DrawGeometric

Color of the shappe.

color - Variable in class edu.hws.jcm.draw.DrawString

Color of string.

compileDerivative(ExpressionProgram, int, ExpressionProgram, Variable) - Method in class edu.hws.jcm.data.ConditionalExpression

Add commands to deriv that evaluate the derivative of this conditional expression with respect to the variable wrt.

compileDerivative(ExpressionProgram, int, ExpressionProgram, Variable) - Method in class edu.hws.jcm.data.Constant

Add a commands to deriv to evaluate the derivative of this Constant with respect to the variable.

compileDerivative(ExpressionProgram, int, ExpressionProgram, Variable) - Method in interface edu.hws.jcm.data.ExpressionCommand

The ExpressionCommand occurs in the program prog at the index indicated by myIndex.

compileDerivative(int, ExpressionProgram, Variable) - Method in class edu.hws.jcm.data.ExpressionProgram

The command at position index in the program represents a subexpression of the whole expression.

compileDerivative(ExpressionProgram, int, ExpressionProgram, Variable) - Method in class edu.hws.jcm.data.Variable

Add a command to deriv to evaluate the derivative of this Variable with respect to the Variable wrt.

compileDerivative(ExpressionProgram, int, ExpressionProgram, Variable) - Method in class edu.hws.jcm.functions.FunctionParserExtension

The function object occurs as a command at index myIndex in prog.

Computable - Interface in edu.hws.jcm.awt

A Computable is an object that performs some sort of computation or action when its compute() method is called.

computables - Variable in class edu.hws.jcm.awt.Controller

Computable objects controlled by this controller.

compute() - Method in interface edu.hws.jcm.awt.Computable

Perform the computation or action associated with this Computable object.

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

When an contoller computes, it first calls checkInput() for any InputOjects that it controls (including those in sub-controllers).

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

The compute method recalculates the displayed Values and changes the text of the label to show the new values.

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

When this is called, the CoordinateRect will call the compute method of any Drawable it contains that is also a Computable.

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

This is generally called by a Controller.

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

Recompute the values that define the size/postion of the DrawGeometric.

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

The compute method sets up the array of strings that is actually displayed.

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

Recompute data for the graph and make sure that the area of the display canvas that shows the graph is redrawn.

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

Recompute data for the graph and make sure that the area of the display canvas that shows the graph is redrawn.

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

This is generally called by a Controller.

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

Recompute the data for the scatter plot.

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

Recompute data for the vector field and make sure that the area of the display canvas that shows the vector field is redrawn.

ComputeButton - Class in edu.hws.jcm.awt

A compute button is a button that can have an associated Controller.

ComputeButton() - Constructor for class edu.hws.jcm.awt.ComputeButton

Create a Compute button labeled "Compute!".

ComputeButton(String) - Constructor for class edu.hws.jcm.awt.ComputeButton

Create a Compute button displaying the given text.

computeProbabilities(IntervalList, String, Variable, Parser) - Method in interface data.ProbSystem

Returns all the intervals and their associated repartition functions which can be reached from the IntervalList list using the action a.

computeProbabilities(IntervalList, String, Variable, Parser) - Method in class data.ProbSystemHash

This function returns the intervals and their respective repartition function which are reachable using the states in the list of starting states using the action act.

computeProbabilities(IntervalList, String, Variable, Parser) - Method in class data.ProbSystemMtbdd

Cette fonction donne les intervalles et les fonctions de répartition associées pour lesquels il est possible d'arrivé à partir de la list et avec l'action a.

computeProbabilities(IntervalList, String) - Method in class engin.Engin

Compute the probability P[a](x, list), i.e. the probability to reach a certain point of the list from any x point.

computingSatisfiesDone(EnginEvent) - Method in interface engin.event.EnginListener

This event is fired when the engine has completed a formula verification request.

computingStatesSatisfyingDone(EnginEvent) - Method in interface engin.event.EnginListener

This event is fired when the engine has found all the states that verify the formula.

ConditionalExpression - Class in edu.hws.jcm.data

A "conditional expression" is an expression using the "?"

ConditionalExpression(ExpressionProgram, ExpressionProgram) - Constructor for class edu.hws.jcm.data.ConditionalExpression

Create a ConditionalExpression object containing the two given expressions.

Constant - Class in edu.hws.jcm.data

A Constant is a Value that represents a constant real number.

Constant(double) - Constructor for class edu.hws.jcm.data.Constant

Create an unnamed Constant with the given value and null name.

Constant(String, double) - Constructor for class edu.hws.jcm.data.Constant

Create a Constant with the given name and value.

constraintVerified(EnginEvent) - Method in interface engin.event.EnginListener

This event if fired when the engine has completed the LMP constraints verification.

context - Variable in exception edu.hws.jcm.data.ParseError

The parsing context that was in effect at the time the error occurred.

continueDrag(MouseEvent) - Method in interface edu.hws.jcm.draw.Draggable

Continue a drag that was started in startDrag().

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

Continue a drag operation begun in startDrag().

Controller - Class in edu.hws.jcm.awt

Controllers are the focus of all the action in the JCM system.

Controller() - Constructor for class edu.hws.jcm.awt.Controller

Create a Controller.

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

Convert a string into a real value.

CoordinateRect - Class in edu.hws.jcm.draw

A CoordinateRect represents a rectagular region in the xy-plane, specified by values xmin,xmax,ymin,ymax.

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

Create a CoordinateRect with default limits: -5, 5, -5, 5.

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

Create a CoordinateRect with specified limits.

coords - Variable in class edu.hws.jcm.draw.Drawable

The CoordinateRect for the rectagular area where this Drawable is drawn.

coords - Variable in class edu.hws.jcm.draw.LimitControlPanel

The first CoordinateRect tied to this LimitControlPanel.

copy() - Method in class data.IntervalList

Returns a copy of the current list.

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

Copy data from another TableFunction, except that the name of the funcion is not duplicated.

copyExpression(int, ExpressionProgram) - Method in class edu.hws.jcm.data.ExpressionProgram

The command at position index in the program represents a subexpression of the whole expression.

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

Create a new TableFunction containing the data that is currently in the TableFunctionInput panel, and return a pointer to that new function.

CORRELATION - 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.

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

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

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

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

createFileDialog(int) - Static method in class ui.utils.FileDialogs

Creates the proper file choosing dialog box.

CROSS - Static variable in class edu.hws.jcm.draw.DraggablePoint

A style constant that specifies the visual appearance of a DraggablePoint to be a cross.

CROSS - Static variable in class edu.hws.jcm.draw.DrawGeometric

Specifies a cross centered on the point (x1,y1).

Crosshair - Class in edu.hws.jcm.draw

A Crosshair is a small cross, 15 pixels wide and high, that is drawn in a CoordinateRect at a specified point.

Crosshair(Value, Value) - Constructor for class edu.hws.jcm.draw.Crosshair

Create a cross that appears at the point with coordinates (x,y).

Crosshair(Value, Function) - Constructor for class edu.hws.jcm.draw.Crosshair

Create a cross that appears on the graph of the function y=f(x) at the point with coordinates (x,f(x)).

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

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

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

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

CURRENT_METHOD - Static variable in class edu.hws.jcm.draw.RiemannSumRects

For use in getValueObject(), to indicate whatever summation method is currently set for drawing.