rename InvokeNextPredicate to ConsiderPropositon

diff --git a/lib/DX/SearchState.pm b/lib/DX/SearchState.pm
index 4966512..553b304 100644 (file)
--- a/lib/DX/SearchState.pm
+++ b/lib/DX/SearchState.pm
@@ -2,7 +2,7 @@ package DX::SearchState;
 
 use Types::Standard qw(Maybe);
 use DX::Step::Backtrack;
-use DX::Step::InvokeNextPredicate;
+use DX::Step::ConsiderProposition;
 use DX::Step::MarkAsSolution;
 use DX::Class;
 
@@ -36,7 +36,7 @@ sub new_for {
     propositions => $props,
     (@{$props->members}
       ? (
-          next_step => DX::Step::InvokeNextPredicate->new(
+          next_step => DX::Step::ConsiderProposition->new(
             proposition => $props->members->[0],
           ),
           is_solution_state => 0,

diff --git a/lib/DX/Step/InvokeNextPredicate.pm b/lib/DX/Step/ConsiderProposition.pm
similarity index 89%
rename from lib/DX/Step/InvokeNextPredicate.pm
rename to lib/DX/Step/ConsiderProposition.pm
index 55bee44..a4a98a9 100644 (file)
--- a/lib/DX/Step/InvokeNextPredicate.pm
+++ b/lib/DX/Step/ConsiderProposition.pm
@@ -1,4 +1,4 @@
-package DX::Step::InvokeNextPredicate;
+package DX::Step::ConsiderProposition;
 
 use DX::Class;
 

diff --git a/lib/DX/Step/Normal.pm b/lib/DX/Step/Normal.pm
index 68aae3a..cff9543 100644 (file)
--- a/lib/DX/Step/Normal.pm
+++ b/lib/DX/Step/Normal.pm
@@ -34,7 +34,7 @@ sub apply_to {
   trace 'step.apply.new_hyp '.$self => $new_hyp;
   my $ns = do {
     if (my $prop = $ss->next_proposition($new_hyp)) {
-      DX::Step::InvokeNextPredicate->new(
+      DX::Step::ConsiderProposition->new(
         proposition => $prop
       )
     } else {