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

org.gecode.PropCond Interface Reference

List of all members.

Detailed Description

Propagation conditions.

This class contains the common ground of all propagation conditions, which is the ability to be converted into an integer value.

TaskActor

Definition at line 33 of file PropCond.java.

Public Member Functions

int toInteger ()
 Convert this PropCond into an integer.


Member Function Documentation

int org.gecode.PropCond.toInteger (  ) 

Convert this PropCond into an integer.


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