Public Member Functions | |
| WorkingMemoryHolder () | |
| WorkingMemoryHolder (WorkingMemory value) | |
| void | patch (Ice.Object v) |
| String | type () |
Definition at line 23 of file WorkingMemoryHolder.java.
| 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.
| 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.
1.5.8