gecode FunctionBranch 源码分析

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了gecode FunctionBranch 源码分析相关的知识,希望对你有一定的参考价值。

  从名字上看,这个类的核心就在于function, 那么看代码:

    /// Function to call
    SharedData<std::function<void(Space& home)>> f;
    /// Call function just once
    bool done;

  的确是定义了一个function,然后一个状态,猜测是调用了function之后会设置为true,往下看代码:

  ExecStatus
  FunctionBranch::commit(Space& home, const Choice&, unsigned int) {
    done = true;
    GECODE_VALID_FUNCTION(f());
    f()(home);
    return home.failed() ? ES_FAILED : ES_OK;
  }

  在commit中调用了function,然后将状态设置为true,标识这个状态已经被调用。至于何时进行commit,在后面的文章中再进行分析。

以上是关于gecode FunctionBranch 源码分析的主要内容,如果未能解决你的问题,请参考以下文章

gecode中自定义brancher

Gecode branch()函数的z3替代方案?

gecode中的meritbase

gecode dom分析

gecode 中的metainfo

[译] 给PHP开发者的PHP源码-第一部分-源码结构