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

Method getInputs

ir/function.h:177–179  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

175 void replaceInput(std::unique_ptr<Value> &&c, unsigned idx);
176 Value &getInput(int idx) { return *inputs[idx]; }
177 util::const_strip_unique_ptr<decltype(inputs)> getInputs() const {
178 return inputs;
179 }
180 Value *getReturnedInput() const { return returned_input; }
181 void setReturnedInput(Value *v) { returned_input = v; }
182

Callers 11

parseFunction · 0.80
errorFunction · 0.80
preprocessFunction · 0.80
verifyMethod · 0.80
preprocessMethod · 0.80
checkInitializesMethod · 0.80
isDereferenceableMethod · 0.80
toSMTMethod · 0.80
runMethod · 0.80
sym_exec_initFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected