lib/minisat/model.rb
# Returns an array containing the assignment corresponding to the given +vars+.
# @param [Array<Lit, Var>] vars
# @return [Array<Boolean>]
Returns an array containing the assignment corresponding to the given +vars+.
Returns an array containing the assignment corresponding to the given + vars + .
def values_at(*vars)
      vars.map do |v|
        self[v]
      end
    end
def values_at ( * vars ) vars . map do | v | self [ v ] end end
Returns an array containing the assignment corresponding to the given +vars+.
Returns an array containing the assignment corresponding to the given + vars + .
None
Array<Boolean>
vars
<not_specific>
<not_specific>
None