public class Decision extends BaseObject
swigCMemOwn
Constructor and Description |
---|
Decision() |
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() |
static long |
getCPtr(Decision obj) |
void |
refute(Solver s)
Refute will be called after a backtrack.
|
protected void |
swigDirectorDisconnect() |
static long |
swigRelease(Decision obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
java.lang.String |
toString() |
getCPtr, swigRelease
public Decision(long cPtr, boolean cMemoryOwn)
public Decision()
public static long getCPtr(Decision obj)
public static long swigRelease(Decision obj)
protected void finalize()
finalize
in class BaseObject
public void delete()
delete
in class BaseObject
protected 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 BaseObject
public void accept(DecisionVisitor visitor)
Copyright © 2025. All rights reserved.