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

A

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

Value of x1.

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

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

accept(File) - Method in class ui.ExampleFileFilter

Return true if this file should be shown in the directory pane, false if it shouldn't.

ActInitialEndingTriplet - Class in data

ActInitialEndingTriplet This class will provide a key for the hash tables representing a transition.

ActInitialEndingTriplet(String, Interval, Interval) - Constructor for class data.ActInitialEndingTriplet

Default constructor with the three parameters

ActInitialPair - Class in data

ActInitialPair This class will provide a key for the hash tables representing a transition.

ActInitialPair(String, Interval) - Constructor for class data.ActInitialPair

Constructor with the two parameters.

action - Variable in class data.ActInitialEndingTriplet

The action attached to the transition

action - Variable in class data.ActInitialPair

The action attached to the transition

ActionList - Class in ui.components

ActionList is used to print the list representing the system loaded.

ActionList(ArrayList) - Constructor for class ui.components.ActionList

Default constructor, initializes the initial state

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

Respond to button clicks.

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

Simply calls compute when the Controller hears an ActionEvent.

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

Respond when user clicks OK.

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

Handle a click on one of the standard buttons.

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

React when user clicks one of the buttons or presses return in one of the input boxes.

activate() - Method in class generator.Generator

Used to display the main window

add(Interval) - Method in class data.IntervalList

Add the interval i to the current list, unifying if necessary.

add(String) - Method in class data.IntervalList

Add an interval in the form of a string.

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

Add an object to be controlled by this controller.

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

Add item to the tie, and sync it with the items that are already in the Tie.

add(MathObject) - Method in class edu.hws.jcm.data.Parser

Register the MathObject with the Parser, associating it with its name.

add(MathObject) - Method in class edu.hws.jcm.data.ParserContext

Add a new MathObject to the symbol table.

add(MathObject) - Method in class edu.hws.jcm.data.SymbolTable

Adds sym to the SymbolTable, associating it with its name.

add(String, MathObject) - Method in class edu.hws.jcm.data.SymbolTable

