archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • String color sets << CPN Tools Homepage
    of string color sets The character set is specified by the string expressions string exp1 and string exp2 Each string expression must evaluate to a string of length 1 and it must be the case that string exp1 string exp2 Optional and clause Restricts the length of string color sets The minimum and maximum length of the string is specified by the integer expressions int exp1 and int exp2 It must be the case that 0 int exp1 int exp2 Declaration examples colset S string A string color set is used in the example CP net Simple protocol example colset LowerString with a z var lowerString LowerString The CPN variable lowerString may contain only the lowercase letters a b z For example ab and lowercase are legal values but Lowercase letters and ab345 are not colset SmallString with a d and 3 9 var smallString SmallString The CPN variable smallString may contain only the letters a b c and d Its length must be 3 and 9 For example abcd and bbacdab are legal values but ab and bcde are not Operations s1 s2 concatenate the strings s1 and s2 String size s number of characters in s substring s

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/string_colour_sets (2016-04-26)
    Open archived version from archive


  • Enumeration color set << CPN Tools Homepage
    13 page s Help Enumeration color set Enumerated values are explicitly named as identifiers in the declaration These values must be alphanumeric identifiers This is a small color set Declaration syntax colset name with id0 id1 idn Order as in the declaration Declaration examples colset Day with Mon Tues Wed Thurs Fri Sat Sun Operations See Color set functions All color sets Simple color sets Unit color set Boolean color

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/enumerated_colour_sets (2016-04-26)
    Open archived version from archive

  • Index color sets << CPN Tools Homepage
    of an identifier and an index specifier The color set is small Declaration syntax colset name index id with int exp1 int exp2 Order usual ordering on the indexes Values id i id i where i is an integer and int exp1 i int exp2 Declaration examples colset PH index ph with 1 5 Index color sets are used in the example CP net for the Dining philosophers example Operations

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/index_colour_sets (2016-04-26)
    Open archived version from archive

  • Product color sets << CPN Tools Homepage
    v1 v2 vn where vi has type namei for 1 i n Declaration examples colset P product U I A product color set is used in the example CP net for Resource allocation example Operations i x extract the i th element of the tuple x omit component in tuple not allowed in CPN inscriptions See also color set functions If you have declared a product color set with 10

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/product_colour_sets (2016-04-26)
    Open archived version from archive

  • Record color sets << CPN Tools Homepage
    label so that each field is position independent Declaration Syntax colset name record id1 name1 id2 name2 idn namen Order lexicographic with respect to ordering of base color sets Values id1 v1 id2 v2 idn vn Declaration examples colset PACK record se SITES re SITES no INT A record color set is used in the example CP net for the Ring protocol example Operations idi rec extract the idi element

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/record_colour_sets (2016-04-26)
    Open archived version from archive

  • List color sets << CPN Tools Homepage
    l prepend element e as head of list l hd l head the first element of the list l tl l tail list with exception of first element length l length of list l rev l reverse list l map f l use function f on each element in list l and returns a list with all the results app f l use function f on each element in list l and returns foldr f z l returns f e1 f e2 f en z where l e1 e2 en foldl f z l returns f en f e2 f e1 z where l e1 e2 en List nth l n n th element in list l where 0 n length l List take l n returns first n elements of list l List drop l n returns what is left after dropping first n elements of list l List exists p l returns true if p is true for some element in list l List null l returns true if list l is empty For additional details and functions see the LIST structure in the SML Basis Library Manual Additional list functions l1 l2 concatenate the two lists l1 and l2 mem l x returns true if element x is in the list l remdupl l removes duplicates from list l rm x l removes the first appearance if any of element x from list l rmall x l removes all appearances if any of element x from list l contains l1 l2 returns true if all elements in list l2 are elements in list l1 ignoring the multiplicity of elements in l2 contains all l1 l2 similar to contains but does not ignore multiplicity of elements in l2 intersect l1 l2 returns the intersection of lists l1 and

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/list_colour_sets (2016-04-26)
    Open archived version from archive

  • Union color sets << CPN Tools Homepage
    can be referred to simply as idi Order first after selectors then after ordering of each base color set Values idi v idi v where v has type namei Declaration examples colset Data string with A z and 0 8 colset Packet union DATA Data ACK var packet Packet The CPN variable packet may have values of the form ACK DATA str or DATA str where str is a string

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/union_colour_sets (2016-04-26)
    Open archived version from archive

  • Subset color sets << CPN Tools Homepage
    colset name subset name0 with subset list The with clause specifies a list with elements from name0 The color set name will contain exactly those values that are listed Order ordering of base color set Declaration examples fun even i i mod 2 0 The function even returns true when i is even and false when i is odd colset EvenInt subset Int by even The color set EvenInt is

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/colorsets/subset_colour_sets (2016-04-26)
    Open archived version from archive



  •