Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
275
void Function::addPredicate(unique_ptr<Predicate> &&p) {
276
predicates.emplace_back(std::move(p));
277
}
278
279
void Function::addUndef(unique_ptr<UndefValue> &&u) {
280
undefs.emplace_back(std::move(u));
Callers
1
parse_predicate
Function · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected