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
C
callSaveInstance()
- Method in class savi.visualization.support.
SimPanel
This method opens File save dialog and save current problem instance.
Cities
- Class in
savi.alg.tsp
Class representing TSP (traveling salesman problem) instance.
Cities(int)
- Constructor for class savi.alg.tsp.
Cities
Creates a new instance of Cities, initialize internal variables
cities
- Variable in class savi.alg.tsp.
Cities
list of cities
cities
- Variable in class savi.alg.tsp.
StateTSP
reference to list of cities
citiesFromVector(Vector)
- Method in class savi.alg.tsp.
Cities
Load instance from vector
Clause
- Class in
savi.alg.sat3
Object representing a clause.
Clause(int, int)
- Constructor for class savi.alg.sat3.
Clause
Creates a new instance of Clause, generate random clause from parameters.
Clause(Vector)
- Constructor for class savi.alg.sat3.
Clause
Creates a new instance of Clause from one dimacs format line.
clauses
- Variable in class savi.alg.sat3.
Formula
list of clauses in formula
clausesCount()
- Method in class savi.alg.sat3.
Formula
Return count of clauses.
clickChooseAccept(ActionEvent)
- Method in class savi.visualization.
SimAnnealingApplet
Called when user wants load new visualization.
clone()
- Method in class savi.alg.funcmin.
StateFunction
Create new copy of StateFunction object.
clone()
- Method in class savi.alg.knapsack.
StateKnapsack
Creates and returns a copy of this object.
clone()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Creates and returns a copy of this object.
clone()
- Method in class savi.alg.sat3.
Formula
Creates and returns a copy of this object.
clone()
- Method in interface savi.alg.
StateSkeleton
Creates and returns a copy of this object.
clone()
- Method in class savi.alg.tsp.
StateTSP
Create a copy of this object.
clone()
- Method in class savi.alg.weighsat3.
StateWSAT3
Creates and returns a copy of this object.
clone()
- Method in class savi.alg.weighsat3.
WeightedFormula
Create a copy of this object.
closeCalled()
- Method in class savi.dialogs.
SaviDialogSkeleton
Actions if user press "close".
closePressed()
- Method in class savi.dialogs.
SaviCommonDialog
Actions if user press "close".
closePressed()
- Method in class savi.dialogs.
SaviDialog
Actions if user press "close".
closePressed()
- Method in class savi.dialogs.
SaviUrlDialog
Actions if user press "close".
content
- Variable in class savi.dialogs.
SaviCommonDialog
content of dialog
cool()
- Method in class savi.alg.
SimAnnealingBasicSolver
Call this function lowers current temperature.
cool()
- Method in class savi.alg.
SimAnnealingSkeleton
This must be implemented, call this function lowers current temperature.
coolFactor
- Variable in class savi.alg.
SimAnnealingSkeleton
Cooling factor specified by parameter in constructor
cost
- Variable in class savi.alg.tsp.
StateTSP
current cost (length of tour)
count
- Variable in class savi.alg.knapsack.
Items
number of items in this knapsack instance
count
- Variable in class savi.alg.tsp.
Cities
number of cities
countSatisfactClauses()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Count number of current satisfied clauses
countSatisfactClauses(boolean[])
- Method in class savi.alg.sat3.
Formula
Return number of satisfied clauses.
countSatisfactClauses()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return number of satisfied clauses.
currCost
- Variable in class savi.alg.knapsack.
StateKnapsack
current cost
currentX
- Variable in class savi.alg.funcmin.
StateFunction
current value x in graph
currWeight
- Variable in class savi.alg.knapsack.
StateKnapsack
current weight
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