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

A B C D E F G H I K L M N O P R S T U V W X