MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / addPredicate

Method addPredicate

ir/function.cpp:275–277  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

273}
274
275void Function::addPredicate(unique_ptr<Predicate> &&p) {
276 predicates.emplace_back(std::move(p));
277}
278
279void Function::addUndef(unique_ptr<UndefValue> &&u) {
280 undefs.emplace_back(std::move(u));

Callers 1

parse_predicateFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected