Java Reference
Java Reference
Decision.java
Go to the documentation of this file.
68 return (getClass() == Decision.class) ? mainJNI.Decision_toString(swigCPtr, this) : mainJNI.Decision_toStringSwigExplicitDecision(swigCPtr, this);
72 if (getClass() == Decision.class) mainJNI.Decision_accept(swigCPtr, this, DecisionVisitor.getCPtr(visitor), visitor); else mainJNI.Decision_acceptSwigExplicitDecision(swigCPtr, this, DecisionVisitor.getCPtr(visitor), visitor);
void swigTakeOwnership()
Definition: Decision.java:49
void swigDirectorDisconnect()
Definition: Decision.java:39
Decision(long cPtr, boolean cMemoryOwn)
Definition: Decision.java:14
void swigReleaseOwnership()
Definition: Decision.java:44
void accept(DecisionVisitor visitor)
Definition: Decision.java:71
void refute(Solver s)
Definition: Decision.java:63