public class Decision extends BaseObject
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
|
Decision() |
protected |
Decision(long cPtr,
boolean cMemoryOwn) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(DecisionVisitor visitor)
Accepts the given visitor.
|
void |
apply(Solver s)
Apply will be called first when the decision is executed.
|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(Decision obj) |
void |
refute(Solver s)
Refute will be called after a backtrack.
|
protected void |
swigDirectorDisconnect() |
protected static long |
swigRelease(Decision obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
java.lang.String |
toString() |
getCPtr, swigReleaseprotected Decision(long cPtr,
boolean cMemoryOwn)
public Decision()
protected static long getCPtr(Decision obj)
protected static long swigRelease(Decision obj)
protected void finalize()
finalize in class BaseObjectpublic void delete()
delete in class BaseObjectprotected void swigDirectorDisconnect()
public void swigReleaseOwnership()
public void swigTakeOwnership()
public void apply(Solver s)
public void refute(Solver s)
public java.lang.String toString()
toString in class BaseObjectpublic void accept(DecisionVisitor visitor)
Copyright © 2024. All rights reserved.