Home Explore Help
Sign In
jonathanvdc
/
modelverse
forked from yentl/modelverse
Watch 1
Star 0
Fork 0
Files
Tree: f30691cd95
Branches Tags
modelverse
/
interface
/
HUTN
/
test
/
modelling_language
/
expected
/
petrinets_constraints

petrinets_constraints 1.6 KB
History Raw

12 
  1. ["import_node", "models/SimpleClassDiagrams", "SCD", "instantiate_model", "SCD", "PetriNets", "instantiate_node", "PetriNets", "Class", "Natural", "add_constraint", "PetriNets", "Natural", "funcdef", "constraint", 2, "0", "1", "declare", "2", true, "assign", "resolve", "2", "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, true, "if", "call", "access", "resolve", "bool_not", 1, "call", "access", "resolve", "is_physical_int", 1, "access", "resolve", "2", false, false, "return", true, "const", "Natural has no integer value", true, "if", "call", "access", "resolve", "integer_lt", 2, "access", "resolve", "2", "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", "PetriNets", "Class", "Place", "instantiate_link", "PetriNets", "Association", "Place_tokens", "Place", "Natural", "instantiate_attribute", "PetriNets", "Place_tokens", "name", "tokens", "instantiate_node", "PetriNets", "Class", "Transition", "instantiate_link", "PetriNets", "Association", "P2T", "Place", "Transition", "instantiate_link", "PetriNets", "Association", "P2T_weight", "P2T", "Natural", "instantiate_attribute", "PetriNets", "P2T_weight", "name", "weight", "instantiate_link", "PetriNets", "Association", "T2P", "Transition", "Place", "instantiate_link", "PetriNets", "Association", "T2P_weight", "T2P", "Natural", "instantiate_attribute", "PetriNets", "T2P_weight", "name", "weight", "export_node", "PetriNets", "models/PetriNets"]
    2. 

  2.