Adds the given MathObject, sym, to the symbol table, associating it with the given name (which is probably the name of the symbol or that name transformed to lower case, but it doesn't have to be).

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

Add a drawable item to the CoordinateRect.

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

Add the specified Drawable item to the first CoordinateRect in this DisplayCanvas.

add(Drawable, int) - Method in class edu.hws.jcm.draw.DisplayCanvas

Add a Drawable item to one of the CoordinateRects associated with the Canvas.

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

Redefine this method from the Component class to make it a synonym for addComponent(c);

add(Formula, IntervalList, int) - Method in class ui.EnginTraceDialog

This class adds a single formula to the trace

add(Formula, IntervalList, int, IntervalList) - Method in class ui.EnginTraceDialog

This class adds a unitary operator

add(Formula, IntervalList, int, IntervalList, IntervalList) - Method in class ui.EnginTraceDialog

This class adds a binary operator

addAction(String) - Method in class data.ProbSystemHash

Adds the specified action to the action list.

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

Add the buttons in buttonSet to the panel, if they are not already there.

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

Add a new case value to the list stored in this object.

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

Add a column at the right side of the table, with all cells initially empty.

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

Add a column with the specified name at the right side of the table, with all cells initially empty.

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

Add a command code to the program, where code is one of the opCode constants that are public final members of this class, from CUBERT to PLUS.

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

Adds com as the next command in the program.

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

Add a component to the panel.

addComponentPair(Component, Component) - Method in class edu.hws.jcm.draw.LimitControlPanel

Add two components to the panel.

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

Add the number d as the next command in the program.

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

Add one of the possible control buttons or pop-up menus to the Animator.

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

Add the specified CoordinateRect to this DisplayCanvas, filling the entire canvas, and with background color equal to the background color of the canvas.

addCoordinateRect(CoordinateRect, double, double, double, double, Color) - Method in class edu.hws.jcm.draw.DisplayCanvas

Add a CoordinateRect to the canvas, occupying a specified region of the canvas.

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

Add a CoordinateRect to be controlled by this LimitControlPanel.

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

Add the first CoordinateRect from the canvas to be controlled by this LimitControlPanel.

addEnginListener(EnginListener) - Method in class engin.Engin

Registers a listener to the engine

addExtension(String) - Method in class ui.ExampleFileFilter

Adds a filetype "dot" extension to filter against.

addFunctions(String) - Method in class generator.data.RandomizedModel

Adds a function type to the list of possible functions type.

addInterval(IntervalNoUnion) - Method in class generator.data.IntervalListNoUnion

Adds an interval to the list

addIntervals(int, double, double) - Method in class edu.hws.jcm.functions.TableFunction

Add points to the table.

addLabelToStates(HashMap) - Method in interface data.ProbSystem

Apply all the label associations contained in the map table to the states.

addLabelToStates(String, IntervalList) - Method in interface data.ProbSystem

Apply a single atomic proposition to a list of states.

addLabelToStates(HashMap) - Method in class data.ProbSystemHash

Associate several labels to states using an association table

addLabelToStates(String, IntervalList) - Method in class data.ProbSystemHash

Adds a label associated to certain states of the system.

addLabelToStates(HashMap) - Method in class data.ProbSystemMtbdd

Ajoute plusieurs étiquettes

addLabelToStates(String, IntervalList) - Method in class data.ProbSystemMtbdd

Permet d'ajouter une étiquette à certain états du système.

addListener(GeneratorEngineListener) - Method in class generator.engin.GeneratorEngine

This method attaches a listener to the engine

addNewCoordinateRect(double, double, double, double) - Method in class edu.hws.jcm.draw.DisplayCanvas

Add a newly created CoordinateRect covering the specified section of the canvas.

addNewCoordinateRect(double, double, double, double, Color) - Method in class edu.hws.jcm.draw.DisplayCanvas

Add a newly created CoordinateRect covering the specified section of the canvas, with the specfied background color.

addOptions(int) - Method in class edu.hws.jcm.data.Parser

Add the options in the option set newOptions to this Parser's option set.

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

Add a point with the specified x and y coordinates.

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

Add points to the table.

addRange(VariableInput, VariableInput) - Method in class edu.hws.jcm.draw.LimitControlPanel

Add two VariableInputs to the panel.

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

Add the specified number of empty rows at the bottom of the table.

addTemplate(String, IntervalNoUnion, IntervalNoUnion, IntervalNoUnion, IntervalNoUnion, IntervalNoUnion) - Method in class generator.data.RandomizedModel

Add a template to the RandomizeModel.

addTemplate(String, RandomizedModel) - Method in class generator.data.RandomizedModel

Add a template from a previously created model

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

A convenience method that registers this VariableInput's variable with Parser p (but only if both p and the name of the variable are non-null).

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

A convenience method that registers this VariableSlider's variable with p (but only if both p and the name of the variable are non-null).

addTransition(Transition) - Method in interface data.ProbSystem

Add a new transition to the system

addTransition(Transition, boolean) - Method in interface data.ProbSystem

Add a new transition to the system, but the system integrity verification can be skipped to accelerate loading.

addTransition(Transition) - Method in class data.ProbSystemHash

Adds a transition to the system and the associations if the transition is not already present in the system.

addTransition(Transition, boolean) - Method in class data.ProbSystemHash

Adds a transition to the system and the associations if the transition is not already present in the system.

addTransition(Transition) - Method in class data.ProbSystemMtbdd

Ajoute la transition ainsi que les associations si la transition n'est pas déja dans le système.

addTransition(Transition, boolean) - Method in class data.ProbSystemMtbdd

Ajoute la transition ainsi que les associations si la transition n'est pas déja dans le système.

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

Add a row number variable (from the getRowNumberVariable() method) and a column variable for each column (from the getColumnVariable() method) to the parser.

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

Simply calls compute when the Controller hears an AdjustmantEvent.

AdjustPrecision - Class in generator.engin.utils

AdjustPrecision This class is used to round real numbers at the specified maximum number of decimals.

AdjustPrecision() - Constructor for class generator.engin.utils.AdjustPrecision

ALL_BUTTONS - Static variable in class edu.hws.jcm.draw.LimitControlPanel

A constant that can be used in the addButton() method to add all possible buttons to the LimitControlPanel.

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

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

Animator - Class in edu.hws.jcm.awt

An Animator can change a value continuously, without user intervention, by running a separate Thread.

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

Create a default Animator.

Animator(int) - Constructor for class edu.hws.jcm.awt.Animator

Create an Animator containing the specified control.

Animator(int, int) - Constructor for class edu.hws.jcm.awt.Animator

Create an Animator containing specified controls.

Animator(int, int, Value, Value, Value) - Constructor for class edu.hws.jcm.awt.Animator

Create an Animator with specified controls, orienation, range limits and number of intervals

appendOutputString(ExpressionProgram, int, StringBuffer) - Method in class edu.hws.jcm.data.ConditionalExpression

Append the string representation of the expression (including the boolean condition) to the buffer.

appendOutputString(ExpressionProgram, int, StringBuffer) - Method in class edu.hws.jcm.data.Constant

Append the print string for this Constant to the buffer.

appendOutputString(ExpressionProgram, int, StringBuffer) - Method in interface edu.hws.jcm.data.ExpressionCommand

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

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

Add a string representing part of the expression to the output buffer.

appendOutputString(ExpressionProgram, int, StringBuffer) - Method in class edu.hws.jcm.functions.FunctionParserExtension

Append a string representation of the function and its arguments to the buffer

apply(StackOfDouble, Cases) - Method in class data.StandardNormalTable

Returns the evaluation of the function using the real number on the top of the stack as a parameter.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.data.ConditionalExpression

Apply this ConditionalExpression to the stack.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.data.Constant

Apply the Constant to the stack.

apply(StackOfDouble, Cases) - Method in interface edu.hws.jcm.data.ExpressionCommand

This routine is called when an ExpressionCommand object is encountered during the evaluation of an ExpressionProgram.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.functions.ExpressionFunction

Find the value of the function applied to arguments popped from the stack, and push the result back onto the stack.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.functions.FunctionParserExtension

Evaluate the function applied to argument values popped from the stack, and leave the result on the stack.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.functions.TableFunction

Override method apply() from interface FunctionParserExtension, to handle cases properly.

apply(StackOfDouble, Cases) - Method in class edu.hws.jcm.functions.WrapperFunction

Evaluate the function applied to argument values popped from the stack, and leave the result on the stack.

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

Apply the stack operation represented by code (a number < 0) to the stack.

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

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

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

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

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

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

ARROWS - Static variable in class edu.hws.jcm.draw.VectorField

One of the possible styles for displaying a VectorField: as a direction field shown as arrows of equal length.

AtomicProposition - Class in logic

Atomic proposition Represents an atomic proposition.

AtomicProposition(String) - Constructor for class logic.AtomicProposition

This constructor creates a new atomic proposition.

AtomicPropositions - Class in ui.components

AtomicPropositions is used to print the list representing the system loaded.

AtomicPropositions(String, IntervalList) - Constructor for class ui.components.AtomicPropositions

Default constructor, initializes the initial state

Axes - Class in edu.hws.jcm.draw

A set of horizontal and vertical axes that look OK and have reasonable, labeled tick marks.

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

Creates axes with no names on the axes.

Axes(String, String) - Constructor for class edu.hws.jcm.draw.Axes

Creates axes with given names on the axes.