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

F

fce(double) - Method in class savi.alg.funcmin.StateFunction
implemented function
filePreprocess(InputStream) - Method in class savi.visualization.addons.Knapsack
Read instance from stream.
filePreprocess(InputStream) - Method in class savi.visualization.addons.TSP
Load instance of the problem from input stream.
finalTemp - Variable in class savi.alg.SimAnnealingSkeleton
Final temperature specified by parameter in constructor
findInitialState(double) - Method in class savi.alg.funcmin.StateFunction
Initializes state.
findInitialState(double) - Method in class savi.alg.knapsack.StateKnapsack
Initialize state
findInitialState(double) - Method in class savi.alg.maxsat3.StateMaxSAT3
Create intial solution.
findInitialState(double) - Method in interface savi.alg.StateSkeleton
This function is called if algorithm finding initial state.
findInitialState(double) - Method in class savi.alg.tsp.StateTSP
Find initial state.
findInitialState(double) - Method in class savi.alg.weighsat3.StateWSAT3
Find initial state.
findNextState(double) - Method in class savi.alg.funcmin.StateFunction
Called when algorithm need to find next state.
findNextState(double) - Method in class savi.alg.knapsack.StateKnapsack
Finds next state of knapsack problem.
findNextState(double) - Method in class savi.alg.maxsat3.StateMaxSAT3
Find next state.
findNextState(double) - Method in interface savi.alg.StateSkeleton
Called when algorithm finding next state.
findNextState(double) - Method in class savi.alg.tsp.StateTSP
Find next state.
findNextState(double) - Method in class savi.alg.weighsat3.StateWSAT3
Find next state.
findOptimalStartTemp(StateSkeleton, int) - Static method in class savi.alg.SimAnnealingBasicSolver
This method is able to find and return starting temp.
formula - Variable in class savi.alg.maxsat3.StateMaxSAT3
reference to formula
Formula - Class in savi.alg.sat3
Class representing boolean formula in CNF.
Formula(int, int) - Constructor for class savi.alg.sat3.Formula
Creates a new instance of Formula, randomly generate clauses from given parameters.
Formula(BufferedReader) - Constructor for class savi.alg.sat3.Formula
Creates a new instance of Formula, read it from stream (expecting stream with DIMACS format).
formula - Variable in class savi.alg.weighsat3.StateWSAT3
reference to solved formula
frozen() - Method in class savi.alg.SimAnnealingBasicSolver
This function can be called to recognition end of algorithm run.
frozen() - Method in class savi.alg.SimAnnealingSkeleton
It must be implemented.
FunctionMin - Class in savi.visualization.addons
Visualization add-on for Finding global minimum problem.
FunctionMin() - Constructor for class savi.visualization.addons.FunctionMin
Creates a new instance of FunctionMin

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