only run propagators on enabled solutions

v4hn · v4hn · commit 3b6c13e26b32 · 2021-03-22T14:42:23.000+01:00
resolve simple pruning test
diff --git a/core/src/stage.cpp b/core/src/stage.cpp
@@ -562,7 +562,7 @@ InterfaceFlags PropagatingEitherWayPrivate::requiredInterface() const {
 }
 
 inline bool PropagatingEitherWayPrivate::hasStartState() const {
-	return starts_ && !starts_->empty();
+	return starts_ && !starts_->empty() && starts_->front()->priority().enabled();
 }
 
 const InterfaceState& PropagatingEitherWayPrivate::fetchStartState() {
@@ -571,7 +571,7 @@ const InterfaceState& PropagatingEitherWayPrivate::fetchStartState() {
 }
 
 inline bool PropagatingEitherWayPrivate::hasEndState() const {
-	return ends_ && !ends_->empty();
+	return ends_ && !ends_->empty() && ends_->front()->priority().enabled();
 }
 
 const InterfaceState& PropagatingEitherWayPrivate::fetchEndState() {

Original file line number	Diff line number	Diff line change
`@@ -562,7 +562,7 @@ InterfaceFlags PropagatingEitherWayPrivate::requiredInterface() const {`
`562`	`562`	`}`
`563`	`563`
`564`	`564`	`inline bool PropagatingEitherWayPrivate::hasStartState() const {`
`565`		`- return starts_ && !starts_->empty();`
	`565`	`+ return starts_ && !starts_->empty() && starts_->front()->priority().enabled();`
`566`	`566`	`}`
`567`	`567`
`568`	`568`	`const InterfaceState& PropagatingEitherWayPrivate::fetchStartState() {`
`@@ -571,7 +571,7 @@ const InterfaceState& PropagatingEitherWayPrivate::fetchStartState() {`
`571`	`571`	`}`
`572`	`572`
`573`	`573`	`inline bool PropagatingEitherWayPrivate::hasEndState() const {`
`574`		`- return ends_ && !ends_->empty();`
	`574`	`+ return ends_ && !ends_->empty() && ends_->front()->priority().enabled();`
`575`	`575`	`}`
`576`	`576`
`577`	`577`	`const InterfaceState& PropagatingEitherWayPrivate::fetchEndState() {`