->with_additional_proposition($prop);
my $sol_ss = $self->new_search_state_for($prop_seq)
->find_solution;
- die "No solution" unless $sol_ss;
+ die "No solution\n" unless $sol_ss;
$self->but(
proposition_sequence => $prop_seq,
search_state => $sol_ss,
);
}
+sub with_forced_backtrack {
+ my ($self) = @_;
+ my $next_ss = $self->search_state->find_next_solution;
+ die "No next solution\n" unless $next_ss;
+ $self->but(search_state => $next_ss);
+}
+
1;