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