| 1 |
- [122, "instantiate_node", "SimpleAttribute", "Natural", "instantiate_attribute_code", "Natural", "constraint", 84, "funcdef", "constraint", 2, "0", "1", "if", "call", "access", "resolve", "bool_not", 1, "call", "access", "resolve", "is_physical_int", 1, "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, false, false, "return", true, "const", "Natural has no integer value", true, "if", "call", "access", "resolve", "integer_lt", 2, "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, "const", 0, false, "return", true, "const", "Natural does not have a positive or zero value", true, "return", true, "const", "OK", false, false, false, "instantiate_node", "Class", "Place", "model_define_attribute", "Place", "tokens", false, "Natural", "instantiate_node", "Class", "Transition", "instantiate_link", "Association", "P2T", "Place", "Transition", "model_define_attribute", "P2T", "weight", false, "Natural", "instantiate_link", "Association", "T2P", "Transition", "Place", "model_define_attribute", "T2P", "weight", false, "Natural"]
|
