Home
last modified time | relevance | path

Searched refs:vec_set_signed (Results 1 – 2 of 2) sorted by relevance

/dports/cad/yosys/yosys-yosys-0.12/libs/ezsat/
H A Dezsat.h288 void vec_set_signed(const std::vector<int> &vec1, int64_t value);
H A Dezsat.cc1193 void ezSAT::vec_set_signed(const std::vector<int> &vec1, int64_t value) in vec_set_signed() function in ezSAT