Hi all,
I am trying to add a new field in structure Entry which is defined in MOESI_CMP_directory-L1cache.sm: 
    structure(Entry, desc="...", interface="AbstractCacheEntry") {
        State CacheState,        desc="cache state";
        bool Dirty,              desc="Is the data dirty (different than memory)?";
        DataBlock DataBlk,       desc="data for the block";
    
      // added 
        NodeID m_id,             desc="the processor related to the L1 cache";
        int numofprocessors,      desc="the number of processors in the chip";
     
       }
(1)Can the NodeID be implicitly used in SLICC ? That is, can I directly use NodeID as a parameter in structure Entry? If not ,should I use MachineID as a parameter and then use function NodeID L1CacheMachIDToProcessorNum(MachineID machID) to convert it when needed?