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
K
L
M
N
O
P
R
S
T
U
V
W
X
R
raised
- Variable in class savi.visualization.support.
StateButton
state of button
randomCities(int)
- Method in class savi.alg.tsp.
Cities
Cretate
count
cities randomly
randomItems(double, double)
- Method in class savi.alg.knapsack.
Items
Randomly cretes items.
readFromStream(BufferedReader)
- Method in class savi.alg.sat3.
Formula
Read formula from stream (expecting stream with DIMACS format).
readFromStream(BufferedReader)
- Method in class savi.alg.weighsat3.
WeightedFormula
Read submission from stream.
readInt()
- Method in class savi.alg.sat3.
IntegerReader
Read one integer from stream.
recountCost()
- Method in class savi.alg.knapsack.
StateKnapsack
Recount current cost.
recountCost()
- Method in class savi.alg.tsp.
StateTSP
Recalculate path length.
reduceNumberOfClauses(double)
- Method in class savi.alg.sat3.
Formula
Reduce number of clauses in the formula.
refresh()
- Method in class savi.visualization.support.
VisualizationGraph
Cause refresh (graph repaint).
reversePath(int[], int, int)
- Method in class savi.alg.tsp.
StateTSP
Reverse path between two cities in given city list
rnd
- Variable in class savi.alg.knapsack.
StateKnapsack
random generator
rnd
- Variable in class savi.alg.tsp.
StateTSP
instance to random generator
run()
- Method in class savi.visualization.support.
SimPanel
Thread is constructed using a separate Runnable
run
object.
running(boolean)
- Method in class savi.visualization.support.
SimPanel
Set components according to running state.
runThread
- Variable in class savi.visualization.support.
SimPanel
run thread reference
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
K
L
M
N
O
P
R
S
T
U
V
W
X