Generated on Thu Nov 2 14:49:41 2006 for Gecode/J by doxygen 1.5.0

org.gecode.JavaBranching Class Reference
[Programming actors]

Inherited by org.gecode.Branching.

List of all members.


Detailed Description

Base class for implementing a branching in Java.

This class is for internal use and should not be instantiated by users of Gecode/J. To implement a branching, extend the class Branching instead.

Definition at line 18 of file JavaBranching.java.

Public Member Functions

void delete ()
void swigReleaseOwnership ()
void swigTakeOwnership ()
 JavaBranching ()
 Initialize branching.
void dispose_internal (JavaSpace home)
 Deallocate.
JavaBranching copy_internal (JavaSpace newHome, boolean share)
 Create a copy of this branching in newHome.
boolean status_internal (JavaSpace home)
 Return if this branching has alternatives left.
ExecStatus commit_internal (JavaSpace home, JavaBranchingDesc desc, long a)
 Commit to alternative a with branching description desc.
JavaBranchingDesc description_internal (JavaSpace home)
 Return a branching description.

Protected Member Functions

 JavaBranching (long cPtr, boolean cMemoryOwn)
void finalize ()
void swigDirectorDisconnect ()

Static Protected Member Functions

static long getCPtr (JavaBranching obj)

Protected Attributes

boolean swigCMemOwn


Constructor & Destructor Documentation

org.gecode.JavaBranching.JavaBranching ( long  cPtr,
boolean  cMemoryOwn 
) [protected]

Definition at line 22 of file JavaBranching.java.

org.gecode.JavaBranching.JavaBranching (  ) 

Initialize branching.

Definition at line 60 of file JavaBranching.java.


Member Function Documentation

static long org.gecode.JavaBranching.getCPtr ( JavaBranching  obj  )  [static, protected]

Definition at line 27 of file JavaBranching.java.

void org.gecode.JavaBranching.finalize (  )  [protected]

Definition at line 31 of file JavaBranching.java.

void org.gecode.JavaBranching.delete (  ) 

Definition at line 35 of file JavaBranching.java.

void org.gecode.JavaBranching.swigDirectorDisconnect (  )  [protected]

Definition at line 43 of file JavaBranching.java.

void org.gecode.JavaBranching.swigReleaseOwnership (  ) 

Definition at line 48 of file JavaBranching.java.

void org.gecode.JavaBranching.swigTakeOwnership (  ) 

Definition at line 53 of file JavaBranching.java.

void org.gecode.JavaBranching.dispose_internal ( JavaSpace  home  ) 

Deallocate.

Reimplemented in org.gecode.Branching.

Definition at line 67 of file JavaBranching.java.

JavaBranching org.gecode.JavaBranching.copy_internal ( JavaSpace  newHome,
boolean  share 
)

Create a copy of this branching in newHome.

Reimplemented in org.gecode.Branching.

Definition at line 73 of file JavaBranching.java.

boolean org.gecode.JavaBranching.status_internal ( JavaSpace  home  ) 

Return if this branching has alternatives left.

Reimplemented in org.gecode.Branching.

Definition at line 80 of file JavaBranching.java.

ExecStatus org.gecode.JavaBranching.commit_internal ( JavaSpace  home,
JavaBranchingDesc  desc,
long  a 
)

Commit to alternative a with branching description desc.

Reimplemented in org.gecode.Branching.

Definition at line 86 of file JavaBranching.java.

JavaBranchingDesc org.gecode.JavaBranching.description_internal ( JavaSpace  home  ) 

Return a branching description.

Reimplemented in org.gecode.Branching.

Definition at line 92 of file JavaBranching.java.


Member Data Documentation

Definition at line 20 of file JavaBranching.java.


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