SymbolicTerm::SymbolicTerm

Constructors

Synopses

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

Default constructor

SymbolicTerm();

SymbolicTerm(
    int t1,
    int t2);

SymbolicTerm(
    int t1,
    int t2,
    SymbolicVal const& _v);

Created with MrDocs