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

T

T_Formula_focusLost(FocusEvent) - Method in class ui.FormulaDialog

T_Formula_mouseClicked(MouseEvent) - Method in class ui.FormulaDialog

T_Formula_mouseReleased(MouseEvent) - Method in class ui.FormulaDialog

TableFunction - Class in edu.hws.jcm.functions

A TableFunction is a function that is specified by a table of (x,y)-points.

TableFunction() - Constructor for class edu.hws.jcm.functions.TableFunction

Create a TableFunction with SMOOTH style and no points.

TableFunction(int) - Constructor for class edu.hws.jcm.functions.TableFunction

Create a TableFunction with specified style and no points.

TableFunctionGraph - Class in edu.hws.jcm.functions

A TableFunctionGraph is a Drawable object that can be added to a CoordinateRect (or DisplayCanvas).

TableFunctionGraph() - Constructor for class edu.hws.jcm.functions.TableFunctionGraph

Create a TableFunctionGraph that initially draws no function.

TableFunctionGraph(TableFunction) - Constructor for class edu.hws.jcm.functions.TableFunctionGraph

Create a TableFunctionGraph to draw the specified TableFunction.

TableFunctionInput - Class in edu.hws.jcm.functions

A TableInputFunction is a Panel that can be used to define a TableFunction or to edit an existing TableFunction.

TableFunctionInput() - Constructor for class edu.hws.jcm.functions.TableFunctionInput

Create a TableFunctionInput panel.

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

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

TangentLine - Class in edu.hws.jcm.draw

A Tangent line is a line that is tangent to the graph of a specified function of one argument at a specified value of its argument.

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

Create a tangent line to the graph of a function.

test - package test

Test - Class in test

Test This class is used to measure the performance of Cismo using a simple command line menu.

Test(String, String, double, int, String) - Constructor for class test.Test

Effectue un test et affiche/"append" dans un fichier le résultat du test ainsi que le temps pris.

TestLogic - Class in test

Test Logic This class is a unit test for the package Logic.

TestLogic() - Constructor for class test.TestLogic

TestPerformance - Class in test

Deprecated.

TestPerformance() - Constructor for class test.TestPerformance

Deprecated.

text - Variable in class edu.hws.jcm.awt.DisplayLabel

Unsubstituted text for display.

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

Simply calls compute when the Controller hears a TextEvent.

this_keyPressed(KeyEvent) - Method in class ui.FormulaDialog

this_keyTyped(KeyEvent) - Method in class ui.FormulaDialog

throwErrors - Variable in class edu.hws.jcm.awt.ExpressionInput

True if an error should be thrown when checkInput() is called, but the content of the box is not a legal expression.

throwErrors - Variable in class edu.hws.jcm.awt.VariableInput

True if an error should be thrown when checkInput() is calles and the contents do not define a legal number.

Tie - Class in edu.hws.jcm.awt

A Tie associates several Tieable objects.

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

Create a Tie, initially containing no objects.

Tie(Tieable) - Constructor for class edu.hws.jcm.awt.Tie

Create a Tie initally containing only the object item.

Tie(Tieable, Tieable) - Constructor for class edu.hws.jcm.awt.Tie

Create a Tie initially containing item1 and item2.

Tieable - Interface in edu.hws.jcm.awt

A Tieable object has an associated serial number.

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

Ties that have been added to this controller.

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

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

token - Variable in class edu.hws.jcm.data.ParserContext

The most recently read token type, or NONE if that token has been consumed by a call to next().

tokenObject - Variable in class edu.hws.jcm.data.ParserContext

If the most recently read token was of type IDENTIFIER, then this is the corresponding MathObject from the symbol table, or null if the identifier is not in the symbol table.

tokenString - Variable in class edu.hws.jcm.data.ParserContext

The substring of the parse string that corresponds to the most recently read token.

tokenValue - Variable in class edu.hws.jcm.data.ParserContext

If the most recently read token was of type NUMBER, then this is its numerical value.

TOP - Static variable in class edu.hws.jcm.draw.Axes

A constant that can be used in the setYAxisPosition() method to indicate the placement of the y-axis.

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

Specify string location in rect

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

Specify string location in rect

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

Specify string location in rect

toString() - Method in class data.Interval

Converting the current interval to string

toString() - Method in class data.IntervalList

Convert the current list a string.

toString() - Method in interface data.ProbSystem

Returns a string representing the probabilistic system.

toString() - Method in class data.ProbSystemHash

Implements the serailzable method toString that returns a string representing the entire probabilistic system.

toString() - Method in class data.ProbSystemMtbdd

Pour l'affichage et pour envoyer dans un fichier.

toString() - Method in class data.StandardNormalTable

Returns a string representing the normal law.

toString() - Method in class data.Transition

Returns a string representing the transition in the form : (STARTING STATES) -[(ACTION)]-> (EXPRESSION):(ENDING STATES)
Example: [0,1] -[up]-> x*y:[0,1]

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

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

Return the print string representing this Constant.

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

Get a print string representation of this expression.

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

If a source string has been saved, use it as the print string.

toString() - Method in class edu.hws.jcm.data.Variable

Return a print string representing this variable.

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

Return a string that describes this function, such as "function f(x,y) given by x^2 - y^2".

toString() - Method in class logic.AtomicProposition

Converts this atomic proposition to a string

toString() - Method in class logic.Formula

Converting this formula into a string

toString() - Method in class logic.ProbabilisticNext

Converts the expression to a string recognizable by the parser

toString() - Method in class ui.components.ActionList

Returns a string representing the initial state

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

Returns a string representing the initial state

toString() - Method in class ui.components.InitialState

Returns a string representing the initial state

toString() - Method in class ui.components.StateSpace

Returns a string representing the initial state

Transition - Class in data

Transition This class represents a transition of a probabilistic system.

Transition(Interval, Interval, ExpressionProgram, String) - Constructor for class data.Transition

Initialization constructor

TransitionDialog - Class in ui

Transition Dialog Transition dialog is a simple wizard to construct a new transition, or modify a transition in the current system.

TransitionDialog() - Constructor for class ui.TransitionDialog

Default constructor with no parameters.

TransitionDialog(JFrame, Transition, ArrayList, ArrayList, ArrayList, ArrayList) - Constructor for class ui.TransitionDialog

Constructor with specified initial values for each field.

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

Summation method type.

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

To save space, cut the arrays that holds the program data down to the actual amount of data that they contain.

True - Class in logic

True Represents the true clause.

True() - Constructor for class logic.True

Default constructor ... calls the base class constructor.

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

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

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

This method truncates a real number at the specified maximum number of decimals.

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

Use two columns for display, if possible.

TYPE - Static variable in class logic.AtomicProposition

A constant representing an atomic proposition.

TYPE - Static variable in class logic.LogicalAnd

Constant representing the logical operator AND

TYPE - Static variable in class logic.LogicalNot

Constant representing the logical operator NOT

TYPE - Static variable in class logic.LogicalOr

A constant repersenting the logical operator OR

TYPE - Static variable in class logic.True

Constant representing the true clause.