Sha256: 1f286b93d196dae6c7f4366cae2570b72f6f34481cf1a424aa67aa5675d2e389
Contents?: true
Size: 195 Bytes
Versions: 10
Compression:
Stored size: 195 Bytes
Contents
schema 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
10 entries across 7 versions & 2 rubygems