[klee-dev] meaning of description of the getValue method

[Sumit Kumar]

Hi All,

Can anyone please explain me the meaning of following description of the
getValue method described in Solver.cpp:

    ///getValue - Compute one possible value for the given expression.
    ///
    /// \param [out] result - On success, a value for the expression in some
    /// satisfying assignment.
    ///
    /// \return True on success.
    bool getValue(const Query&, ref<ConstantExpr> &result);

--
Thanks and Regards,
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed