Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
V
v
- Variable in class edu.hws.jcm.draw.
DrawGeometric
Integer that gives vertical pixel offset fromy1.
value
- Variable in class edu.hws.jcm.data.
Constant
The value of this Constant.
Value
- Interface in
edu.hws.jcm.data
An object of type Value has a real-number value that can be retrieved by calling the getVal() method.
ValueMath
- Class in
edu.hws.jcm.data
A ValueMath object is an easy way to create Value objects that are computed from other Value objects.
ValueMath(Value, Value, char)
- Constructor for class edu.hws.jcm.data.
ValueMath
Create a ValueMath object whose value is computed by applying an arithmetic operator the values of x and y.
ValueMath(Function, Value)
- Constructor for class edu.hws.jcm.data.
ValueMath
Create a ValueMath object whose value is computed as f(x).
values
- Variable in class edu.hws.jcm.awt.
DisplayLabel
Value objects whose values will be substituted for #'s in text.
values
- Variable in class edu.hws.jcm.draw.
DrawString
Values to be substituted for #'s in the baseString.
variable
- Variable in class edu.hws.jcm.awt.
VariableInput
The Variable that represents the value of this input box.
variable
- Variable in class edu.hws.jcm.awt.
VariableSlider
The variable associated with this VariableSlider.
Variable
- Class in
edu.hws.jcm.data
A Variable is a Value object whose value can be changed.
Variable()
- Constructor for class edu.hws.jcm.data.
Variable
Create an unnamed Variable with initial value 0.
Variable(String)
- Constructor for class edu.hws.jcm.data.
Variable
Create a Variable with the given name and with initial value zero.
Variable(String, double)
- Constructor for class edu.hws.jcm.data.
Variable
Create a Variable with the given name and given initial value.
VariableInput
- Class in
edu.hws.jcm.awt
A VariableInput is an input box into which the user can type a real number value, which becomes the value of an associated Variable.
VariableInput()
- Constructor for class edu.hws.jcm.awt.
VariableInput
Create an unnamed VariableInput with initial contents "0".
VariableInput(String, String)
- Constructor for class edu.hws.jcm.awt.
VariableInput
Construct a VariableInput with the given name and initial String (which can both be null).
VariableInput(String, String, Parser)
- Constructor for class edu.hws.jcm.awt.
VariableInput
Create a VariableInput just as in the constructor VariableInput(String,String).
VariableSlider
- Class in
edu.hws.jcm.awt
A VariableSlider is a slider (implemented as a Scrollbar) whose position represents the value of an associated variable.
VariableSlider()
- Constructor for class edu.hws.jcm.awt.
VariableSlider
Create a horizontal variable slider with no name and with a default value range of -5 to 5.
VariableSlider(Value, Value)
- Constructor for class edu.hws.jcm.awt.
VariableSlider
Create a horizontal variable slider with no name and with the specified range of values.
VariableSlider(String, Value, Value, Parser)
- Constructor for class edu.hws.jcm.awt.
VariableSlider
Create a horizontal variable slider with the given name and range of values, and register it with the given parser (but only if both name and p are non-null).
VariableSlider(String, Value, Value, Parser, int, int)
- Constructor for class edu.hws.jcm.awt.
VariableSlider
Create a variable slider with the given name and range of values, and register it with the given parser (but only if both name and p are non-null).
VectorField
- Class in
edu.hws.jcm.draw
A VectorField displays lines or arrows on a grid of points where the direction and/or lengths are given by two functions (f1(x,y),f2(x,y)).
VectorField()
- Constructor for class edu.hws.jcm.draw.
VectorField
Create a VectorField object with nothing to graph.
VectorField(Function, Function)
- Constructor for class edu.hws.jcm.draw.
VectorField
Create a VectorField that will be displayed using the default style, as a direction field of equal-length arrows.
VectorField(Function, Function, int)
- Constructor for class edu.hws.jcm.draw.
VectorField
Create a VectorField with the specified functions and style.
verifierInvariants()
- Method in class data.
Interval
Verifies the interval's integrity
verify()
- Method in class ui.
FormulaDialog
On doit valider la formule avant de quitter la fenêtre de formules.
VERIFY_A_FORMULA_MODE
- Static variable in class engin.
Engin
In this mode, the thread will verify if the initial state verifies the formula
VERIFY_CONSTRAINT_MODE
- Static variable in class engin.
Engin
In this mode, the thread will verify if all the LMP constraints are verified by the system
VERIFY_FORMULA
- Variable in class ui.
EnginTraceDialog
Formula verification trace constant
VerifyInitialState(Formula)
- Method in interface ui.
FormulaDialogListener
This event is fired upon a request of a verification from the initial state
verifySystemConstraints()
- Method in class engin.
Engin
This function verifies that the system does indeed satisfies the LMP constraints : 0 <= P_a(x,S) < 1
VERTICAL
- Static variable in class edu.hws.jcm.awt.
Animator
Indicates that the components in the Animator panel are to be stacked vertically.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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