public class PSSolver
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
protected |
PSSolver(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
boolean |
backjump(long stepCount) |
void |
configure(int horizonStart,
int horizonEnd) |
void |
delete() |
void |
destroy() |
protected void |
finalize() |
java.lang.String |
getConfigFilename() |
static long |
getCPtr(PSSolver obj) |
int |
getDepth() |
PSStringList |
getFlaws() |
int |
getHorizonEnd() |
int |
getHorizonStart() |
java.lang.String |
getLastExecutedDecision() |
int |
getOpenDecisionCnt() |
int |
getStepCount() |
boolean |
hasFlaws() |
boolean |
isConstraintConsistent() |
boolean |
isExhausted() |
boolean |
isTimedOut() |
void |
reset() |
void |
reset(long depth) |
void |
solve(int maxSteps,
int maxDepth) |
void |
step() |
public static long getCPtr(PSSolver obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public void destroy()
public void step()
public void solve(int maxSteps, int maxDepth)
public boolean backjump(long stepCount)
public void reset()
public void reset(long depth)
public int getStepCount()
public int getDepth()
public boolean isExhausted()
public boolean isTimedOut()
public boolean isConstraintConsistent()
public boolean hasFlaws()
public int getOpenDecisionCnt()
public PSStringList getFlaws()
public java.lang.String getLastExecutedDecision()
public java.lang.String getConfigFilename()
public int getHorizonStart()
public int getHorizonEnd()
public void configure(int horizonStart, int horizonEnd)