has propositions => (is => 'ro', isa => PropositionSequence, required => 1);
-has adjustments_made => (is => 'ro', isa => AdjustmentList, required => 1);
+has decisions_taken => (is => 'ro', isa => DecisionList, required => 1);
has is_solution_state => (is => 'ro', isa => Bool, required => 1);
my ($class, $hyp, $props) = @_;
$class->new(
current_hypothesis => $hyp,
- adjustments_made => [],
+ decisions_taken => [],
propositions => $props,
(@{$props->members}
? (