You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on May 21, 2026. It is now read-only.
Unfortunately commit 13f8c40 part of d79ddb0 introduced a bug to class Inhibitor.
In case where a place is unmarked the example Inhibitor(Variable("x")).check(Substitution(x=1), MultiSet([1, 2, 3])) becomes Inhibitor(Variable("x")).check(Substitution(), MultiSet([])) and class Variable throws an exception inside its method bind because the parameter binding does not include self.name.
This might be a quick fix inspired by the modes method:
Unfortunately commit 13f8c40 part of d79ddb0 introduced a bug to
class Inhibitor.In case where a place is unmarked the example
Inhibitor(Variable("x")).check(Substitution(x=1), MultiSet([1, 2, 3]))becomesInhibitor(Variable("x")).check(Substitution(), MultiSet([]))andclass Variablethrows an exception inside its methodbindbecause the parameterbindingdoes not includeself.name.This might be a quick fix inspired by the
modesmethod: