fact: Definition RosMasterSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "registerService" : rep * string * string * string * string -> rep * (int * string * int), Method "unregisterService" : rep * string * string * string -> rep * (int * string * int), Method "registerSubscriber" : rep * string * string * string * string -> rep * (int * string * list string), Method "unregisterSubscriber" : rep * string * string * string -> rep * (int * string * int), Method "registerPublisher" : rep * string * string * string * string -> rep * (int * string * list string), Method "unregisterPublisher" : rep * string * string * string -> rep * (int * string * int), Method "lookupNode" : rep * string * string -> rep * (int * string * string), Method "getPublishedTopics" : rep * string * string -> rep * (int * string * list (string * string)), Method "getTopicTypes" : rep * string -> rep * (int * string * list (string * string)), Method "getSystemState" : rep * string -> rep * (int * string * list ( list (string * list string) ) ), Method "getUri" : rep * string -> rep * (int * string * string), Method "lookupService" : rep * string * string -> rep * (int * string * string), Method "deleteParam" : rep * string * string -> rep * (int * string * int), Method "setParam" : rep * string * string * any -> rep * (int * string * int), Method "getParam" : rep * string * string -> rep * (int * string * any), Method "searchParam" : rep * string * string -> rep * (int * string * string), Method "subscribeParam" : rep * string * string * string -> rep * (int * string * any), Method "unsubscribeParam" : rep * string * string * string -> rep * (int * string * int), Method "hasParam" : rep * string * string -> rep * (int * string * bool), Method "getParamNames" : rep * string -> rep * (int * string * list string) }.
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.QueryStructure.Specification.Constraints.DuplicateFree