NotApplicator::MergeElemUnary

Synopsis

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

virtual
bool
MergeElemUnary(
    SymbolicTerm const& t1,
    SymbolicTerm& result) override;

Created with MrDocs