Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Minor code cleanup.

  • Loading branch information...
commit 89b0d0d241da1ce623bc88ba2f0534c58843072a 1 parent ead1766
@neilconway neilconway authored
Showing with 1 addition and 12 deletions.
  1. +1 −12 lib/bud/lattices.rb
View
13 lib/bud/lattices.rb
@@ -90,6 +90,7 @@ def wrap_unsafe(new_v)
# TODO:
# * code blocks (pro)
# * morphism optimization (seminaive)
+# * merge logic for set-oriented collections
# * invalidation/rescan/non-monotonic stuff?
# * expressions on RHS ("CollExpr")
@@ -322,18 +323,6 @@ def current_value(&blk)
end
end
- # This returns a value for the lattice that is suitable as input to a
- # morphism. On the first iteration, we use the "complete" current value of the
- # lattice; in subsequent iterations, we use the delta value for the lattice
- # (if any).
- def current_morph_value(&blk)
- if @bud_instance.stratum_first_iter
- current_value(&blk)
- else
- current_delta(&blk)
- end
- end
-
def current_new_delta
@new_delta ||= @klass.new
@new_delta
Please sign in to comment.
Something went wrong with that request. Please try again.