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

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