Package | Description |
---|---|
exploration.paretoExploration.distanceexploration |
package contains distance-based algorithm to perform multi-dimensional
design space exploration.
|
Modifier and Type | Field and Description |
---|---|
private Point |
Knee.b |
private Point |
Knee.g |
private Point[] |
Knee.unsatGen |
Modifier and Type | Field and Description |
---|---|
private java.util.List<Point> |
DistanceBasedExploration.satPointsList |
private java.util.List<Point> |
DistanceBasedExploration.unsatPointsList |
Modifier and Type | Method and Description |
---|---|
Point |
Point.calculateJoin(Point p) |
Point |
Point.calculateMeet(Point p) |
Point |
Point.divide(double value) |
Point |
Knee.getB() |
Point |
Knee.getG() |
Point |
Knee.getUnsatGen(int k) |
Point |
Point.minus(double n) |
Point |
Point.minus(Point p) |
Point |
Point.multiply(double n) |
Point |
Point.multiply(Point p) |
private Point |
DistanceBasedExploration.orderedMeet(Point[] unsatGens) |
private Point[] |
DistanceBasedExploration.orderedSet(Point[] points) |
Point |
Point.plus(double n) |
Point |
Point.plus(Point p) |
Point |
ScalePoint.scale(Point p) |
private Point[] |
DistanceBasedExploration.selectPoint(Knee kneePoint) |
Point |
Point.toInteger() |
Point |
ScalePoint.unScale(Point p) |
Modifier and Type | Method and Description |
---|---|
private void |
DistanceBasedExploration.addSatPointToList(Point p) |
void |
Knee.addUnsatGen(int dimension,
Point p) |
Point |
Point.calculateJoin(Point p) |
Point |
Point.calculateMeet(Point p) |
double |
Point.distance(Point p) |
private double |
DistanceBasedExploration.distanceWithSatPoints(Point p) |
boolean |
Point.equals(Point p) |
boolean |
Point.greaterThan(Point p) |
boolean |
Point.greaterThanOrEquals(Point p) |
private double[] |
DistanceBasedExploration.hVector(Point[] unsatGens) |
boolean |
Point.lessThan(Point p) |
boolean |
Point.lessThanOrEquals(Point p) |
Point |
Point.minus(Point p) |
Point |
Point.multiply(Point p) |
private Point |
DistanceBasedExploration.orderedMeet(Point[] unsatGens) |
private Point[] |
DistanceBasedExploration.orderedSet(Point[] points) |
Point |
Point.plus(Point p) |
private void |
DistanceBasedExploration.propSat(Knee kneePoint,
Point s) |
private boolean |
DistanceBasedExploration.propUnSat(Knee kneePoint,
Point s) |
Point |
ScalePoint.scale(Point p) |
void |
Knee.setB(Point b) |
void |
Knee.setG(Point g) |
private boolean |
DistanceBasedExploration.unsatPointsContain(Point queryPoint) |
Point |
ScalePoint.unScale(Point p) |
Constructor and Description |
---|
Knee(Point p) |
Point(Point p) |