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