AndApplicator::MergeElem

Synopsis

Declared in <src/midend/astUtil/symbolicVal/BooleanOperators.h>

virtual
bool
MergeElem(
    SymbolicTerm const& t1,
    SymbolicTerm const& t2,
    SymbolicTerm& result);

Created with MrDocs