Searched refs:bind_cnf_not (Results 1 – 2 of 2) sorted by relevance
72 int bind_cnf_not(const std::vector<int> &args);
488 int ezSAT::bind_cnf_not(const std::vector<int> &args) in bind_cnf_not() function in ezSAT629 case OpNot: idx = bind_cnf_not(args); break; in bind()