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
G
getActualCost()
- Method in class savi.alg.funcmin.
StateFunction
Count optimalization criterion.
getActualCost()
- Method in class savi.alg.knapsack.
StateKnapsack
Count actual optimalization criterion.
getActualCost()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Count current optimalization criterion.
getActualCost()
- Method in interface savi.alg.
StateSkeleton
This function count optimalization criterion for the state.
getActualCost()
- Method in class savi.alg.tsp.
StateTSP
Return current optimalization criterion value.
getActualCost()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current value of optimalization criterion.
getAppletInstance()
- Static method in class savi.visualization.
SimAnnealingApplet
Return applet instance or null, static method -> can be called whenever.
getCities()
- Method in class savi.alg.tsp.
StateTSP
Return list of cities
getCityX(int)
- Method in class savi.alg.tsp.
Cities
Return coordinate x of city with given index
getCityY(int)
- Method in class savi.alg.tsp.
Cities
Return coordinate y of city with given index
getClauses()
- Method in class savi.alg.sat3.
Formula
Return number of clauses.
getCnfRepresentation()
- Method in class savi.alg.sat3.
Clause
Return dimacs text representation of the clause.
getCostSatisfactPart()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current fraction of satisfaction optimalization criterion.
getCostWeightPart()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current fraction of evaluation optimalization criterion.
getCount()
- Method in class savi.alg.knapsack.
Items
Get current items count in knapsack instance
getCount()
- Method in class savi.alg.tsp.
Cities
Return number of cities in the instance
getCurrentX()
- Method in class savi.alg.funcmin.
StateFunction
Used for taking current x value (that means state of function).
getFormula()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Returns reference to formula
getFormula()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return reference to formula.
getInfoPanel()
- Method in class savi.visualization.addons.
FunctionMin
Prepare and return help panel for this problem.
getInfoPanel()
- Method in class savi.visualization.addons.
Knapsack
Prepare and return help panel for this problem.
getInfoPanel()
- Method in class savi.visualization.addons.
MaxSAT3
Prepare and return help panel for this problem.
getInfoPanel()
- Method in class savi.visualization.addons.
TSP
Prepare and return help panel for this problem.
getInfoPanel()
- Method in class savi.visualization.addons.
WeightedSAT3
Prepare and return help panel for this problem.
getInfoPanel()
- Method in class savi.visualization.support.
SimPanel
This method must be implemented.
getItemCost(int)
- Method in class savi.alg.knapsack.
Items
Return cost of desired item.
getItems()
- Method in class savi.alg.knapsack.
StateKnapsack
Return available items.
getItemWeight(int)
- Method in class savi.alg.knapsack.
Items
Return weight of desired item.
getKnapsack()
- Method in class savi.alg.knapsack.
StateKnapsack
Return true/false list of items representing content of knapsack
getLiteralCount()
- Method in class savi.alg.sat3.
Clause
Return number of literals in clause.
getLiteralStringRepresentation()
- Method in class savi.alg.sat3.
Clause
Return text representation of the clause.
getMaxValue()
- Method in class savi.visualization.support.
VisualizationGraph
Return maximum y-value.
getPath()
- Method in class savi.alg.tsp.
StateTSP
Return path sequence
getRealCost()
- Method in class savi.alg.knapsack.
StateKnapsack
This method count current cost.
getReprezentation()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current variables assignment, text stream of 0/1
getSelectedItemsCount()
- Method in class savi.alg.knapsack.
StateKnapsack
Get count of items in knapsack.
getSimulationName()
- Method in class savi.visualization.addons.
FunctionMin
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.addons.
Intro
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.addons.
Knapsack
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.addons.
MaxSAT3
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.addons.
TSP
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.addons.
WeightedSAT3
Return name of the problem.
getSimulationName()
- Method in class savi.visualization.support.
TaskPanel
Return name of the problem.
getState()
- Method in class savi.alg.
SimAnnealingSkeleton
Return current state of this algorithm.
getState()
- Method in class savi.visualization.support.
SimPanel
Return internal state.
getState()
- Method in class savi.visualization.support.
VisualizationPanel
Return reference to state.
getSubmission()
- Method in class savi.alg.funcmin.
StateFunction
Not implemented, Finding global minimum problem doesn't allow loading and saving submissions.
getSubmission()
- Method in class savi.alg.knapsack.
StateKnapsack
Return text representation of knapsack instance.
getSubmission()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Return text representation of max-3-sat instance.
getSubmission()
- Method in interface savi.alg.
StateSkeleton
This method return submission (problem instance) in text format.
getSubmission()
- Method in class savi.alg.tsp.
StateTSP
Return text representation of TSP instance.
getSubmission()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return text representation of MAX-WEIGHTED-3-SAT instance.
getTemp()
- Method in class savi.alg.
SimAnnealingSkeleton
Returns current temperature
getText()
- Method in class savi.visualization.support.
StateButton
Return caption of the button.
getURL()
- Method in class savi.dialogs.
SaviUrlDialog
Return URL if user properly closed dialog (press OK) else return empty string.
getVariableValues()
- Method in class savi.alg.maxsat3.
StateMaxSAT3
Returns current variable assignment
getVariableValues()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current variables assignment.
getWeight()
- Method in class savi.alg.knapsack.
StateKnapsack
Count weight of items in knapsack.
getWeight()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return current weight
getWeights()
- Method in class savi.alg.weighsat3.
WeightedFormula
Return list of weights
getWeightSatRatio()
- Method in class savi.alg.weighsat3.
StateWSAT3
Return ratio between satisfaction and evaluation variables.
graph
- Variable in class savi.visualization.support.
SimPanel
graph visualization panel
gridCities(int, int)
- Method in class savi.alg.tsp.
Cities
Generate grid of cities
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