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

petrinets_constraints 2.2 KB
History Raw

12 
  1. ["\"import_node\"", "\"models/SimpleClassDiagrams\"", "\"SCD\"", "\"instantiate_model\"", "\"SCD\"", "\"PetriNets\"", "\"define_inheritance\"", "\"PetriNets\"", "\"Inheritance\"", "\"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.