Home
last modified time | relevance | path

Searched defs:addExternalObject (Results 1 – 2 of 2) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/ObjectSystem/
H A DobjectSystemRewritingContext.cc63 ObjectSystemRewritingContext::addExternalObject(DagNode* name, in addExternalObject() function in ObjectSystemRewritingContext
/dports/security/klee/klee-2.2/lib/Core/
H A DExecutor.cpp632 MemoryObject * Executor::addExternalObject(ExecutionState &state, in addExternalObject() function in Executor