cast.interfaces.WorkingMemoryHolder Class Reference

List of all members.

Public Member Functions

 WorkingMemoryHolder ()
 WorkingMemoryHolder (WorkingMemory value)
void patch (Ice.Object v)
String type ()


Detailed Description

Definition at line 23 of file WorkingMemoryHolder.java.


Constructor & Destructor Documentation

cast.interfaces.WorkingMemoryHolder.WorkingMemoryHolder (  ) 

Definition at line 26 of file WorkingMemoryHolder.java.

cast.interfaces.WorkingMemoryHolder.WorkingMemoryHolder ( WorkingMemory  value  ) 

Definition at line 31 of file WorkingMemoryHolder.java.


Member Function Documentation

void cast.interfaces.WorkingMemoryHolder.patch ( Ice.Object  v  ) 

Definition at line 37 of file WorkingMemoryHolder.java.

String cast.interfaces.WorkingMemoryHolder.type (  ) 

Definition at line 50 of file WorkingMemoryHolder.java.


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

Generated on Mon Jun 13 15:55:49 2011 for CAST Java by  doxygen 1.5.8