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

org.gecode.GecodeView Interface Reference
[Programming views for variablesProgramming actors]

Inherited by org.gecode.IntView, and org.gecode.SetView.

List of all members.


Detailed Description

Top-level view interface.

This is an interface for wrappers around variables which exposes methods for updating the variable.

Definition at line 35 of file GecodeView.java.

Public Member Functions

GecodeView copy (JavaSpace s, boolean share)
 Return a copy of this view in newHome.
void subscribe (JavaSpace s, JavaPropagator p, PropCond pc)
 Subscribe propagator p to the events covered by pc.
void cancel (JavaSpace s, JavaPropagator p, PropCond pc)
 Cancel the subscription of propagator p over the events covered by pc.
boolean assigned ()
 Test wheter this view is assigned.


Member Function Documentation

GecodeView org.gecode.GecodeView.copy ( JavaSpace  s,
boolean  share 
)

Return a copy of this view in newHome.

Implemented in org.gecode.IntVarView, org.gecode.IntView, org.gecode.SetVarView, and org.gecode.SetView.

void org.gecode.GecodeView.subscribe ( JavaSpace  s,
JavaPropagator  p,
PropCond  pc 
)

Subscribe propagator p to the events covered by pc.

Implemented in org.gecode.IntVarView, org.gecode.IntView, org.gecode.SetVarView, and org.gecode.SetView.

void org.gecode.GecodeView.cancel ( JavaSpace  s,
JavaPropagator  p,
PropCond  pc 
)

Cancel the subscription of propagator p over the events covered by pc.

Implemented in org.gecode.IntVarView, org.gecode.IntView, org.gecode.SetVarView, and org.gecode.SetView.

boolean org.gecode.GecodeView.assigned (  ) 

Test wheter this view is assigned.

Implemented in org.gecode.IntVarView, org.gecode.IntView, org.gecode.SetVarView, and org.gecode.SetView.


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