Sha256: 0696548f26a980dfb2e946c3b8aca3ec45a111d6d08cbe79e4cf2a0d3c84a3a4
Contents?: true
Size: 192 Bytes
Versions: 2
Compression:
Stored size: 192 Bytes
Contents
class S { foo is true procedure change { conditions { } effects { this.foo is false } } } initial state { a isa S b isa S } goal constraint { a.foo is false b.foo is false }
Version data entries
2 entries across 2 versions & 1 rubygems
Version | Path |
---|---|
sfp-0.1.1 | test/test1.sfp |
sfp-0.1.0 | test/test1.sfp |