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

Method simplify

ir/state_value.cpp:99–101  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

97}
98
99StateValue StateValue::simplify() const {
100 return { value.simplify(), non_poison.simplify() };
101}
102
103ostream& operator<<(ostream &os, const StateValue &val) {
104 return os << val.value << " / " << val.non_poison;

Callers 3

printMethod · 0.45
memory.cppFile · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected