Contents

include "service-schemas.sfp"

// generate all possible states with constraint solver
initial state {
	cloud1 isa Cloud {
		running either ( true, false )
	}
	cloud2 isa Cloud {
		running either ( true, false )
	}

	vm1 isa VM
	vm2 isa VM
	vm3 isa VM

	lb isa Service
	ws isa Service
	db isa Service
}

goal constraint {
	lb {
		running is true
		on_machine is vm1
	}

	ws {
		running is true
		on_machine is vm2
	}

	db {
		running is true
		on_machine is vm3
	}
}

global constraint {
	if lb.running then ws.running
	if ws.running then db.running
}

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
sfp-0.2.1	test/nd-cloud2.sfp
sfp-0.2.0	test/nd-cloud2.sfp
sfp-0.1.3	test/nd-cloud2.sfp