Package | Description |
---|---|
exploration.paretoExploration.gridexploration |
package contains algorithms in order to perform
multi-dimensional design space exploration.
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<Point> |
GridBasedExploration.algoSatPointsList
SAT points in the exploration.
|
private java.util.List<Point> |
GridBasedExploration.algoUnsatPointsList
UNSAT points in the exploration.
|
private java.util.List<Point> |
GridBasedExploration.paretoPoints
List of Pareto Points from the exploration.
|
private java.util.List<Point> |
GridBasedExploration.satPointsList
List of all the SAT points explored.
|
Modifier and Type | Method and Description |
---|---|
(package private) Point |
Point.divide(double value)
Divide every co-ordinate with a value and
return new Point object with divided co-ordinates.
|
(package private) Point |
Point.minus(double value)
Subtract a value from each dimension of this point
and return a new point with new co-ordinates.
|
(package private) Point |
Point.minus(Point p)
Subtract this point with another point p and
return a Point with new co-ordinates.
|
(package private) Point |
Point.multiply(double value)
Multiply this point with a constant value and return a
new Point object.
|
(package private) Point |
Point.multiply(Point p)
Multiply this point with another point and return a
new point.
|
(package private) Point |
Point.plus(double value)
Add each dimension of this point with a value and
return new Point object with added co-ordinates.
|
(package private) Point |
Point.plus(double[] values)
Add this point with another values and
return new Point object with added co-ordinates.
|
(package private) Point |
Point.plus(Point p)
Add this point with another point and
return new Point object with added co-ordinates.
|
(package private) Point |
Point.toInteger()
Convert double co-ordinates to integer.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Point> |
GridBasedExploration.getParetoPoints()
Get all the Pareto points found from this exploration.
|
java.util.List<Point> |
GridBasedExploration.getSatPoints()
Get list of all the SAT points found during the exploration.
|
Modifier and Type | Method and Description |
---|---|
private void |
GridBasedExploration.addSatToList(Point point)
Add SAT point to the list.
|
private void |
GridBasedExploration.addUnsatToList(Point point)
Add UNSAT point to the list.
|
private boolean |
GridBasedExploration.binarySearch(int dimension,
double lowerBound,
double upperBound,
Point queryPoint,
double higherDimEpsilon)
Perform a binary search on a given dimension.
|
private Z3Solver.SatResult |
GridBasedExploration.checkIfSatOrUnsat(Point point)
Check if the point falls in SAT or UNSAT known area.
|
(package private) boolean |
Point.equals(Point p)
Check if this point has same co-ordinates as other Point p.
|
private double[] |
GridBasedExploration.getTrueBounds(Point queryPoint)
Get bounds according to the unknown area where we should perform the binary search
exploration.
|
(package private) boolean |
Point.greaterThan(Point p)
Check if this point has co-ordinates greater than of other Point p.
|
(package private) boolean |
Point.greaterThanOrEquals(Point p)
Check if this point has co-ordinates greater than or equal of other Point p.
|
(package private) boolean |
Point.lessThan(Point p)
Check if this point has co-ordinates less than of other Point p.
|
(package private) boolean |
Point.lessThanOrEquals(Point p)
Check if this point has co-ordinates less than or equal of other Point p.
|
(package private) Point |
Point.minus(Point p)
Subtract this point with another point p and
return a Point with new co-ordinates.
|
(package private) Point |
Point.multiply(Point p)
Multiply this point with another point and return a
new point.
|
private Z3Solver.SatResult |
GridBasedExploration.performQuery(Point queryPoint)
Perform a SMT query.
|
(package private) Point |
Point.plus(Point p)
Add this point with another point and
return new Point object with added co-ordinates.
|
Modifier and Type | Method and Description |
---|---|
private void |
GridBasedExploration.readFileToArray(java.lang.String fileName,
java.lang.String[] paramStrings,
java.util.List<Point> listToAdd)
Read a log file of exploration to read SAT / UNSAT / TIMED OUT points.
|
Constructor and Description |
---|
Point(Point p)
Initialize a point object same as other point
|