Propagate P
Learn L
Move M
Model mModel
IObjectiveManager<V extends Variable> objectivemanager
Solver.Action action
MeasuresRecorder mMeasures
DecisionPath dpath
int rootWorldIndex
int searchWorldIndex
List<E> criteria
boolean defaultSearch
boolean completeSearch
AbstractEventObserver eventObserver
SearchMonitorList searchMonitors
PropagationEngine engine
ContradictionException exception
ESat feasible
int jumpTo
boolean stop
boolean canBeRepaired
public void readExternal(ObjectInput arg0) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
public void writeExternal(ObjectOutput arg0) throws IOException
IOException
String modelName
SearchState state
IBoundsManager boundsManager
boolean objectiveOptimal
long solutionCount
long timeCount
long readingTimeCount
long nodeCount
long backtrackCount
long failCount
long restartCount
long maxDepth
long depth
long fixpointCount
long backjumpCount
private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException
IOException
ClassNotFoundException
private void writeObject(ObjectOutputStream out) throws IOException
IOException
long startingTime
int max_branching
int branch
int position
IbexHandler handler
Model model
int value
DecisionOperator<V extends Variable> assignment
double value
double epsilon
boolean leftFirst
private Object readResolve()
int value
DecisionOperator<V extends Variable> operator
int length
boolean alive
Solver solver
JTextField[] textFields
org.knowm.xchart.XYChart chart
org.knowm.xchart.XChartPanel<T extends org.knowm.xchart.internal.chartpart.Chart> chartpanel
StatisticsPanel.chart
List<E> time
StatisticsPanel.chart
, for X coordinateList<E> obj
StatisticsPanel.chart
, for Y coordinateJMenu menuChart
byte chartOptions
StatisticsPanel.menuChart
Thread printer
Copyright © 2018. All rights reserved.