Sha256: 19d727b5d527a2bf44ad99e1547045536b26446d5c8a2f1601a7541e7b9bd369
Contents?: true
Size: 478 Bytes
Versions: 2
Compression:
Stored size: 478 Bytes
Contents
include "service-classes.sfp" // generate all possible states with constraint solver initial state { s1 isa Service { installed is true running either (true, false) } s2 isa Service { installed is true running either (true, false) } s3 isa Service { installed is true running either (true, false) } pc isa Client { installed is true refer either (s1, s2) } } goal constraint { pc.refer.running is true } global constraint { pc.refer.running is true }
Version data entries
2 entries across 2 versions & 1 rubygems
Version | Path |
---|---|
sfp-0.1.1 | test/service3.sfp |
sfp-0.1.0 | test/service3.sfp |