Contents

schema S {
	foo = true

	procedure change {
		conditions { }
		effects {
			this.foo is false
		}
	}
}

a isa S
b isa S

constraint goal {
	a.foo is false
	b.foo is false
}

constraint global {
	a.foo is false
}

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
sfp-0.2.1	test/future/test1.sfp
sfp-0.2.0	test/future/test1.sfp
sfp-0.1.3	test/future/test1.sfp