Java Reference

Java Reference

DecisionBuilder

Detailed Description

A DecisionBuilder is responsible for creating the search tree.

The important method is Next(), which returns the next decision to execute.

Definition at line 14 of file DecisionBuilder.java.

Public Member Functions

synchronized void delete ()
 
void swigReleaseOwnership ()
 
void swigTakeOwnership ()
 
 DecisionBuilder ()
 
Decision nextWrap (Solver s)
 This is the main method of the decision builder class. More...
 
String toString ()
 

Protected Member Functions

 DecisionBuilder (long cPtr, boolean cMemoryOwn)
 
void swigDirectorDisconnect ()
 

Constructor & Destructor Documentation

◆ DecisionBuilder() [1/2]

DecisionBuilder ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file DecisionBuilder.java.

◆ DecisionBuilder() [2/2]

DecisionBuilder ( )
inline

Definition at line 57 of file DecisionBuilder.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Reimplemented from BaseObject.

Definition at line 31 of file DecisionBuilder.java.

◆ nextWrap()

Decision nextWrap ( Solver  s)
inline

This is the main method of the decision builder class.

It must return a decision (an instance of the class Decision). If it returns nullptr, this means that the decision builder has finished its work.

Reimplemented in JavaDecisionBuilder.

Definition at line 65 of file DecisionBuilder.java.

◆ swigDirectorDisconnect()

void swigDirectorDisconnect ( )
inlineprotected

Definition at line 42 of file DecisionBuilder.java.

◆ swigReleaseOwnership()

void swigReleaseOwnership ( )
inline

Definition at line 47 of file DecisionBuilder.java.

◆ swigTakeOwnership()

void swigTakeOwnership ( )
inline

Definition at line 52 of file DecisionBuilder.java.

◆ toString()

String toString ( )
inline

Reimplemented from BaseObject.

Definition at line 70 of file DecisionBuilder.java.


The documentation for this class was generated from the following file: