• Nicolas Seydoux's avatar
    Fixed reinference for cir and added properties for iiot usecase · be24c617
    Nicolas Seydoux authored
    - Reinference was broken, because the condition in the applicantRule
    required the lower node not to be a total producer of the rule head,
    which may be the case for cir. This condition was held regardless of the
    "applicable" status of the rule, that was created for this purpose.
    - Conveyor and machine states were added
    - Fixed machine namespace in r1
    - Enabled separated log of model at runtime (easier than postman in some