- g -

• geExpr() : theory_arith.h
• genInstSetThm() : theory_quant.cpp
• genPartInstSetThm() : theory_quant.cpp
• getBoundVars() : theory_quant.cpp
• getConstructor() : theory_datatype.h
• getHead() : theory_quant.cpp
• getHeadExpr() : theory_quant.cpp
• getLanguage() : lang.h
• getLeft() : theory_quant.cpp
• getPartTriggers() : theory_quant.cpp
• getRight() : theory_quant.cpp
• getSubTrig() : theory_quant.cpp
• goodMultiTriggers() : theory_quant.cpp
• gtExpr() : theory_arith.h

---