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