- g -

• gcd() : rational-native.cpp, rational-gmp.cpp
• geExpr() : theory_arith.h
• genInstSetThm() : theory_quant.cpp
• getBoundVars() : theory_quant.cpp
• getConstructor() : theory_datatype.h
• getImpliedLiteral() : theory_core.cpp
• getImpliedLiteralByIndex() : theory_core.cpp
• getLanguage() : lang.h
• getResource() : theory_core.cpp
• getSubTerms() : theory_quant.cpp
• gtExpr() : theory_arith.h

---