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".
  • Integer color sets << CPN Tools Homepage
    decimal point The integer color set is large unless restricted by the with clause in which case it is small Declaration syntax colset name int with int exp1 int exp2 Order usual ordering of integers Optional with clause Restricts the integer color set to an interval determined by the two expressions in int exp1 and int exp2 It must be the case that int exp1 int exp2 Declaration examples colset INT int colset SmallInt int with 1 10 An integer color set using the with clause is used in the example CP net Simple protocol example var smallInt SmallInt The CPN variable smallInt may have a range of integer values from 1 to 10 For example 2 is a legal value but 11 is not and 2 9 is not Operations i negation of the integer value i i1 i2 addition i1 i2 subtraction i1 i2 multiplication i1 div i2 division quotient i1 mod i2 modulus remainder abs i absolute value of i Int min i1 i2 minimum of i1 and i2 Int max i1 i2 maximum of i1 and i2 See also color set functions For additional details and functions see the INTEGER signature in the SML Basis Library

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


  • Error in declarations << CPN Tools Homepage
    declaration with an error move the mouse over the declaration Overwriting declarations It is not allowed for two declarations to share the same name If a declaration overwrites another declaration both will be underlined red and so will all declarations depending on them To see which declaration is overwritten move the mouse over one of the declarations The other declaration will be underlined black Match errors in function declarations A

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

  • Declarations << CPN Tools Homepage
    from your book Show modify book 34 page s Help Declarations Color sets Alias color sets Boolean color set Color set functions Declare clause Enumeration color set Definition of list functions Index color sets Integer color sets Large Integer color sets List color sets Product color sets Real color sets Record color sets Size and complexity of color sets String color sets Subset color sets Time color sets Union color

    Original URL path: http://cpntools.org/documentation/concepts/colors/declarations/start?do=addtobook (2016-04-26)
    Open archived version from archive

  • Inscriptions and expressions << CPN Tools Homepage
    Started Documentation Support Contact Book creator Add this page to your book Book creator Remove this page from your book Show modify book 35 page s Help Inscriptions and expressions Place inscriptions color set initial marking place name Arc inscriptions

    Original URL path: http://cpntools.org/documentation/concepts/colors/inscriptions/start?do=addtobook (2016-04-26)
    Open archived version from archive

  • Inscriptions and expressions << CPN Tools Homepage
    Started Documentation Support Contact This page is read only You can view the source but not change it Ask your administrator if you think this is wrong Inscriptions and expressions Place inscriptions color set initial marking place name Arc inscriptions

    Original URL path: http://cpntools.org/documentation/concepts/colors/inscriptions/start?do=edit&rev= (2016-04-26)
    Open archived version from archive

  • External Communication and Libraries << CPN Tools Homepage
    page to your book Book creator Remove this page from your book Show modify book 36 page s Help External Communication and Libraries DTD for net files Comms CPN Connection management functions Animations and vizualisation with BRITNeY Suite Connecting to

    Original URL path: http://cpntools.org/documentation/concepts/external/start?do=addtobook (2016-04-26)
    Open archived version from archive

  • External Communication and Libraries << CPN Tools Homepage
    only You can view the source but not change it Ask your administrator if you think this is wrong External Communication and Libraries DTD for netfiles External Communication wi commscpn functions Animations and visualisat Webserice invocation http westergaard eu 2011

    Original URL path: http://cpntools.org/documentation/concepts/external/start?do=edit&rev= (2016-04-26)
    Open archived version from archive



  •