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

org.gecode.OffsetView< IV extends IntView > Class Reference
[Programming integer actorsProgramming views for variables]

Inherits org.gecode.IntView.

List of all members.


Detailed Description

This is an offset wrapper for an integer view.

This class will represent a ViewT vo as the view v defined by vo = v + offset for some constant offset. The class is parametrised on the type ViewT.

This class is meant to be used in propagators and branchings, and not in scripts.

Definition at line 38 of file OffsetView.java.

Public Member Functions

 OffsetView ()
 Empty initializer.
 OffsetView (JavaSpace s, int c0, IV x)
 Initialize with offset c0 for view x.

Package Functions

 SuppressWarnings ("unchecked") public OffsetView< IV > copy(JavaSpace newHome


Constructor & Destructor Documentation

org.gecode.OffsetView< IV extends IntView >.OffsetView (  ) 

Empty initializer.

Definition at line 44 of file OffsetView.java.

org.gecode.OffsetView< IV extends IntView >.OffsetView ( JavaSpace  s,
int  c0,
IV  x 
)

Initialize with offset c0 for view x.

Definition at line 47 of file OffsetView.java.


Member Function Documentation

org.gecode.OffsetView< IV extends IntView >.SuppressWarnings ( "unchecked"   )  [package]


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