public class DistanceBasedExploration extends Explorer
Modifier and Type | Field and Description |
---|---|
(package private) Knee |
kneeTreeRoot |
private int[] |
lowerBounds |
private java.util.List<Point> |
satPointsList |
private java.util.List<Point> |
unsatPointsList |
private int[] |
upperBounds |
dimensions, exploredPointsFileName, explorePointsfile, explParams, modelFile, modelFileName, outputDir, paretoPointsfile, paretoPointsFileName, perQuerytimeOutInSeconds, satPointsfile, satPointsFileName, timedOutPointsfile, timedOutPointsFileName, timeTakenForCurrentQuery, totalExplTime, totalQueryTimeOutInSeconds, unSatPointsfile, unsatPointsFileName
Constructor and Description |
---|
DistanceBasedExploration(java.lang.String opDir,
int perQueryTimeOutSeconds,
int totalTimeOutInSeconds,
ExplorationParameters explParams) |
Modifier and Type | Method and Description |
---|---|
private void |
addSatPointToList(Point p) |
private double |
distanceWithSatPoints(Point p) |
private double[] |
hVector(Point[] unsatGens) |
private Point |
orderedMeet(Point[] unsatGens) |
private Point[] |
orderedSet(Point[] points) |
void |
paretoExploration() |
private void |
propSat(Knee kneePoint,
Point s) |
private boolean |
propUnSat(Knee kneePoint,
Point s) |
private Point[] |
selectPoint(Knee kneePoint) |
private boolean |
unsatPointsContain(Point queryPoint) |
finalize, outputToFile, smtQuery
private java.util.List<Point> satPointsList
private java.util.List<Point> unsatPointsList
Knee kneeTreeRoot
private int[] lowerBounds
private int[] upperBounds
public DistanceBasedExploration(java.lang.String opDir, int perQueryTimeOutSeconds, int totalTimeOutInSeconds, ExplorationParameters explParams)
private double[] hVector(Point[] unsatGens)
private double distanceWithSatPoints(Point p)
private boolean unsatPointsContain(Point queryPoint)
private void addSatPointToList(Point p)
public void paretoExploration()