rename InvokeNextPredicate to ConsiderPropositon
[scpubgit/DX.git] / lib / DX / Step /
drwxr-xr-x ..
-rw-r--r-- Backtrack.pm
-rw-r--r-- ConsiderProposition.pm
-rw-r--r-- MarkAsSolution.pm
-rw-r--r-- Normal.pm